Ring of Integers of Number Field is Dedekind Domain

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $K$ be an algebraic number field.

Let $\OO_K$ be its ring of integers.


Then $\OO_K$ is a Dedekind domain.


Proof