Corollary.
Assuming that:
|
k
|
<
∞
Then
F
(
π
O
K
)
has a subgroup of finite index isomorphic to
(
O
K
,
+
)
.