Modultheorie/Hauptidealbereiche/endliche torsionsfreie Moduln sind frei/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Hauptidealbereich und ein endlicher torsionsfreier Modul.

Dann ist frei.

Zum Beweis, Alternativen Beweis erstellen