Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 13

Aus Wikiversity
Zur Navigation springen Zur Suche springen



Mersenne-Primzahlen



Definition  

Eine Primzahl der Form heißt Mersennesche Primzahl.

Generell nennt man die Zahl die -te Mersenne-Zahl. Mit dieser Bezeichnung sind die Mersenne-Primzahlen genau diejenigen Mersenne-Zahlen, die Primzahlen sind.



Lemma  

Ist eine Primzahl, so ist auch eine Primzahl.

Beweis  

Sei eine Darstellung mit natürlichen Zahlen gegeben. Wir setzen in der polynomialen Identität

und ein und erhalten, dass . Da als prim vorausgesetzt wurde, folgt oder , also oder .


Bemerkung  

Die Mersenne-Zahl hat im Dualsystem eine Entwicklung, die aus genau Einsen besteht. Die ersten Mersenne-Primzahlen sind

Die Zahl ist die erste Mersenne-Zahl, wo der Exponent zwar prim ist, die aber selbst keine Mersenne-Primzahl ist. Dies wurde 1536 von Hudalrichus Regius (Walter Hermann Ryff) gezeigt. Der nächste Kandidat, nämlich , ist wieder prim. Bis ca. 1950 war bekannt, dass für die Exponenten

Mersenne-Primzahlen vorliegen, und keine weiteren unterhalb des Exponenten . Von verschiedenen Leuten, unter anderem von Cataldi und Mersenne selbst, wurden falsche Behauptungen aufgestellt. Ab ca. 1950 kamen Computer zum Bestimmen von Mersenne-Primzahlen zum Einsatz, und es wurden bisher insgesamt Mersenne-Primzahlen gefunden. Die größte ist

Es ist unbekannt, ob es unendlich viele Mersenne-Primzahlen gibt.

Alle größten bekannten Primzahlen sind Mersenne-Zahlen. Das liegt daran, dass es für diese Zahlen einen vergleichsweise einfachen Primzahltest gibt, nämlich den Lucas-Lehmer-Test. Mit diesem Test wird etwa alle zwei Jahre eine neue größte Primzahl gefunden. Für eine Rekordliste siehe Mersenne-Primzahlen.


Mersenne-Zahlen stehen in direktem Verhältnis zu den vollkommenen Zahlen.



Vollkommene Zahlen

Definition  

Eine natürliche Zahl heißt vollkommen, wenn sie mit der Summe all ihrer von verschiedenen Teiler übereinstimmt.

Bereits Euklid stellte fest, dass die ersten vier vollkommenen Zahlen sich als

darstellen lassen:

    • Für :
    • Für :
    • Für :
    • Für : .

    Euklid bewies, dass immer dann eine vollkommene Zahl ist, wenn eine Primzahl, also eine Mersenne-Primzahl ist. Euler bewies, dass auf diese Weise alle geraden vollkommenen Zahlen erzeugt werden können. Bevor wir diesen Satz von Euklid-Euler beweisen, brauchen wir eine kleine Vorüberlegung.


    Definition  

    Zu einer natürlichen Zahl bezeichnet man die Summe aller natürlichen Teiler von als , also

    Eine vollkommene Zahl kann man also dadurch charakterisieren, dass ist.



    Lemma  

    Zu zwei natürlichen teilerfremden Zahlen und gilt

    Beweis  

    Bei zwei teilerfremden Zahlen und hat jeder positive Teiler des Produkts die eindeutige Form , wobei ein Teiler von und ein Teiler von ist. Also gilt


    Damit können wir beweisen.



    Satz  

    Eine gerade Zahl ist genau dann vollkommen, wenn ist mit prim.

    Beweis  

    Sei zunächst mit prim. Dann sind die von verschiedenen Teiler von durch

    gegeben. Daher ist ihre Summe gleich

    also ist vollkommen. Sei umgekehrt vollkommen. Wir setzen (in Anlehnung an das Ziel) an

    mit ungerade und , da ja gerade ist. Für teilerfremde Zahlen ist nach Fakt ***** die Teilersumme gleich dem Produkt der beiden Teilersummen. Daher ist einerseits

    und andererseits wegen der Vollkommenheit . Insgesamt ergibt sich also . Da ungerade ist, gilt

    Die Annahme führt schnell zum Widerspruch, da es dann zumindest die drei verschiedenen Teiler von gibt, was zu

    führt. Also ist und somit . Die Teilersumme einer Zahl ist aber gleich nur dann, wenn eine Primzahl vorliegt.


    Es ist unbekannt, ob es unendlich viele vollkommene Zahlen gibt, da es ja auch unbekannt ist, ob es unendlich viele Mersenne-Primzahlen gibt. Es ist unbekannt, ob es überhaupt auch ungerade vollkommene Zahlen gibt.



    Befreundete Zahlen

    Definition  

    Zwei verschiedene natürliche Zahlen und heißen befreundet, wenn gleich der Summe der echten Teiler von ist und umgekehrt.

    Das klassische Beispiel für ein befreundetes Zahlenpaar ist und . Zwei verschiedene Zahlen sind befreundet genau dann, wenn

    ist. Der folgende Satz erlaubt es, einige weitere befreundete Zahlenpaare zu finden, aber keineswegs alle.




    Satz  

    Sei eine natürliche Zahl und seien , und allesamt Primzahlen. Dann sind

    befreundet.

    Beweis  

    Wir berechnen , und . Es ist

    Weiter ist

    Schließlich ist


    Das Paar und ist befreundet, aber nicht erhältlich über die Regel von Thabit.


    << | Kurs:Zahlentheorie (Osnabrück 2008) | >>

    PDF-Version dieser Vorlesung

    Arbeitsblatt zur Vorlesung (PDF)