Lemma 10.138.9. Let $A \to B \to C$ be ring maps. Assume $B \to C$ is formally smooth. Then the sequence

$0 \to \Omega _{B/A} \otimes _ B C \to \Omega _{C/A} \to \Omega _{C/B} \to 0$

of Lemma 10.131.7 is a split short exact sequence.

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