Hauptsatz über endlich erzeugte abelsche Gruppen

Der Hauptsatz über endlich erzeugte abelsche Gruppen (oder Struktursatz für endlich erzeugte abelsche Gruppen) ist ein Resultat aus der Gruppentheorie, insbesondere der Theorie über endlich erzeugte abelsche Gruppen. Das sind Gruppen, die unter ihrer binären Verknüpfung kommutieren und in denen jedes Element <math>g\in G</math> als Produkt<ref>In diesem Artikel wird die Operation als multiplikativ aufgefasst. Es handelt sich dabei nur um eine Schreibweise und man könnte auch ohne Weiteres von Vielfachen sprechen. Im Weiteren wird darauf nicht mehr hingewiesen.</ref> von Elementen einer endlichen Erzeugermenge darstellbar ist.

Die Aussage des Satzes ist, dass für alle diese Gruppen eine Zerlegung oder Dekomposition in endlich viele zyklische Untergruppen, das sind Gruppen, die von genau einem Element erzeugt werden, existiert. Die Gruppe <math>G</math> ist das direkte Produkt <math>G</math> dieser Untergruppen. Weil jede zyklische Gruppe endlicher Ordnung isomorph zu einer Restklassengruppe <math>(\mathbb{Z}/d\mathbb{Z},+)</math> ist und jede zyklische Gruppe unendlicher Ordnung isomorph zur Gruppe der ganzen Zahlen <math>(\mathbb{Z},+)</math>, ist damit jede dieser Gruppen isomorph zu einem Produkt aus einer unendlichen oder trivialen Gruppe vom Typ <math>\mathbb{Z}^n\, (n\in\N)</math> mit einer endlichen Gruppe, die ein Produkt von Restklassengruppen ist.

Anders formuliert besagt der Hauptsatz, dass eine endlich erzeugte abelsche Gruppe direktes Produkt einer freien abelschen Gruppe von endlichem Rang und einer endlichen abelschen Gruppe ist. Die endliche abelsche Gruppe ist die Torsionsuntergruppe von <math>G</math>. Die freie abelsche Gruppe ist im Allgemeinen nicht eindeutig bestimmt, sondern nur ihr Rang.

Der Satz folgt unmittelbar aus dem Satz über die Klassifizierung endlich erzeugter Moduln über Hauptidealringen, da jede abelsche Gruppe als Modul über dem Hauptidealring der ganzen Zahlen aufgefasst werden kann.

Aussage

Ist <math>G</math> eine endlich erzeugte abelsche Gruppe, so gibt es eindeutig bestimmte nicht-negative ganze Zahlen <math>r, t</math> sowie eindeutig bestimmte Primzahlpotenzen <math>1< d_1\le \ldots\le d_t</math> mit

<math>G\cong \Z^r \oplus \bigoplus_{i=1}^t \Z/d_i\Z.</math>

Beweisidee

Die Existenz der Zerlegung zeigt man, indem von einem beliebigen Erzeugendensystem ausgehend durch elementare Umformungen ein geeignetes ggf. anderes Erzeugendensystem konstruiert wird, das die Abspaltung eines Summanden zulässt. Auf diese Weise wird ein Beweis durch vollständige Induktion nach der Anzahl der Erzeuger ermöglicht.

Folgerungen und Beispiele

Die Eigenschaften frei, projektiv, torsionsfrei, flach sind in endlich erzeugten abelschen Gruppen äquivalent.

Für endliche abelsche Gruppen

Für den Isomorphietyp der zyklischen Gruppe mit <math>m</math> Elementen, <math>(\Z/m \Z,+)</math> wird im Folgenden abkürzenden <math>C_m</math> geschrieben, Gruppen werden, wie in der Theorie der endlichen Gruppen üblich „multiplikativ“ geschrieben, die direkten Summen aus dem Hauptsatz demgemäß als direkte Produkte.

Jede endliche, nicht triviale, abelsche p-Gruppe <math>G</math> (<math>p</math> positive Primzahl) hat als Gruppenordnung eine Potenz <math>p^n, n\in\N.</math> Zu jeder Zahlpartition von <math>n</math> existiert bis auf Isomorphie genau eine abelsche Gruppe mit <math>p^n</math> Elementen. Die Anzahl der Zahlpartitionen kann mit der Partitionsfunktion <math>P(n)</math> angegeben werden.

Beispiel

Zur Gruppenordnung <math>16=2^4</math> existieren genau <math>P(4)=5</math> verschiedene Isomorphietypen von abelschen Gruppen

<math>{C_2}^4</math> zur Partition <math>4=1+1+1+1</math>, <math>C_4\times {C_2}^2</math> zur Partition <math>4=2+1+1</math>, <math>{C_4}^2</math> zur Partition <math>4=2+2</math>, <math>C_8\times C_2</math> zur Partition <math>4=3+1</math> und <math>C_{16}</math> zur Partition <math>4=4</math>.

Zusammen mit der Aussage aus der elementaren Zahlentheorie <math>C_r\times C_s\cong C_{r\cdot s}</math> genau dann, wenn <math>r,s</math> teilerfremd sind, ergibt sich:

