No label defined (Q4549175)

Let \(p\) be a prime number, \(\nu \geq 0\) and \(m\geq 1\) be integers. The authors consider the expressions \[ F_1=\sum\limits^{p^m} _{\substack{ j=1\\(j,p)=1}} \frac{1}{j^{2\nu +2}},\quad F_2=\sum\limits^{p^m} _{\substack{ j=1\\(j,p)=1}} \frac{1}{j^{2\nu +1}}, \] which can be written as fractions. It is proved that if \(p>2\nu +3\), then the numerator of \(F_1\) is divisible by \(p^m\), while the numerator of \(F_2\) is divisible by \(p^{2m}\) (if \(m=1\) and \(\nu =0\), the last result is the well-known Wolstenholme theorem). Certain more general fractions are also considered. The proofs are based on the arithmetic of \(p\)-adic integers.