## [Gruppe](/de/node/63264) Definition 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 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 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 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 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 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 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 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 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.