On residues of arbitrary order to prime moduli. (Q1541802)

Man teile die Reste der arithmetischen Progression \[ q,\quad 2q,\quad 3q,\quad\dots,\quad \frac{p-1}{\delta}\;q \] in drei Kategorien, so dass \[ 0<r_1 \dots r_{\varrho}<\frac{p}{\delta}, \] \[ \frac{p}{\delta}<s_1 \dots s_{\nu}<\frac{\delta -1}{\delta} \cdot p, \] \[ \frac{\delta -1}{\delta} p<t_1 \dots t_{\mu}<p, \] und bilde die Differenzen \[ p-t_1=m_1, \quad \dots,\;p-t_{\mu}=m_{\mu}. \] Sodann scheide man aus der Reihe der Zahlen \(1\dots \frac{p-1}{\delta}\) die Zahlen \(r\) und \(m\) aus; es bleiben \(\nu\) Zahlen \(v_1 \dots v_{\nu}\) übrig. Ferner seien \(y_1 \dots y_{\mu}\) die Lösungen der Congruenzen \[ s_{\sigma}y_{\sigma} \equiv v_{\sigma} \qquad (\text{mod. } p). \] Die Congruenz \[ x^n \equiv q \qquad (\text{mod.} p) \] ist dann und nur dann lösbar, wenn \[ (-1)^{\mu}.y_1 \dots y_{\nu} \equiv 1 \qquad (\text{mod. } p). \] Dieser Satz ist offenbar eine interessante Verallgemeinerung des bekannten Lemma von Gauss.