Eine algebraische Struktur, bestehend aus einer Menge mit einer einzigen binären Operation, die assoziativ ist, ein neutrales Element besitzt und so beschaffen ist, dass jedes Element bezüglich dieser Operation ein Inverses hat.

Prinzip

Abgeschlossenheit unter der Operation zusammen mit Assoziativität, Existenz eines neutralen Elements und Inversen organisiert die Menge zu einem System, das Symmetrie, Lösbarkeit von Gleichungen und Homomorphismen trägt.

Demonstration

Die ganzen Zahlen Z mit der Addition bilden eine Gruppe: Addition ist assoziativ, 0 ist das neutrale Element, und jedes n hat das Inverse −n. Ein weiteres Beispiel ist die symmetrische Gruppe der Permutationen von n Symbolen unter Komposition.

Fehlanwendung

Jede Menge mit einer binären Operation sofort als Gruppe zu behandeln, ohne Assoziativität, Identität und Inverse zu prüfen (z. B. einen Monoiden ohne Inverse als Gruppe anzusehen), führt zu falschen algebraischen Schlüssen.

Konsequenz

Gruppen liefern die Sprache der Symmetrie, erlauben die Klassifikation von Untergruppen und Faktorgruppen und besitzen Homomorphismen und Darstellungen; viele Strukturen (Ringe, Körper) beruhen auf zugrunde liegenden Gruppenoperationen.

Umkehrung

Eine Umkehr ist eine Struktur, bei der man ein oder mehrere Axiome fallenlässt, etwa ein Monoid (ohne Inverse) oder ein Halbgrupp (ohne Identität); diese sind strengere, schwächere algebraische Strukturen mit anderer Theorie.

Abgrenzung

Eine Gruppe muss alle vier Gruppenaxiome erfüllen; ausgeschlossen sind Strukturen mit partiellen Operationen, Operationen, die nicht überall definiert sind, oder Mehrfachoperationen, die zusätzliche Kompatibilitätsaxiome verlangen (z. B. Ringe).

Semantische Spannung

Spannungen bestehen zwischen der abstrakten algebraischen Auffassung einer Gruppe und konkreten Realisierungen (Matrixgruppen, Permutationsgruppen) sowie zwischen abelschen Gruppen (kommutativ) und allgemeinen nichtabelschen Gruppen, bei denen Reihenfolge wichtig ist.

Synthese

Eine Gruppe ist der minimale algebraische Rahmen, der invertierbare, assoziative Zusammensetzung mit Identität erfasst und als grundlegende Umgebung für Symmetrie und viele algebraische Konstruktionen dient.