Modultheorie/Hauptidealbereiche/endliche torsionsfreie Moduln sind frei/Fakt

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

Dann ist ${}M$ frei.

Zum Beweis, Alternativen Beweis erstellen