Dedekinds Prager Satz

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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.

Sind

und Polynome des Polynomrings eines Integritätsrings mit Quotientenkörper
und ist für ein , so gilt für alle .

Mit diesem Satz sind folgende Aussagen gleichbedeutend:

1. ist ganz abgeschlossen.

2. In gilt das Gaußsche Hebungslemma für normierte Polynome

Sind normierte Polynome mit , dann sind .

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.[1]

Dedekind veröffentlichte den Satz 1892[2] 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,[3] allerdings in einer sehr knappen Form und in obskurer (eigenwilliger) Formulierung (Harold Edwards).[1]

Auch wenn insbesondere Hilbert in seinem Zahlbericht[4] 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.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. a b Edwards, Divisor Theory, 1990, S. 2
  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
  3. 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
  4. David Hilbert: Die Theorie der algebraischen Zahlkörper, Jahresbericht der Deutschen Mathematiker-Vereinigung, V.4 S.175-546 1897