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]

Geschichte

Bearbeiten

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.

Literatur

Bearbeiten

Einzelnachweise

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