Es sei R {\displaystyle {}R} ein kommutativer Ring und es sei V {\displaystyle {}V} ein endlich erzeugter freier Modul über R {\displaystyle {}R} . Es sei
ein Modulhomomorphismus