Zum Inhalt springen

Seite:David Hilbert Gesammelte Abhandlungen Bd 1.djvu/39

aus Wikisource, der freien Quellensammlung
Fertig. Dieser Text wurde zweimal anhand der Quelle korrekturgelesen. Die Schreibweise folgt dem Originaltext.

Es gelten die drei allgemeinen Theoreme:

hierin bedeuten , , , bezüglich die Diskriminanten der Körper , und die Partialdiskriminante des Körpers in bezug auf , ferner , , bezüglich die Grundideale von , und das Partialgrundideal des Körpers in bezug auf ; endlich bedeutet die Partialnorm von und die Norm von für den Körper . Diese Theoreme geben einen klaren Einblick in den Bau der Diskriminanten. Das Theorem I ist die Erweiterung des Dedekindschen Satzes für den Begriff des Partialgrundideals. Nach Theorem II ist das Verhalten der Grundideale beim Übergange von dem niederen in den höheren Körper von merkwürdiger Einfachheit: man bekommt das Grundideal des höheren Körpers, indem man das Grundideal des niederen Körpers mit dem betreffenden Partialgrundideal multipliziert. Das Theorem III entsteht, wenn man von der Gleichung II die Norm bildet. Daß die Diskriminante eines Körpers durch die Diskriminante eines jeden Unterkörpers teilbar ist, hat bereits Kronecker[1] bewiesen. Das Theorem III gibt die Potenz der letzteren an, welche in der Diskriminante des höheren Körpers aufgeht und deckt auch zugleich die einfache Bedeutung des übrigbleibenden Faktors der Diskriminante des höheren Körpers auf.

Nunmehr folgen mit Hilfe der oben entwickelten Theorie die Sätze:

Das Grundideal des zum Primideal gehörigen Trägheitskörpers ist nicht durch teilbar. Der Trägheitskörper umfaßt sämtliche in enthaltenen Unterkörper, deren Grundideale nicht durch teilbar sind.

Das Partialgrundideal des Verzweigungskörpers in bezug auf den Trägheitskörper ist durch

und durch keine höhere Potenz von teilbar.

Das Partialgrundideal des einmal überstrichenen Verzweigungskörpers in bezug auf den Verzweigungskörper enthält genau die Potenz

Das Partialgrundideal des zweimal überstrichenen Verzweigungskörpers in bezug auf den einmal überstrichenen Verzweigungskörper enthält genau die Potenz

usw.


  1. Vgl. Grundzüge einer arithmetischen Theorie der algebraischen Größen § 9. J. Math. 92 (1882).
Empfohlene Zitierweise:
David Hilbert: David Hilbert Gesammelte Abhandlungen Erster Band – Zahlentheorie. Julius Springer, Göttingen 1932, Seite 22. Digitale Volltext-Ausgabe bei Wikisource, URL: https://de.wikisource.org/w/index.php?title=Seite:David_Hilbert_Gesammelte_Abhandlungen_Bd_1.djvu/39&oldid=- (Version vom 31.7.2018)