Wilson prime numbers (after Sir John Wilson ) are prime numbers that are divisible by . It is a stronger form of Wilson's theorem . So far, only the Wilson primes 5, 13 and 563 are known.
definition
- For notation, see faculty , divisibility and congruence
Wilson's theorem says that is divisible by if and only if is a prime number. So for every prime number :
This can be described as congruence as follows:
or
The integer result of the division
is also referred to in this context as the Wilson quotient (sequence A007619 in OEIS ).
A Wilson prime number is now any prime number that is also a divisor of “its” Wilson quotient (and thus fulfills Wilson's theorem almost twice ).
proof
Without loss of generality
-
is
has a clear solution
or
-
is
Adoption:
With
Contradiction: can not share
and simultaneously
example
The number is a factor of :
So because of Wilson's Theorem, is prime. Since it is also a divisor of the corresponding Wilson quotient (36,846,277 13 = 2,834,329), it is even a Wilson prime number.
The repeated division is equivalent to dividing by the square of the starting number. Analogously to Wilson's theorem, it is true that every prime number is a Wilson prime number if and only if:
Or:
or
Occurrence
So far, only the Wilson primes 5, 13 and 563 are known (sequence A007540 in OEIS ). Should further Wilson prime numbers exist, they are greater than . It is assumed that there are an infinite number of Wilson prime numbers between and .
Generalizations
Wilson prime numbers of order n
The generalization of Wilson's theorem states that a natural number is prime if and only if it holds for all :
It is therefore a prime if is an integer.
A generalized Wilson prime number of order n is a prime number for which the following applies:
-
is divisor of with ,
It is therefore a generalized Wilson Prime of order n if is an integer.
This can be described as congruence as follows:
or
It is conjectured that for any natural number there are infinitely many generalized Wilson prime numbers of the order .
example
Let be a prime number and . The square number is a factor of :
So is a divisor of the corresponding generalized Wilson quotient and is therefore a generalized Wilson prime number of order .
The following table shows the generalized Wilson prime numbers of the order for :
|
|
Prime , so divider of is
|
OEIS link
|
1 |
|
5, 13, 563 ... |
(Follow A007540 in OEIS )
|
2 |
|
2, 3, 11, 107, 4931 ... |
(Follow A079853 in OEIS )
|
3 |
|
7… |
|
4th |
|
10429 ... |
|
5 |
|
5, 7, 47 ... |
|
6th |
|
11 ... |
|
7th |
|
17 ... |
|
8th |
|
... |
|
9 |
|
541… |
|
10 |
|
11, 1109 ... |
|
11 |
|
17, 2713 ... |
|
12 |
|
... |
|
13 |
|
13… |
|
14th |
|
... |
|
15th |
|
349 ... |
|
|
|
|
Prime , so divider of is
|
OEIS link
|
16 |
|
31 ... |
|
17th |
|
61, 251, 479 ... |
(Follow A152413 in OEIS )
|
18th |
|
13151527 ... |
|
19th |
|
71 ... |
|
20th |
|
59, 499 ... |
|
21st |
|
217369 ... |
|
22nd |
|
... |
|
23 |
|
... |
|
24 |
|
47, 3163 ... |
|
25th |
|
... |
|
26th |
|
97579 ... |
|
27 |
|
53… |
|
28 |
|
347 ... |
|
29 |
|
... |
|
30th |
|
137, 1109, 5179 ... |
|
|
The smallest generalized Wilson prime numbers of the order are (with increasing ):
- 5, 2, 7, 10429, 5, 11, 17 ... (Follow A128666 in OEIS )
The next generalized Wilson prime of the order is not already known, but it must be greater than .
Almost Wilson primes
A prime number representing the congruence
-
with a small amount
met, is called fast-Wilson Prime (English near-Wilson primes ).
Is , we get and get the Wilson prime numbers.
The following table shows all such Fast Wilson prime numbers for with :
|
|
1282279 |
+20
|
1306817 |
−30
|
1308491 |
−55
|
1433813 |
−32
|
1638347 |
−45
|
1640147 |
−88
|
1647931 |
+14
|
1666403 |
+99
|
1750901 |
+34
|
1851953 |
−50
|
2031053 |
−18
|
2278343 |
+21
|
2313083 |
+15
|
2695933 |
−73
|
3640753 |
+69
|
3677071 |
−32
|
|
|
|
3764437 |
−99
|
3958621 |
+75
|
5062469 |
+39
|
5063803 |
+40
|
6331519 |
+91
|
6706067 |
+45
|
7392257 |
+40
|
8315831 |
+3
|
8871167 |
−85
|
9278443 |
−75
|
9615329 |
+27
|
9756727 |
+23
|
10746881 |
−7
|
11465149 |
−62
|
11512541 |
−26
|
11892977 |
−7
|
|
|
|
12632117 |
−27
|
12893203 |
−53
|
14296621 |
+2
|
16711069 |
+95
|
16738091 |
+58
|
17879887 |
+63
|
19344553 |
−93
|
19365641 |
+75
|
20951477 |
+25
|
20972977 |
+58
|
21561013 |
−90
|
23818681 |
+23
|
27783521 |
−51
|
27812887 |
+21
|
29085907 |
+9
|
29327513 |
+13
|
|
|
|
30959321 |
+24
|
33187157 |
+60
|
33968041 |
+12
|
39198017 |
−7
|
45920923 |
−63
|
51802061 |
+4
|
53188379 |
−54
|
56151923 |
−1
|
57526411 |
−66
|
64197799 |
+13
|
72818227 |
−27
|
87467099 |
−2
|
91926437 |
−32
|
92191909 |
+94
|
93445061 |
−30
|
93559087 |
−3
|
|
|
|
94510219 |
−69
|
101710369 |
−70
|
111310567 |
+22
|
117385529 |
−43
|
176779259 |
+56
|
212911781 |
−92
|
216331463 |
−36
|
253512533 |
+25
|
282361201 |
+24
|
327357841 |
−62
|
411237857 |
−84
|
479163953 |
−50
|
757362197 |
−28
|
824846833 |
+60
|
866006431 |
−81
|
1227886151 |
−51
|
|
|
|
1527857939 |
−19
|
1636804231 |
+64
|
1686290297 |
+18
|
1767839071 |
+8
|
1913042311 |
−65
|
1987272877 |
+5
|
2100839597 |
−34
|
2312420701 |
−78
|
2476913683 |
+94
|
3542985241 |
−74
|
4036677373 |
−5
|
4271431471 |
+83
|
4296847931 |
+41
|
5087988391 |
+51
|
5127702389 |
+50
|
7973760941 |
+76
|
|
|
|
9965682053 |
−18
|
10242692519 |
−97
|
11355061259 |
−45
|
11774118061 |
−1
|
12896325149 |
+86
|
13286279999 |
+52
|
20042556601 |
+27
|
21950810731 |
+93
|
23607097193 |
+97
|
24664241321 |
+46
|
28737804211 |
−58
|
35525054743 |
+26
|
41659815553 |
+55
|
42647052491 |
+10
|
44034466379 |
+39
|
60373446719 |
−48
|
|
|
|
64643245189 |
−21
|
66966581777 |
+91
|
67133912011 |
+9
|
80248324571 |
+46
|
80908082573 |
−20
|
100660783343 |
+87
|
112825721339 |
+70
|
231939720421 |
+41
|
258818504023 |
+4
|
260584487287 |
−52
|
265784418461 |
−78
|
298114694431 |
+82
|
|
Wilson numbers
A Wilson number is a natural number for which the following applies:
-
, With
Here is if and only if a primitive root has, otherwise is .
For every natural number is by divisible. The quotient is called the generalized Wilson quotient . The first generalized Wilson quotients are:
- 2, 1, 1, 1, 5, 1, 103, 13, 249, 19, 329891, 32, 36846277, 1379, 59793, 126689, 1230752346353, 4727, 336967037143579, 436486, 2252263619, 56815333, 488695968598959812886, 154925968598959812886, 15492596859895986087, 154925968598959812886382505 Follow A157249 in OEIS )
If the generalized Wilson quotient is divisible by, you get a Wilson number. These are:
- 1, 5, 13, 563, 5971, 558771, 1964215, 8121909, 12326713, 23025711, 26921605, 341569806, 399292158 (follow A157250 in OEIS )
If a Wilson number is prime, then Wilson is prime. There are 13 Wilson numbers for .
literature
Web links
-
Eric W. Weisstein : Wilson Prime . In: MathWorld (English).
- Chris K. Caldwell: Wilson prime . The Prime Glossary.
-
Here is the latest update on… - Email from Richard McIntosh to Paul Zimmermann on March 9, 2004
-
Emma Lehmer : On congruences involving Bernoulli numbers and the quotients of Fermat and Wilson. Annals of Mathematics 39 (2), April 1938, pp. 350-360 , accessed February 3, 2020 .
-
Distributed search for Wilson primes. mersenneforum.org, accessed February 3, 2020 .
-
Erna H. Pearson : On the Congruences ( p - 1)! ≡ −1 and 2 p −1 ≡ 1 (mod p 2 ). Mathematics of Computation 17 , April 6, 1962, pp. 194-195 , accessed February 3, 2020 .
Individual evidence
-
↑ Eric W. Weisstein : Wilson Quotient . In: MathWorld (English).
-
^ Karl Goldberg: A table of Wilson quotients and the third Wilson prime . In: Journal of the London Mathematical Society , April 28, 1953, pp. 252-256 (English)
-
^ A b Edgar Costa, Robert Gerbicz, David Harvey : A search for Wilson primes. October 27, 2012, pp. 1–25 , accessed February 1, 2020 .
-
^ Richard Crandall , Karl Dilcher, Carl Pomerance : A search for Wieferich and Wilson primes . Mathematics of Computation 66 , January 1997, pp. 433–449 (English)
-
↑ Chris K. Caldwell: Wilson prime . The Prime Glossary.
-
↑ Takashi Agoh, Karl Dilcher, Ladislav Skula: Wilson Quotients for composite moduli. Mathematics of Computation 67 (222), April 1998, pp. 843-861 , accessed February 2, 2020 .
|
|
formula based
|
Carol ((2 n - 1) 2 - 2) |
Cullen ( n ⋅2 n + 1) |
Double Mersenne (2 2 p - 1 - 1) |
Euclid ( p n # + 1) |
Factorial ( n! ± 1) |
Fermat (2 2 n + 1) |
Cubic ( x 3 - y 3 ) / ( x - y ) |
Kynea ((2 n + 1) 2 - 2) |
Leyland ( x y + y x ) |
Mersenne (2 p - 1) |
Mills ( A 3 n ) |
Pierpont (2 u ⋅3 v + 1) |
Primorial ( p n # ± 1) |
Proth ( k ⋅2 n + 1) |
Pythagorean (4 n + 1) |
Quartic ( x 4 + y 4 ) |
Thabit (3⋅2 n - 1) |
Wagstaff ((2 p + 1) / 3) |
Williams (( b-1 ) ⋅ b n - 1)
Woodall ( n ⋅2 n - 1)
|
Prime number follow
|
Bell |
Fibonacci |
Lucas |
Motzkin |
Pell |
Perrin
|
property-based
|
Elitist |
Fortunate |
Good |
Happy |
Higgs |
High quotient |
Isolated |
Pillai |
Ramanujan |
Regular |
Strong |
Star |
Wall – Sun – Sun |
Wieferich |
Wilson
|
base dependent
|
Belphegor |
Champernowne |
Dihedral |
Unique |
Happy |
Keith |
Long |
Minimal |
Mirp |
Permutable |
Primeval |
Palindrome |
Repunit ((10 n - 1) / 9) |
Weak |
Smarandache – Wellin |
Strictly non-palindromic |
Strobogrammatic |
Tetradic |
Trunkable |
circular
|
based on tuples
|
Balanced ( p - n , p , p + n) |
Chen |
Cousin ( p , p + 4) |
Cunningham ( p , 2 p ± 1, ...) |
Triplet ( p , p + 2 or p + 4, p + 6) |
Constellation |
Sexy ( p , p + 6) |
Safe ( p , ( p - 1) / 2) |
Sophie Germain ( p , 2 p + 1) |
Quadruplets ( p , p + 2, p + 6, p + 8) |
Twin ( p , p + 2) |
Twin bi-chain ( n ± 1, 2 n ± 1, ...)
|
according to size
|
Titanic (1,000+ digits) |
Gigantic (10,000+ digits) |
Mega (1,000,000+ digits) |
Beva (1,000,000,000+ positions)
|
Composed
|
Carmichael |
Euler's pseudo |
Almost |
Fermatsche pseudo |
Pseudo |
Semi |
Strong pseudo |
Super Euler's pseudo
|