Definition of a field by four postulates. (Q563352)

Verf. erinnert zuerst an frühere Arbeiten von \textit{L. E. Dickson} (1903, 1905; F. d. M. 34, 160 (JFM 34.0160.*), 900; 36, 207, 138). \textit{E. V. Huntington} (1903. 1905; F. d. M. 34, 161 (JFM 34.0161.*); 36, 191), vom Verf. (1913; F. d. M. 44, 164 (JFM 44.0164.*)) und von \textit{N. Wiener} (1920; F. d. M. 47, 41 (JFM 47.0041.*)) über die Definition eines abstrakten Körpers mittels unabhängiger Postulate. Verf. hat schon früher das kommutative und das assoziative Gesetz der Addition in ein einziges Axiom zusammengezogen und ebenso für die Multiplikation. In vorliegender Arbeit macht er noch einen Schritt in dieser Richtung, indem er sowohl das kommutative wie das assoziative und das distributive Gesetz der Multiplikation in ein einziges Axiom zusammenzieht. Er bekommt dann ein System von vier Postulaten, und er zeigt, daß diese vollständig unabhängig sind; sie bleiben es sogar, wenn noch ein Postulat über Endlichkeit oder Unendlichkeit des Körpers hinzugefügt wird. Als Undefinierte Grundbegriffe treten in seinen Postulaten eine Menge \(K\) von Elementen und zwei binäre Operationen \(a\oplus b\) und \(a\otimes b\) auf. Verf. leitet zuerst aus den Postulaten her, daß \(K\) eine abelsche Gruppe in bezug auf \(\oplus \) wird. Daraus folgt die Existenz eines Elementes 0, so daß \(a\oplus 0=0\) ist für jedes \(a\). Danach beweist er, daß \(0\otimes a = 0\) und \(a\otimes 0 = 0\) ist für jedes \(a\), und daß, wenn 0 von \(K\) weggenommen wird, eine abelsche Gruppe in bezug auf \(\otimes \) entsteht. Die vollständige Unabhängigkeit der Postulate wird durch eine tabellarische Zusammenstellung einer Reihe von verschiedenen Deutungen der Operationen \(\oplus \) und \(\otimes \) gezeigt.