Zur Axiomatik der Gruppen. (Q2624360)

Verf. gibt das folgende Axiomensystem für Gruppen an. In dem Elementesystem \({\mathfrak G}\) sei eine unbeschränkt ausführbare Kompositionsregel definiert. Es gelte: \((1)\) Assoziativität der Komposition. \((2)\) Es gibt ein Element \(u\), sodaß für jedes \(a\) in \({\mathfrak G}\) die Gleichung \(xa=u\) \textit{mindestens} eine Lösung besitzt. \((3)\) Für dieses \(u\) hat \(ay=u\) \textit{höchstens} eine Lösung. \((4)\) Für das gleiche \(u\) ist jede Lösung von \(zu=u\) idempotent \((z^2 = z)\). Jedes Axiom ist von den übrigen unabhängig (was bei Axiom \((2)\) einer genaueren Formulierung bedarf).