Lemma 10.50.3 (00IC)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.50: Valuation rings
Lemma 10.50.3 (cite)

previous lemma
next lemma

numberstags

history
statistics
5 tags refer to this tag

Lemma 10.50.3. Let $A$ be a valuation ring. Then $A$ is a normal domain.

Proof. Suppose $x$ is in the field of fractions of $A$ and integral over $A$ . Let $A'$ denote the subring of $K$ generated by $A$ and $x$ . Since $A\subset A'$ is an integral extension, we see by Lemma 10.36.17 that there is a prime ideal $\mathfrak m' \subset A'$ lying over $\mathfrak m$ . Then $A'_{\mathfrak m'}$ dominates $A$ . Since $A$ is a valuation ring we conclude that $A=A'_{\mathfrak m'}$ and therefore that $x\in A$ . $\square$

Comments (0)

There are also:

4 comment(s) on Section 10.50: Valuation rings

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

Comments (0)

Post a comment