Kategorie:Theorie der endlich erzeugten kommutativen Gruppen/Definitionen