Lemma 10.50.17 (00IH)—The Stacks project

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

Lemma 10.50.17. Let $A$ be a valuation ring. Ideals in $A$ correspond $1 - 1$ with ideals of $\Gamma $. This bijection is inclusion preserving, and maps prime ideals to prime ideals.

Proof. Omitted. $\square$

Comments (2)

Comment #8760 by Zhenhua Wu on December 31, 2023 at 11:10

the zero prime ideal of $A$ doesn't correspond to any ideal of $\Gamma$ because by the definition here we don't allow zero ideal in $\Gamma$ , unless you allow $\emptyset$ to be an ideal of $\Gamma$ .

Comment #8874 by Zhenhua Wu on March 25, 2024 at 03:01

Sorry for the last comment. Actually from the definition of ideals of $\Gamma$ we can see that $\emptyset,\Gamma_{> 0}$ and $\Gamma_{\geq0}$ can all be ideals. They correspond to $\{0\},\mathfrak{m}$ and $A$ respectively. But $A$ is not a prime ideal, so we shouldn't allow $\Gamma_{\geq0}$ to be a prime ideal of $\Gamma$ .

There are also:

3 comment(s) on Section 10.50: Valuation rings

Comments (2)

Post a comment