Elementare Gruppentheorie/Hauptsatz über endlich erzeugte torsionsfreie kommutative Gruppen/Fakt

Hauptsatz für endlich erzeugte torsionsfreie kommutative Gruppen

Sei eine endlich erzeugte torsionsfreie kommutative Gruppe.

Dann ist eine (endlich-erzeugte) freie Gruppe, d.h. es gibt eine Isomorphie