Lemma 31.21.12 (0E9J)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 31: Divisors
Section 31.21: Regular immersions
Lemma 31.21.12 (cite)

previous lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 31.21.12. Let $i : Z \to X$ be an immersion. If $Z$ and $X$ are regular schemes, then $i$ is a regular immersion.

Proof. Let $z \in Z$ . By Lemma 31.20.8 it suffices to show that the kernel of $\mathcal{O}_{X, z} \to \mathcal{O}_{Z, z}$ is generated by a regular sequence. This follows from Algebra, Lemmas 10.106.4 and 10.106.3. $\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