Pseudoprimzahlen: Der kleine Fermatsche Satz: Unterschied zwischen den Versionen

Aus testwiki
Zur Navigation springen Zur Suche springen
imported>Hardy42
 
(kein Unterschied)

Aktuelle Version vom 27. Oktober 2023, 19:21 Uhr

Vorlage:Navigation Buch

Der kleine Fermatsche Satz besagt, dass  apa  für jede Primzahl p und jede natürliche Zahl a2 durch p teilbar ist.

Beispiel anhand der Primzahl 5:

  • 252=56
  • 353=548
  • 454=5204

Ableitungen

Statt der Aussage: "apa  ist (ohne Rest) durch  p  teilbar", kann man auch  apa(modp)  schreiben. Wenn man a  aus apa  ausklammert, kommt man auf einen Ausdruck a(ap11). Da a(ap11)  durch  p  teilbar ist, aber  a  nicht zwangsläufig durch p  teilbar ist, muss es der Ausdruck (ap11)  sein, der immer durch p  teilbar ist. Aus der Aussage: "ap11  ist durch p  teilbar", kann man ap11(modp) ableiten. Die Aussage: "ap11  ist durch p  teilbar" und die Formel ap11(modp) gelten allerdings nur, wenn die Basis  a  teilerfremd zur Primzahl  p  ist.

Was unterscheidet an ≡ a (mod n) von an-1 ≡ 1 (mod n)

Für jede Primzahl p  gilt, dass für jede natürliche Zahl a  der Ausdruck apa durch p  teilbar ist. Ebenso gilt für jede Carmichael-Zahl c, dass für jede natürliche Zahl a der Ausdruck aca  durch c  teilbar ist.

Ja aber bitte wie unterscheidet man dann eine Primzahl von einer Carmichael-Zahl?

Es gibt natürlich noch andere Wege, um das Problem anzugehen, aber dafür hilft auch eine Modifikation des kleinen Fermatschen Satzes:

Für jede Primzahl p gilt: ap11(modp) für jede natürliche Zahl a, die teilerfremd zu p ist.

Das bedeutet, dass der kleine fermatsche Satz für a=p  nicht gilt: pp1≢1 (modp). Ähnliches gilt für jede Carmichael-Zahl c : cc1≢1 (modc). Aber es gilt genauso für alle Primteiler pm  der entsprechenden Carmichael-Zahl c=p1p2...pn:  pmc1≢1 (modc).

Folgerung durch Euler

Auf den kleinen Fermatschen Satz lässt sich die dritte binomische Formel a2b2=(a+b)(ab) anwenden:

ap11=(ap12+1)(ap121)0(modp).

Das bedeutet, dass genau einer der beiden Faktoren durch p teilbar sein muss, dass also  ap12+1 oder ap121 durch p teilbar ist. Das führt zu dem Satz, der Leonhard Euler zugesprochen wird:

Wenn p  eine ungerade Primzahl ist, muss entweder

  • ap121(modp) oder
  • ap121(modp) gelten.