Endlich erzeugte abelsche Gruppe

Begriff der abelschen Gruppetheorie
(Weitergeleitet von Endliche abelsche Gruppe)

Eine endlich erzeugte abelsche Gruppe ist eine abelsche Gruppe , die endlich erzeugt ist. Der Hauptsatz über endlich erzeugte abelsche Gruppen liefert eine vollständige Klassifikation dieser Gruppen.

Beispiele und Gegenbeispiele

Bearbeiten
  • Alle endlichen Gruppen sind endlich erzeugt. Daher sind auch endliche abelsche Gruppen endlich erzeugt.
  • Die ganzen Zahlen   sind eine unendliche abelsche Gruppe, die endlich erzeugt ist mit 1 als Erzeuger.
  • Jede direkte Summe von endlich vielen endlich erzeugten abelschen Gruppen ist wieder eine endlich erzeugte abelsche Gruppe.
  • Die additive Gruppe der rationalen Zahlen   ist nicht endlich erzeugt: Zu   wähle man eine natürliche Zahl  , die teilerfremd zu den Nennern aller   ist; dann kann   nicht als ganzzahlige Linearkombination von   dargestellt werden.

Klassifikation

Bearbeiten

Jede Untergruppe und Faktorgruppe einer endlich erzeugten abelschen Gruppe ist wieder endlich erzeugt abelsch. Die endlich erzeugten abelschen Gruppen zusammen mit den Gruppenmorphismen bilden eine abelsche Kategorie.

Man beachte, dass nicht jede abelsche Gruppe von endlichem Rang endlich erzeugt ist.   zum Beispiel ist von Rang 1, aber nicht endlich erzeugt. Ein weiteres Beispiel ist die direkte Summe von unendlich vielen Kopien von  , diese ist von Rang 0, aber auch nicht endlich erzeugt.

Der Hauptsatz über endlich erzeugte abelsche Gruppen besagt, dass jede endlich erzeugte abelsche Gruppe   zu einer endlichen direkten Summe von zyklischen Gruppen, deren Ordnung die Potenz einer Primzahl ist, und unendlichen zyklischen Gruppen isomorph ist.

Endliche abelsche Gruppen

Bearbeiten
  • Aus der Klassifikation folgt insbesondere, dass jede endliche abelsche Gruppe   isomorph ist zu einer endlichen direkten Summe von endlichen zyklischen Gruppen, deren Ordnung die Potenz einer Primzahl ist.
  • Zu jeder natürlichen Zahl   mit der Primfaktorzerlegung   existieren genau   Isomorphietypen von abelschen Gruppen mit   Elementen. Die Funktion   ist die Partitionsfunktion(Folge A000041 in OEIS), die Folge   ist Folge A000688 in OEIS.
  • Jede solche abelsche Gruppe mit   Elementen besitzt ein Erzeugendensystem aus höchstens   Elementen.
  • Speziell gilt: Ist   eine quadratfreie natürliche Zahl, dann ist jede abelsche Gruppe mit   Elementen zyklisch.

Literatur

Bearbeiten
  • Thomas W. Hungerford: Algebra. In: Graduate texts in mathematics. 8. korrigierte Auflage. Nr. 73. Springer, New York / Berlin / Singapore / Tokyo / Heidelberg / Barcelona / Budapest / Hong Kong / London / Milan / Paris / Santa Clara 1996, ISBN 3-540-90518-9, II. The Structure of Groups, 2. Finitely Generated Abelian Groups, S. 76–82 (filestube.com [PDF; 8,0 MB; abgerufen am 15. Februar 2012] DNB 949253235/04 Inhaltsverzeichnis).