On the divisibility of some truncated hypergeometric series (1801.02213v2)

Abstract: Let $p$ be an odd prime and $r\geq 1$. Suppose that $\alpha$ is a $p$-adic integer with $\alpha\equiv2a\pmod p$ for some $1\leq a<(p+r)/(2r+1)$. We confirm a conjecture of Sun and prove that $${}{2r+1}F{2r}\bigg[\begin{matrix}\alpha&\alpha&\ldots&\alpha\ &1&\ldots&1\end{matrix}\bigg|\,1\bigg]{p-1}\equiv0\pmod{p^2},$$ where the truncated hypergeometric series $$ {}{q+1}F_{q}\bigg[\begin{matrix}x_0&x_1&\ldots&x_{q}\ &y_1&\ldots&y_q\end{matrix}\bigg|\,z\bigg]{n}:=\sum{k=0}^n\frac{(x_0)_k(x_1)_k\cdots(x_q)_k}{(y_1)_k\cdot (y_q)_k}\cdot\frac{z^k}{k!}. $$