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

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

darstellen läßt, wo , ..., gewisse Werte , haben und eine Einheit in bedeutet. Es sind dann die aus , ..., entspringenden Verbände des Körpers voneinander unabhängig und diese Verbände liefern durch Multiplikation die sämtlichen Einheitenverbände des Körpers .

Satz 27[1]. Die Relativdiskriminante eines relativquadratischen Körpers in bezug auf ist stets von verschieden.

Beweis. Zufolge der Bemerkung am Ende des § 15 gilt bei Benutzung der in Satz 22 erklärten Bezeichnungen die Ungleichung

.

Da die Anzahl sämtlicher Einheitenverbände im Körper genau beträgt, so ist notwendig und mithin erhalten wir . Diese Folgerung stimmt mit der Aussage des Satzes 27 überein.

Satz 28. Wenn eine Einheit des Körpers kongruent dem Quadrat einer ganzen Zahl nach ausfällt, so ist sie das Quadrat einer Einheit in .

Beweis. Nehmen wir im Gegenteil an, es wäre nicht das Quadrat einer Zahl in , so würde einen relativquadratischen Körper bestimmen; wegen der Sätze 4 und 5 besäße dieser Körper die Relativdiskriminante und, da dies nach Satz 27 nicht sein kann, so ist die Annahme, von der wir ausgingen, unzutreffend.

Die Gültigkeit der Sätze 27 und 28 ist wesentlich durch die beiden besonderen Annahmen bedingt, welche wir im Anfange dieses Abschnittes II (S. 393) für den Körper gemacht haben. Wenn also etwa ein Zahlkörper ist, der entweder selbst reell ist, bez. einen reellen konjugierten Körper besitzt oder dessen Klassenanzahl gerade ausfällt, so kann es sehr wohl einen relativquadratischen Körper geben, der in bezug auf die Relativdiskriminante besitzt, und es ist die Aufstellung und Untersuchung aller solcher relativquadratischen Körper sogar die wichtigste und schwierigste Aufgabe, die sich bei der Ausdehnung unserer Theorie auf beliebige Grundkörper bietet.

Satz 29. Es sei , ..., das zu Beginn dieses § 21 aufgestellte System von Einheiten in ; es seien ferner , ..., solche zu prime Primideale des Körpers , für welche allemal

Empfohlene Zitierweise:
David Hilbert: David Hilbert Gesammelte Abhandlungen Erster Band – Zahlentheorie. Julius Springer, Göttingen 1932, Seite 413. Digitale Volltext-Ausgabe bei Wikisource, URL: https://de.wikisource.org/w/index.php?title=Seite:David_Hilbert_Gesammelte_Abhandlungen_Bd_1.djvu/430&oldid=- (Version vom 23.2.2020)
  1. Vgl. „Algebraische Zahlkörper“ Satz 94 (dieser Band S. 155), sowie die daselbst zu diesem Satze gemachte Bemerkung.