Definition 11.2
(Residue class degree)
.
f
i
:
=
[
O
L
∕
P
i
:
O
K
∕
𝔭
]
is the
residue class degree
of
P
i
over
𝔭
.