Beweisarchiv: Satz von Wilson

Aus Wikibooks

Wechseln zu: Navigation, Suche

Wikibooks-Einzelbuch.png Beweisarchiv: Zahlentheorie: Elementare Zahlentheorie


[Bearbeiten] Satz von Wilson

Es ist (p − 1)! + 1 genau durch p teilbar, wenn p eine Primzahl ist!

Anders geschrieben:

(p-1)!\equiv -1\mod p \iff p ist eine Primzahl.

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

Das Polynom Xp − 1 − 1 hat nach dem kleinen Satz von Fermat über \mathbb Z/p die Nullstellen 1,2,\ldots,p-1. Da sein Grad p − 1 ist, sind dies alle Nullstellen, und es handelt sich um einfache Nullstellen. Nach dem Satz von Vieta ist das Absolutglied − 1 bis auf das Vorzeichen ( − 1)p − 1 = 1 das Produkt der Nullstellen.

Hinweis: Die Tatsache, dass p eine Primzahl ist, geht auch nochmals als Voraussetzung der Nullteilerfreiheit des Grundringes beim Satz von Vieta ein. So gilt generell, dass das Polynom Xφ(n) − 1 über \mathbb Z/n die Nullstellen (\mathbb Z/n)^\times hat, aber beispielsweise für n = 8 sind die Polynome X4 − 1 und

(X − 1)(X − 3)(X − 5)(X − 7) = X4 − 2X2 + 1

verschieden.

[Bearbeiten] Beweis (durch Ausnutzung der multiplikativen Gruppenstruktur)

Die Behauptung lässt sich dazu umformulieren, dass das Produkt aller Elemente der Gruppe (\mathbb Z/p)^\times gleich − 1 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

\prod_{a\in(\mathbb Z/p)^\times}a=\prod_{a\in(\mathbb Z/p)^\times,\ a=a^{-1}}a.

Die Bedingung a = a − 1 ist äquivalent zu a2 = 1, und ist \tilde a ein Vetreter von a in \mathbb Z, so ist die Bedingung gleichbedeutend mit

p\mid \tilde a^2-1=(\tilde a-1)(\tilde a+1),

also muss einer der Faktoren durch p teilbar sein, das bedeutet aber nichts anderes als a = 1 oder a = − 1. (Hier wurde im wesentlichen die Nullteilerfreiheit von \mathbb Z/p nachgewiesen.) Damit berechnet man das gesuchte Produkt für alle p > 2:

\prod_{a\in(\mathbb Z/p)^\times,\ a=a^{-1}}a=1\cdot(-1)=-1

Wikibooks-Einzelbuch.png Beweisarchiv: Zahlentheorie: Elementare Zahlentheorie

Persönliche Werkzeuge