Congruence properties of \(G\)-functions. (Q2614369)

In der Arbeit ``Sums of products of first \(n\) natural numbers taken \(r\) at a time'' (Journ. Indian Math. Soc. 19 (1931), 1-6; F. d. M. 57\(_{\text{II}}\)) bezeichnete Verf. solche Summen, von Produkten mit \(G(n,r)\) und zeigte \[ G(n+1,r) = G(n,r) + (n+1)G(n,r-1) \tag{1} \] \((G(n,0) = 1\); \(G(n, r) = 0\), \(r > n\); \(G(n,n) = n!\)) und \[ G(n,r) = \sum\limits_{m=1}^r\bigg\{f_m(r)\dbinom{n+1}{2r-m+1}\bigg\}, \tag{2} \] wo \[ f_m(r) = (2r - m) \{f_m(r-1) + f_{m-1}(r-1)\}, \] \(f_0(r) = 0\), \(f_1(r) = \dfrac{(2r)!}{2^r\cdot r!}\) und \(f_r(r) = r!\) Nun definiert Verf. \(G(x, r)\) für alle \(x\) durch (1). Dann gilt wieder (2) für \(r\geqq1\). Es wird: \[ G(x, r) = \dfrac{(r+1)!}{(2r)!}\dbinom{x+1}{r+1} \{a_1 x^{r-1}+a_2x^{r-2}+\cdots+a_r\}, \tag{3} \] wo die \(a_\varrho\) ganze Zahlen sind. Für die Reihe \[ \varPhi(n + 1) = y^{-n-1} + G(-n-1)y^{-n-2}+\cdots+ G(-n-1, r) y^{-n-r-1}+\cdots \] ergibt sich für \(y > n\): \[ \varPhi(n+1) = \dfrac1{y-n}\varPhi(n)-\bigg[(n+1)!\dbinom{y}{n+1}\bigg]^{-1}. \] Koeffizientenvergleichen ergibt: \[ (n-1)!G(-n-1,r) = \sum\limits_{k=0}^{n-1} \bigg\{ \dbinom{n-1}{k}\cdot(-1)^k(n-k)^{r+n-1} \bigg\}. \] Spezialfälle ergeben nun verschiedene zahlentheoretische Aussagen: I. Setzt man \[ P \equiv (x+1)(x+2)\ldots(x+i)\ldots(x+i+j), \] so ist \[ P\equiv \sum\limits_{r=0}^{i+j}\{G(i+j,r) x^{i+j-r}\}. \] Verf. leitet hieraus schließlich wieder durch einen Koeffizientenvergleich ab: \[ G(i+j,r)=\binom{i+j}{r}i^r + [1]\binom{i+j-1}{r-1} i^{r-1}+\cdots+ [k]\binom{i+j-k}{r-k}i^{r-k}+\cdots+[r], \] wobei \[ [r] = G(j,r)-G(i-1,1)\cdot G(j,r-1)+\cdots+ (-1)^k G(i-1,k)G(j,r-k) +\cdots+ (-1)^r G(i-1,r) \] und \([0] = 1\) ist. II: \(\qquad\qquad G(p-1,k)\equiv0\;(\operatorname{mod} p), k\leqq p-2\qquad\) (\textit{Lagrange}); \[ (p-1)!\equiv-1\;(\operatorname{mod} p)\qquad (Wilson). \] Die Spezialformel \[ G(p-2,r)\equiv1\;(\operatorname{mod} p),\quad r\leqq p-2, \] umfaßt beide Sätze. \[ G(p-1,p-2) \equiv 0\;(\operatorname{mod} p^2)\qquad p\geqq 5 \] ist ein Resultat von \textit{Wolstenholme}. Auch der \textit{Fermat}sche Satz läßt sich ableiten. Dann wird bewiesen: In (3) sind alle \(a_\varrho\) durch \(p\) teilbar, wenn \(r+1 < p < 2r\) ist, und: In \(G(x,r)\) sind die \(f_m(r)\) durch \(p\) teilbar für \(m = 1, 2, 3,\ldots, 2r-p+1\), wenn \(r+1<p<2r\). Für ungerade \(r\geqq3\) wird schließlich gezeigt: \[ G(j, r) (2r)! \equiv 0\;(\operatorname{mod} j^2\cdot(j+1)^2). \]