Fermat's equation in real quaternions. (Q571978)

Verf. beweisen im Bereiche der Quaternionen über dem Ring der ganzen rationalen Zahlen das folgende Analogon des kleinen \textit{Fermat}schen Satzes: Ist \(N\) eine rationale Primzahl, \(x\) ein Quaternion mit ganzen Koeffizienten, so gilt stets: \[ x^2(x^{N(N^2-1)} - 1) \equiv 0 \quad (N). \] Zur Frage nach primitiven Kongruenzwurzeln für spezielle Kongruenzen finden die Verf. die folgende Antwort: Es bezeichne \(\varphi(m)\) die bekannte \textit{Euler}sche Funktion, \(\varphi_2(m)\) die Anzahl der Paare \(p, q\) natürlicher Zahlen unterhalb \(m\), für die \((p, q, m) =1\). Nach einem Primzahlmodul \(N\) gibt es dann \[ \begin{matrix} \r \quad & \quad & \quad & \quad & \l & \r \\ \frac 12 (N^2 - N) \varphi (N^2 -1) & \text{ primitive } & \text{ Wurzeln } & \text{ von } & x^{N^2 -1} & \equiv 1(N), \\ \frac 12 (N^2 + N) \varphi_2 (N -1) & \text{ '' } & \text{ '' } & \text{ '' } & x^{N -1} & \equiv 1(N), \\ (N^2 + N) \varphi (N -1) & \text{ '' } & \text{ '' } & \text{ '' } & x^{N} & \equiv x(N), \\ \end{matrix} \] und \(N^2 - 1\) Reste, für die \(x^2 \equiv 0(N)\) ist.