On double Algebra. (Q1543339)

Die Arbeit beschäftigt sich mit dem Gleichungssystem \[ x^2=ax+by,\quad xy=cx+dy,\quad yx=ex+fy,\quad y^2=gx+hy, \] worin \(a,\dots,h\) gewöhnliche Coefficienten, \(x\) und \(y\) Symbole sind, für welche die associative und commutative Eigenschaft der Multiplication unter sich nicht vorausgesetzt wird. Zwei andere Symbole \(\xi\) und \(\eta\) hängen mit den vorigen durch die linearen Gleichungen \[ \xi=\alpha x+\beta y,\quad \eta=\gamma x+\delta y \] zusammen, und zwischen den Parametern \(a,\dots,h\) und \(\alpha,\dots,\delta\) sind vier Relationen irgend welcher Art angenommen. Unter diesen Voraussetzungen wird die Bedinung \(\xi^2=K\xi\) aufgestellt, deren wichtigste Fälle \(K=0\) und \(K=1\) resp. ``nichtsbedeutende'' (nilpotent) und ``gleichbedeutende'' (idempotent) Symbole liefern. Es zeigt sich dann, dass der Bedingung \(\xi^2=\xi\) durch eine in \(\frac\alpha\beta\) kubische Gleichung genügt wird, so dass drei Symbole \(\xi,\eta\zeta\) existiren, welche in dem gegebenen Gleichungssystem diesen Bedingungen genügen. In ähnlicher Weise wird die Bedingung \(\xi\eta=0\) untesucht. Es lassen sich dann nach der Zahl und Combination der in dem gegebenen Gleichungssystem vorkommenden ``Idems'' und ``Nils'' elf Fälle unterscheiden. Diese lassen sich in fünf Gruppen bringen, deren Eigenschaften schliesslich im Einzelnen dargelegt werden. Einzelne dieser Systeme sind bereits von Peirce aufgefunden und untersucht worden.