Es sei R {\displaystyle {}R} ein kommutativer Ring, a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} ein Ideal und seien M {\displaystyle {}M} und N {\displaystyle {}N} R {\displaystyle {}R} -Moduln.
Dann ist
