Lemma 10.139.3. Let A \to B \to C be ring maps. Assume A \to C is surjective (so also B \to C is) and A \to B smooth. Denote I = \mathop{\mathrm{Ker}}(A \to C) and J = \mathop{\mathrm{Ker}}(B \to C). Then the sequence
of Lemma 10.134.7 is exact.
Lemma 10.139.3. Let A \to B \to C be ring maps. Assume A \to C is surjective (so also B \to C is) and A \to B smooth. Denote I = \mathop{\mathrm{Ker}}(A \to C) and J = \mathop{\mathrm{Ker}}(B \to C). Then the sequence
of Lemma 10.134.7 is exact.
Proof. This follows from the more general Lemma 10.138.11 because a smooth ring map is formally smooth, see Proposition 10.138.13. \square
Comments (0)