On the congruence \(x^n + y^n \equiv z^n (\text{mod.\,}p)\). (Q1489003)

Es sei \(g\) eine Primitivwurzel \((\text{mod.\,}p)\) und \[ \Im_i= (g^i, g^{n+i},\dots,g^{(k-1)n+i});\quad J_i= (1+g_i, 1+g^{n+i},\dots, 1+g^{(k-1)n+i}),\;\text{wo}\;k =\frac{p-1}{n}\,. \] Bedeutet dann \(\alpha_{i\lambda}\) die Anzahl der Zahlen, die in \(\Im_i\) und \(J_i\) zugleich vorkommen, so ist die Anzahl der eigentlichen Lösungen der Kongruenz \[ x^n+ y^n\equiv 1 (\text{mod.\,}p) \] entweder \(n^2\,\frac{\alpha_{00}}{2}\) oder \(n^2\, \frac{\alpha_{00}}{2}\), je nachdem \(\alpha_{00}\) gerade oder ungerade ist. Das Problem ist somit gelöst, wenn \(\alpha_{00}\) bekannt ist. Hierzu leitet der Verf. verschiedene Beziehungen zwischen den \(\alpha_{ik}\) ab, wie: \[ \sum^{n-1}_{\varrho=0}\alpha_{\varrho,h}= k, \] und führt die Bestimmung zunächst für \(n = 2, 3, 4, 6, 7\) und 8 durch, wobei sich für \(n = 2\) das quadratische Reziprozitätsgesetz, für \(n= 3\) der Satz ergibt, daß 2 nur nach \(p = 3k + 1\) kubischer Rest ist, wenn \(p =x^2 + 27y^2\) gelöst werden kann. Für \(n = 3\) ergeben sich die \(\alpha_{i\lambda}\) aus der Lösung der Gleichung: \[ (p - 8 - g\alpha_{00})^2 + 27 (\alpha_{01} - \alpha_{02})^2 = 4p. \] Zum Schluß wird der allgemeine Fall entsprechend durchgeführt.