Diskreter Bewertungsring/Endlich erzeugt/Torsionsfrei/Frei/Aufgabe
Erscheinungsbild
Zeige, dass ein torsionsfreier endlich erzeugter Modul über einem diskreten Bewertungsring frei ist.
Zeige, dass ein
torsionsfreier
endlich erzeugter
Modul
über einem
diskreten Bewertungsring
frei
ist.