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

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

erkennt, die Klasse im biquadratischen Körper dem Hauptgeschlechte an und wird daher nach dem früher bewiesenen Satze gleich ; hieraus folgt .

Das nächste Ziel ist die Berechnung der Anzahl derjenigen Paare von Klassen , der quadratischen Körper bezüglich , für welche wird. Wir bedürfen dazu folgender Begriffe und Sätze aus der Theorie der quadratischen Körper:

Ein Ideal des quadratischen Körpers, welches gleich seinem konjugierten und überdies durch keine ganze rationale Zahl teilbar ist, werde ein ambiges Ideal genannt. Die ambigen Ideale setzen sich aus ambigen Primidealen zusammen und diese bestimmen sich durch die Eigenschaft, daß ihre Quadrate den in der Diskriminante des Körpers enthaltenen rationalen Primzahlen gleich sind.

Eine Klasse des quadratischen Körpers, deren Quadrat die Hauptklasse ist, heißt eine ambige Klasse. Ist der quadratische Körper imaginär, so enthält jede ambige Klasse desselben ein ambiges Ideal und die Anzahl der ambigen Klassen ist , wo die Anzahl der in der Diskriminante aufgehenden rationalen Primzahlen ist.

Es seien , zwei Klassen der quadratischen Körper bezüglich von der Art, daß wird. Wir wählen dann aus diesen Klassen und je ein Ideal bezüglich aus und setzen , wo eine Zahl des biquadratischen Körpers bedeutet. Durch Anwendung der Substitution ergibt sich leicht d. h. , wo eine Zahl im quadratischen Körper ist. Es folgt mithin, daß einer ambigen Klasse in angehört und da ein imaginärer quadratischer Körper ist, so ist dem eben angeführten Satze zufolge einem ambigen Ideale in äquivalent. Nun liegen, wie man leicht erkennt, sämtliche ambigen Primideale des Körpers zugleich auch in dem quadratischen Körper ; ausgenommen ist lediglich der Fall nach , in welchem das durch Zerlegung der Zahl entstehende ambige Primideal im Körper , aber nicht im Körper liegt. Da und folglich ein Hauptideal des biquadratischen Körpers ist, so wird, wenn die durch bezeichnete Klasse in bezeichnet, offenbar . Es sei nun nicht durch teilbar und dasjenige ambige Ideal in , welches, als Ideal in betrachtet, dem Ideal gleich ist, und sei die durch bestimmte ambige Klasse in : es ist dann offenbar . Somit gilt der Satz:

Zu jeder ambigen Klasse in und nur zu diesen läßt sich eine Klasse in finden derart, daß wird.

Es bleibt jetzt noch übrig, die Frage zu entscheiden, wann zu einer Klasse des Körpers mehr als eine Klasse existiert, für welche wird.

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