Note on the definition of an Abelian group by independent postulates. (Q1494844)

In einem im Jahre 1903 erschienenen Aufsatz hat \textit{E. V. Huntington} (American M. S. Trans. 4, 27; F. d. M. 34, 162, 1903, JFM 34.0162.01) als eine \textit{Abel}sche Gruppe eine Gesamtheit \(\mathfrak G\) von Elementen, die durch eine Operation \(\bigcirc\) verknüpfbar sind, definiert, wenn für die Elemente von \(\mathfrak G\) die drei Postulate gelten: 1. Sind \(a\), \(b\) und \(b\bigcirc a\) Elemente aus \(\mathfrak G\), so soll \(a\bigcirc b=b\bigcirc a\) sein. 2. Sind \(a\), \(b\), \(c\), \(a\bigcirc b\), \(b\bigcirc c\) und \(a\bigcirc(b\bigcirc c)\) Elemente aus \(\mathfrak G\), so soll \((a\bigcirc b)\bigcirc c=a\bigcirc(b\bigcirc c)\) sein. 3. Für irgend zwei (gleiche oder verschiedene) Elemente \(a\) und \(b\) aus \(\mathfrak G\) gibt es in \(\mathfrak G\) stets ein Element \(x\), so daß\ \(a\bigcirc x=b\) wird. Der Verf. zeigt, daß\ diese drei Postulate durch nur zwei ersetzt werden können, von denen das eine mit dem \textit{Huntington}schen Postulat 3. identisch ist, während das andere folgendermaßen lautet: Sind \(a,b,c,a\bigcirc b,c\bigcirc b\) und \((a\bigcirc b)\bigcirc c\) Elemente aus \(\mathfrak G\), so soll \((a\bigcirc b)\bigcirc c=a\bigcirc(c\bigcirc b)\) sein. -- Genügt \(\mathfrak G\) diesen beiden Postulaten, so läßt sich auch das Erfülltsein der beiden ersten \textit{Huntington}schen Postulate nachweisen. Ähnlich wie bei Huntington wird gezeigt, daß\ die beiden neuen Postulate veneinander unabhängig sind und es auch dann bleiben, wenn man hinzunimmt, daß\ \(\mathfrak G\) eine endliche oder eine unendliche Anzahl von Elementen enthalten soll. Der Verf. zeigt noch weiter, daß\ auch das von \textit{Huntington} a. a. O. in Vorschlag gebrachte System von 4 Postulaten, durch die eine in bezug auf die Operation \(\bigcirc\) abgeschlossene \textit{Abelsche} Gruppe charakterisiert werden soll, durch ein System von nur drei Postulaten ersetzt werden kann.