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

Beweis

Dies folgt direkt aus Fakt, da im torsionsfreien Fall die endlichen zyklischen Komponenten in der Produktzerlegung gleich ${}0$ sein müssen.

Zur bewiesenen Aussage