proof of the ring of integers of a number field is finitely generated over
Proof: Choose any basis of over . Using the theorem in the entry multiples of an algebraic number
, we can multiply each element of the basis by an integer to get a new basis with each .
Consider the group homomorphism
where is the trace (http://planetmath.org/trace2) from to . Note that is , since if and , then
where the last equality holds since .
Hence , so is finitely generated and torsion-free. It has rank since the are linearly independent
, and rank since it injects into , so it has rank .