Definition
Eine Gruppe, deren binäre Operation für jedes Elementpaar kommutativ ist; das heißt, für alle a und b in der Gruppe gilt a * b = b * a.
Prinzip
Prinzip
Die Kommutativität der Gruppenoperation vereinfacht Struktur‑ und Darstellungstheorie: zahlreiche Klassifikationssätze (z. B. die Struktur endlich erzeugter abelscher Gruppen) und die Interpretation als Modul werden verfügbar.
Demonstration
Demonstration
Die ganzen Zahlen Z mit Addition sind eine abelsche Gruppe, da die Addition kommutativ ist. Jeder Vektorraum über einem Körper ist bezüglich Vektoraddition eine abelsche Gruppe; endliche zyklische Gruppen Z/nZ sind einfache Beispiele.
Fehlanwendung
Fehlanwendung
Eigenschaften, die für abelsche Gruppen gelten (wie Zerlegung in zyklische Faktoren), ohne Prüfung der Endlichkeit oder anderer Voraussetzungen anzunehmen, oder zu glauben, jede abelsche Gruppe sei zyklisch, was allgemein falsch ist.
Konsequenz
Konsequenz
Abelsche Gruppen besitzen in vielen Fällen eine umfassende Klassifikation, wohlverhaltene homologische Invarianten und bilden die Kategorie der Z‑Module, wodurch Gruppen‑, lineare und homologische Algebra verknüpft werden.
Umkehrung
Umkehrung
Die Umkehr ist eine nichtabelsche Gruppe, in der Kommutativität versagt; es treten nichttriviale Kommutatoruntergruppen, komplexe Konjugationsstrukturen und unterschiedliche Links/Rechts‑Nebenklassen auf.
Abgrenzung
Abgrenzung
Voraussetzung ist globale Kommutativität für alle Elementpaare; dadurch ausgeschlossen sind nur lokal oder partiell kommutative Gruppen (z. B. nilpotente oder auflösbare, aber nichtabelsche Gruppen).
Semantische Spannung
Semantische Spannung
Spannung besteht zwischen 'abelscher Gruppe' und anderen kommutativen algebraischen Objekten: als additive Gruppe eines Rings kann eine abelsche Gruppe zusätzliche multiplikative Struktur tragen; man muss additive Kommutativität von Ringkommutativität unterscheiden.
Synthese
Synthese
Eine abelsche Gruppe ist eine Gruppe mit kommutativer Operation und bildet ein linear‑ähnliches algebraisches Objekt, das sich für Klassifikation und Modultechniken eignet und als additives Rückgrat vieler algebraischer Theorien dient.