A determinental identity for quaternions and a new eight square identity (Q2523901)

Wird die Determinante einer Matrix \(X = \left(\begin{matrix} \xi_1 &\xi_2 \\ \eta_1 &\eta_2\end{matrix}\right)\), \(\xi_1, \xi_2, \eta_1, \eta_2\) reelle Quaternionen, \(\xi_1\neq 0\), definiert durch \(\det X = -\xi_1\eta_1 \xi_1^{-1}\xi_2 + \xi_1\eta_2\) so gilt \(\det X \cdot \overline{\det X} = \det(XX^*)\), wobei \(X^*\) die transponierte und konjugierte Matrix von \(X\) ist und der Querstrich den Übergang zum konjugierten Quaternion bedeutet. Hieraus ergibt sich eine 8-Quadrate-Identität. Verf. merkt in einer Fußnote an, daß \textit{W. Eichhorn} und \textit{H. Zassenhaus} [Arch. Math. 17, 492--496 (1966; Zbl 0145.26301)] (vgl. vorstehendes Referat) Verallgemeinerungen auf 16 and A. Pfister auf \(2^n\), \(n\) beliebig, gefunden haben.