A second definition of a group. (Q1506812)

Hier werden für die ``Kombinationsregel'' folgende Postulate aufgestellt: 1. Wenn \(a\) und \(b\) der Menge angehören, dann gehört \(a\cdot b\) auch der Menge an. 2. \((a\cdot b)\cdot c=a\cdot (b\cdot c)\), wenn \(a\cdot b\), \(b\cdot c\), \((a\cdot b)\cdot c\) und \(a\cdot (b\cdot c)\) der Menge angehören. 3. Für je zwei Elemente \(a\) und \(b\) gibt es ein solches Element \(a'\), daß\ \((a\cdot a')\cdot b=b\). 4. Für je zwei Elemente \(a\) und \(b\) gibt es ein solches Element \(a''\), daß\ \(b\cdot (a''\cdot a)=b\).