Es sei ${\displaystyle {}R}$ ein kommutativer Ring und es seien ${\displaystyle {}A}$ und ${\displaystyle {}B}$ kommutative ${\displaystyle {}R}$-Algebren und

${\displaystyle \varphi \colon A\longrightarrow B}$

ein ${\displaystyle {}R}$-Algebrahomomorphismus.

Dann ist die Sequenz

von ${\displaystyle {}B}$-Moduln exakt.

Dabei geht ${\displaystyle {}da\otimes b}$ auf ${\displaystyle {}bd\varphi (a)}$ und ${\displaystyle {}db}$ (in ${\displaystyle {}\Omega _{B{|}R}}$) auf ${\displaystyle {}db}$ (in ${\displaystyle {}\Omega _{B{|}A}}$).