#der große Satz von Fermat – Mathlog
„der große Satz von Fermat – Mathlog“
Die Suche nach diesem Beweis wurde für mehr als 350 Jahre eine treibende Kraft der Zahlentheorie. Euler löste den Fall n=3, Legendre und Dirichlet unabhängig voneinander den Fall n=5. Ein fehlerhafter Beweis führte im 19. Jahrhundert zur Theorie der Kreisteilungskörper und letztlich zur Entwicklung der Idealtheorie. Der Fehler hatte in der Annahme gelegen, dass man im Ganzheitsring gewisser Zahlkörper eine eindeutige Primfaktorzerlegung habe. Das ist aber nicht der Fall oder jedenfalls erst, wenn man gewisse ideale Zahlen hinzunimmt. Die idealen Zahlen entsprechen aus heutiger Sicht Idealen im Ganzheitsring, welche keine Hauptideale sind. (Hauptideale entsprechen den ganzen Zahlen des Zahlkörpers.) Die eindeutige Primärzerlegung in allgemeinen Noetherschen Ringen ist der Inhalt des Lasker-Noether-Theorems.
Spätestens seitdem am Beginn des 20. Jahrhunderts ein an Multipler Sklerose erkrankter Bankierssohn, Arzt und Mathematiker 100000 Goldmark aus seinem Nachlaß auf den Beweis aussetzte, beschäftigten sich auch viele Laien mit dem Problem. Das änderte sich auch nicht mit der inflationsbedingten Entwertung auf wenige Reichsmark. (Immerhin wurden es später wieder 70000 Mark.) Für die zuständigen Göttinger Mathematiker war es nicht immer leicht, die Laien von der Unstimmigkeit der gemachten Annahmen und der oft komplizerten formellen Berechnungen zu überzeugen.
Ernstzunehmende Beweisversuche folgten bis in die 1970er Jahre mehr oder weniger dem aus dem 19. Jahrhundert bekannten Ansatz der Untersuchung der Idealklassengruppen von Kreisteilungskörpern. Die Frage gehörte aber nicht mehr zu den zentralen Problemen der Mathematik. Immerhin wurde mit Computerhilfe (unter Weiterentwicklung der Methoden des vorigen Jahrhunderts) für immer größere Werte von n das Problem gelöst.
Die Modularität elliptischer Kurven war in den 50er Jahren von Taniyama vermutet worden. Martin Eichler hatte zuvor in einer Arbeit über die elliptische Kurve y2+y=x3-x2 festgestellt, dass für Primzahlen p die Anzahl ap ihrer Punkte über dem Körper Fp gerade der Koeffizient von xp in der Reihenentwicklung des unendlichen Produkts
ist. Dieses Produkt ist eine Modulform. Taniyama fand einige weitere Modulformen, deren Koeffizienten zu einer elliptischen Kurve gehören. Auf einem Symposium in Tokio schlug er eine allgemeine Vermutung vor, die aber nicht korrekt war. Shimura gab eine korrigierte Formulierung und propagierte im weiteren die Vermutung über die Entsprechung zwischen elliptischen Kurven und Modulformen.
Die Vermutung besagt, dass für die L-Reihe einer elliptischen Kurve – welche eine damals bereits etablierte Art war, die ap in einer einzigen Funktion zu kodieren – mit der Heckeschen L-Reihe einer geeigneten Modulform übereinstimmt. (Genauer: einer geeigneten Spitzenform vom Gewicht 2 mit ganzzahligen Fourier-Koeffizienten.) Eine äquivalente komplex-analytische Formulierung der Vermutung besagt: für jede elliptische Kurve E mit Führer N gibt es eine nichtkonstante holomorphe Abbildung X0(N)—>E. Dabei ist X0(N) die Kompaktifizierung (durch Hinzufügen der Spitzen) von Y0(N)=Γ0(N)H2, dem Quotienten der hyperbolischen Ebene nach der Hecke-Kongruenzgruppe Γ0(N).
Wenn Ihnen der Artikel gefallen hat, vergessen Sie nicht, ihn mit Ihren Freunden zu teilen. Folgen Sie uns auch in Google News, klicken Sie auf den Stern und wählen Sie uns aus Ihren Favoriten aus.
Wenn Sie an Foren interessiert sind, können Sie Forum.BuradaBiliyorum.Com besuchen.
Wenn Sie weitere Nachrichten lesen möchten, können Sie unsere Wissenschaft kategorie besuchen.