On the divisibility of some truncated hypergeometric series

TL;DR

This paper proves a conjecture by Sun regarding the divisibility of certain truncated hypergeometric series by p^2, confirming a specific congruence for series with parameters related to a prime p.

Contribution

The authors confirm Sun's conjecture by establishing a p^2-divisibility result for a class of truncated hypergeometric series with parameters linked to p-adic integers.

Findings

Proved that the specified hypergeometric series is divisible by p^2 under given conditions.

Extended the understanding of p-adic properties of hypergeometric series.

Confirmed a conjecture connecting hypergeometric series and number theory.

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!}. $$