Wilson-Primzahl

Wilson-Primzahlen (nach Sir John Wilson) sind Primzahlen p, für die gilt, dass (p−1)!+1 durch p2 teilbar ist. Es handelt sich dabei um eine stärkere Form des Satzes von Wilson. Bisher sind nur die Wilson-Primzahlen 5, 13 und 563 bekannt.

Definition

Zur Notation siehe Fakultät, Teilbarkeit und Kongruenz

Der Satz von Wilson besagt, dass (p−1)!+1 genau dann durch p teilbar ist, wenn p eine Primzahl ist. Für jede Primzahl p gilt also:

p∣(p−1)!+1

Als Kongruenz lässt sich dies wie folgt beschreiben:

(p−1)!≡−1(modp)

oder

(p−1)!+1≡0(modp)

Das ganzzahlige Ergebnis der Division

(p−1)!+1p

wird in diesem Zusammenhang auch als Wilson-Quotient W(p) bezeichnet (Folge A007619 in OEIS).

Eine Wilson-Primzahl ist nun jede Primzahl p, die darüber hinaus sogar Teiler „ihres“ Wilson-Quotienten ist (und den Satz von Wilson damit quasi zweimal erfüllt).

Beweis

Ohne Beschränkung der Allgemeinheit sei n>2

  • n ist prim⇒(n−1)!≡−1modn

∀a∈ℤn∗ hat ax≡1modn eine eindeutige Lösung a−1modn

a2≡1⇔(a−1)(a+1)=y⋅n⇔(a≡1modn oder −1modn)

(n−1)!≡(n−1)≡−1modn

  • (n−1)!≡−1modn ⇒n ist prim

Annahme: n=a⋅b,a,b>1

a teilt (n−1)! mit (n−1)!≡−1modn⇒a teilt n−1

Widerspruch: a kann nicht gleichzeitig n und n−1 teilen

Beispiel

Die Zahl p=13 ist ein Teiler von (p−1)!+1:

(13−1)!+113=479.001.600+113=36.846.277

Also ist p=13 wegen des Satzes von Wilson eine Primzahl. Da sie ebenfalls ein Teiler des entsprechenden Wilson-Quotienten ist (36.846.277 : 13 = 2.834.329), ist sie sogar eine Wilson-Primzahl.

Die wiederholte Teilung entspricht der Division durch das Quadrat der Ausgangszahl. Analog zum Satz von Wilson gilt daher, dass jede Primzahl p genau dann eine Wilson-Primzahl ist, wenn:

p2∣(p−1)!+1

Beziehungsweise:

(p−1)!≡−1(modp2)

oder

(p−1)!+1p=W(p)≡0(modp)

Vorkommen

Bisher sind nur die Wilson-Primzahlen 5, 13 und 563 bekannt (Folge A007540 in OEIS). Sollten weitere Wilson-Primzahlen existieren, so sind sie größer als 2⋅1013. Es wird vermutet, dass unendlich viele Wilson-Primzahlen existieren, und zwar etwa ln⁡(ln⁡(y)/ln⁡(x)) zwischen x und y.

Verallgemeinerungen

Wilson-Primzahlen der Ordnung n

Die Verallgemeinerung des Satzes von Wilson besagt, dass eine natürliche Zahl p∈ℕ genau dann eine Primzahl ist, wenn für alle 1≤n≤p gilt:

(n−1)!⋅(p−n)!≡(−1)n(modp)

Es ist p also eine Primzahl, wenn (n−1)!⋅(p−n)!−(−1)np ganzzahlig ist.

Eine verallgemeinerte Wilson-Primzahl der Ordnung n ist eine Primzahl p, für welche gilt:

p2 ist Teiler von (n−1)!⋅(p−n)!−(−1)n mit n≥1, p≥n

Es ist p also eine verallgemeinerte Wilson-Primzahl der Ordnung n, wenn (n−1)!⋅(p−n)!−(−1)np2 ganzzahlig ist.

Als Kongruenz lässt sich dies wie folgt beschreiben:

(n−1)!⋅(p−n)!≡(−1)n(modp2)

oder

(n−1)!⋅(p−n)!−(−1)n≡0(modp2)

Es wird vermutet, dass es für jede natürliche Zahl n unendlich viele verallgemeinerte Wilson-Primzahlen der Ordnung n gibt.

Beispiel

Sei p=17∈ℙ eine Primzahl und n=7. Die Quadratzahl p2=172=289 ist ein Teiler von (n−1)!⋅(p−n)!−(−1)n=6!⋅(p−7)!+1:

6!⋅(17−7)!+1172=720⋅3628800+1289=2612736001289=9040609

Also ist p=17 ein Teiler des entsprechenden verallgemeinerten Wilson-Quotienten und ist deswegen eine verallgemeinerte Wilson-Primzahl der Ordnung n=7.

Der folgenden Tabelle kann man die verallgemeinerten Wilson-Primzahlen der Ordnung n entnehmen für 1≤n≤30:

