the ring of integers of a number field is finitely generated over
Theorem.
Let be a number field of degree over and let be the ring of integers of . The ring is a free abelian group
of rank . In other words, there exists a finite integral basis (with elements) for , i.e. there exist algebraic integers
such that every element of can be expressed uniquely as a -linear combination
of the .
Corollary.
Every ideal of is finitely generated.
Proof of the corollary.
By the theorem, is a free abelian group of rank , and therefore it is finitely generated. Notice that an ideal is an additive subgroup. Finally a subgroup of a finitely generated free abelian group is also finitely generated.∎
This is the first step to prove that is a Dedekind domain. Notice that the field of fractions
of is the field itself. Therefore, by definition, is integrally closed
in .