Fermats letzter Satz

Fermats letzter Satz besagt, dass keine drei positiven ganzen Zahlen die Gleichung a hoch n plus b hoch n gleich c hoch n für einen Exponenten n größer als zwei erfüllen – eine Behauptung, die über drei Jahrhunderte unbewiesen blieb, bis sie durch die Modularität elliptischer Kurven geklärt wurde.

Definition

Fermats letzter Satz ist die Aussage, dass die Gleichung x hoch n plus y hoch n gleich z hoch n keine Lösung in positiven ganzen Zahlen x, y, z hat, wenn der ganzzahlige Exponent n größer als zwei ist.

Scope

Dieses Thema behandelt die Aussage von Fermats letztem Satz, seine Reduktion auf Primzahlexponenten und auf die Fermat-Kurve, Kummers Fortschritte im neunzehnten Jahrhundert unter Verwendung von idealen Zahlen und regulären Primzahlen, die Frey-Kurve, die mit einer hypothetischen Lösung assoziiert ist, die von Ribet bewiesene Epsilon-Vermutung, die sie mit der Modularität verbindet, und Wiles' Beweis der Modularität semistabiler elliptischer Kurven, der das Argument abschließt.

Core questions

• Warum genügt es, den Satz für Primzahlexponenten und für den Exponenten vier zu beweisen?
• Wie weit haben klassische Methoden, insbesondere Kummers Theorie der idealen Zahlen und regulären Primzahlen, das Problem vorangebracht?
• Wie verwandelt die Frey-Kurve eine hypothetische Fermat-Lösung in eine elliptische Kurve mit unmöglichen Eigenschaften?
• Wie ergänzen sich Ribets Satz und der Modularitätssatz, um den Beweis zu vervollständigen?

Key theories

Kummers reguläre Primzahlen

Kummer bewies Fermats letzten Satz für alle regulären Primzahlexponenten unter Verwendung idealer Zahlen und führte dabei das Klassengruppen-Instrumentarium der algebraischen Zahlentheorie ein.

Frey-Kurve und Ribets Satz

Eine nichttriviale Fermat-Lösung würde die elliptische Frey-Kurve ergeben, von der Ribet bewies, dass sie nicht modular sein konnte; somit würde die Modularität solcher Kurven erzwingen, dass Fermats Gleichung keine Lösungen hat.

Modularitätssatz (Wiles-Taylor)

Wiles bewies zusammen mit Taylor, dass semistabile rationale elliptische Kurven modular sind, was die Existenz der Frey-Kurve widerlegt und damit Fermats letzten Satz beweist.

Clinical relevance

Obwohl der Satz selbst keine direkte Anwendung hat, wurde das Beweisgerüst – Galois-Darstellungen, Deformationstheorie und Modularitätsanhebung – zu einer Kerntechnologie im Langlands-Programm und in den arithmetisch-geometrischen Methoden, die auch die Kryptographie mit elliptischen Kurven beeinflussen.

History

Fermat notierte die Behauptung um 1637 am Rande seines Exemplars von Diophantus und behauptete einen Beweis, den er nie niederschrieb. Euler, Sophie Germain und Kummer klärten viele Fälle in den nächsten zwei Jahrhunderten; Frey, Serre und Ribet reduzierten ihn in den 1980er Jahren auf die Modularität, und Wiles kündigte 1993 einen Beweis an, der 1994 mit Taylor abgeschlossen und 1995 veröffentlicht wurde.

Key figures

• Pierre de Fermat
• Ernst Kummer
• Ken Ribet
• Andrew Wiles

Seminal works

• wiles1995
• wiles1995

Frequently asked questions

Hatte Fermat tatsächlich einen Beweis?

Mit ziemlicher Sicherheit keinen korrekten allgemeinen Beweis. Die benötigten Methoden wurden erst im zwanzigsten Jahrhundert entwickelt, und jedes Argument aus dem siebzehnten Jahrhundert hätte sich auf Annahmen gestützt, wie die eindeutige Faktorisierung, die in den relevanten Ringen fehlschlagen.

Wie hängt eine Gleichung über Potenzen mit elliptischen Kurven zusammen?

Eine hypothetische Lösung kann in die elliptische Frey-Kurve verpackt werden; ihre arithmetischen Eigenschaften würden dem Modularitätssatz widersprechen, so dass die Modularität elliptischer Kurven die Unlösbarkeit der ursprünglichen Gleichung erzwingt.