Direkt zum Inhalt

Der Mathematische Monatskalender: Ernst Eduard Kummer (1810–1893)

Kummer leistete Beiträge zur Funktionentheorie, zur Zahlentheorie (Beweis von Fermats letztem Satz für unendlich viele Primzahlen) und schließlich zur algebraischen Geometrie.
Ernst Eduard Kummer

Als 1813 die Reste der "Großen Armee" Napoleons nach ihrem verlustreichen Russland-Feldzug zurückfluten, darunter auch die wenigen Überlebenden des Truppenkontingents des Königreichs Sachsen, schleppen sie tödliche Seuchen in ihre Heimatländer ein. In Sorau, einer Kleinstadt der damals noch sächsischen Niederlausitz, sorgt sich der Stadtphysicus Dr. Carl Gotthelf Kummer um die Erkrankten und stirbt selbst an den Folgen einer Typhusinfektion. Seine Witwe nimmt jede Arbeit an, um den beiden Söhnen eine schulische Ausbildung zu ermöglichen. 1828 können sich die Brüder Karl Volkmar und Ernst Eduard Kummer sogar zum Studium an der Königlichen Friedrichs-Universität in Halle-Wittenberg einschreiben.

Am Ende des ersten Semesters teilt Ernst Eduard seiner Mutter mit, dass er den Schwerpunkt seines Studiums von der Theologie auf die Mathematik verlagern möchte – mit dem Ziel, nach Abschluss des Studiums als Lehrer tätig zu werden. 1831 reicht er eine Abhandlung ein, die sich mit der Reihenentwicklung von Potenzen der Sinus- und Kosinusfunktion beschäftigt. Mit dieser Arbeit gewinnt er ein ausgeschriebenes Preisgeld von 50 Talern und wird – wegen der außergewöhnlichen Qualität – sogar zum Dr. phil. promoviert. Noch im selben Monat legt er das Examen als Lehrer für die Fächer Theologie, Philologie, Deutsch, Geschichte, Mathematik und Physik ab.

Nach einjähriger Referendarszeit an seiner ehemaligen Schule in Sorau tritt er im Januar 1833 eine Stelle am Städtischen Gymnasium in Liegnitz (Niederschlesien) an. Seine Tätigkeit als Lehrer wird jedoch schon bald durch die Einberufung zum Militärdienst als Musketier in Breslau unterbrochen. Von dort aus sendet er die Druckfahnen einer Abhandlung über spezielle Differenzialgleichungen 2. Ordnung an Carl Gustav Jacob Jacobi, Professor in Königsberg, der überrascht reagiert: Sieh da, jetzt machen schon preußische Musketiere mit ihren mathematischen Arbeiten den Professoren Concurrenz!

Zehn Jahre lang ist Ernst Eduard Kummer als Lehrer für Mathematik und Physik in Liegnitz tätig; zu seinen Schülern gehören Ferdinand Joachimsthal (1818 – 1861) und Leopold Kronecker (1823 – 1891). In dieser Zeit veröffentlicht er mehrere Beiträge zur Analysis in Crelles Journal, und auf Empfehlung Dirichlets wird er zum korrespondierenden Mitglied der Preußischen Akademie der Wissenschaften Berlin gewählt.

Über Peter Gustav Lejeune Dirichlet lernt er auch seine spätere (erste) Ehefrau Ottilie Mendelssohn kennen, Enkelin des Philosophen Moses Mendelssohn und Cousine von Dirichlets Ehefrau Rebecka. 1840 erfolgt Kummers Ernennung zum Gymnasialprofessor. Da hiermit keine Verbesserung der Besoldung verbunden ist, wendet er sich an seine vorgesetzte Behörde mit der dringenden Bitte um eine Gehaltserhöhung, da er sich sonst kaum in der Lage sieht, seine junge Familie zu ernähren.

1842 vollendet Kummer seine Habilitationsschrift über kubische Reste, Voraussetzung für die Berufung auf eine gerade frei gewordene Stelle an der Universität Breslau. Bald schon verlagert Kummer den Schwerpunkt seiner Vorlesungen von der Analysis auf die Zahlentheorie. Unter seinen ersten Studenten ist auch sein ehemaliger Schüler Leopold Kronecker, den er 1845 promovieren kann. 1881 widmet Kronecker seinen Beitrag in der Festschrift zum 50. Doktor-Jubiläum Kummers mit den Worten ... verdanke ich Dir mein mathematisches Dasein.

Als 1855 Gauß stirbt, wird Dirichlet auf den Lehrstuhl in Göttingen berufen. Für seine Nachfolge in Berlin schlägt er Kummer vor. Dieser wiederum bringt zur allgemeinen Überraschung für den Lehrstuhl in Breslau weder den allgemein favorisierten Karl Weierstraß noch seinen Schützling Kronecker ins Gespräch, sondern seinen ehemaligen Schüler Joachimsthal (dieser ist seit 1853 als Ordinarius in Halle tätig). Aber bald wird klar, welches Ziel er damit verfolgt: Innerhalb eines Jahres werden Kronecker und Weierstraß auf Lehrstühle in Berlin berufen, wodurch Berlin als Zentrum mathematischer Forschung in eine starke Konkurrenz zu Göttingen tritt. Die Freundschaft und enge Zusammenarbeit dieser drei Mathematiker findet allerdings Mitte der 1870er Jahre nach einer heftigen und unversöhnlichen Auseinandersetzung zwischen Kronecker und Weierstraß ein jähes Ende.

