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