Eine Menge mit einer assoziativen binären Verknüpfung; eine Halbgruppe muss kein neutrales Element und keine Inversen besitzen.

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

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

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

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

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

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

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

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.