Der Prager Satz von Richard Dedekind ist ein Satz der Zahlentheorie und Algebra über Polynome, welcher am Beginn der Abstraktion zur Dedekindschen Idealtheorie steht. Es kann gezeigt werden, dass er genau in ganz abgeschlossenen Ringen gilt und deshalb mit dem Gauß’schen Hebungslemma (anwendbar, wenn im Ring der Vierzahlensatz gilt) für normierte Polynome herzuleiten ist.
Aussage Bearbeiten
Sind
Mit diesem Satz sind folgende Aussagen gleichbedeutend:
1. ist ganz abgeschlossen.
2. In gilt das Gaußsche Hebungslemma für normierte Polynome
Anders formuliert besagt der Satz: Seien f,g Polynome in einer Variablen, deren Koeffizienten algebraische Zahlen sind. Wenn alle Koeffizienten des Produkts ganze algebraische Zahlen sind ist das Produkt jedes Koeffizienten von f mit jedem Koeffizienten von g auch eine ganze algebraische Zahl.
Geschichte Bearbeiten
Dedekind veröffentlichte den Satz 1892 als Verallgemeinerung eines Satzes von Carl Friedrich Gauß (Lemma von Gauß, Disquisitiones Arithmeticae, Artikel 42): Die Polynome f,g in einer Variablen haben rationale Koeffizienten. Wenn die Koeffizienten von f, g nicht alle ganze Zahlen sind, dann können auch die Koeffizienten von nicht alle ganze Zahlen sein. Die Bezeichnung Prager Satz rührt daher, dass Dedekind ihn in den Mitteilungen der Deutschen Mathematischen Gesellschaft in Prag veröffentlichte.
Dedekind war nicht bekannt, dass Leopold Kronecker den Satz schon zehn Jahre zuvor veröffentlicht hatte, allerdings in einer sehr knappen Form und in obskurer (eigenwilliger) Formulierung (Harold Edwards).
Auch wenn insbesondere Hilbert in seinem Zahlbericht dem (gleichartigen) Hurwitzschen Aufbau der Idealtheorie noch den Vorzug gegeben hat (Dedekinds Prager Satz dient dort dem Nachweis, dass es zu jedem Ideal in einer Maximalordnung eines Zahlkörpers ein Ideal gibt derart, dass ein Hauptideal ist), spielt Dedekinds Prager Satz in der heutigen Algebra und Zahlentheorie praktisch keine Rolle mehr, da man (in Dedekinds Sinne über E. Noether bis hin zu Grothendieck) heutzutage konzeptionelle Beweise mit abstrakten Prinzipien wie der ganzen Abgeschlossenheit bevorzugt.
Literatur Bearbeiten
- Harold Edwards: Divisor Theory, Springer 1990
- Franz Lemmermeyer: Zur Zahlentheorie der Griechen, Teil 2, Mathematische Semesterberichte, Band 55, 2008, S. 181–195
Einzelnachweise Bearbeiten
- ↑ Edwards, Divisor Theory, 1990, S. 2
- Dedekind, Über einen arithmetischen Satz von Gauß, Mitteilungen der Deutschen Mathematischen Gesellschaft Prag, 1892, S. 1–11, Dedekind, Werke, Band 2, S. 28–38
- Kronecker, Zur Theorie der Formen höherer Stufen, Monatsberichte der Akademie der Wissenschaften Berlin, 1883, S. 957–960, Kronecker, Werke, Band 2, S. 419–424
- David Hilbert: Die Theorie der algebraischen Zahlkörper, Jahresbericht der Deutschen Mathematiker-Vereinigung, V.4 S.175-546 1897