Modultheorie/Hauptidealbereiche/endliche torsionsfreie Moduln sind frei/Fakt

Es sei ein Hauptidealbereich und ein endlicher torsionsfreier Modul.

Dann ist frei.