Lemma 31.21.3 (063L)—The Stacks project

Processing math: 100%

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

previous lemma
next lemma

numberstags

history
statistics
4 tags refer to this tag

Lemma 31.21.3. Let $i : Z \to X$ be an immersion of schemes. Assume $X$ is locally Noetherian. Then $i$ is regular $\Leftrightarrow$ $i$ is Koszul-regular $\Leftrightarrow$ $i$ is $H_1$ -regular $\Leftrightarrow$ $i$ is quasi-regular.

Proof. Follows immediately from Lemma 31.21.2 and Lemma 31.20.8. $\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