Inverse Halbgruppe

Die inverse Halbgruppe ist ein Begriff aus dem mathematischen Teilgebiet der Algebra. Er verallgemeinert den Begriff der Gruppe. Dabei werden inverse Elemente ohne Bezugnahme auf ein neutrales Element definiert.

Definition[Bearbeiten]

Eine inverse Halbgruppe ist eine Halbgruppe <math>(A,\cdot)</math> mit der Eigenschaft, dass es zu jedem <math>x\in A</math> ein eindeutig bestimmtes <math>y\in A</math>, Inverses (in Abgrenzung zu dem inversen Element bezogen auf ein neutrales Element auch relatives Inverses<ref>A. H. Clifford: Semigroups admitting relative inverses (= Ann. of Math. Nr. 42). 1941, S. 1037–1049. </ref>) von <math>x</math> genannt, gibt mit

<math>x\cdot y\cdot x = x</math> und <math>y\cdot x\cdot y=y</math>.<ref>Alan Paterson: Groupoids, Inverse Semigroups, and their Operator Algebras. 1999, ISBN 0-8176-4051-7, S. 21.</ref>

Äquivalente Definitionen[Bearbeiten]

Mit Operationssymbol[Bearbeiten]

Eine Halbgruppe <math>(A,\cdot)</math> ist eine inverse Halbgruppe, wenn idempotente Elemente kommutieren und es eine weitere Operation <math>(-)^* \colon A \to A</math> gibt, sodass für alle <math>x\in A</math> gilt

<math>x\cdot x^* \cdot x = x</math> und <math>x^*\cdot x \cdot x^*=x^*</math>.

Rein algebraisch[Bearbeiten]

Eine Halbgruppe <math>(A,\cdot)</math> ist eine inverse Halbgruppe, wenn es eine weitere Operation <math>(-)^* \colon A \to A</math> gibt und folgende Gleichungen für alle <math>x,y \in A</math> erfüllt sind:<ref></ref>

<math>(x^*)^* = x,</math>
<math>x\cdot x^* \cdot x = x,</math>
<math>x \cdot x^* \cdot y \cdot y^* = y \cdot y^* \cdot x \cdot x^*.</math>

Beispiele und Anwendungen[Bearbeiten]

Jede Gruppe ist eine inverse Halbgruppe, mit <math>x^* := x^{-1}</math>.

Jeder Halbverband ist eine inverse Halbgruppe, mit <math>x^* := x</math>.

Die Definition einer „Meadow“<ref>J.A. Bergstra, Y. Hirshfeld, J.V. Tucker: Meadows and the equational specification of division. 7. Januar 2009, arxiv:0901.0823. </ref> erhält man, indem man die Definition eines Körpers als speziellen unitären kommutativen Ring <math>(R,+,\cdot)</math> modifiziert: Anstatt außerdem zu fordern, dass <math>(R\setminus\{0\},\cdot)</math> eine Gruppe ist, wird gefordert, dass <math>(R,\cdot)</math> eine inverse Halbgruppe ist. Die Folge ist, dass „Meadows“ rein algebraisch axiomatisiert werden können. Die „Division“, definiert als Multiplikation mit dem Inversen, wird total; es ist <math>1/0 = 0</math>.

Eigenschaften[Bearbeiten]

Für jedes Element <math>x</math> einer inversen Halbgruppe ist <math>x^* \cdot x</math> immer idempotent. Zudem kann jedes idempotente Element <math>e</math> in dieser Form dargestellt werden, da <math>e = e^*\cdot e</math>.

Wie in Gruppen ist <math>(x^*)^* = x</math> und <math>(x\cdot y)^* = y^*\cdot x^*</math>.

Literatur[Bearbeiten]

Alan Paterson: Groupoids, Inverse Semigroups, and their Operator Algebras. 1999, ISBN 0-8176-4051-7.
John Mackintosh Howie: Fundamentals of Semigroup Theory. 1995, ISBN 0-19-851194-9.

Einzelnachweise[Bearbeiten]