Rational integral functions whose values as well as the values of their arguments belong to the same modulus. (Q571822)

Es sei \[ f(x) = a_0 x^n + a_1x^{n-1} + \cdots + a_n \] eine ganze rationale Funktion \(n\)-ten Grades. \[ \mathfrak M = (u_1, u_2, \dots,u_l) \] bedeute den Modul aller Zahlen \(g_1 u_1 + g_2 u_2 + \cdots + g_l u_l\) (\(g_1, g_2, \dots, g_l\) ganz rational). Dann und nur dann nimmt \(f (x)\) für alle \(x\) aus \(\mathfrak M\) Werte an, die ebenfalls in \(\mathfrak M\) liegen, wenn \(f(y)\) in \(\mathfrak M\) liegt für alle Zahlen \(y\) eines Gitters: \[ \begin{matrix} \l \\ y = b_1 u_1 + b_2 u_2 + \cdots + b_l u_l, \\ b_i = p_i, p_i + 1, \dots, p_i + n \qquad (i =1,2, \dots, l), \end{matrix} \] wo \(p_1, p_2, \dots, p_l\) irgendwelche ganzen rationalen Zahlen sind. Anwendungen auf den Modul [1] (bekannter Satz von \textit{Pólya}, 1915; F. d. M. 45, 655 (JFM 45.0655.*)), auf den Modul [2], auf den Modul aller ganzen algebraischen Zahlen eines endlichen algebraischen Zahlkörpers (vgl. hierzu auch die Untersuchungen von \textit{Pólya} und \textit{Ostrowski}, 1919; F. d. M, 47, 163-164). Der Beweis beruht auf den folgenden einfachen Formeln: I. Sei \(n > r\), \(r \geqq 0\), \(n, r, p\) ganz rational; dann ist \[ (n + p)^r- \left( n \atop 1 \right) (n + p-1)^r + \left( n \atop 2 \right) (n + p-2)^r \cdots + (-1)^n \left( n \atop n \right)p^r = 0 \] (vgl. z. B. \textit{Pólya }1. c.). II. Sei \(n > r \geqq 0, n, r\) ganz rational, \(x, y\) beliebig reell oder komplex; dann ist \[ x^r - \left( n \atop 1 \right)(x-y)^r + \left( n \atop 2 \right) (x-2y)^r - \cdots + (-1)^n \left( n \atop n \right)(x-ny)^r=0. \]