$\xymatrix{ X \ar[rr]_ f \ar[rd] & & Y \ar[ld] \\ & S }$

be a commutative diagram of morphisms of schemes. Assume $Y \to S$ smooth and $X \to S$ is a local complete intersection morphism. Then $f : X \to Y$ is a local complete intersection morphism.

Proof. Immediate from the definitions. $\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).