berührt die Spezialgebiete

• Mathematik
  • Abstrakte Algebra
  • Gruppentheorie

ist Spezialfall von

• Magma (Axiom E)
  • Halbgruppe (EA)
    • Monoid (EAN)
      • Gruppe (EANI)

umfasst als Spezialfälle

• endliche Abelsche Gruppen
• zyklische Gruppen
• Ring
  • Körper
• Vektorraum

Abelsche Gruppe (Axiome EANIK)

In der abstrakten Algebra ist eine abelsche Gruppe eine Gruppe (G, *), für die das Kommutativgesetz

a * b = b * a für alle a,b in G

gilt. Sie ist benannt nach dem norwegischen Mathematiker Niels Henrik Abel.

Ist eine Gruppe abelsch, dann schreibt man ihre Verknüpfung meist additiv (Operator „+“; 0 als das neutrale Element oder Nullelement; −a als das Inverse oder Negative von a) oder multiplikativ (Operator „$\backslash cdot$“; 1 als das neutrale Element oder Einselement; $a^\{-1\}$ als das Inverse oder Kehrwert von a).

Beispiele

---

Jede zyklische Gruppe ist abelsch, wie z.B. die additive Gruppe (Z, +) der ganzen Zahlen oder der Restklassenring Z/nZ mit der Addition.

Die reellen Zahlen bilden eine abelsche Gruppe mit der Addition, ohne die Null bilden sie eine abelsche Gruppe mit der Multiplikation.

Allgemeiner liefert jeder Körper (K, +, *) zwei abelsche Gruppen in derselben Weise: (K, +) und (K\{0}, *).

Ein weiteres Beispiel ist die Faktorgruppe Q/Z, die isomorph zur (multiplikativen) Gruppe der komplexen Einheitswurzeln ist. Die Faktorgruppe R/Z ist isomorph zur Gruppe aller komplexen Zahlen mit Betrag 1.

Eigenschaften

---

Für eine (kleine) endliche Gruppe erkennt man leicht, ob sie abelsch ist:

Genau dann, wenn eine Gruppe abelsch ist, ist ihre Gruppentafel symmetrisch zur Hauptdiagonalen, die von links oben nach rechts unten führt.

Ist n eine natürliche Zahl und x ein Element der abelschen Gruppe G, dann kann man nx definieren als die Summe x + x + … + x mit genau n Summanden, 0x als 0 (das neutrale Element der Gruppe) und (−n)x als −(nx). Auf diese Weise wird G zu einem Modul über dem Ring Z. Da jeder Z-Modul eine abelsche Gruppe ist, kann man also die Z-Moduln mit den abelschen Gruppen identifizieren. Theoreme über abelsche Gruppen können so oft verallgemeinert werden zu Sätzen für Moduln über Hauptidealringen. Ein Beispiel ist die Klassifikation endlich erzeugter abelscher Gruppen (siehe unten).

Jede Untergruppe einer abelschen Gruppe ist Normalteiler, also kann man zu jeder Untergruppe eine Faktorgruppe erzeugen. Untergruppen, Faktorgruppen, Produkte und direkte Summen abelscher Gruppen sind wieder abelsch.

Sind f, g: G -> H zwei Gruppenhomomorphismen zwischen abelschen Gruppen, dann ist ihre Summe f + g, definiert durch

(f + g)(x) = f(x) + g(x)

ebenfalls ein Homomorphismus. (Das gälte nicht, wenn H nicht abelsch wäre.) Die Menge Hom(G, H) aller Gruppenhomomorphismen wird mit dieser Addition selbst zu einer abelschen Gruppe.

Die abelschen Gruppen mit ihren Homomorphismen bilden eine Kategorie. Diese ist der Prototyp einer abelschen Kategorie.

Viele abelsche Gruppen haben eine natürliche Topologie, durch die sie zu topologischen Gruppen werden.

Zusätzliche Attribute

---

• Eine abelsche Gruppe ist genau dann endlich erzeugt, wenn es eine endliche Menge E = {e₁, …, e_k} gibt, so dass sich jedes Element in der Form

a₁e₁ + … + a_ke_k

mit ganzen Zahlen a₁, …, a_k schreiben lässt. Insbesondere ist jede endliche abelsche Gruppen endlich erzeugt.

• Die Eigenschaften frei und projektiv sind äquivalent, ebenso torsionsfrei und flach.

Strukturtheorie

---

• Vollständig klassifiziert sind die endlich erzeugten abelschen Gruppen.
• Für beliebige abelsche Gruppen kann man analog zum Begriff der Dimension eines Vektorraums jeder abelschen Gruppe ihren Rang zuordnen. Er ist definiert als die größte Mächtigkeit einer Z-linear unabhängigen Teilmenge. Die ganzen Zahlen und die rationalen Zahlen Q haben Rang 1, so wie jede Untergruppe von Q. Die abelschen Gruppen vom Rang 1 sind gut verstanden, dagegen sind für höhere Ränge noch viele Fragen offen. Abelsche Gruppen mit unendlichem Rang können extrem komplex sein und ihre offenen Fragen sind oft eng verbunden mit Fragen der Mengenlehre.

Siehe auch

---

• Hierarchie mathematischer Strukturen

Gruppentheorie

Abelova grupa | Abelian group | Komuta grupo | Grupo abeliano | Abeli rühm | Abelin ryhmä | Groupe abélien | חבורה אבלית | Abel-csoport | Gruppo abeliano | アーベル群 | 아벨군 | Abelse groep | Abelsk gruppe | Grupa abelowa | Grupo abeliano | Grup abelian | Абелева группа | Abelovská grupa | Abelova grupa | Abelsk grupp | 阿贝尔群