Benutzer:Abrankov/Lucas-Test

Aus Wikiversity



Lucas-Test



Primzahltests auf Grundlage von Kongruenzen


Édouard Lucas



Satz (Lucas Test)  

Eine natürliche Zahl ist genau dann eine Primzahl, wenn es eine

natürliche Zahl gibt mit

für alle Primteiler von .

Beweis  

Benutzer:Abrankov/Lucas Test/Fakt/Beweis



Beispiel  

Wir wollen zeigen, dass prim ist. Wegen folgt dies aus

,
,
.


Eine direkte Verallgemeinerung des Lucas Test ist der Pocklington Test:



Satz (Pocklington)  

Sei eine natürliche Zahl, so dass eine Faktorisierung der Form besitzt, wobei alle Primteiler von bekannt sind. Weiterhin gebe es eine natürliche Zahl mit
für alle Primteiler von . Ist dann , so ist eine Primzahl.

Beweis  


Die anderen berühmten Primzahlen sind die Fermatschen Primzahlen, obwohl man davon nur 5 Stück kennt und vermutet, dass es keine weiteren gibt. Auch für diese Zahlen gibt es einen speziellen Test, den Pepin Test. Er beruht auf dem Lucas Test, der immer anwendbar ist, wenn man die Primteiler von kennt. Für die Fermatschen Primzahlen reicht es aus, im Lucas Test die Zahl zu überprüfen:



Satz (Pepin Test)  

Die Zahl

, ist genau dann eine Primzahl, falls

Beweis  

Benutzer:Abrankov/Pepin Test/Beweis



Beispiel  

Da doppelt exponentiell in wächst, kann man den Test per Hand nur für sehr kleine durchführen. Wir betrachten hier . Diese Zahl ist prim, weil





Bei der Anwendung des Lucas Tests auf eine beliebige Zahl gibt es zwei Probleme:

  1. Man muss die Primteiler von kennen. Dies ist ein Faktorisierungsproblem und damit im Allgemeinen schwierig.
  2. Man muss alle Werte für überprüfen. Dies bedeutet einen sehr hohen Rechenaufwand. (Die Anzahl könnte man verkleinern, wenn man berücksichtigt, dass es Primitivwurzeln modulo für prim gibt. Man bleibt aber in der gleichen Größenordnung für den Rechenaufwand.)

Um das erste Problem in den Griff zu bekommen, könnte man hoffen, dass ein bereits prim ist, falls ist für alle zu teilerfremden im Bereich von bis . Das ist aber leider nicht richtig.



Satz (Miller-Rabin Test)

Sei ungerade und ungerade. ist genau dann eine Primzahl, wenn für jede zu teilerfremde Zahl gilt
Ist keine Primzahl, so erfüllt höchstens ein Viertel alle Zahlen eine der Bedingungen.


Beispiel  

Wir möchten überprüfen, ob 89 mit Miller-Rabin Test eine Primzahl ist. Es gilt , also . Wir testen für zwei zufällige Zahlen und erhalten wir:



Die zwei Testzahlen erfüllen die Testbedingung.




Lucas-Folgen

................... ...................



Primzahltests auf Grundlage von Lucas-Folgen


Der Lucas-Lehmer-Test ist ein Verfahren, um Mersenne-Primzahlen zu überprüfen. Entwickelt wurde der Test von Eduardo Luca und Derrick Henry Lehmer, der die Arbeiten von Luca fortsetzte. Als mathematische Grundlagen dienen Lucas-Folgen. Häufigste Verwendung findet der Test beim Suchen von sehr großen Primzahlen. Er ist seit Jahren die effizienteste Methode, um die größten zurzeit bekannten Primzahlen zu entdecken, und wird als Standardtestverfahren beim GIMPS-Projekt (Great Internet Mersenne Prime Search) eingesetzt. Zuerst werden wir der Lucas-Lehmer-Test für beliebige Zahl n zeigen und dann für Mersenne-Primzahlen.



Lemma  

Sei . Es existiert ein , sodaß die Menge und hat die Form .

Beweis  



Satz (Lucas-Lehmer-Test)  

Sei mit paarweise verschiedenen Primzahlen. Sei eine Lucas-Folge mit und


Ist nun ,

so ist prim.

Beweis  




Lucas-Lehmer-Test für Mersennezahlen

............................ ............................

Literatur