Kommutative Algebra/Modultheorie/Epimorphimus zwischen Freien Modul und Modul/Fakt

Sei ${}M$ ein ${}R$-Modul.

Dann existiert ein freier ${}R$-Modul ${}F$, sodass es einen ${}R$-Modul Epimorphismus

$f\colon F\to M$

gibt.