Zu den Verpflichtungen Kummers als Nachfolger von Dirichlet gehört auch der Unterricht an der Berliner Militärakademie ("Kriegsschule"). Im Unterschied zu seinem Vorgänger bereitet ihm diese Lehrtätigkeit, bei der er sich intensiv mit Fragen der Ballistik beschäftigen muss, besondere Freude. Dass er bei diesen Themen auf die Durchführung von Experimenten angewiesen ist, um zu Erkenntnissen zu kommen, beweist seiner Meinung nur, dass die Probleme eben mit mathematischen Methoden allein nicht bewältigt werden können. Als er 1874 die 19-jährige Lehrtätigkeit an der Militärschule beendet, prüft die zuständige Behörde, ob ihm eine Pension zusteht. Kummer lehnt eine solche jedoch mit dem Hinweis ab, dass er über die Jahre hinweg den Besoldungsbetrag angespart habe und die Zinsen hieraus so viel ergeben, wie die Pension ausmachen würde.

Kummers Vorlesungen erfreuen sich wegen seiner Fähigkeit, schwierige Gedankengänge klar strukturiert, verständlich und humorvoll vorzutragen, großer Beliebtheit. Bis zu 250 Studenten besuchen seine Veranstaltungen – eine für die damalige Zeit ungewöhnlich große Anzahl. In seiner Berliner Zeit kann er 39 Studenten promovieren, darunter Georg Cantor und Hermann Amandus Schwarz.

15 Jahre lang nimmt Kummer das Amt als Sekretär der mathematisch-physikalischen Abteilung der Akademie der Wissenschaften in Berlin wahr; er ist zeitweise Dekan und Rektor der Universität. Als er 1883 den Eindruck hat, dass sein Gedächtnis nachlässt (niemand außer ihm hat davon etwas bemerkt), entschließt er sich, seine Tätigkeit als Hochschullehrer zu beenden. Sein Nachfolger wird Lazarus Fuchs, bei dessen Habilitation Kummer als Gutachter tätig war.

Die zahlreichen Beiträge Kummers zur Entwicklung der Mathematik kann man drei Schaffensperioden zuordnen: In den ersten Jahren beschäftigt er sich intensiv mit Problemen aus der Funktionentheorie, in einer zweiten vor allem mit zahlentheoretischen Fragen und am Ende seiner Forschungstätigkeit insbesondere mit Problemen der algebraischen Geometrie – die untere Abbildung zeigt eine sogenannte Kummer'sche Fläche.

Seit der folgenreichen Randbemerkung Fermats auf dem Rand einer Diophant-Übersetzung Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet. (Ich habe einen wahrhaft wunderbaren Beweis gefunden, aber dieser Rand ist zu schmal, ihn zu fassen.) hatte die Fermat'sche Vermutung (in der Fachliteratur meistens mit FLT abgekürzt – Fermat's last theorem) viele bedeutende und weniger bedeutende Mathematiker beschäftigt:

Die Gleichung \(x^n+y^n=z^n\) mit \(x\), \(y\), \(z \in \mathbb{N}\) hat keine Lösung für natürliche Zahlen \(n > 2\).

Fermat selbst hatte nur den Fall \(n = 4\) beweisen können. Euler legte 1753 einen Beweis für \(n = 3\) vor, und Dirichlet präsentierte 1825 der Académie des Sciences einen Beweisansatz für \(n = 5\), der mit Unterstützung von Legendre vervollständigt werden konnte.

1847 kündigt der französische Mathematiker Gabriel Lamé der Académie an, einen Beweis für allePrimzahlen gefunden zu haben. Augustin-Louis Cauchy reagiert eifersüchtig auf die Ankündigung und behauptet seinerseits, dass er unmittelbar vor der Vollendung des Beweises stehe. Beide Mathematiker machen Andeutungen, wie ihnen der entscheidende Schritt des Beweises gelungen sei. Durch seine regelmäßige Korrespondenz mit Joseph Liouville erfährt auch Kummer hiervon, weiß sofort, welcher Fehler beiden Mathematikern unterlaufen ist, und informiert Liouville hierüber. An wesentlicher Stelle des Beweises benutzen nämlich beide die allgemeine Gültigkeit des Fundamentalsatzes der Arithmetik, ein Satz, der seit Euklid für natürliche Zahlen als gültig angesehen, aber erst durch Carl Friedrich Gauß in seinen Disquisitiones Arithmeticae (1801) vollständig bewiesen worden ist. Der Satz besagt, dass die Zerlegung natürlicher Zahlen in Primfaktoren (bis auf die Reihenfolge der Faktoren) eindeutig ist.

