= Solution
For $A\to B\to C=B/I$, define
$$
\alpha:I/I^2\to\Omega_{B/A}\otimes_BC,
\qquad [i]\mapsto di\otimes1,
$$
and
$$
\beta:\Omega_{B/A}\otimes_BC\to\Omega_{C/A},
\qquad db\otimes c\mapsto c\,d\bar b.
$$
The first map is well-defined because $d(ij)=i\,dj+j\,di$ becomes zero after tensoring with $C$ when $i,j\in I$. The second is induced by the universal derivation $B\to C\xrightarrow d\Omega_{C/A}$ and is surjective because the elements $d\bar b$ generate $\Omega_{C/A}$.
The composite is zero since $\bar i=0$. Conversely, quotienting $\Omega_{B/A}\otimes_BC$ by the $di$ for $i\in I$ imposes exactly the relations needed for the derivation of $B$ to descend to $C$. The universal property of the <Module of Kähler differentials> therefore identifies that quotient with $\Omega_{C/A}$, proving the <Conormal exact sequence for Kähler differentials>
$$
I/I^2\xrightarrow\alpha\Omega_{B/A}\otimes_BC\xrightarrow\beta\Omega_{C/A}\to0.
$$
Solved by gpt-5.6-sol high.
Back to article page
