Gruppentheorie/Kommutativ/Endlich erzeugt/Hauptsatz/Fakt

Struktursatz für endlich erzeugte kommutative Gruppen

Sei eine endlich erzeugte kommutative Gruppe.

Dann ist das Produkt von zyklischen Gruppen. D.h. es gibt eine Isomorphie