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 Hom R ( A , M ) {\displaystyle {}\operatorname {Hom} _{R}{\left(A,M\right)}} zuordnet, linksexakt, siehe Aufgabe.
