Sei R {\displaystyle {}R} ein kommutativer Ring, M {\displaystyle {}M} und N {\displaystyle {}N} zwei R {\displaystyle {}R} -Moduln und sei
ein Modulhomomorphismus