Congruence properties of self-contained balanced sets. (Q2590547)

Es sei \(B_k\) das System von \(k\) nichtnegativen ganzen Zahlen \(b_1\),\dots, \(b_k\) (\(b_i\leqq b_{i+1}\)), \(m > 2\) eine natürliche Zahl. Für \(i=1\),\dots, \(k\) sei \(b_i+b_{k-i+1}=m\). Für jede zu \(m\) teilerfremde Zahl \(\xi\) seien die Zahlen \(\xi b_1\),\dots, \(\xi b_k\) in passender Reihenfolge zu \[ b_1,\dots,b_k\text{ mod }m \] kongruent. Für ganzes \(g > 0\) bedeute \(M_g\) das Doppelte des über alle Primzahlen \(p\) erstreckten Produktes \(\prod p^\alpha\), wo \(\alpha\) das größte \(r\) mit \(\varphi(p^r)|g\) bezeichnet. Dann werden für jedes ganze \(j > 0\) die Summe der \((2j + 1)\)-ten Potenzen der Zahlen von \(B_k\) und die Summe aller Produkte von je \(2j + 1\) Zahlen von \(B_k\) durch \(m^2\) teilbar, wenn man beide mit \(2 (m, M_{2j})\) multipliziert. Von diesem Satz werden sodann mehrere Sonder\-fälle herausgestellt. Insbesondere: Besteht \(B_k\) aus den verschiedenen zu \(m\) teiler\-fremden natürlichen Zahlen \(< m\), so daß \(k = \varphi (m)\) ist, und ist ferner \(g = (k, 2j)\), so kann \(M_{2j}\) in dem zweiten der obigen Ergebnisse durch das doppelte Produkt der in \(M_g\) aufgehenden Primzahlen ersetzt werden.