Wolstenholme's Theorem

In mathematics, Wolstenholme's theorem states that for a prime number p > 3, the congruence
{2p-1 \choose p-1} \equiv 1 \, \bmod \, p^3
holds, where the LHS is a binomial coefficient. For example, with p = 7, this says that 1716 is one more than a multiple of 343. The theorem was first proved by Joseph Wolstenholme in 1862; Charles Babbage had shown the equivalent for p2 in 1819. No known composite numbers satisfy Wolstenholme's theorem. Very few prime numbers satisfy the equivalent for p4: the two known values that do, 16843 and 2124679, are called Wolstenholme primes. Wolstenholme's theorem can be broken down into two other results:
(p-1)!\left(1+{1 \over 2}+{1 \over 3}+...+{1 \over p-1}\right) \equiv 0 \, \bmod \, p^2 \mbox{, and}
(p-1)!^2\left(1+{1 \over 2^2}+{1 \over 3^2}+...+{1 \over (p-1)^2}\right) \equiv 0 \, \bmod \, p.
For example, with p=7, the first of these says that 1764 is a multiple of 49, while the second says 773136 is a multiple of 7.

 

<< PreviousWord BrowserNext >>
shirley render
columbia (nx 02)
list of pseudorandom number generators
thomas w. chittum
saratoga high school
list of metroid characters
pave knife
factoradic
combinadic
segundo asalto
chicago xi
xue yue
cognac
tranmere, merseyside
glen findlay
higher heating value
london general
shared pair
colin clive
syswear
california college of the arts
wilanw
david aaronovitch
lower heating value
gradisca
greenbacks
hoota and snoz
jonathan freedland
instruction scheduling
albert driedger
hot streets
bedazzled (2000 movie)
alexander chancellor
fore river (maine)
thirroul
aec (associated equipment company)
constitution of the socialist republic of vietnam
anode rays
ilhan mansiz
stadion dziesieciolecia
felix martin julius steiner
papillon rose
stegodon
kevin peter hall