Wilson-Primzahlen (nach Sir John Wilson) sind Primzahlen
, für die gilt, dass
durch
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.
- Zur Notation siehe Fakultät, Teilbarkeit und Kongruenz
Der Satz von Wilson besagt, dass
genau dann durch
teilbar ist, wenn
eine Primzahl ist. Für jede Primzahl
gilt also:
![{\displaystyle p\mid (p-1)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c9c9680b694f46f461a105c14780c04d437f79c)
Als Kongruenz lässt sich dies wie folgt beschreiben:
![{\displaystyle (p-1)!\equiv -1{\pmod {p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45d18a5a5793c65b8e51e36bac25d0b9e8bfe22c)
oder
![{\displaystyle (p-1)!+1\equiv 0{\pmod {p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15c856d74d3be1912c36e032dade0fffb81851a9)
Das ganzzahlige Ergebnis der Division
![{\displaystyle {\frac {(p-1)!+1}{p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be8112076b480e54a23a7418fd701a142ddd7b70)
wird in diesem Zusammenhang auch als Wilson-Quotient
bezeichnet[1] (Folge A007619 in OEIS).
Eine Wilson-Primzahl ist nun jede Primzahl
, die darüber hinaus sogar Teiler „ihres“ Wilson-Quotienten ist (und den Satz von Wilson damit quasi zweimal erfüllt).
Ohne Beschränkung der Allgemeinheit sei
ist ![{\displaystyle prim\Rightarrow (n-1)!\equiv -1\mod n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea96d01d0815d4bb6ee1e7998e9c8e0cae7af9d0)
hat
eine eindeutige Lösung
oder
ist ![{\displaystyle {\text{prim}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6ef62b12a9d9b7600cbe4b38906329e52e6c297)
Annahme:
mit
Widerspruch:
kann nicht gleichzeitig
und
teilen
Die Zahl
ist ein Teiler von
:
![{\displaystyle {\frac {(13-1)!+1}{13}}={\frac {479.001.600+1}{13}}=36.846.277}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43c3d2ac1bf04411cc906f41e62455a9644e3ea4)
Also ist
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
genau dann eine Wilson-Primzahl ist, wenn:
![{\displaystyle p^{2}\mid (p-1)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf3bc2b9833a0df3475aaa3071bce58f5fec39d1)
Beziehungsweise:
![{\displaystyle (p-1)!\equiv -1{\pmod {p^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f89ca2024376626a4fe41c4411a20dd1a323312)
oder
![{\displaystyle {\frac {(p-1)!+1}{p}}=W(p)\equiv 0{\pmod {p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b650f790a2ef660bbcf46476a55fd79192b2fdc1)
Bisher sind nur die Wilson-Primzahlen 5, 13 und 563[2] bekannt (Folge A007540 in OEIS). Sollten weitere Wilson-Primzahlen existieren, so sind sie größer als
.[3] Es wird vermutet, dass unendlich viele Wilson-Primzahlen existieren, und zwar etwa
zwischen
und
.[4][5]
Die Verallgemeinerung des Satzes von Wilson besagt, dass eine natürliche Zahl
genau dann eine Primzahl ist, wenn für alle
gilt:
![{\displaystyle (n-1)!\cdot (p-n)!\equiv (-1)^{n}{\pmod {p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b65b0bdd6062f83317968a3417ef38c18bee2c17)
Es ist
also eine Primzahl, wenn
ganzzahlig ist.
Eine verallgemeinerte Wilson-Primzahl der Ordnung n ist eine Primzahl
, für welche gilt:
ist Teiler von
mit
, ![{\displaystyle p\geq n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a51b776df48d590644ebc36a9d846b538c850858)
Es ist
also eine verallgemeinerte Wilson-Primzahl der Ordnung n, wenn
ganzzahlig ist.
Als Kongruenz lässt sich dies wie folgt beschreiben:
![{\displaystyle (n-1)!\cdot (p-n)!\equiv (-1)^{n}{\pmod {p^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7d9a72321c5aad765a883d67a2af4b55b329952)
oder
![{\displaystyle (n-1)!\cdot (p-n)!-(-1)^{n}\equiv 0{\pmod {p^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a786319720021c1410bd817217d2b07fbd54982d)
Es wird vermutet, dass es für jede natürliche Zahl
unendlich viele verallgemeinerte Wilson-Primzahlen der Ordnung
gibt.
Sei
eine Primzahl und
. Die Quadratzahl
ist ein Teiler von
:
![{\displaystyle {\frac {6!\cdot (17-7)!+1}{17^{2}}}={\frac {720\cdot 3628800+1}{289}}={\frac {2612736001}{289}}=9040609}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13fec3999b69b05cfa6f2db35210e016b27a0708)
Also ist
ein Teiler des entsprechenden verallgemeinerten Wilson-Quotienten und ist deswegen eine verallgemeinerte Wilson-Primzahl der Ordnung
.
Der folgenden Tabelle kann man die verallgemeinerten Wilson-Primzahlen der Ordnung
entnehmen für
:
| | Primzahl , sodass Teiler von ist | OEIS-Link | 1 | ![{\displaystyle (p-1)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cfd25ee2b763467e4925821e3cfc9a365d7b5e4) | 5, 13, 563 … | (Folge A007540 in OEIS) | 2 | ![{\displaystyle (p-2)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b1e56bd5c71f8571f85c31ba89160356d43465b) | 2, 3, 11, 107, 4931 … | (Folge A079853 in OEIS) | 3 | ![{\displaystyle 2!\cdot (p-3)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b840c2ec2bf1271bb2e71a2978b96278a4ce1511) | 7 … | | 4 | ![{\displaystyle 3!\cdot (p-4)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/244a4d959249ee27c7e512f2b52cbcf44ce13148) | 10429 … | | 5 | ![{\displaystyle 4!\cdot (p-5)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6accae85a670f7fa645aae082c8400f08c8fa53) | 5, 7, 47 … | | 6 | ![{\displaystyle 5!\cdot (p-6)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/922ede4d3aa8c70596b54d19fcf483b45befa54e) | 11 … | | 7 | ![{\displaystyle 6!\cdot (p-7)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cae8f042010f4eada5c9f3fad5e4b5720d8f2fc0) | 17 … | | 8 | ![{\displaystyle 7!\cdot (p-8)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fef0c261cf6cc3f6902cbf038bdce0156381fdcd) | … | | 9 | ![{\displaystyle 8!\cdot (p-9)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bde38c457c28d76fe9c61057eb3d89f7f22917e6) | 541 … | | 10 | ![{\displaystyle 9!\cdot (p-10)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cd98d2cc474e63e85355fb5cd015dd963a46552) | 11, 1109 … | | 11 | ![{\displaystyle 10!\cdot (p-11)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d5adadf30e16ca27d98fdfa041c48825524b593) | 17, 2713 … | | 12 | ![{\displaystyle 11!\cdot (p-12)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05e18c9185276a1c255129c0be3b36ea114b8358) | … | | 13 | ![{\displaystyle 12!\cdot (p-13)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cad56e2bea5ae00512c98cb2b441cbd7b481921c) | 13 … | | 14 | ![{\displaystyle 13!\cdot (p-14)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4b63e40f353bc0583e6c7782f09bc2d4577cd92) | … | | 15 | ![{\displaystyle 14!\cdot (p-15)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e884a3ec8c5c293e1c3dac5df10a7af86eeeefe) | 349 … | | | | | Primzahl , sodass Teiler von ist | OEIS-Link | 16 | ![{\displaystyle 15!\cdot (p-16)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96567eeb4a1c6508ec892bf67d4d46d03fddfbe7) | 31 … | | 17 | ![{\displaystyle 16!\cdot (p-17)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97e0439849bc515712abfdfec44923d1b531e347) | 61, 251, 479 … | (Folge A152413 in OEIS) | 18 | ![{\displaystyle 17!\cdot (p-18)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3977555a1148bfcc696e32698c79a56cd2279cf2) | 13151527 … | | 19 | ![{\displaystyle 18!\cdot (p-19)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fa9e67188e2140450ad2eae0c094c7214713d2f) | 71 … | | 20 | ![{\displaystyle 19!\cdot (p-20)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/057b2aad7491f3ba84b8a670692332ec08223033) | 59, 499 … | | 21 | ![{\displaystyle 20!\cdot (p-21)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f06d5a0d12d026c8fb170f57965a38b50739720b) | 217369 … | | 22 | ![{\displaystyle 21!\cdot (p-22)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25bbc39edf50b59b643e0190398f57885c7577b1) | … | | 23 | ![{\displaystyle 22!\cdot (p-23)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fecc1f9af8a38061203c17d16d0a76a1998b47e9) | … | | 24 | ![{\displaystyle 23!\cdot (p-24)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ea3d560a0dbd8c0118f7562e68b752ba60a5598) | 47, 3163 … | | 25 | ![{\displaystyle 24!\cdot (p-25)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f523d648766039640b9451416f0250e5208edd0d) | … | | 26 | ![{\displaystyle 25!\cdot (p-26)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41059a777fc5a4e294c710d39969c0626ecbd547) | 97579 … | | 27 | ![{\displaystyle 26!\cdot (p-27)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b2a013645d6a12f7bd0d3a18045593de2d13c08) | 53 … | | 28 | ![{\displaystyle 27!\cdot (p-28)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/545e064bf0ab4e2fcf46ecc27e3a2872fd2f2456) | 347 … | | 29 | ![{\displaystyle 28!\cdot (p-29)!+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/340ef7c3ac4ccfcb2f34fc1cbfbfac313b4720a2) | … | | 30 | ![{\displaystyle 29!\cdot (p-30)!-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91b4707259ecf6710c0e5fd11babf6e839bd829f) | 137, 1109, 5179 … | | |
Die kleinsten verallgemeinerten Wilson-Primzahlen der Ordnung
lauten (bei aufsteigendem
):
- 5, 2, 7, 10429, 5, 11, 17 … (Folge A128666 in OEIS)
Schon die nächste verallgemeinerte Wilson-Primzahl der Ordnung
ist nicht bekannt, muss aber größer als
sein.
Eine Primzahl
, welche die Kongruenz
mit betragsmäßig kleinem ![{\displaystyle |B|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09a17e400743ffd99fb026d81d8298a6e6344352)
erfüllt, nennt man Fast-Wilson-Primzahl (englisch Near-Wilson primes).
Ist
, so erhält man
und erhält die Wilson-Primzahlen.
Der folgenden Tabelle kann man alle solche Fast-Wilson-Primzahlen entnehmen für
mit
:[3]
| | 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 | |
Eine Wilson-Zahl ist eine natürliche Zahl
, für welche gilt:
, mit ![{\displaystyle W(n)=\prod _{\stackrel {1\leq k\leq n}{\operatorname {ggT} (k,n)=1}}{k}+e}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac9e5f268e142301b04fc001fcb0aad15a6f47d9)
Dabei ist
genau dann, wenn
eine Primitivwurzel hat, sonst ist
.
Für jede natürliche Zahl
ist
durch
teilbar. Den Quotienten
nennt man verallgemeinerter Wilson-Quotient.[6] 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
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
prim ist, dann ist
eine Wilson-Primzahl. Es gibt 13 Wilson-Zahlen für
.
- ↑ Eric W. Weisstein: Wilson Quotient. In: MathWorld (englisch).
- ↑ 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)
- ↑ a b Edgar Costa, Robert Gerbicz, David Harvey: A search for Wilson primes. 27. Oktober 2012, S. 1–25, abgerufen am 1. Februar 2020.
- ↑ Richard Crandall, Karl Dilcher, Carl Pomerance: A search for Wieferich and Wilson primes. Mathematics of Computation 66, Januar 1997, S. 433–449 (englisch)
- ↑ Chris K. Caldwell: Wilson prime. The Prime Glossary (englisch).
- ↑ 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.
formelbasiert | Carol ((2n − 1)2 − 2) | Doppelte Mersenne (22p − 1 − 1) | Fakultät (n! ± 1) | Fermat (22n + 1) | Kubisch (x3 − y3)/(x − y) | Kynea ((2n + 1)2 − 2) | Leyland (xy + yx) | Mersenne (2p − 1) | Mills (A3n) | Pierpont (2u⋅3v + 1) | Primorial (pn# ± 1) | Proth (k⋅2n + 1) | Pythagoreisch (4n + 1) | Quartisch (x4 + y4) | Thabit (3⋅2n − 1) | Wagstaff ((2p + 1)/3) | Williams ((b-1)⋅bn − 1) | Woodall (n⋅2n − 1) |
Primzahlfolgen | Bell | Fibonacci | Lucas | Motzkin | Pell | Perrin |
eigenschaftsbasiert | Elitär | Fortunate | Gut | Glücklich | Higgs | Hochkototient | Isoliert | Pillai | Ramanujan | Regulär | Stark | Stern | Wall–Sun–Sun | Wieferich | Wilson |
basisabhängig | Belphegor | Champernowne | Dihedral | Einzigartig | Fröhlich | Keith | Lange | Minimal | Mirp | Permutierbar | Primeval | Palindrom | Repunit-Primzahl ((10n − 1)/9) | Schwach | Smarandache–Wellin | Strobogrammatisch | Tetradisch | Trunkierbar | Zirkular |
basierend auf Tupel | Ausbalanciert (p − n, p, p + n) | Chen | Cousin (p, p + 4) | Cunningham (p, 2p ± 1, …) | Drilling (p, p + 2 oder p + 4, p + 6) | Konstellation | Sexy (p, p + 6) | Sichere (p, (p − 1)/2) | Sophie Germain (p, 2p + 1) | Vierling (p, p + 2, p + 6, p + 8) | Zwilling (p, p + 2) | Zwillings-Bi-Kette (n ± 1, 2n ± 1, …) |
nach Größe | Titanisch (1.000+ Stellen) | Gigantisch (10.000+ Stellen) | Mega (1.000.000+ Stellen) | Beva (1.000.000.000+ Stellen) |