Lemma 37.59.9. A regular immersion of schemes is a local complete intersection morphism. A Koszul-regular immersion of schemes is a local complete intersection morphism.

Proof. Since a regular immersion is a Koszul-regular immersion, see Divisors, Lemma 31.21.2, it suffices to prove the second statement. The second statement follows immediately from the definition. $\square$

There are also:

• 4 comment(s) on Section 37.59: 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).