Wilson Number
   HOME

TheInfoList



OR:

In
number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
, a Wilson prime is a
prime number A prime number (or a prime) is a natural number greater than 1 that is not a Product (mathematics), product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime ...
p such that p^2
divides In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a '' multiple'' of m. An integer n is divisible or evenly divisibl ...
(p-1)!+1, where "!" denotes the
factorial function In mathematics, the factorial of a non-negative denoted is the product of all positive integers less than or equal The factorial also equals the product of n with the next smaller factorial: \begin n! &= n \times (n-1) \times (n-2) \ ...
; compare this with
Wilson's theorem In algebra and number theory, Wilson's theorem states that a natural number ''n'' > 1 is a prime number if and only if the product of all the positive integers less than ''n'' is one less than a multiple of ''n''. That is (using the notations of ...
, which states that every prime p divides (p-1)!+1. Both are named for 18th-century
English English usually refers to: * English language * English people English may also refer to: Culture, language and peoples * ''English'', an adjective for something of, from, or related to England * ''English'', an Amish ter ...
mathematician
John Wilson John Wilson may refer to: Academics * John Wilson (historian) (1799–1870), author of ''Our Israelitish Origin'' (1840), a founding text of British Israelism * John Wilson (agriculturalist) (1812–1888), British agriculturalist * John Matthias ...
; in 1770,
Edward Waring Edward Waring (15 August 1798) was a British mathematician. He entered Magdalene College, Cambridge as a sizar and became Senior wrangler in 1757. He was elected a Fellow of Magdalene and in 1760 Lucasian Professor of Mathematics, holding the ...
credited the theorem to Wilson, although it had been stated centuries earlier by
Ibn al-Haytham Ḥasan Ibn al-Haytham (Latinization of names, Latinized as Alhazen; ; full name ; ) was a medieval Mathematics in medieval Islam, mathematician, Astronomy in the medieval Islamic world, astronomer, and Physics in the medieval Islamic world, p ...
. The only known Wilson primes are 5, 13, and
563 __NOTOC__ Year 563 ( DLXIII) was a common year starting on Monday of the Julian calendar. The denomination 563 for this year has been used since the early medieval period, when the Anno Domini calendar era became the prevalent method in Europe ...
. Costa et al. write that "the case p=5 is trivial", and credit the observation that 13 is a Wilson prime to . Early work on these numbers included searches by
N. G. W. H. Beeger Nicolaas George Wijnand Henri Beeger (1884, in Utrecht – 1965, in Amsterdam) was a Dutch mathematician. His 1916 doctorate was on Dirichlet series. He worked for most of his life as a teacher, working on mathematics papers in his spare evenin ...
and
Emma Lehmer Emma Markovna Lehmer (''née'' Trotskaia) (November 6, 1906 – May 7, 2007) was an American mathematician known for her work on reciprocity laws in algebraic number theory. She preferred to deal with complex number fields and integers, rather ...
, but 563 was not discovered until the early 1950s, when computer searches could be applied to the problem. If any others exist, they must be greater than 2 × 1013. It has been
conjecture In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), ha ...
d that infinitely many Wilson primes exist, and that the number of Wilson primes in an interval ,y/math> is about \log\log_x y. Several computer searches have been done in the hope of finding new Wilson primes. The Ibercivis
distributed computing Distributed computing is a field of computer science that studies distributed systems, defined as computer systems whose inter-communicating components are located on different networked computers. The components of a distributed system commu ...
project includes a search for Wilson primes. Another search was coordinated at the
Great Internet Mersenne Prime Search The Great Internet Mersenne Prime Search (GIMPS) is a collaborative project of volunteers who use freely available software to search for Mersenne prime numbers. GIMPS was founded in 1996 by George Woltman, who also wrote the Prime95 client and ...
forum.


Generalizations


Wilson primes of order

Wilson's theorem can be expressed in general as (n-1)!(p-n)!\equiv(-1)^n\ \bmod p for every
integer An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
n \ge 1 and prime p \ge n. Generalized Wilson primes of order are the primes such that p^2 divides (n-1)!(p-n)! - (-1)^n. It was conjectured that for every
natural number In mathematics, the natural numbers are the numbers 0, 1, 2, 3, and so on, possibly excluding 0. Some start counting with 0, defining the natural numbers as the non-negative integers , while others start with 1, defining them as the positive in ...
, there are infinitely many Wilson primes of order . The smallest generalized Wilson primes of order n are:


Near-Wilson primes

A prime p satisfying the congruence (p-1)!\equiv -1+Bp\ (\operatorname) with small , B, can be called a near-Wilson prime. Near-Wilson primes with B=0 are bona fide Wilson primes. The table on the right lists all such primes with , B, \le 100 from up to 4.


Wilson numbers

A Wilson number is a natural number n such that W(n)\equiv 0\ (\operatorname), where W(n) = \pm1+\prod_\stackrel,and where the \pm1 term is positive
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either bo ...
n has a primitive root and negative otherwise. For every natural number n, W(n) is divisible by n, and the quotients (called generalized
Wilson quotient The Wilson quotient ''W''(''p'') is defined as: :W(p) = \frac If ''p'' is a prime number, the quotient is an integer by Wilson's theorem; moreover, if ''p'' is composite, the quotient is not an integer. If ''p'' divides ''W''(''p''), it is called ...
s) are listed in . The Wilson numbers are If a Wilson number n is prime, then n is a Wilson prime. There are 13 Wilson numbers up to 5.


See also

*
PrimeGrid PrimeGrid is a volunteer computing project that searches for very large (up to world-record size) prime numbers whilst also aiming to solve long-standing mathematical conjectures. It uses the Berkeley Open Infrastructure for Network Computing ( ...
*
Table of congruences In number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from int ...
*
Wall–Sun–Sun prime In number theory, a Wall–Sun–Sun prime or Fibonacci–Wieferich prime is a certain kind of prime number which is conjectured to exist, although none are known. Definition Let p be a prime number. When each term in the sequence of Fibona ...
*
Wieferich prime In number theory, a Wieferich prime is a prime number ''p'' such that ''p''2 divides , therefore connecting these primes with Fermat's little theorem, which states that every odd prime ''p'' divides . Wieferich primes were first described by A ...
*
Wolstenholme prime In number theory, a Wolstenholme prime is a special type of prime number satisfying a stronger version of Wolstenholme's theorem. Wolstenholme's theorem is a congruence relation satisfied by all prime numbers greater than 3. Wolstenholme primes ...


References


Further reading

* *


External links


The Prime Glossary: Wilson prime
*
Status of the search for Wilson primes
{{Prime number classes, state=collapsed Classes of prime numbers Factorial and binomial topics Unsolved problems in number theory