Eine Gruppe (G, ·), deren binäre Verknüpfung kommutativ ist: für alle a, b in G gilt a·b = b·a. Mit anderen Worten ist es eine Gruppe, in der jedes Elementpaar zueinander kommutiert.

Prinzip

Die Kommutativität der Verknüpfung ist die ordnende Einschränkung; sie vereinfacht linke und rechte Strukturen und erlaubt Umstellungen wie in linearen Kontexten, was Klassifikation und Modulverhalten erleichtert.

Demonstration

Die ganzen Zahlen (Z, +) bilden eine abelsche Gruppe, weil m + n = n + m für alle ganzen Zahlen gilt. Die additive Gruppe eines Rings oder Vektorraums ist abelsch; auch die endlichen zyklischen Gruppen Z/nZ sind abelsch.

Fehlanwendung

Zu behaupten, Ergebnisse für abelsche Gruppen (etwa dass Untergruppen automatisch normal sind oder die Klassifikation trivial sei) gelten auch für nicht‑abelsche Gruppen. Oder eine nur bedingt kommutative Verknüpfung als global kommutativ zu behandeln.

Konsequenz

Ist eine Gruppe abelsch, sind die Untergruppen- und Quotientenstrukturen einfacher (alle Untergruppen zyklischer Gruppen sind zyklisch, viele Klassifikationssätze gelten), Darstellungen reduzieren sich auf Modulstrukturen über Z oder anderen Ringen, und tensorielle sowie homologische Methoden stehen zur Verfügung.

Umkehrung

Eine nicht‑abelsche Gruppe behält Identität und Inverse, ist aber nicht global kommutativ: die Reihenfolge der Elemente ist relevant, und Konjugation wird zum zentralen Organisationsprinzip, was Kommutatorgruppen und nicht‑abelsche einfache Gruppen ermöglicht.

Abgrenzung

Dieser Eintrag behandelt ausschließlich die Kommutativität der Gruppenverknüpfung. Zusätzliche Strukturen wie geordnete abelsche Gruppen, topologische abelsche Gruppen oder abelsche Kategorien sowie nur lokal oder partiell abelsche Gruppen sind ausgeschlossen.

Semantische Spannung

„Abelsch“ kann mit anderen Formen von Kommutativität (z. B. kommutative Ringe) verwechselt werden: Die Spannung besteht darin, dass abelsche Gruppen Z‑Module sind und sich linear verhalten, während kommutative Ringe eine multiplikative Struktur haben, die Klassifikation und Invarianten ändert.

Synthese

Eine abelsche Gruppe ist eine kommutative Gruppe: die Symmetrie der Verknüpfung reduziert Komplexität, eröffnet modulare Sichtweisen und bildet die Grundlage vieler Klassifikations‑ und Homologiemethoden.