Eine algebraische Struktur (G, ·), bestehend aus einer Menge G zusammen mit einer binären Verknüpfung ·, die abgeschlossen und assoziativ ist, ein Identitätselement e in G besitzt und für jedes Element g in G ein Inverses g^{-1} in G hat. Die Struktur wird im Sinne der Gleichheit von Menge und Verknüpfung betrachtet; Homomorphismen erhalten die Verknüpfung.

Prinzip

Eine Gruppe ordnet Elemente durch ein abgeschlossenes, assoziatives Gesetz mit neutralem Element und zweiseitigen Inversen; diese Axiome ermöglichen Komposition, Kürzungsregeln und Lösung von Gleichungen innerhalb der Menge.

Demonstration

Die ganzen Zahlen Z mit der Addition (Z, +) bilden eine Gruppe: Addition ist assoziativ und abgeschlossen, 0 ist das neutrale Element und jedes n hat das inverse −n. Ein weiteres Beispiel ist die Permutationsgruppe S_n aller Bijektionen auf einer n‑elementigen Menge, mit Komposition als Verknüpfung.

Fehlanwendung

Jede assoziative Struktur mit Neutralemlement als Gruppe zu bezeichnen, obwohl Inverse fehlen (etwa ein Monoid), oder ohne Beweis Kommutativität anzunehmen, sind typische Fehlanwendungen.

Konsequenz

Sind die Gruppenaxiome erfüllt, erhält man Kürzungsregeln, eindeutiges neutrales Element und Inverse, wohldefinierte Faktorgruppen nach normalen Untergruppen sowie eine umfangreiche Theorie von Homomorphismen und Gruppenaktionen, die Algebra mit Geometrie und Kombinatorik verbindet.

Umkehrung

Wegfallen der Inversen ergibt ein Monoid; Wegfall des Neutralen ergibt ein Halbgruppe; Verlust der Assoziativität führt zu deutlich schwächeren Strukturen. Jede Auslassung schwächt die algebraische Kontrolle und macht viele gruppentheoretische Argumente unbrauchbar.

Abgrenzung

Dieser Eintrag behandelt abstrakte Gruppen; zusätzliche Strukturen wie Topologie, differenzierbare Struktur oder algebraische Varietäten, die zu topologischen, Lie‑ oder algebraischen Gruppen führen, sind ausgeschlossen. Partielle oder mehrdeutige Verknüpfungen sowie fehlende zweiseitige Inverse liegen außerhalb dieses Rahmens.

Semantische Spannung

Der axiomatische Begriff der „Gruppe“ kann mit spezialisierten Begriffen (topologische Gruppe, algebraische Gruppe, Gruppenwirkung) verwechselt werden. Die Spannung liegt zwischen rein axiomatischem Inhalt und zusätzlicher geometrischer oder analytischer Struktur, die Stetigkeit, Differenzierbarkeit oder schematische Bedingungen verlangt.

Synthese

Eine Gruppe ist das grundlegende abgeschlossene, assoziative algebraische System mit Identität und Inversen; es bildet den minimalen Rahmen für Symmetrien, Gleichungslösungen und die Bildung von Quotienten und Homomorphismen.