Lattices in ℤ² and the congruence xy+uv ≡ c(mod m)
Let p > 3 be a prime, and let Rₚ be the set of rational numbers whose denominator is not divisible by p. Let Pₙ(x) be the Legendre polynomials. In this paper we mainly show that for m,n,t ∈ Rₚ with m≢ 0 (mod p), and , where (a/p) is the Legendre symbol and [x] is the greatest integer function. As an application we solve some conjectures of Z. W. Sun and the author concerning , where m is an integer not divisible by p.
For , , it is proved the relations between the sums and Bernoulli numbers. The result supplements the known theorems of C. Leudesdorf, N. Rama Rao and others. As the application it is obtained some connections between the sums and Agoh’s functions, Wilson quotients, the indices irregularity of Bernoulli numbers.
The well-known Wolstenholme’s Theorem says that for every prime the -st partial sum of the harmonic series is congruent to modulo . If one replaces the harmonic series by for even, then the modulus has to be changed from to just . One may consider generalizations of this to multiple harmonic sums (MHS) and alternating multiple harmonic sums (AMHS) which are partial sums of multiple zeta value series and the alternating Euler sums, respectively. A lot of results along this direction...