 Conormal module of the diagonal

For a commutative $k$-algebra $A$, let $I$ be the kernel of multiplication $\mu :A{\otimes }_{k}A\to A$. The formula $a\mapsto [1\otimes a-a\otimes 1]$ is a derivation of an algebra into the quotient module $I/I^2$, with $A$ acting through the first factor. It induces an isomorphism from the module of Kähler differentials. An inverse is induced by $q(x\otimes y)=xdy$: the identity $q(rs)=\mu (r)q(s)+\mu (s)q(r)$ shows $q(I^2)=0$. For $z={\sum }_i{x}_i\otimes y_i\in I$, the equality ${\sum }_i{x}_i{y}_i=0$ gives $[z]={\sum }_i{x}_i[1\otimes y_i-y_i\otimes 1]$, proving that the two maps are inverse. For an affine variety, $I$ is the defining ideal of its diagonal morphism.