A theorem on partitions of the set of positive integers. (Q2589577)

Verf. untersucht, für welche ganzen Moduln \(n \geqq 1\) die Potenz irgend zweier Restklassen wieder vollständig in einer Restklasse enthalten ist: \[ (k_1 + m_1n)^{k_2 + m_2n} \equiv k_1^{k_2} (n). \] Zunächst wird gezeigt, daß niemals \(p^2 | n\) (\(p\geqq 2\), Primzahl) ist, indem \[ k_1 = p, \quad k_2 = 1, \quad m_2 = 1 \] gesetzt wird. Weiter muß mit \(p\, |\, n\) stets auch \((p - 1) | n\) sein, was mit Hilfe einer primitiven Kongruenzwurzel \(k_1\) modulo \(p\) bewiesen wird. Jedes solche \(n\) ist aber auch Lösung der Aufgabe, und durch Induktion innerhalb der Folge der Primzahlen wird gezeigt, daß nur die Primzahlen 2, 3, 7, 43 zur Bildung der \(n\) in Frage kommen. Als Lösung ergeben sich die Moduln \(n =1, 2, 6,42\) und \(1806= 42 \cdot 43\).