Lemma 10.50.10. Let $A'$ be a valuation ring with residue field $K$. Let $A$ be a valuation ring with fraction field $K$. Then $C = \{ \lambda \in A' \mid \lambda \bmod \mathfrak m_{A'} \in A\} $ is a valuation ring.
Proof. Note that $\mathfrak m_{A'} \subset C$ and $C/\mathfrak m_{A'} = A$. In particular, the fraction field of $C$ is equal to the fraction field of $A'$. We will use the criterion of Lemma 10.50.5 to prove the lemma. Let $x$ be an element of the fraction field of $C$. By the lemma we may assume $x \in A'$. If $x \in \mathfrak m_{A'}$, then we see $x \in C$. If not, then $x$ is a unit of $A'$ and we also have $x^{-1} \in A'$. Hence either $x$ or $x^{-1}$ maps to an element of $A$ by the lemma again. $\square$
Comments (0)
There are also: