Doubly divisible quaternions. (Q5916752)

Nach \textit{Hurwitz} (Vorlesungen über die Zahlentheorie der Quaternionen, Vorlesung 5; F. d. M. 47, 106 (JFM 47.0106.*)) ist notwendig und hinreichend dafür, daß eine ganze Quaternion ``vertauschbar'' ist mit allen ganzen Quaternionen, daß sie von der Form ist: \[ v = r\varepsilon, \;v = r\zeta \varepsilon \] (\(r\) ganz rational, \(\varepsilon\) Einheitsquaternion, \(\zeta= 1 + i\)). ``Vertauschbar'' bedeutet dabei, daß zu einer ganzen Quaternion \(g\) eine solche \(g_1\) existiert, so daß \(vg = g_1v\). Hier soll für eine gegebene Quaternion \(a\) die Gesamtheit von Paaren \(q\) und \(r\) ganzer Quaternionen ermittelt werden, so daß \(qa = ar\) ist. Sei in einem Fall \[ x = qa = ar. \] Es wird gesetzt \[ b= 2a,\quad y = 2x. \] A sei die Norm von \(a\), \(d\) der größte gemeinsame Teiler von \(b_0\), \(b_1\), \(b_2\), \(b_3\), \(2A\). Dann gilt: Notwendig und hinreichend dafür, daß eine ganze Quaternion \(a\) linker und rechter Teiler einer ganzen Quaternion \(x\) ist, ist, daß \(x\) die Gestalt \[ x=\frac{pA}d + \frac{n_0a}2 \] hat, wo \(p\) eine Quaternion mit ganzen Koordinaten ist, \(n_0\) eine ganze rationale Zahl ist, und \(p\) und \(n_0\) so gewählt sind, daß \(\dfrac {p\overline a}d + \dfrac {n_0}2\) eine ganze Quaternion ist.