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е