Lemma 37.60.14. Let $i : X \to Y$ be an immersion. If

1. $i$ is perfect,

2. $Y$ is locally Noetherian, and

3. the conormal sheaf $\mathcal{C}_{X/Y}$ is finite locally free,

then $i$ is a regular immersion.

Proof. Translated into algebra, this is Divided Power Algebra, Proposition 23.11.3. $\square$

There are also:

• 4 comment(s) on Section 37.60: Local complete intersection morphisms

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).