Beweisarchiv: Zahlentheorie: Elementare Zahlentheorie: Satz von Wilson

Aus Wikibooks

Beweisarchiv: Zahlentheorie

Elementare Zahlentheorie: Kleiner Satz von Fermat · Satz von Euklid · Satz von Wilson · Vollständige Multiplikativität der p-adischen Exponentenbewertung
Algebraische Zahlentheorie: Pythagoraszahl nicht-reeller Körper · Korrespondenzsatz der algebraischen Zahlentheorie · Zerlegungsgesetz
Analytische Zahlentheorie: Irrationalität von · Primzahlsatz



Satz von Wilson[Bearbeiten]

Es ist genau dann durch teilbar, wenn eine Primzahl ist!

Anders geschrieben:

ist eine Primzahl.

Beweis (mit Polynomen und dem Satz von Vieta)[Bearbeiten]

Das Polynom hat nach dem kleinen Satz von Fermat über die Nullstellen . Da sein Grad ist, sind dies alle Nullstellen, und es handelt sich um einfache Nullstellen. Nach dem Satz von Vieta ist das Absolutglied bis auf das Vorzeichen das Produkt der Nullstellen.

Hinweis: Die Tatsache, dass eine Primzahl ist, geht auch nochmals als Voraussetzung der Nullteilerfreiheit des Grundringes beim Satz von Vieta ein. So gilt generell, dass das Polynom über die Nullstellen hat, aber beispielsweise für sind die Polynome und

verschieden.

Beweis (durch Ausnutzung der multiplikativen Gruppenstruktur)[Bearbeiten]

Die Behauptung lässt sich dazu umformulieren, dass das Produkt aller Elemente der Gruppe gleich ist. Betrachtet man zu einem Element jeweils sein Inverses, so kann man diejenigen Elemente, die von ihren Inversen verschieden sind, zu Paaren zusammenfassen, die sich im Produkt jeweils aufheben. Es gilt also

Die Bedingung ist äquivalent zu oder auch zu . Somit gilt

Da nullteilerfrei ist, muss also einer der Faktoren sein, also oder . Damit berechnet man das gesuchte Produkt für alle :

Wikipedia-Verweise[Bearbeiten]