Lemma 10.59.13. Let $(R, \mathfrak m)$ be a Noetherian local ring. Suppose $x_1, \ldots , x_ d \in \mathfrak m$ generate an ideal of definition and $d = \dim (R)$. Then $\dim (R/(x_1, \ldots , x_ i)) = d - i$ for all $i = 1, \ldots , d$.
Follows either from the proof of Proposition 10.59.8, or by using induction on $d$ and Lemma 10.59.12.
Post a comment
Your email address will not be published. Required fields are marked.
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).