##  [Abelsche Gruppe](/de/node/61445) 

 Definition

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

 

 

 

 

 

 





## Prinzip

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

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

Fehlanwendung

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

 

 

 

 

 





## Konsequenz

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

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

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

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

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.