Lemma 37.62.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
Comments (0)
There are also: