Kategorie:Hauptsatz für endlich erzeugte kommutative Gruppen/Fakten