In number theory, Wilson's theorem states that a natural number n > 1 is a prime number if and only if
Contents
- History
- Example
- Proofs
- Composite modulus
- Prime modulus
- Primality tests
- Quadratic residues
- Formulas for primes
- p adic gamma function
- Gausss generalization
- References
That is, it asserts that the factorial
History
This theorem was stated by Ibn al-Haytham (c. 1000 AD), and John Wilson. Edward Waring announced the theorem in 1770, although neither he nor his student Wilson could prove it. Lagrange gave the first proof in 1771. There is evidence that Leibniz was also aware of the result a century earlier, but he never published it.
Example
The following table shows the values of n from 2 to 30, (n − 1)!, and the remainder when (n − 1)! is divided by n. (In the notation of modular arithmetic, the remainder when m is divided by n is written m mod n.) The background color is blue for prime values of n, gold for composite values.
Proofs
Both of the proofs (for prime moduli) below make use of the fact that the residue classes modulo a prime number are a field—see the article prime field for more details. Lagrange's theorem, which states that in any field a polynomial of degree n has at most n roots, is needed for both proofs.
Composite modulus
If n is composite it is divisible by some prime number q, where 2 ≤ q ≤ n − 2. If (n − 1)! were congruent to −1 (mod n) then it would also be congruent to −1 (mod q). But (n − 1)! ≡ 0 (mod q).
In fact, more is true. With the sole exception of 4, where 3! = 6 ≡ 2 (mod 4), if n is composite then (n − 1)! is congruent to 0 (mod n). The proof is divided into two cases: First, if n can be factored as the product of two unequal numbers, n = ab, where 2 ≤ a < b ≤ n − 2, then both a and b will appear in the product 1 × 2 × ... × (n − 1) = (n − 1)! and (n − 1)! will be divisible by n. If n has no such factorization, then it must be the square of some prime q, q > 2. But then 2q < q2 = n, both q and 2q will be factors of (n − 1)!, and again n divides (n − 1)!.
Prime modulus
The result is trivial when p = 2, so assume p is an odd prime, p ≥ 3. Since the residue classes (mod p) are a field, every non-zero a has a unique multiplicative inverse, a−1. Lagrange's theorem implies that the only values of a for which a ≡ a−1 (mod p) are a ≡ ±1 (mod p) (because the congruence a2 ≡ 1 can have at most two roots (mod p)). Therefore, with the exception of ±1, the factors of (p − 1)! can be arranged in unequal pairs, where the product of each pair is ≡ 1 (mod p). This proves Wilson's theorem.
For example, if p = 11,
Again, the result is trivial for p = 2, so suppose p is an odd prime, p ≥ 3. Consider the polynomial
g has degree p − 1, leading term xp − 1, and constant term (p − 1)!. Its p − 1 roots are 1, 2, ..., p − 1.
Now consider
h also has degree p − 1 and leading term xp − 1. Modulo p, Fermat's little theorem says it also has the same p − 1 roots, 1, 2, ..., p − 1.
Finally, consider
f has degree at most p − 2 (since the leading terms cancel), and modulo p also has the p − 1 roots 1, 2, ..., p − 1. But Lagrange's theorem says it cannot have more than p − 2 roots. Therefore f must be identically zero (mod p), so its constant term (p − 1)! + 1 ≡ 0 (mod p). This is Wilson's theorem.
It is possible to deduce Wilson's theorem from a particular application of the Sylow theorems. Let p be a prime. It is immediate to deduce that the symmetric group
Multiplying both sides by (p − 1) gives
that is, the result.
Primality tests
In practice, Wilson's theorem is useless as a primality test because computing (n − 1)! modulo n for large n is computationally complex, and much faster primality tests are known (indeed, even trial division is considerably more efficient).
Quadratic residues
Using Wilson's Theorem, for any odd prime p = 2m + 1, we can rearrange the left hand side of
to obtain the equality
This becomes
or
We can use this fact to prove part of a famous result: for any prime p such that p ≡ 1 (mod 4), the number (−1) is a square (quadratic residue) mod p. For suppose p = 4k + 1 for some integer k. Then we can take m = 2k above, and we conclude that (m!)2 is congruent to (−1).
Formulas for primes
Wilson's theorem has been used to construct formulas for primes, but they are too slow to have practical value.
p-adic gamma function
Wilson's theorem allows one to define the p-adic gamma function.
Gauss's generalization
Gauss proved that if m > 2
where p is an odd prime, and
This further generalizes to the fact that in any finite abelian group, either the product of all elements is the identity, or there is precisely one element a of order 2 (but not both). In the latter case, the product of all elements equals a.