# The Stacks Project

## Tag 053E

Lemma 15.23.6. Let $A$ be a valuation ring. Let $A \to B$ be a ring map of finite type. Let $M$ be a finite $B$-module.

1. If $B$ is flat over $A$, then $B$ is a finitely presented $A$-algebra.
2. If $M$ is flat as an $A$-module, then $M$ is finitely presented as a $B$-module.

Proof. We are going to use that an $A$-module is flat if and only if it is torsion free, see Lemma 15.20.10. By Algebra, Lemma 10.56.10 we can find a graded $A$-algebra $S$ with $S_0 = A$ and generated by finitely many elements in degree $1$, an element $f \in S_1$ and a finite graded $S$-module $N$ such that $B \cong S_{(f)}$ and $M \cong N_{(f)}$. If $M$ is torsion free, then we can take $N$ torsion free by replacing it by $N/N_{tors}$, see Lemma 15.20.2. Similarly, if $B$ is torsion free, then we can take $S$ torsion free by replacing it by $S/S_{tors}$. Hence in case (1), we may apply Lemma 15.23.4 to see that $S$ is a finitely presented $A$-algebra, which implies that $B = S_{(f)}$ is a finitely presented $A$-algebra. To see (2) we may first replace $S$ by a graded polynomial ring, and then we may apply Lemma 15.23.3 to conclude. $\square$

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

\begin{lemma}
\label{lemma-flat-finite-type-valuation-ring-finite-presentation}
Let $A$ be a valuation ring. Let $A \to B$ be a ring map of finite type.
Let $M$ be a finite $B$-module.
\begin{enumerate}
\item If $B$ is flat over $A$, then $B$ is a finitely presented $A$-algebra.
\item If $M$ is flat as an $A$-module, then $M$ is finitely presented
as a $B$-module.
\end{enumerate}
\end{lemma}

\begin{proof}
We are going to use that an $A$-module is flat if and only if it is
torsion free, see
Lemma \ref{lemma-valuation-ring-torsion-free-flat}.
By
Algebra, Lemma \ref{algebra-lemma-homogenize}
we can find a graded $A$-algebra $S$ with $S_0 = A$ and generated
by finitely many elements in degree $1$, an element $f \in S_1$ and a
finite graded $S$-module $N$ such that $B \cong S_{(f)}$ and
$M \cong N_{(f)}$. If $M$ is torsion free, then we can take $N$ torsion
free by replacing it by $N/N_{tors}$, see
Lemma \ref{lemma-torsion}.
Similarly, if $B$ is torsion free, then we can take
$S$ torsion free by replacing it by $S/S_{tors}$.
Hence in case (1), we may apply
to see that $S$ is a finitely presented
$A$-algebra, which implies that $B = S_{(f)}$ is a finitely
presented $A$-algebra. To see (2) we may first replace $S$ by
a graded polynomial ring, and then we may apply
to conclude.
\end{proof}

Comment #2756 by Kestutis Cesnavicius on August 3, 2017 a 9:36 am UTC

For the sake of keeping track of references, it may be worthwhile to mention that part (1) of this lemma is Thoerem 3 in Nagata "Finitely generated rings over a valuation ring."

## Add a comment on tag 053E

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).

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following box. So in case this where tag 0321 you just have to write 0321. Beware of the difference between the letter 'O' and the digit 0.

This captcha seems more appropriate than the usual illegible gibberish, right?