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