## You are here

Homeintegral closures in separable extensions are finitely generated

## Primary tabs

# 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 $\mathbb{Z}$. The proof parallels the proof of the number field result.

###### Theorem 1.

Let $B$ be an integrally closed Noetherian domain with field of fractions $K$. Let $L$ be a finite separable extension of $K$, and let $A$ be the integral closure of $B$ in $L$. Then $A$ is a finitely generated $B$-module.

###### Proof.

We first show that the trace $Tr^{L}_{K}$ maps $A$ to $B$. Choose $u\in A$ and let $f=Irr(u,K)\in K[x]$ be the minimal polynomial for $u$ over $K$; assume $f$ is of degree $d$. Let the conjugates of $u$ in some splitting field be $u=a_{1},\ldots,a_{d}$. Then the $a_{i}$ are all integral over $B$ since they satisfy $u$’s monic polynomial in $B[x]$. Since the coefficients of $F$ are polynomials in the $a_{i}$, they too are integral over $B$. But the coefficients are in $K$, and $B$ is integrally closed (in $K$), so the coefficients are in $B$. But $Tr^{L}_{K}(u)$ is just the coefficient of $x^{{d-1}}$ in $f$, and thus $Tr^{L}_{K}(u)\in B$. This proves the claim.

Now, choose a basis $\omega_{1},\ldots,\omega_{d}$ of $L/K$. We may assume $\omega_{i}\in A$ by multiplying each by an appropriate element of $B$. (To see this, let $Irr(\omega_{i},K)\in K[x]=x^{d}+k_{1}x^{{d-1}}+\ldots+k_{d}$. Choose $b\in B$ such that $bk_{i}\in B\ \forall i$. Then $(b\omega)^{d}+bk_{1}(b\omega)^{{d-1}}+\ldots+b^{d}k_{d}=0$ and thus $b\omega\in A$). Define a linear map $\varphi:L\rightarrow K^{d}:a\mapsto(Tr^{L}_{K}(a\omega_{1}),\ldots,Tr^{L}_{K}(% a\omega_{d}))$.

$\varphi$ is 1-1, since if $u\in\ker\varphi,u\neq 0$, then $Tr(uL)=0$. But $uL=L$, so $Tr^{L}_{K}$ is identically zero, which cannot be since $L$ is separable over $K$ (it is a standard result that separability is equivalent to nonvanishing of the trace map; see for example [1], Chapter 8).

But $Tr^{L}_{K}:A\rightarrow B$ by the above, so $\varphi:A\hookrightarrow B^{d}$. Since $B$ is Noetherian, any submodule of a finitely generated module is also finitely generated, so $A$ is finitely generated as a $B$-module. ∎

# References

- 1
P. Morandi,
*Field and Galois Theory*, Springer, 2006.

## Mathematics Subject Classification

13B21*no label found*12F05

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new correction: Error in proof of Proposition 2 by alex2907

Jun 24

new question: A good question by Ron Castillo

Jun 23

new question: A trascendental number. by Ron Castillo

Jun 19

new question: Banach lattice valued Bochner integrals by math ias