pith. machine review for the scientific record. sign in

arxiv: 1111.3057 · v2 · submitted 2011-11-13 · 🧮 math.NT

Recognition: unknown

Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862--2012)

Authors on Pith no claims yet
classification 🧮 math.NT
keywords wolstenholmecongruencesfracgeneralizationstheoremarticleconsistingdivisible
0
0 comments X
read the original abstract

In 1862 Wolstenholme proved that for any prime $p\ge 5$ the numerator of the fraction $$ 1+\frac 12 +\frac 13+...+\frac{1}{p-1} $$ written in reduced form is divisible by $p^2$, $(2)$ and the numerator of the fraction $$ 1+\frac{1}{2^2} +\frac{1}{3^2}+...+\frac{1}{(p-1)^2} $$ written in reduced form is divisible by $p$. The first of the above congruences, the so called {\it Wolstenholme's theorem}, is a fundamental congruence in combinatorial number theory. In this article, consisting of 11 sections, we provide a historical survey of Wolstenholme's type congruences and related problems. Namely, we present and compare several generalizations and extensions of Wolstenholme's theorem obtained in the last hundred and fifty years. In particular, we present more than 70 variations and generalizations of this theorem including congruences for Wolstenholme primes. These congruences are discussed here by 33 remarks. The Bibliography of this article contains 106 references consisting of 13 textbooks and monographs, 89 papers, 3 problems and Sloane's On-Line Enc. of Integer Sequences. In this article, some results of these references are cited as generalizations of certain Wolstenholme's type congruences, but without the expositions of related congruences. The total number of citations given here is 189.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A proof of Wolstenholme's theorem and congruence properties via an Egorychev-type integral

    math.NT 2026-04 conditional novelty 6.0

    Wolstenholme's theorem and its modulo-p^4 refinement are proved by evaluating an Egorychev contour integral that directly yields the required harmonic sums and Bernoulli-number terms.

  2. Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4

    cs.LO 2026-04 accept novelty 5.0

    Wolstenholme's theorem is formally verified in Lean 4 via expansion of a shifted factorial product and vanishing power sums modulo p.