Es sei R {\displaystyle {}R} ein kommutativer Ring, S {\displaystyle {}S} eine kommutative R {\displaystyle {}R} -Algebra und I {\displaystyle {}I} ein injektiver R {\displaystyle {}R} -Modul.
Dann ist auch der S {\displaystyle {}S} -Modul Hom R ( S , I ) {\displaystyle {}\operatorname {Hom} _{R}{\left(S,I\right)}} injektiv.
