login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A007540 Wilson primes: primes p such that (p-1)! == -1 (mod p^2).
(Formerly M3838)
32
5, 13, 563 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
COMMENTS
Suggested by the Wilson-Lagrange Theorem: An integer p > 1 is a prime if and only if (p-1)! == -1 (mod p). Cf. Wilson quotients, A007619.
Sequence is believed to be infinite. Next term is known to be > 2*10^13 (cf. Costa et al., 2013).
Intersection of the Wilson numbers A157250 and the primes A000040. - Jonathan Sondow, Mar 04 2016
Conjecture: Odd primes p such that 1^(p-1) + 2^(p-1) + ... + (p-1)^(p-1) == p-1 (mod p^2). - Thomas Ordowski and Giovanni Resta, Jul 25 2018
From Felix Fröhlich, Nov 16 2018: (Start)
Harry S. Vandiver apparently said about the Wilson primes "It is not known if there are infinitely many Wilson primes. This question seems to be of such a character that if I should come to life any time after my death and some mathematician were to tell me that it had definitely been settled, I think I would immediately drop dead again." (cf. Ribenboim, 2000, p. 217).
Let p be a Wilson prime and let i be the index of p in A000040. For n = 1, 2, 3, the values of i are 3, 6, 103. The primes among those values are Lerch primes, i.e., terms of A197632. Is this a property that necessarily follows if i is prime (cf. Sondow, 2011/2012, 2.5 Open Problems 5)? (End)
From Amiram Eldar, Jun 16 2021: (Start)
Named after the English mathematician John Wilson (1741-1793) after whom "Wilson's theorem" was also named.
The primes 5 and 13 appear in an exercise involving the Wilson congruence in Mathews (1892). [Edited by Felix Fröhlich, Jul 23 2021]
Beeger found that there are no other smaller terms up to 114 (1913) and up to 200 (1930).
a(3) = 563 was found by Goldberg (1953), who used the Bureau of Standards Eastern Automatic Computer (SEAC) to search all primes less than 10000. According to Goldberg, the third prime was discovered independently by Donald Wall six month later. (End)
REFERENCES
N. G. W. H. Beeger, On the Congruence (p-1)! == -1 (mod p^2), Messenger of Mathematics, Vol. 49 (1920), pp. 177-178.
Albert H. Beiler, Recreations in the Theory of Numbers, Dover, NY, 1964, p. 52.
Calvin C. Clawson, Mathematical Mysteries, Plenum Press, 1996, p. 180.
Richard Crandall and Carl Pomerance, Prime Numbers: A Computational Perspective, Springer, NY, 2001; see p. 29.
G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, 5th ed., Oxford Univ. Press, 1979, th. 80.
G. B. Mathews, Theory of Numbers Part I., Cambridge: Deighton, Bell and Co., London: George Bell and Sons, 1892, page 318.
Paulo Ribenboim, My Numbers, My Friends: Popular Lectures on Number Theory, Springer Science & Business Media, 2000, ISBN 0-387-98911-0.
Paulo Ribenboim, The Book of Prime Number Records. Springer-Verlag, NY, 2nd ed., 1989, p. 277.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
Ilan Vardi, Computational Recreations in Mathematica. Addison-Wesley, Redwood City, CA, 1991, p. 73.
David Wells, The Penguin Dictionary of Curious and Interesting Numbers, Penguin Books, NY, 1986, p. 163.
LINKS
N. G. W. H. Beeger, Quelques remarques sur les congruences r^(p-1) == 1 (mod p^2) et (p- 1)! == -1 (mod p^2), The Messenger of Mathematics, Vol. 43 (1913), pp. 72-84.
Edgar Costa, Robert Gerbicz and David Harvey, A search for Wilson primes, Mathematics of Computation, Vol. 83, No. 290 (2014), pp. 3071-3091; arXiv preprint, arXiv:1209.3436 [math.NT], 2012.
R. Crandall, K. Dilcher and C. Pomerance, A search for Wieferich and Wilson primes, Mathematics of Computation, 66 (1997), 433-449.
Karl Goldberg, A Table of Wilson Quotients and the Third Wilson Prime, Journal of the London Mathematical Society, Vol. 28 (1953), pp. 252-256.
James Grime and Brady Haran, What do 5, 13 and 563 have in common?, YouTube video (2014).
Emma Lehmer, A Note on Wilson's Quotient, The American Mathematical Monthly, Vol. 44, No. 4 (1937), pp. 237-238.
Emma Lehmer, On the Congruence (p-1)! == -1 (mod p^2), The American Mathematical Monthly, Vol. 44, No. 7 (1937), p. 462.
Emma Lehmer, On congruences involving Bernoulli numbers and the quotients of Fermat and Wilson", Annals of Mathematics, Vol. 39, No. 2 (1938), pp. 350-360.
George Ballard Mathews, Theory of numbers, Part I, Cambridge, 1892, p. 318.
Jonathan Sondow, Lerch Quotients, Lerch Primes, Fermat-Wilson Quotients, and the Wieferich-Non-Wilson Primes 2, 3, 14771, In: M. B. Nathanson, Combinatorial and Additive Number Theory, Springer, CANT 2011 and 2012. Also on arXiv, arXiv:1110.3113 [math.NT], 2011-2012.
Eric Weisstein's World of Mathematics, Wilson Prime.
Eric Weisstein's World of Mathematics, Integer Sequence Primes.
Wikipedia, Wilson prime.
Paul Zimmermann, Records for prime numbers.
MATHEMATICA
Select[Prime[Range[500]], Mod[(# - 1)!, #^2] == #^2 - 1 &] (* Harvey P. Dale, Mar 30 2012 *)
PROG
(PARI) forprime(n=2, 10^9, if(Mod((n-1)!, n^2)==-1, print1(n, ", "))) \\ Felix Fröhlich, Apr 28 2014
(PARI) is(n)=prod(k=2, n-1, k, Mod(1, n^2))==-1 \\ Charles R Greathouse IV, Aug 03 2014
(Python)
from sympy import prime
A007540_list = []
for n in range(1, 10**4):
p, m = prime(n), 1
p2 = p*p
for i in range(2, p):
m = (m*i) % p2
if m == p2-1:
A007540_list.append(p) # Chai Wah Wu, Dec 04 2014
CROSSREFS
Sequence in context: A122900 A145557 A012033 * A290171 A157250 A009157
KEYWORD
nonn,hard,more,bref,nice
AUTHOR
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 18 22:56 EDT 2024. Contains 370952 sequences. (Running on oeis4.)