Polynomial Extension of Fleck's Congruence

Zhi-Wei Sun

DOI: https://doi.org/10.4064/aa122-1-9

2006-01-01

Acta Arithmetica

Abstract:Let p be a prime, and let f(x) be an integer-valued polynomial. By acombinatorial approach, we obtain a nontrivial lower bound of the p-adicorder of the sum ∑_k=r(mod p^β)nk(-1)^k f([(k-r)/p^α]), where α≥β≥ 0, n≥ p^α-1 andr∈ Z. This polynomial extension of Fleck's congruence has variousbackgrounds and several consequences such as ∑_k=r(mod p^α)nk a^k≡ 0 (mod p^[(n-p^α-1)/ϕ(p^α)]) provided that α>1 anda≡-1(mod p).