Mersenne-Primzahlen

Published Juni 16, 2026 · By NumberWiki

Category Concepts

Eine Mersenne-Primzahl ist eine Primzahl, die um eins kleiner ist als eine Zweierpotenz: 2^p − 1. Sie sind verschwindend selten — nur 52 sind bekannt — und doch halten sie ein Quasimonopol auf den Titel „größte bekannte Primzahl“, sie erzeugen die vollkommenen Zahlen, und sie treiben eines der am längsten laufenden Freiwilligen-Rechenprojekte des Internets an.

Die Form, und warum der Exponent prim sein muss

Schreiben wir den Kandidaten als M_p = 2^p − 1. Im Binärsystem ist das eine Kette aus p Einsen: 7 ist 111, 31 ist 11111, 127 ist 1111111 — Mersenne-Zahlen sind die binären Repunits.

Ist der Exponent zusammengesetzt, lässt sich die Zahl stets faktorisieren: immer wenn a die Zahl b teilt, teilt 2^a − 1 die Zahl 2^b − 1 (dieselbe Algebra, die einen dezimalen Repunit durch kleinere Repunits teilbar macht). So ist 2⁴ − 1 = 15 = 3 × 5 von Anfang an verloren. Ein primer Exponent ist daher notwendig — aber nicht hinreichend, und in dieser Lücke wird die Geschichte erst spannend: 2¹¹ − 1 = 2047 = 23 × 89. Primer Exponent, zusammengesetztes Ergebnis.

Die bekannte Folge beginnt mit: M₂ = 3, M₃ = 7, M₅ = 31, M₇ = 127, M₁₃ = 8191, M₁₇ = 131.071, M₁₉ = 524.287, dann ein Sprung zu M₃₁ = 2.147.483.647 — die zugleich der Maximalwert einer vorzeichenbehafteten 32-Bit-Ganzzahl ist, was sie gewiss zur Mersenne-Primzahl macht, der man am häufigsten zufällig begegnet.

Der Mönch, der mutmaßte

Marin Mersenne (1588-1648) war ein französischer Minimenmönch, der als das wissenschaftliche Internet seines Jahrhunderts fungierte — er korrespondierte mit Descartes, Fermat, Pascal und Galilei und leitete Ergebnisse quer durch Europa weiter, als es noch keine Fachzeitschriften gab. 1644 veröffentlichte er eine kühne Behauptung: 2^p − 1 sei prim für p = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127, 257 und zusammengesetzt für alle übrigen p unter 257.

Die Liste war an fünf Stellen falsch — 67 und 257 funktionieren nicht; 61, 89 und 107 funktionieren — doch ihre Überprüfung kostete die Welt fast dreihundert Jahre. Die theatralischste Korrektur kam 1903, als Frank Nelson Cole vor der American Mathematical Society einen Vortrag hielt, der zur Gänze darin bestand, schweigend 2⁶⁷ − 1 auf einer Tafel zu berechnen, 193.707.721 × 761.838.257.287 auf einer anderen zu multiplizieren und sich unter stehendem Applaus zu setzen. Später sagte er, die Faktoren zu finden habe „drei Jahre voller Sonntage“ gedauert. Der Name blieb den Zahlen ohnehin erhalten — ein passendes Denkmal für die Zeit, als eine gute Vermutung ihre Irrtümer überdauern konnte.

Der Lucas-Lehmer-Test: warum Mersenne-Zahlen jeden Rekord halten

Dass die größte bekannte Primzahl fast immer eine Mersenne-Primzahl ist, liegt nicht daran, dass sie häufig wären — es liegt daran, dass sie einzigartig prüfbar sind. Der Lucas-Lehmer-Test (Édouard Lucas 1876, verfeinert von Derrick Lehmer 1930) entscheidet die Primalität von M_p mit einer einzigen kinderleichten Iteration: man beginnt mit s = 4 und wiederholt s ← s² − 2 (mod M_p) genau p − 2 Mal. Die Zahl ist genau dann prim, wenn das Ergebnis 0 ist. Keine Faktorisierung, kein Zufall, keine Ungewissheit.

