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

Fertig. Dieser Text wurde zweimal anhand der Quelle korrekturgelesen. Die Schreibweise folgt dem Originaltext.

auf, so können wir auf den Körper das nämliche Verfahren anwenden, das wir soeben für den ursprünglich vorgelegten Körper dargelegt haben, und gelangen dann entweder zu der Einsicht, daß ein Kreiskörper ist, oder wir werden auf einen zyklischen Körper vom Grade geführt, dessen Diskriminante wieder mindestens eine rationale Primzahl, nämlich die Primzahl , weniger enthält als die Diskriminante des Körpers . Das so eingeleitete Verfahren führt nach einer gewissen Anzahl sich folgender Anwendungen entweder auf einen Körper , der sich auf Grund unserer Annahme bereits als Kreiskörper erweist, oder wir gelangen schließlich zu einem zyklischen Körper vom Grade von der Art, daß der in enthaltene Unterkörper vom -ten Grade eine Diskriminante besitzt, welche keine rationale Primzahl oder nur die Primzahl enthält. Da es nach den Bemerkungen auf S. 213 einen zyklischen Körper -ten Grades mit der Diskriminante nicht gibt, so tritt notwendig der letztere Umstand ein.

Wir unterscheiden nunmehr zwei Fälle, je nachdem eine ungerade Primzahl oder gleich 2 ist.

Im ersteren Falle stimmt nach Hilfssatz 18 mit überein.

Im zweiten Falle ist, wenn ausfällt, der Körper entweder gleich oder gleich und mithin offenbar ein Kreiskörper. Für erweist sich jedoch stets gleich . Ist nämlich ein reeller Körper, so ist offenbar auch reell, und daraus folgt die Behauptung. Ist jedoch ein imaginärer Körper, so bilden die sämtlichen reellen Zahlen desselben einen reellen Unterkörper vom Grade , und da notwendig in diesem reellen Körper enthalten ist, so ist ebenfalls reell und stimmt also mit überein.

In den beiden oben unterschiedenen Fällen ist somit, wenn wir von , absehen, stets der Körper bez. . Nach Hilfssatz 19 ist infolgedessen Unterkörper eines Körpers, der sich aus bez. und einem zyklischen Körper vom Grade zusammensetzt. Da nun der Fundamentalsatz 131 zyklische Körper von der letzteren Beschaffenheit bereits als bewiesen angenommen worden ist, so erweist sich auch als Kreiskörper. Damit ist der Fundamentalsatz 131 vollständig bewiesen, und zugleich ist ersichtlich, in welcher Weise man alle Abelschen Körper von gegebener Gruppe und gegebener Diskriminante aufstellen kann.


24. Die Wurzelzahlen des Kreiskörpers der -ten Einheitswurzeln.

§ 105. Die Definition und Existenz der Normalbasis.

Eine Basis eines Abelschen Körpers von einem Grade soll eine Normalbasis heißen, wenn sie aus einer ganzen Zahl des Körpers und den zu konjugierten Zahlen besteht. Es gilt der folgende Hilfssatz:

Empfohlene Zitierweise:
David Hilbert: David Hilbert Gesammelte Abhandlungen Erster Band – Zahlentheorie. Julius Springer, Göttingen 1932, Seite 216. Digitale Volltext-Ausgabe bei Wikisource, URL: https://de.wikisource.org/w/index.php?title=Seite:David_Hilbert_Gesammelte_Abhandlungen_Bd_1.djvu/233&oldid=- (Version vom 31.7.2018)