# The Stacks Project

## Tag 032N

Lemma 10.155.12. Let $R$ be a Noetherian domain with fraction field $K$ of characteristic $p > 0$. Then $R$ is N-2 if and only if for every finite purely inseparable extension $K \subset L$ the integral closure of $R$ in $L$ is finite over $R$.

Proof. Assume the integral closure of $R$ in every finite purely inseparable field extension of $K$ is finite. Let $K \subset L$ be any finite extension. We have to show the integral closure of $R$ in $L$ is finite over $R$. Choose a finite normal field extension $K \subset M$ containing $L$. As $R$ is Noetherian it suffices to show that the integral closure of $R$ in $M$ is finite over $R$. By Fields, Lemma 9.27.3 there exists a subextension $K \subset M_{insep} \subset M$ such that $M_{insep}/K$ is purely inseparable, and $M/M_{insep}$ is separable. By assumption the integral closure $R'$ of $R$ in $M_{insep}$ is finite over $R$. By Lemma 10.155.8 the integral closure $R''$ of $R'$ in $M$ is finite over $R'$. Then $R''$ is finite over $R$ by Lemma 10.7.3. Since $R''$ is also the integral closure of $R$ in $M$ (see Lemma 10.35.16) we win. $\square$

The code snippet corresponding to this tag is a part of the file algebra.tex and is located in lines 42778–42784 (see updates for more information).

\begin{lemma}
\label{lemma-domain-char-p-N-1-2}
Let $R$ be a Noetherian domain with fraction field $K$ of
characteristic $p > 0$. Then $R$ is N-2 if and only if
for every finite purely inseparable extension $K \subset L$ the integral
closure of $R$ in $L$ is finite over $R$.
\end{lemma}

\begin{proof}
Assume the integral closure of $R$ in every finite purely inseparable
field extension of $K$ is finite.
Let $K \subset L$ be any finite extension. We have to show the
integral closure of $R$ in $L$ is finite over $R$.
Choose a finite normal field extension $K \subset M$
containing $L$. As $R$ is Noetherian it suffices to show that
the integral closure of $R$ in $M$ is finite over $R$.
By Fields, Lemma \ref{fields-lemma-normal-case}
there exists a subextension $K \subset M_{insep} \subset M$
such that $M_{insep}/K$ is purely inseparable, and $M/M_{insep}$
is separable. By assumption the integral closure $R'$ of $R$ in
$M_{insep}$ is finite over $R$. By
Lemma \ref{lemma-Noetherian-normal-domain-finite-separable-extension}
the integral
closure $R''$ of $R'$ in $M$ is finite over $R'$. Then $R''$ is finite
over $R$ by Lemma \ref{lemma-finite-transitive}.
Since $R''$ is also the integral closure
of $R$ in $M$ (see Lemma \ref{lemma-integral-closure-transitive}) we win.
\end{proof}

There are no comments yet for this tag.

There are also 3 comments on Section 10.155: Commutative Algebra.

## Add a comment on tag 032N

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).