Eine Gruppe, deren binäre Operation kommutativ ist, so dass für alle Elemente a und b gilt a·b = b·a.

Prinzip

Abelsche Gruppen fügen den Gruppenaxiomen die Bedingung der Kommutativität hinzu; die Reihenfolge der Verknüpfung spielt keine Rolle, was Struktur und Klassifikation vereinfacht.

Demonstration

Die ganzen Zahlen Z mit der Addition bilden eine abelsche Gruppe, denn a+b=b+a für alle ganzen Zahlen; diese Kommutativität liegt der Klassifikation endlich erzeugter abelscher Gruppen zugrunde.

Fehlanwendung

In einer nichtabelschen Gruppe Kommutativität anzunehmen (etwa bei Matrizenmultiplikation) führt zu falschen Vereinfachungen und zum fehlerhaften Gebrauch von Zerlegungssätzen.

Konsequenz

Ist eine Gruppe abelsch, so erlaubt dies Zerlegungen als direkte Summen, erleichtert die Bestimmung von Untergruppen und Homomorphismen und ermöglicht den Einsatz von Modul- und homologische Methoden; viele Invarianten werden einfacher.

Umkehrung

Lässt man die Kommutativität weg, erhält man allgemeine Gruppen, in denen die Reihenfolge wichtig ist und Phänomene wie nichttriviale Konjugation und einfache nichtabelsche Gruppen auftreten.

Abgrenzung

Umfasst nur Gruppen mit kommutativer Verknüpfung; schließt nichtabelsche Gruppen aus, Situationen, in denen Kommutativität nur für Teilmengen gilt, und nicht global definierte Operationen.

Semantische Spannung

Abelsche Gruppe vs additive Gruppe eines Rings: die additive Gruppe eines Rings ist abelsch, doch verfügt ein Ring zusätzlich über Multiplikation; abelsche Gruppe vs Vektorraum: eine abelsche Gruppe besitzt nicht notwendigerweise Skalarmultiplikation über einem Körper.

Synthese

Eine abelsche Gruppe ist eine Gruppe, deren assoziative Verknüpfung zusätzlich kommutativ ist; dadurch entsteht ein algebraisch lineareres Umfeld, in dem Reihenfolge unwichtig ist und Klassifikations- sowie homologische Techniken wirksam werden.