Lemma 10.134.7. Let $A \to B \to C$ be ring maps. Assume $A \to C$ is surjective (so also $B \to C$ is). Denote $I = \mathop{\mathrm{Ker}}(A \to C)$ and $J = \mathop{\mathrm{Ker}}(B \to C)$. Then the sequence

$I/I^2 \to J/J^2 \to \Omega _{B/A} \otimes _ B B/J \to 0$

is exact.

Proof. Follows from Lemma 10.134.4 and the description of the naive cotangent complexes $\mathop{N\! L}\nolimits _{C/B}$ and $\mathop{N\! L}\nolimits _{C/A}$ in Lemma 10.134.6. $\square$

There are also:

• 9 comment(s) on Section 10.134: The naive cotangent complex

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