n (n−1)!⋅(p−n)!−(−1)n Primzahl p, sodass p2 Teiler
von (n−1)!⋅(p−n)!−(−1)n
ist
OEIS-Link
1(p−1)!+15, 13, 563 …(Folge A007540 in OEIS)
2(p−2)!−12, 3, 11, 107, 4931 …(Folge A079853 in OEIS)
32!⋅(p−3)!+17 …
43!⋅(p−4)!−110429 …
54!⋅(p−5)!+15, 7, 47 …
65!⋅(p−6)!−111 …
76!⋅(p−7)!+117 …
87!⋅(p−8)!−1…
98!⋅(p−9)!+1541 …
109!⋅(p−10)!−111, 1109 …
1110!⋅(p−11)!+117, 2713 …
1211!⋅(p−12)!−1…
1312!⋅(p−13)!+113 …
1413!⋅(p−14)!−1…
1514!⋅(p−15)!+1349, 41341 …
n (n−1)!⋅(p−n)!−(−1)n Primzahl p, sodass p2 Teiler
von (n−1)!⋅(p−n)!−(−1)n
ist
OEIS-Link
1615!⋅(p−16)!−131 …
1716!⋅(p−17)!+161, 251, 479 …(Folge A152413 in OEIS)
1817!⋅(p−18)!−113151527 …
1918!⋅(p−19)!+171, 621629 …
2019!⋅(p−20)!−159, 499, 43223 …
2120!⋅(p−21)!+1217369 …
2221!⋅(p−22)!−1…
2322!⋅(p−23)!+1…
2423!⋅(p−24)!−147, 3163 …
2524!⋅(p−25)!+1…
2625!⋅(p−26)!−197579 …
2726!⋅(p−27)!+153 …
2827!⋅(p−28)!−1347, 739399 …
2928!⋅(p−29)!+1…
3029!⋅(p−30)!−1137, 1109, 5179 …

Die kleinsten verallgemeinerten Wilson-Primzahlen der Ordnung n lauten (bei aufsteigendem n=1,2,3,…):

5, 2, 7, 10429, 5, 11, 17 … (Folge A128666 in OEIS)

Schon die nächste verallgemeinerte Wilson-Primzahl der Ordnung n=8 ist nicht bekannt, muss aber größer als 1,4⋅107 sein.

Fast-Wilson-Primzahlen

Eine Primzahl p∈ℙ, welche die Kongruenz

(p−1)!≡−1+Bp(modp2) mit betragsmäßig kleinem |B|

erfüllt, nennt man Fast-Wilson-Primzahl (englisch Near-Wilson primes).

Ist B=0, so erhält man (p−1)!≡−1(modp2) und erhält die Wilson-Primzahlen.

Der folgenden Tabelle kann man alle solche Fast-Wilson-Primzahlen entnehmen für |B|≤100 mit 106<p<4⋅1011:

p B
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
p B
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
p B
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
p B
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
p B
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
p B
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
p B
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
p B
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-Zahlen

Eine Wilson-Zahl ist eine natürliche Zahl n, für welche gilt:

W(n)≡0(modn2), mit W(n)=∏ggT⁡(k,n)=11≤k≤nk+e

Dabei ist e=1 genau dann, wenn n eine Primitivwurzel hat, sonst ist e=−1.

Für jede natürliche Zahl n ist W(n) durch n teilbar. Den Quotienten W(n)n nennt man verallgemeinerter Wilson-Quotient. Die ersten verallgemeinerte Wilson-Quotienten lauten:

2, 1, 1, 1, 5, 1, 103, 13, 249, 19, 329891, 32, 36846277, 1379, 59793, 126689, 1230752346353, 4727, 336967037143579, 436486, 2252263619, 56815333, 48869596859895986087, 1549256, 1654529071288638505 (Folge A157249 in OEIS)

Ist der verallgemeinerte Wilson-Quotient durch n teilbar, erhält man eine Wilson-Zahl. Diese lauten:

1, 5, 13, 563, 5971, 558771, 1964215, 8121909, 12326713, 23025711, 26921605, 341569806, 399292158 (Folge A157250 in OEIS)

Wenn eine Wilson-Zahl n prim ist, dann ist n eine Wilson-Primzahl. Es gibt 13 Wilson-Zahlen für n<5⋅108.

Literatur

Einzelnachweise

  1. ↑ Eric W. Weisstein: Wilson Quotient. In: MathWorld (englisch).
  2. ↑ Karl Goldberg: A table of Wilson quotients and the third Wilson prime. In: Journal of the London Mathematical Society, 28, April 1953, S. 252–256 (englisch)
  3. 1 2 Edgar Costa, Robert Gerbicz, David Harvey: A search for Wilson primes. 27. Oktober 2012, S. 1–25, abgerufen am 1. Februar 2020.
  4. ↑ Richard Crandall, Karl Dilcher, Carl Pomerance: A search for Wieferich and Wilson primes. Mathematics of Computation 66, Januar 1997, S. 433–449 (englisch)
  5. ↑ Chris K. Caldwell: Wilson prime. The Prime Glossary (englisch).
  6. ↑ Takashi Agoh, Karl Dilcher, Ladislav Skula: Wilson Quotients for composite moduli. Mathematics of Computation 67 (222), April 1998, S. 843–861, abgerufen am 2. Februar 2020.