Divisibility results concerning truncated hypergeometric series (Q2207687): Difference between revisions

The authors first prove a conjecture of V. J. W. Guo which states that \[\sum_{k=0}^{p-1} \frac{\left(q-\frac{p}{n}\right)_{k}^{n}}{(1)_{k}^{n}} \equiv 0 \quad\left(\bmod p^{3}\right),\] where \(n>2\), \(q>0\) are integers, such that \(2\mid n\) or \(2\nmid q\), and \(p\) is a prime greater than both \(n\) and \(n(q-1)+1\). Then, motivated by some congruences involving the \(p\)-adic Gamma function of Morita, it is proven that \[p^{n} \sum_{k=0}^{p-1} \frac{(1)_{k}^{n}}{\left(\frac{p}{n}-q+2\right)_{k}^{n}} \equiv 0 \quad\left(\bmod p^{3}\right)\] under the same assumptions for the parameter as above.