Hauptidealbereich/Modul/Endlich torsionsfrei/Frei/Fakt

Es sei ${}R$ ein Hauptidealbereich und ${}M$ ein endlicher torsionsfreier Modul.

Dann ist ${}M$ frei.

Zum Beweis, Alternativen Beweis erstellen