Es sei ${\displaystyle {}R}$ ein kommutativer Ring, es sei ${\displaystyle {}A}$ eine kommutative ${\displaystyle {}R}$-Algebra und ${\displaystyle {}I\subseteq A}$ ein Ideal mit dem Restklassenring ${\displaystyle {}B=A/I}$.

Dann ist die Sequenz

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

Dabei geht ${\displaystyle {}a\in I}$ auf ${\displaystyle {}da\otimes 1}$ und ${\displaystyle {}da\otimes b}$ auf ${\displaystyle {}bda}$.