Lemma 10.68.8 (0F1T)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.68: Regular sequences
Lemma 10.68.8 (cite)

previous lemma
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 10.68.8. Let $R$ be a ring. Let $0 \to M_1 \to M_2 \to M_3 \to 0$ be a short exact sequence of $R$ -modules. Let $f_1, \ldots , f_ r \in R$ . If $f_1, \ldots , f_ r$ is $M_1$ -regular and $M_3$ -regular, then $f_1, \ldots , f_ r$ is $M_2$ -regular.

Proof. By Lemma 10.4.1, if $f_1 : M_1 \to M_1$ and $f_1 : M_3 \to M_3$ are injective, then so is $f_1 : M_2 \to M_2$ and we obtain a short exact sequence

$0 \to M_1/f_1M_1 \to M_2/f_1M_2 \to M_3/f_1M_3 \to 0$

The lemma follows from this and induction on $r$ . Some details omitted. $\square$

Comments (0)

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