On the \(p\)-potency of \(G(p^u-1,r)\). (Q2614371)

Verf. beweist zwei Verallgemeinerungen des \textit{Wilson}schen Satzes. Zuerst: \[ G(np-1,m(p-1))\equiv (-1)^m\dbinom{n}{m}\;(\operatorname{mod} p). \] Er benutzt aus der an vorletzter Stelle besprochenen Arbeit die Ergebnisse \[ G(p+j,r)\equiv G(j,r)\;(\operatorname{mod} p)\quad \text{für}\;0<r\leqq p-2 \] und \[ G(p+j,r)\equiv G(j,r)-G(j,r-p+1)\;(\operatorname{mod} p)\quad \text{für}\;r\geqq p - 1. \] Dann wird bewiesen: \[ G(p^u-1, \varphi(p^u))\equiv \pm 1\;(\operatorname{mod} p^u), u\geqq 1, p\geqq2. \] Ferner untersucht Verf., welche Potenz \(\omega(r)\) von \(p\) in \(G(p^u-1, r)\) (für \(p\geqq3\), \(r\geqq1\), \(u\geqq1\)) aufgeht. Er benutzt die in der zitierten Arbeit von ihm bewiesene Gleichung \[ r\cdot G(p^u-1,r)=\dbinom{p^u}{r+1}+\sum_{k=1}^{r-1} \bigg[ G(p^u-1,k)\dbinom{p^u-k}{r-k+1} \bigg], \] aus der man leicht erkennt: Für \(1\leqq r\leqq p-2\) ist \(\omega(r)\geqq u\), für \(r = p-1\) ist \(\omega(p-1)=u-1\). Für \(r\geqq p\) wird die Formel \[ G(p^u-1,r)= \sum_{m=1}^r\bigg[f_m(r)\dbinom{p^u}{2r-m+1}\bigg] \tag{1} \] herangezogen und \[ \omega(r)\geqq u-\beta \] gezeigt, wenn \(\beta\) die höchste in einer der Zahlen \[ r+1 + \bigg[\dfrac{r-1}{p-1}\bigg], r+2 + \bigg[\dfrac{r-1}{p-1}\bigg], r+3 + \bigg[\dfrac{r-1}{p-1}\bigg], \ldots, (2r+4)-p + \bigg[\dfrac{2r+4}{p+1}\bigg], \] enthaltene Potenz von \(p\) ist. Ferner wird bewiesen: \[ \omega(\varphi(p^\lambda)) = u-\lambda\quad \text{für}\quad 0<\lambda\leqq u\quad \text{und}\quad p\geqq 2, \] indem aus (1) der Summand, der die kleinste Potenz von \(p\) enthält, angegeben wird. Ein weiteres Resultat lautet: \[ \omega(p^u-2)\geqq \dfrac{p^u-1}{p-1} - 2u+ \chi,\quad u\geqq1, \] wo \(\chi = 1, 2\) oder 3 ist, je nachdem \(p = 2, 3\) oder \(> 3\) ist. (Verf. stützt sich auf seine Arbeit: ``A generalisation of a theorem of Wolstenholme'', Math. Notes Edinburgh Nr. 29 (1935), XI-XIII; JFM 61.1046.*.)