Another generalization of Leudesdorf's theorem. (Q2590548)

Gezeigt wird: Sind \(j > 0\) und \(n > 2\) ganz, \(k\) das doppelte Produkt derjenigen Primteiler \(p\) von \(n\) mit der Eigenschaft \(p - 1|2j\), die weder in \(2j +1\) noch, wenn der aus \(n\) durch Abspaltung der höchsten Potenz von \(p\) entstehende Restfaktor mit \(n_p\) be\-zeichnet wird, in \(\varphi(n_p)\) aufgehen, so ist die \(k\)-fache Summe der \((2j + 1)\)-ten Potenzen der zu \(n\) teilerfremden natürlichen Zahlen \(< n\) durch \(n^2\) teilbar. Ist insbesondere \(n\) gerade, \(4|\varphi(n_2)\), so genügt schon \(\dfrac k2\) statt \(k\), ebenso natürlich bei ungeradem \(n\). Ist \(n\) weder durch 2 noch durch 3 teilbar und setzt man \(j=\dfrac{\varphi(n)}2-1\), so erhält der Faktor \(\dfrac k2\) offenbar den Wert 1 (leeres Produkt), und damit geht das Ergebnis dann in den älteren ``Leudesdorfschen Satz'' über.