Die Theorie der linearen Gleichungen in einer Zahlenspezies mit nichtkommutativer Multiplikation. (Q1444824)

Verf. behandelt das Thema intuitionistisch. Jedoch hat diese Behandlungsweise bei dem Gegenstand keinen großen Einfluß auf Axiome. Sätze und Beweise. Verf. führt als Hilfsmittel zur Lösung der Gleichungen ''Designanteil'' ein, da wegen der Nicht-kommutativität die Determinanten nicht brauchbar sind. Die Resultate werden zum Aufbau einer analytischen Nicht-Pascalschen Geometrie verwendet. Bei den Postulaten ist zu beachten, daß der angewandte Verschiedenheitsbegriff nicht mit dem nach L. E. J. Brouwer (Math. Ann. 93 (1925), 244-257; F. d. M. 51) üblichen, sondern mit dem von Brouwer ursprünglich (Math. Ann. 83 (1921). 210-210: F. d. M. 48, 62 (JFM 48.0062.*)) eingeführten zusammenfällt. Die Postulate sind im übrigen im wesentlichen Assoziativität und Distributivität (wie üblich). Kommutativität nur der Addition. Die Designanten sind wesentlich komplizierter als die Determinanten; ihre Berechnung ist nicht einfacher als die Lösung der vorgelegten Gleichungen.