integral closures in separable extensions are finitely generated
The theorem below generalizes to arbitrary integral ring extensions (under certain conditions) the fact that the ring of integers
of a number field
is finitely generated
over . The proof parallels the proof of the number field result.
Theorem 1.
Let be an integrally closed Noetherian domain with field of fractions
. Let be a finite separable extension
of , and let be the integral closure of in . Then is a finitely generated -module.
Proof.
We first show that the trace (http://planetmath.org/Trace2) maps to . Choose and let be the minimal polynomial for over ; assume is of degree . Let the conjugates of in some splitting field
be . Then the are all integral over since they satisfy ’s monic polynomial
in . Since the coefficients
of are polynomials
in the , they too are integral over . But the coefficients are in , and is integrally closed (in ), so the coefficients are in . But is just the coefficient of in , and thus . This proves the claim.
Now, choose a basis of . We may assume by multiplying each by an appropriate element of . (To see this, let . Choose such that . Then and thus ). Define a linear map .
is 1-1, since if , then . But , so is identically zero, which cannot be since is separable over (it is a standard result that separability is equivalent to nonvanishing of the trace map; see for example [1], Chapter 8).
But by the above, so . Since is Noetherian, any submodule of a finitely generated module is also finitely generated, so is finitely generated as a -module.∎
References
- 1 P. Morandi, Field and Galois Theory
, Springer, 2006.