Es sei R{\displaystyle {}R} ein kommutativer Ring und A{\displaystyle {}A} ein fixierter R{\displaystyle {}R}-Modul. Dann ist die Zuordnung, die jedem R{\displaystyle {}R}-Modul M{\displaystyle {}M} den Homomorphismenmodul HomR(A,M){\displaystyle {}\operatorname {Hom} _{R}{\left(A,M\right)}} zuordnet, linksexakt, siehe Aufgabe.
