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

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

um alle einzelnen Singularitäten einer Funktion geführt, insgesamt stets den Wert ergibt. Einer der bekannten Beweise des gewöhnlichen quadratischen Reziprozitätsgesetzes weist auch auf einen inneren Zusammenhang zwischen jenem zahlentheoretischen Gesetze und Cauchys funktionentheoretischem Fundamentalsatz hin.

Doch das Reziprozitätsgesetz bildet nur den ersten wichtigen Schritt zur Begründung unserer Theorie der relativquadratischen Zahlkörper. Unsere weitere Aufgabe ist die Aufstellung aller relativquadratischen Körper und die Untersuchung ihrer Eigenschaften. Der Einfachheit halber sei fortan der zugrunde gelegte Rationalitätsbereich nebst sämtlichen Konjugierten imaginär. Da wir die Relativkörper durch ihre Relativdiskriminanten festlegen wollen, so ist offenbar die einfachste Frage diejenige nach den relativquadratischen Körpern mit der Relativdiskriminante . Nach einem in meinem Berichte über die Theorie der algebraischen Zahlkörper bewiesenen Satze[1] kann es einen solchen Relativkörper niemals geben, falls die Klassenanzahl des Köpers ungerade ist; wir wählen daher den Körper so, daß seine Klassenanzahl gerade, und zwar der Einfachheit halber gleich sei. In der Tat gelingt dann der Nachweis der Existenz eines Relativkörpers mit der Relativdiskriminante . Dieser Körper werde der Klassenkörper[2] von genannt. Der Klassenkörper besitzt folgende fundamentalen Eigenschaften:


1. Der Klassenkörper hat in bezug auf die Relativdiskriminante .

2. Die Klassenanzahl des Klassenkörpers ist ungerade.

3a) Diejenigen Primideale in , welche in Hauptideale sind, zerfallen in in das Produkt zweier Primideale.

3b) Diejenigen Primideale in , welche in nicht Hauptideale sind, bleiben in Primideale; sie werden jedoch in Hauptideale.

Von diesen vier Eigenschaften definiert bei unserer Annahme über den Körper jede für sich in eindeutiger Weise den Klassenkörper ; wir haben somit die Sätze:

1. Es gibt außer keinen anderen relativquadratischen Körper mit der Relativdiskriminante in bezug auf .

2. Wenn ein zu relativquadratischer Körper eine ungerade Klassenanzahl hat, so stimmt derselbe mit dem Klassenkörper überein.

3. Wenn alle Primideale in , die in Hauptideale sind, in einem relativquadratischen Körper zerfallen, oder wenn alle Primideale in , die in nicht Hauptideale sind, in einem relativquadratischen Körper Primideale bleiben, so folgt jedesmal, daß dieser relativquadratische Körper kein anderer als der Klassenkörper ist.


  1. Satz 94 (dieser Band S. 155).
  2. Vgl. H. Weber: Über Zahlengruppen in algebraischen Körpern. Drei Abhandlungen. Math, Ann. 48, 48, 50. (1897, 1897, 1898).