Lemma 10.60.13 (00KW)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.60: Dimension
Lemma 10.60.13 (cite)

numberstags

Lemma 10.60.13. Suppose that $R$ is a Noetherian local ring and $x\in \mathfrak m$ an element of its maximal ideal. Then $\dim R \leq \dim R/xR + 1$ . If $x$ is not contained in any of the minimal primes of $R$ then equality holds. (For example if $x$ is a nonzerodivisor.)

Proof. If $x_1, \ldots , x_{\dim R/xR} \in R$ map to elements of $R/xR$ which generate an ideal of definition for $R/xR$ , then $x, x_1, \ldots , x_{\dim R/xR}$ generate an ideal of definition for $R$ . Hence the inequality by Proposition 10.60.9. On the other hand, if $x$ is not contained in any minimal prime of $R$ , then the chains of primes in $R/xR$ all give rise to chains in $R$ which are at least one step away from being maximal. $\square$

Comments (0)

There are also:

2 comment(s) on Section 10.60: Dimension

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