Sur quelques systèmes de congruences. (Q2590551)

Es seien \(\psi_\mu(y_1,\dots,y_s)\) (\(\mu=1\),\dots, \(m\)) Polynome mit ganzen Koeffizienten. Für \(\sigma= 1\),\dots, \(s\) sei \(\psi_{\mu\sigma}(y_1,\dots,y_s)= \dfrac{\partial \psi_\mu(y_1,\dots,y_s)}{\partial y_\sigma}\) gesetzt. \(p\) sei eine Prim\-zahl. Es sei \(\gamma\geqq0\) ganz und so beschaffen, daß für jede Lösung des Kongruenzsystems \[ \psi_\mu(y_1,\dots,y_s)\equiv0\hskip-0.5em \pmod {p^{2\gamma+1}}\qquad (\mu=1,\dots,m) \] die Matrix \(M =\big(\psi_{\mu\sigma}(y_1,\dots, y_s)\big)\) den Rang \(m\) hat und keine höhere als die \(\gamma\)-te Potenz von \(p\) in allen \(m\)-reihigen Unterdeterminanten von \(M\) aufgeht. Die Lösungszahl des Kongruenzensystems \[ \psi_\mu(y_1,\dots,y_s)\equiv0\hskip-0.5em \pmod {p^\beta}\qquad (\mu=1,\dots,m) \tag{1} \] sei für ganzes \(\beta>0\) mit \(p^{(s-m)\beta}Q_\beta\) bezeichnet. Dann wird gezeigt, daß \(Q_\beta\) für \(\beta\geqq2\gamma+1\) konstant ist. Von vornherein wird ein allgemeinerer Satz bewiesen, der für jedes \(\mu\) aus der Reihe 1,\dots, \(m\) auf die höchste in allen \(\mu\)-reihigen Unterdetermi\-nanten von \(M\) aufgehende Potenz von \(p\) eingeht und bei vorgeschriebenen Werten dieser sämtlichen Potenzen die Änderung der Lösungszahl von (1) bei abnehmendem \(\beta\) untersucht. Der Sonderfall \(m = s = 1\) enthält einen Satz von \textit{Hua} (J. London math. Soc. 13 (1938), 54-61; F. d. M. \(64_{\text{I}}\), 126). -- Man kann die Zahlen \(y_\sigma\) überdies beliebigen Kongruenzen \[ y_\sigma\equiv u_\sigma\hskip-0.5em \pmod {U_\sigma}\qquad (\sigma = 1,\dots, s) \tag{2} \] unterwerfen. Verlangt man dann noch, daß \(y_\sigma\) für kein \(\sigma\), für das \(u_\sigma\) zu \(U_\sigma\) teilerfremd ist, durch \(p\) teilbar ausfällt, betrachtet jedes \(y_\sigma\) sinngemäß mod~\(U_\sigma p^\beta\) statt mod~\(p^\beta\) und ersetzt \(M\) durch die Matrix \(\big(U_\sigma\psi_{\mu\sigma}(y_1,\dots,y_s)\big)\), so gilt für die Lösungszahl des aus (1) und (2) bestehenden Kongruenzensystems ein entsprechender Satz wie oben.