Beispielsweise gilt für die Zahl \(6\), dass sie sich in der Menge \(\mathbb{N}\) nur als Produkt der Primzahlen \(2\) und \(3\) darstellen lässt. In der Menge \(\mathbb{Z}\left[\sqrt{5} i\right] \) \(=\{ a+b \cdot\sqrt{5} i | a,b \in \mathbb{Z}\}\) existiert jedoch noch eine weitere Zerlegung, nämlich die Darstellung als Produkt \( \left( 1+\sqrt{5} i \right)\cdot \left( 1-\sqrt{5}i \right)\); und beide Faktoren lassen sich selbst nicht weiter zerlegen.

Kummer war 1844 auf dieses Phänomen bei der Untersuchung von Lösungen der Kreisteilungsgleichungen gestoßen, das sind Gleichungen der Form \(x^n =1\). Nach dem von Gauß bewiesenen Fundamentalsatz der Algebra besitzt jede Gleichung \(n\)–ten Grades in der Menge \(\mathbb{C}\) der komplexen Zahlen genau \(n\) Lösungen. In der Gauß'schen Zahlenebene sind die Lösungen von \(x^n =1\) Punkte des Einheitskreises und Eckpunkte von regelmäßigen \(n\)-Ecken mit den Koordinaten \( \left( \cos\left(\frac{2\pi k}{n}\right), \sin\left(\frac{2\pi k}{n}\right) \right) \) mit \( 0 \leq k < n\), \( k \in \mathbb{N}\).

Mithilfe von \(\zeta = \cos\left(\frac{2\pi}{n}\right)+ i\cdot \sin\left(\frac{2\pi}{n}\right)\), der \(n\)-ten Einheitswurzel, lassen sich die \(n\) Lösungen auch in der Form \(1\), \(\zeta\), \(\zeta^2\), ..., \(\zeta^{n−1}\) notieren, wobei gilt:

\( 1+ \zeta + \zeta^2 + \dots + \zeta^{n-1}=0\), sowie \(\zeta^n=1\).

Für ungerade Primzahlen \(n\) kann man dann die Summe \(x^n+y^n\) als Produkt \[ (x+y)\cdot (x+\zeta \cdot y)\cdot (x+\zeta^2\cdot y)\cdot \dots\cdot (x+ \zeta^{n−1}\cdot y)\] schreiben. Wenn nun in der Menge der Zahlen der Form \[a_0+a_1\cdot \zeta +a_2\cdot \zeta^2+\dots+a_{n−1}\cdot \zeta^{n−1}\] mit \(a_i \in \mathbb{Z}\) auch die Eindeutigkeit der Faktorzerlegung gelten würde, dann könnte man die Existenz weiterer Zerlegungen ausschließen. Kummer entdeckt, dass dies zum Beispiel für \(n = 23\) nicht der Fall ist.

Um dennoch das Argument der eindeutigen Zerlegbarkeit nutzen zu können, führt Kummer sogenannteideale Zahlen ein. Im oben angeführten Beispiel der Zerlegung der natürlichen Zahl \(6\) muss die betrachtete Zahlenmenge um die idealen Zahlen \(\sqrt{2}\), \(\frac{1+\sqrt{5} i}{\sqrt{2}}\), \(\frac{1-\sqrt{5} i}{\sqrt{2}}\) ergänzt werden; dann ergibt sich, dass die vermeintlich unterschiedlichen Produktdarstellungen der Zahl 6 übereinstimmen:

\(6=2\cdot 3\) \(=\left( \sqrt{2}\cdot\sqrt{2}\right)\cdot \left( \frac{1+\sqrt{5} i}{\sqrt{2}} \cdot \frac{1-\sqrt{5} i}{\sqrt{2}}\right)\) \(= \left( \sqrt{2}\cdot \frac{1+\sqrt{5} i}{\sqrt{2}}\right) \cdot\left(\sqrt{2}\cdot \frac{1-\sqrt{5} i}{\sqrt{2}}\right)\) \(= \left(1+\sqrt{5} i\right) \cdot \left(1-\sqrt{5} i\right)\)

1850 gelingt es Kummer, die Gültigkeit des FLT für eine sehr große Anzahl von Exponenten zu zeigen, nämlich für alle regulären Primzahlen 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 43, 47, 53, ... und deren Vielfache. (Eine Primzahl \(p\) ist regulär, wenn \(p\) keinen der Zähler der Bernoulli-Zahlen \(B_2\), \(B_4\), \(B_6\), ..., \(B_{p-3}\) teilt.) Offen bleibt die Gültigkeit des Satzes für die unendlich vielen irregulären Primzahlen 37, 59, 67, 101, 103, ... .

Nachdem die Académie des Sciences mehrfach vergeblich ein Preisgeld für die Lösung des Problems ausgeschrieben hat, spricht sie 1857 Kummer – ohne dessen Bewerbung – das Preisgeld als Anerkennung für seine Verdienste zu. Dass noch einmal 138 Jahre vergehen würden, bis das Problem endgültig als gelöst angesehen werden kann, ahnt damals niemand.

Ernst Eduard Kummer (1810 – 1893)

Datei herunterladen
PDF (624.3 KB)

Schreiben Sie uns!

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.