Über eine Erweiterung des kleinen Fermatschen Satzes. (Q2601903)

Beweis eines Satzes, der sich in der \textit{Schur}schen Terminologie der Derivierten einer Zahlenfolge so formulieren läßt: \(a\) und \(k\) seien ganz rational, \((a, k) = 1\); \(a\) gehöre mod \(k\) zum Exponenten \(l\) und es sei \(l\,|\, k-1\); ferner sei \(q\) die kleinste in \(k\) aufgehende Primzahl. Dann sind die \(q - 1\) ersten Derivierten bezüglich \(k\) der Zahlenfolge \[ a, a^k, a^{k^2},\dots \] sämtlich ganze rationale Zahlen. Für \(k = p\) (Primzahl) ist das die \textit{Schur}sche Verallgemeinerung des kleinen \textit{Fermat}schen Satzes (S. B. Preuß. Akad. Wiss. Phys.-math. Kl. 1933, 145-151; F. d. M. \(59_{\text{I}}\), 169). Ein zweiter Satz liefert die entsprechende Erweiterung des \textit{Schur}schen Resultats, welches den Fall \(a^p\equiv a \bmod p^2\) vom Fall \(a^p\not\equiv a \bmod p^2\) trennt und näher beleuchtet.