Eine Menge mit einer einzigen binären Verknüpfung, die assoziativ ist, ein neutrales Element besitzt und in der jedes Element ein Inverses hat.

Prinzip

Eine Gruppe ordnet Elemente durch Abschließung unter einer binären Verknüpfung mit Assoziativität, einem Neutralelement und zweiseitiger Invertierbarkeit, wodurch Gleichungen gelöst und Symmetrien beschrieben werden können.

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; damit löst sich a+x=b durch x=b−a.

Fehlanwendung

Eine Struktur fälschlich als Gruppe bezeichnen, obwohl manche Elemente keine Inversen haben (z. B. die natürlichen Zahlen unter Addition) oder die Verknüpfung nicht assoziativ ist; dies verdeckt Ausfälle von Kürzungs- und Inversionsoperationen.

Konsequenz

Ist etwas eine Gruppe, so hat jede Gleichung a·x=b eine eindeutige Lösung x=a^{-1}·b, Kürzungsregeln gelten, und es entsteht eine reiche Theorie von Untergruppen, Faktorgruppen, Homomorphismen und Gruppenwirkungen.

Umkehrung

Wird die Invertierbarkeit entfernt, erhält man ein Monoid (Neutrales Element ohne notwendige Inversen); ohne Neutrales Element ein Halbgruppe; bei fehlender Assoziativität entstehen nichtassoziative Systeme wie Schleifen oder Quasigruppen.

Abgrenzung

Gilt nur für Mengen mit einer assoziativen binären Operation und zweiseitigen Inversen für alle Elemente; schließt Mehroperationenstrukturen, nichtassoziative Magmen und partielle Operationen aus.

Semantische Spannung

Gruppe vs Abelsche Gruppe: eine Gruppe kann nichtkommutativ sein; Gruppe vs Monoid: eine Gruppe verlangt Inversen; Gruppe vs Gruppoid: eine Gruppe hat global definierte Komposition, ein Gruppoid erlaubt partielle Kompositionen über verschiedene Objekte.

Synthese

Eine Gruppe ist die algebraische Struktur, in der eine assoziative Verknüpfung, ein neutrales Element und universelle Invertierbarkeit zusammenspielen, um Gleichungen lösbar zu machen und reversible Symmetrien zu formalisieren.