Der Satz von Wilson
Satz 1658 (Satz von Wilson)
(p−1)!+1
Mit Hilfe des Begriffes der
Kongruenz kann man den Satz auch so formulieren:
(p−1)!≡−1(modp)(1)
Beweis
Ist
n eine zusammengesetzte Zahl mit
n=p⋅q, mit
p,q>1, so gilt
p∣(n−1)!, und
p∤(n−1)!+1 und somit
n∤(n−1)!+1.
Bleibt zu zeigen, dass die Behauptung für
Primzahlen gilt.
Der folgende Beweis beruht darauf, dass für ungerade
Primzahlen p die
Menge (Z/pZ)×={1,2,3,…,p−1} unter der
Multiplikation modulo
p eine
Gruppe bildet. Also existiert zu jedem
a∈(Z/pZ)× ein eindeutiges
aˉ∈(Z/pZ)× mit
a⋅aˉ≡1(modp).
Denn tritt der Fall
a≡aˉ(modp) auf, kann man beide Seiten der
Kongruenz mit a multiplizieren und erhält
a2≡1(modp), also
a2−1=(a−1)(a+1)≡0(modp).
Weil p eine
Primzahl ist, folgt aber aus
p∣(a−1)(a+1) unmittelbar
p∣(a−1) oder
p∣(a+1), also
a=1 oder
a=p−1.
Nun zum eigentlichen Beweis:
Für
p=2 (
2∣1+1) oder
p=3 (
3∣2+1) ergibt sich der Satz durch nachrechnen. Also kann man im folgenden
p≥5 annehmen.
Nun ist
1≡1(modp) und
p−1≡−1(modp).
Für alle
a∈N mit
1<a<p−1 gilt aber
ggT(a,p)=1, weil
p eine
Primzahl ist.
Also existiert ein eindeutiges
aˉ∈N mit
1<aˉ<p−1 und
a⋅aˉ≡1(modp).
Durch Paarung dieser Reste modulo p erhält man:
a=2∏p−2a≡1(modp), also
(p−1)!=1⋅a=2∏p−2a⋅(p−1)≡−1(modp).
□
Bemerkungen
Primzahlen p, bei denen
(p−1)!+1 sogar durch
p2 teilbar ist, heißen
Wilson-Primzahlen.
Ist allgemein
n eine beliebige
natürliche Zahl, so gilt mit dem obigen Satz
(n−1)!≡−1modn falls
n prim ist.
Für
n=4 gilt
(n−1)!≡2modn und für alle zusammengesetzten Zahlen
n>5 gilt
(n−1)!≡0modn. Sie sind also stets
Teiler von
(n−1)!.
Ist also
n>4 und
(n−1)! nicht durch
n teilbar, so ist
n eine
Primzahl. Ist
(n−1)! aber durch
n teilbar, so erhält man aus dem
Satz von Wilson die Information, dass
n zusammengesetzt ist,
ohne eine konkrete Faktorisierung n=ab mit a,b=/1 zu kennen. Allerdings ist der Rechenaufwand für die
Fakultät nicht geringer als Probedivisionen.
Die ganzen Zahlen hat der liebe Gott geschaffen, alles andere ist Menschenwerk.
Leopold Kronecker
Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf
ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld
• Dοrfplatz 25 • 17237 Blankеnsее
• Tel.: 01734332309 (Vodafone/D2) •
Email: cο@maτhepedιa.dе