The quaternion congruence \(\overline{t}at\equiv b\pmod{g}\). (Q2590474)

Schon in einer früheren Arbeit von \textit{Pall} (Amer. J. Math. 59 (1937), 895-913; F. d. M. \(63_{\text{I}}\), 93) wurden Sonderfälle der Quaternionenkongruenz \(\overline{t}at\equiv b\pmod{g}\) gelöst, wo \(a\) und \(b\) ``reine'' Quaternionen, d. h. solche von der Gestalt \(x_1i + x_2 j + x_3k\) mit reellen \(x_1\), \(x_2\), \(x_3\) bedeuten und \(g\) eine ganze rationale Zahl ist. Alle vorkommenden Quaternionen haben dabei ganze Komponenten. In der vorliegenden Arbeit werden für fast alle Fälle die Lösungen dieser Kongruenz gezählt und untersucht. Auch diesmal geht der Sonderfall voraus, daß \(g\) eine ungerade Primzahl \(p\) ist; von da wird auf den Fall \(g = p^n\) geschlossen. Insbesondere gelingt dann leicht die Behandlung eines beliebigen ungeraden, zu \(a\) und zu \(b\) teilerfremden \(g\); zu jeder vermöge der notwendigen Bedingung \[ (Nt)^2Na\equiv Nb\hskip-0.5em\pmod{g} \] für \(Nt\) in Betracht kommenden Restklasse mod~\(g\) ergeben sich gleich viel Lösungen \(t\).