On quintic residues. (Q1559906)

Sei \(p=5l+1\) eine Primzahl, \(l\) relative Primzahl zu 5; \(l\lambda\equiv l\bmod 5\); \(\alpha\) eine primitive Wurzel von \(p\); \(\alpha^5\equiv g\), \(\alpha^{l\lambda}\equiv f\pmod p\). Dann gehört jede nicht durch \(p\) theilbare Zahl zu einer Klasse \((i)\cdots f^i, f^ig, f^ig^2, \cdots f^ig^{l-1}\). Sei ferner \(\varrho^5=1\), und \(\varrho\) eine primitive Wurzel, \[ \varphi(\varrho)=a_0+a_1\varrho+\cdots+a_4\varrho^4 \] der bekannte Factor von \(p\), für den \(\varphi(\varrho)\cdot \varphi(\varrho^4)=p\). Sei endlich \(\psi(\varrho)= \varphi(\varrho^3)\cdot \varphi(\varrho)^3:p^2.\) Für \(p_1=5l_1+1\) mögen \(\alpha_1\), \(g_1\), \(\lambda_1\), \(f_1\) die entsprechende Bedeutung haben, und \(c\) der kleinste Rest von \(l_1\pmod 5\) sein. Dann bestehen folgende Theoreme: Die Klasse, der \(p_1\) unter den Nichtresten von \(p\) angehört, hat denselben Index \(i\) wie diejenige, welcher \(\psi(f)\pmod p_1\) unter den Nichtresten von \(p_1\) angehört. \(p_1\) ist Rest oder Nichtrest fünfter Potenz für \(p\), jenachdem \(\psi(f)\pmod p_1\) es für \(p_1\) ist. Die Zahl 2 ist Rest oder Nichtrest fünfter Potenz für \(p\), jenachdem \(a_0\) ungerade oder gerade ist. Im zweiten Falle ist einer der andern Coefficienten \(a_\varrho\) ungrade und die andern sind grade. Dann geört 2 zur Klasse \((i)\), welche durch die Congruenz \(i\equiv 2e\pmod 5\) bestimmt ist. Die Zahl 3 ist Rest oder Nichtrest nach \(p\), jenachdem \(a_0(a_0-a_1- a_3)+(a_1-a_3)(a_2-a_4)+a_1a_3-1\) durch 3 theilbar ist oder nicht. Es folgen einige Sätze über Zahlentheorie folgender Art: Kein Kubus kann von der Form \[ r(r+1)+3,5,7,11,17,41,61,77,85,115 \] sein.