Lemma 37.5.3. Let $i : Z \to X$ be an immersion of schemes. Let $Z \subset Z'$ be the first order infinitesimal neighbourhood of $Z$ in $X$. Then the diagram

$\xymatrix{ Z \ar[r] \ar[d] & Z' \ar[d] \\ Z \ar[r] & X }$

induces a map of conormal sheaves $\mathcal{C}_{Z/X} \to \mathcal{C}_{Z/Z'}$ by Morphisms, Lemma 29.31.3. This map is an isomorphism.

Proof. This is clear from the construction of $Z'$ above. $\square$

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