Lemma 10.104.2 (02JN)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.104: Cohen-Macaulay rings
Lemma 10.104.2 (cite)

numberstags

Regular sequences in Cohen-Macaulay local rings are characterized by cutting out something of the correct dimension.

Lemma 10.104.2. Let $R$ be a Noetherian local Cohen-Macaulay ring with maximal ideal $\mathfrak m$ . Let $x_1, \ldots , x_ c \in \mathfrak m$ be elements. Then

$x_1, \ldots , x_ c \text{ is a regular sequence } \Leftrightarrow \dim (R/(x_1, \ldots , x_ c)) = \dim (R) - c$

If so $x_1, \ldots , x_ c$ can be extended to a regular sequence of length $\dim (R)$ and each quotient $R/(x_1, \ldots , x_ i)$ is a Cohen-Macaulay ring of dimension $\dim (R) - i$ .

Proof. Special case of Proposition 10.103.4. $\square$

Comments (1)

Comment #916 by Matthieu Romagny on August 11, 2014 at 20:47

Suggested slogan: Regular sequences of Cohen-Macaulay local rings

There are also:

7 comment(s) on Section 10.104: Cohen-Macaulay 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 (1)

Post a comment