Elementare Gruppentheorie/Hauptsatz über endlich erzeugte torsionsfreie kommutative Gruppen/Fakt
Erscheinungsbild
Hauptsatz für endlich erzeugte torsionsfreie kommutative Gruppen
Es sei eine endlich erzeugte torsionsfreie kommutative Gruppe.
Dann ist eine (endlich-erzeugte) freie Gruppe, d.h. es gibt eine Isomorphie