Diskreter Bewertungsring/Endlich erzeugt/Torsionsfrei/Frei/Aufgabe

Zeige, dass ein torsionsfreier endlich erzeugter Modul ${}M$ über einem diskreten Bewertungsring frei

ist.

Eine Lösung erstellen