Simplified definition of a group. (Q1506811)

Eine Gesamtheit \(G\) von Elementen, die unter einander komponiert werden können, bildet nach dem Verf. eine abstrakte Gruppe, wenn sie folgenden drei Bedingungen unterworfen wird: 1. Zu irgend zwei Elementen \(a\) und \(b\) aus \(G\) existiert stets ein Element \(x\) in \(G\), daß\ \(a\cdot x=b\). 2. Zu irgend zwei Elementen \(a\) und \(b\) aus \(G\) existiert stets ein Element \(y\) in \(G\), daß\ \(y\cdot a=b\). 3. Sind \(a, b, c\), \(a\cdot b\), \(b\cdot c\) und entweder \((a\cdot b)\cdot c\) oder \(a\cdot (b\cdot c)\) Elemente aus \(G\), dann soll: \[ (a\cdot b)\cdot c=a\cdot (b\cdot c) \] sein. Die drei Postulate sind, wie der Verf. zeigt, unabhängig von einander, aus ihnen folgt die gewöhnliche Definition einer Gruppe. Fügt man als viertes Postulat noch hinzu, daß\ \(G\) nur die endliche Anzahl von \(n\) Elementen enthalten soll, so wird durch die vier, auch noch, falls \(n>2\) ist, von einander unabhängigen Postulate eine endliche Gruppe definiert.