Endlicher freier Modul/Freier Modul/Homomorphismenmodul/Fakt

Für einen endlich erzeugten freien ${}R$ -Modul ${}M$ und einen freien Modul ${}F$ über einem kommutativen Ring ${}R$

ist der Homomorphismenmodul ${}\operatorname {Hom} _{R}{\left(M,N\right)}$ frei.