Wieferich-Primzahl-Pruefer

Eine Wieferich-Primzahl ist eine Primzahl p, für die zwei hoch p minus eins bei Division durch p im Quadrat den Rest eins lässt. Diese Kongruenz verschärft den üblichen kleinen Satz von Fermat—zwei hoch p minus eins ist eins modulo p—und tritt beim Studium von Fermats letztem Satz im ersten Fall, bei Lemmata zur Exponentenhebung und bei Schranken für ungerade vollkommene Zahlen auf. Nur zwei solche Primzahlen sind bekannt—1093 und 3511—weshalb die meisten alltäglichen Primzahlen den Test nicht bestehen. Dieser Prüfer nimmt eine einzelne Primzahl p entgegen, prüft die Primzahleigenschaft, berechnet die exakte modulare Potenz mit deterministischer BigInt-Arithmetik und liefert, ob der Rest eins ist, zusammen mit p im Quadrat und einer kurzen Kongruenzzeichenkette.

Was eine Wieferich-Primzahl ist und warum der Modul p im Quadrat ist

Der kleine Satz von Fermat besagt: Ist p prim und teilt die Basis a nicht, so ist a hoch p minus eins kongruent zu eins modulo p. Für a gleich zwei bedeutet das schlicht zwei hoch p minus eins kongruent zu eins modulo p für jede ungerade Primzahl p. Eine Wieferich-Primzahl fordert dieselbe Kongruenz einen Modul höher: zwei hoch p minus eins muss kongruent zu eins modulo p im Quadrat sein, nicht nur modulo p.

Äquivalent teilt die Ordnung von zwei in der multiplikativen Einheitengruppe modulo p im Quadrat die Zahl p minus eins so, dass der Fermat-Quotient von zwei zur Basis p verschwindet. Dieser zusätzliche Faktor p im Modul macht die Bedingung extrem selten. Umfassende Computersuchen haben Primzahlen weit jenseits jedes Unterrichtsbeispiels geprüft; die einzigen bekannten Lösungen bleiben p gleich 1093 und p gleich 3511.

Die Primzahl zwei scheitert: zwei hoch eins ist zwei, und zwei modulo vier ist zwei, nicht eins. Gewöhnliche Primzahlen wie drei, fünf, sieben und elf liefern Reste ungleich eins, wenn zwei hoch p minus eins modulo p im Quadrat reduziert wird.

Wo ein Wieferich-Primzahl-Prüfer Nutzen stiftet

Zahlentheorie-Kurse und Wettbewerbstrainingsplattformen nutzen einen Wieferich-Primzahl-Prüfer, damit Lernende Lehrbuchaussagen zu den zwei bekannten Beispielen prüfen können, ohne modulare Exponentiation von Hand umzusetzen und ohne den Modul p mit p im Quadrat zu verwechseln. Forschungsnotebooks und freizeitmathematische Skripte rufen denselben Vertrag auf, wenn sie Kandidaten-Primzahlen scannen oder Offline-Tabellen gegen ein unabhängiges Orakel validieren. Content-Seiten, die für Wieferich-Primzahl-Prüfer oder Fermat-Quotienten-Anfragen ranken, profitieren von einem Live-Tool, dessen freier Pfad bytegleich mit der bezahlten Automatisierung ist.

Engineering-Teams, die kryptografische Zahlentheorie lehren oder demonstrieren, können zeigen, wie eine Kongruenz ähnlich dem kleinen Satz von Fermat extrem selten wird, sobald der Modul quadriert ist—und warum naive modulare Annahmen sorgfältig formuliert werden müssen. Bevorzugen Sie dieses Werkzeug, wenn die Frage strikt lautet, ob eine gegebene Primzahl zwei hoch p minus eins kongruent zu eins modulo p im Quadrat erfüllt—nicht, wenn Sie eine Suche über alle Primzahlen eines Intervalls, einen vollständigen Faktorisierungsservice oder Zertifikate für mehrtausendbitige Ganzzahlen brauchen.