Generalization of a theorem of Davenport on the addition of residue classes. (Q2602002)

Verf. beweist folgenden Satz: \(M\) sei eine positive ganze Zahl; ferner seien \(\alpha_1\), \(\alpha_2\), \dots, \(\alpha_m\) \(m\) verschiedene Restklassen mod \(M\) und \(\beta_1\), \(\beta_2\), \dots, \(\beta_n\) \(n\) verschiedene Restklassen mod \(M\); \(\gamma_1\), \(\gamma_2\), \dots, \(\gamma_l\) seien die sämtlichen verschiedenen Restklassen, die sich in der Form \(\alpha_i+\beta_i\) (\(1 \leqq i \leqq m\), \(1 \leqq j \leqq n\)) darstellen lassen. Es bedeute ferner \(d\) das Maximum der größten gemeinsamen Teiler \((M, \beta_r - \beta_s)\) für \(1 \leqq r < s \leqq n\). Dann ist \[ l \geqq m + n - 1, \;\text{falls} \;m + n - 1 \leqq \frac Md, \quad l=\frac Md \;\text{sonst}. \] Für den Fall, daß \(M\) eine Primzahl \(p\) ist, wurde der Satz von \textit{Davenport} bewiesen (J. London math. Soc. 10 (1935), 30-32; JFM 61.0149.*). Eine andere Verallgemeinerung des \textit{Davenport}schen Satzes gab \textit{I. Chowla} an (Proc. Indian Acad. Sci. A 2 (1935), 242-243; JFM 61.0149.*).