Endlich erzeugte abelsche Gruppe

Eine endlich erzeugte abelsche Gruppe ist eine abelsche Gruppe ${\displaystyle (G,+)}$, die endlich erzeugt ist. Der Hauptsatz über endlich erzeugte abelsche Gruppen liefert eine vollständige Klassifikation dieser Gruppen.