## [Halbgruppe](/de/node/63321) Definition Eine Menge mit einer assoziativen binären Verknüpfung; eine Halbgruppe muss kein neutrales Element und keine Inversen besitzen. ## Prinzip Prinzip Die ordnende Regel ist Assoziativität: für alle a,b,c gilt (a·b)·c = a·(b·c). Das Fehlen von Einheit und Inversen ist erlaubt; die Strukturtheorie untersucht Ideale, Greensche Relationen und Idempotente unter dieser Minimalaxiomatik. ## Demonstration Demonstration Die positiven ganzen Zahlen (ohne 0) unter Addition bilden eine Halbgruppe, weil Addition assoziativ ist, aber kein additives neutrales Element in der Menge liegt; ebenso bilden die nichtleeren Wörter über einem Alphabet unter Konkatenation eine Halbgruppe, wenn die leere Zeichenkette ausgeschlossen wird. ## Fehlanwendung Fehlanwendung Das Annehmen eines Neutral- oder Inverselements, Kancellierbarkeit oder gruppenähnlicher Zerlegungen ohne Überprüfung der Axiome; das führt zu fehlerhaften algebraischen Manipulationen oder zur fälschlichen Annahme, Inverse könnten angefügt werden, ohne Eigenschaften zu verändern. ## Konsequenz Konsequenz Halbgruppen liefern den minimalen algebraischen Rahmen für die Untersuchung iterativer Kompositionen und sind grundlegend in der Automaten­theorie, der Kombinatorik auf Wörtern und beim Aufbau von Monoiden durch Adjunktion einer Einheit; sie erfassen nichtinvertierbares Verhalten. ## Umkehrung Umkehrung Fügt man die Anforderung einer Einheit hinzu, erhält man ein Monoid; verlangt man zusätzlich Inverse für alle Elemente, erhält man eine Gruppe. Wird Assoziativität fallen gelassen, entsteht ein Magma ohne die regulierende Ordnung der Halbgruppe. ## Abgrenzung Abgrenzung Halbgruppen schließen partielle Operationen aus und gehen in der Regel von einer totalen binären Operation aus; sie benötigen weder Kommutativität noch Topologie, und spezielle Unterklassen (inverse Halbgruppen, Bänder) setzen zusätzliche Bedingungen voraus. ## Semantische Spannung Semantische Spannung Begriffsuneinigkeit zwischen Halbgruppe und Monoid (manche Texte sehen im Begriff eine Einheit vor) und zwischen Magma, Halbgruppe und kategorialer Komposition; der Kontext klärt, welche Axiome gelten. ## Synthese Synthese Eine Halbgruppe ist der assoziative Kern algebraischer Komposition: mit nur einer assoziativen binären Operation modelliert sie wiederholte Verknüpfung ohne Annahme von Einheiten oder Inversen und bildet die Basis für reichere Strukturen.