Theorem 10.2.
Assuming that:
O
K
a
Dedekind domain
L
a finite separable extension of
K
=
Frac
(
O
K
)
Then
the
integral closure
O
L
of
O
K
in
L
is a
Dedekind domain
.