Damit wies Lucas 1876 von Hand nach, dass M₁₂₇ = 170.141.183.460.469.231.731.687.303.715.884.105.727 prim ist — eine 39-stellige Primzahl, die 75 Jahre lang der Rekord blieb und bis heute die größte je ohne Computer gefundene ist. Als die elektronischen Computer kamen, war der Test die perfekte Arbeitslast: 1952 fand Raphael Robinsons Programm auf der SWAC fünf neue Mersenne-Primzahlen in einem einzigen Jahr, mehr als die vorangegangenen zwei Jahrhunderte zusammen.

GIMPS und die moderne Jagd

Seit 1996 liegt die Suche bei der Great Internet Mersenne Prime Search, einem der frühesten Freiwilligenprojekte des verteilten Rechnens. Jede Rekordprimzahl seither ist eine Entdeckung von GIMPS, gefunden auf Hardware, die von Büro-PCs bis hin zu — jüngst — Cloud-GPU-Flotten reicht. Der aktuelle Rekord, gefunden im Oktober 2024, ist 2^136.279.841 − 1 — 41.024.320 Stellen — entdeckt von einem ehemaligen NVIDIA-Ingenieur, der den ersten GIMPS-Client der GPU-Ära laufen ließ. Der ausstehende Preis der Electronic Frontier Foundation für eine Primzahl mit 100 Millionen Stellen ist noch immer nicht eingelöst.

Gibt es unendlich viele Mersenne-Primzahlen? Vermutlich ja — Heuristiken von Lenstra, Pomerance und Wagstaff sagen sogar voraus, wie viele pro Größenordnung zu erwarten sind — doch bewiesen ist nichts. Sie werden rasch dünner: nur 52 unter den ersten 136 Millionen Exponenten.

Wo sie die übrige Mathematik berühren

• Vollkommene Zahlen — nach dem Satz von Euklid-Euler erzeugt jede Mersenne-Primzahl 2^p − 1 die gerade vollkommene Zahl 2^p−1(2^p − 1), und alle geraden vollkommenen Zahlen entstehen auf diese Weise. Die beiden Jagden sind eine. Siehe den Artikel über vollkommene Zahlen.
• Informatik — Mersenne-Zahlen sind Bitmuster aus lauter Einsen, weshalb sie als Masken und als Maxima vorzeichenloser Typen auftreten; M₃₁ = 2.147.483.647 ist int.MaxValue in den meisten Sprachen, und M₆₁ taucht im schnellen modularen Hashing auf. Der Mersenne-Twister, der am weitesten verbreitete Zufallszahlengenerator der letzten 30 Jahre, bezieht seine Periode 2¹⁹⁹³⁷ − 1 aus einer Mersenne-Primzahl.
• Gruppentheorie — damit sich eine zyklische Struktur mit 2^p Elementen gutartig verhält, entscheiden die Teilbarkeitseigenschaften von M_p mehrere Klassifikationsfragen; Mersenne-Primzahlen indizieren zudem eine Familie einfacher Gruppen über PSL(2, M_p).

Mersenne-Primzahlen auf NumberWiki

Jede Zahlenseite prüft die Mersenne-Primalität strukturell (ist n + 1 eine Zweierpotenz mit primem Exponenten, und ist n selbst prim). Mitglieder sind mit Mersenne-Primzahl markiert — sie alle, 3, 7, 31, 127, 8191, 131071, 524287 und 2147483647, stehen im dauerhaften Index. Verwandte Familien: Repunits (das Analogon zur Basis 10), Zweierpotenzen (stets um eins größer) und vollkommene Zahlen (die Euklid-Euler- Partner).

Weiterführende Literatur

• Chris Caldwells Prime Pages (t5k.org) — die Standardreferenz für Mersenne-Geschichte und -Rekorde.
• GIMPS (mersenne.org) — die Suche selbst; der Status jedes je getesteten Exponenten.
• Paulo Ribenboim, The Little Book of Bigger Primes (Springer, 2. Aufl. 2004) — Kapitel über Mersenne-Zahlen und den Lucas-Lehmer-Test.
• The On-Line Encyclopedia of Integer Sequences, Folge A000668 — die Mersenne-Primzahlen.

Siehe auch

• Vollkommene Zahlen — jede Mersenne-Primzahl erzeugt eine.
• Primzahlen — die allgemeine Theorie.
• Alle Mersenne-Primzahlen auf NumberWiki →
• 2.147.483.647 — die Mersenne-Primzahl in jedem 32-Bit-Integer-Überlauffehler.