Genau dann, wenn <math>N</math> eine quadratfreie natürliche Zahl ist, das heißt, wenn für keine Primzahl <math>p</math> das Quadrat <math>p^2</math> ein Teiler von <math>N</math> ist, gibt es bis auf Isomorphie nur eine abelsche Gruppe <math>G</math> mit <math>N</math> Elementen. Die Gruppe ist dann zyklisch und es gilt <math>G\cong C_N</math>
Ist <math>N={p_1}^{r_1}\cdot {p_2}^{r_2} \cdot\cdots\cdot {p_k}^{r_k}</math> die Primfaktorzerlegung von <math>N</math>, dann existieren bis auf Isomorphie genau <math>P(r_1)\cdot P(r_2)\cdot\cdots\cdot P(r_k)</math> abelsche Gruppen mit <math>N</math> Elementen. (<math>P(r_1)</math> usw. ist dabei jeweils die Partitionsfunktion.)

Jede solche Gruppe besitzt ein Erzeugendensystem aus höchstens <math>R:=\max(r_1,r_2,\ldots r_k)</math> Gruppenelementen.

Jede endliche abelsche Gruppe <math>G</math> mit der Gruppenordnung <math>N</math> ist isomorph zu einem direkten Produkt

<math>C_{m_1}\times C_{m_2}\times \cdots \times C_{m_s},</math> dabei gilt <math>m_1>1</math>, <math>m_k</math> teilt stets <math>m_{k+1}</math> für <math>1\leq k<s</math> und für das Produkt aller dieser Zahlen gilt <math>m_1\cdot m_2\cdot\cdots m_s= N</math>.

Die angegebene Produktdarstellung ist durch die Gruppe <math>G</math> und die Teilbarkeitsforderung eindeutig bestimmt.
Die maximale Ordnung eines Gruppenelements ist <math>M=m_s</math>, für alle Gruppenelemente <math>g\in G</math> gilt <math>g^M=e</math> und jede andere natürliche Zahl <math>K</math>, für die <math>g^K=e</math> für alle Gruppenelemente <math>g\in G</math> gilt, ist ein Vielfaches von <math>M</math>.
Die Gruppe besitzt ein Erzeugendensystem aus <math>s</math> Gruppenelementen und jedes Erzeugendensystem enthält mindestens <math>s</math> Elemente. Die angegebene Darstellung ist insoweit eine „minimale Produktdarstellung“ der Gruppe.

Beispiele

Die abelsche Gruppe <math>G</math> habe den Isomorphietyp <math>G\cong {C_2}^2\times C_3\times C_4 \times {C_9}^2\times {C_{27}}^2</math> gemäß der Darstellung im Hauptsatz. Mit Hilfe einer sortierten Tabelle der auftretenden Primzahlpotenzordnungen erhält man daraus die genannte „minimale Produktdarstellung“:

Potenzen von 3:	3	9	9	27	27
Potenzen von 2:	1	1	2	2	4
Produkte:	3	9	18	54	108

Dabei sortiert man nach aufsteigenden Exponenten der Primzahlpotenz und füllt in Zeilen, die weniger als 5 Potenzen enthalten, von vorn mit 1 auf. Die letzte Zeile, in der die Produkte der Spalten stehen, enthält dann die aufsteigende Kette von Teilern. Das ergibt <math>G\cong C_3\times C_{9}\times C_{18}\times C_{54}\times C_{108}</math>, gemäß der genannten Darstellung mit aufsteigenden Teilern, man kommt also für diese Gruppe mit einem Erzeugendensystem aus fünf Gruppenelementen aus – 5 ist die maximale Anzahl von p-Gruppen zu einer Primzahl (hier p=3), die in der Produktdarstellung gemäß dem Hauptsatz vorkommen!

Für die abelsche Gruppe <math>G=C_3\times C_6\times C_6\times C_{60}</math>

Produkte:	3	6	6	60
Potenzen von 2:	1	2	2	4
Potenzen von 3:	3	3	3	3
Potenzen von 5:	1	1	1	5

tabelliert man zunächst die aufsteigenden Teiler, faktorisiert sie nach den auftretenden Primzahlpotenzen und erhält so die Darstellung gemäß Hauptsatz <math>G\cong {C_2}^2 \times {C_3}^4\times C_4\times C_5</math>. Ein minimales Erzeugendensystem dieser Gruppe enthält vier Elemente.

Literatur

Müller-Stach, Piontkowski: Elementare und algebraische Zahlentheorie. Vieweg, ISBN 978-3-8348-0211-8.
Leutbecher: Zahlentheorie – Eine Einführung in die Algebra. Springer, ISBN 978-3-540-58791-0.
Siegfried Bosch: Algebra. 7. Auflage. Springer-Verlag, 2009, ISBN 3-540-40388-4, doi:10.1007/978-3-540-92812-6.

Anmerkungen

Weblinks

[[b:{{#if:|{{{lang}}}:}}{{#if:Beweisarchiv: Algebra: Gruppen: Klassifikation endlich erzeugter abelscher Gruppen|Beweisarchiv: Algebra: Gruppen: Klassifikation endlich erzeugter abelscher Gruppen|Hauptsatz über endlich erzeugte abelsche Gruppen}}|Wikibooks: {{#if:Beweis des Satzes|Beweis des Satzes|{{#if:Beweisarchiv: Algebra: Gruppen: Klassifikation endlich erzeugter abelscher Gruppen|Beweisarchiv: Algebra: Gruppen: Klassifikation endlich erzeugter abelscher Gruppen|Hauptsatz über endlich erzeugte abelsche Gruppen}}}}]]{{#switch: 1

|1|= – Lern- und Lehrmaterialien |0|-= |X|x={{#switch: 0

      |0|4|10|12|14|100=}}

|#default= – {{{suffix}}}

}}{{#if: | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}

{{#invoke:TemplatePar|check

  |opt= 1= 2= lang= suffix=
  |template=Vorlage:Wikibooks
  |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt
  }}