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

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

eines einfachen Verzweigungspunktes den Vollwinkel auf die Hälfte desselben konform abbildet. Infolgedessen nenne ich die in der Relativdiskriminante von aufgehenden Primideale des Körpers auch Verzweigungsideale für den Körper . Die Verzweigungsideale sind die Quadrate oder die Relativnormen der ambigen Primideale des Körpers .

§ 41. Beweis des Fundamentalsatzes über die Geschlechter in einem beliebigen relativquadratischen Körper.

In § 17 bis § 19, sowie in § 29 hatten wir die vorläufige Annahme gemacht, daß die Relativdiskriminante des zu untersuchenden Körpers zu prim ausfällt. Da wir erkannt haben, daß alle wesentlichen Eigenschaften des Symbols auch für die in enthaltenen Primideale des Körpers gültig sind, so kann nunmehr jene vorläufige Annahme beseitigt werden.

Wir bezeichnen wie bisher mit , …, die voneinander verschiedenen Primfaktoren der Zahl und setzen

.

Zunächst lassen sich die Definitionen 11 und 12 der Begriffe „Charakterensystem“ und „Geschlecht“ unmittelbar auf den Fall ausdehnen, daß die Relativdiskriminante von Faktoren aus der Reihe der Primideale , …, enthält; wir haben hierbei nur die Bemerkung am Schluß des § 38 zu berücksichtigen.

Desgleichen können wir die Beweise der Sätze 24, 25, 26 sofort auf den gegenwärtigen allgemeinen Fall übertragen, und es gilt demnach insbesondere auch der Satz 26 für jeden beliebigen relativquadratischen Körper .

Endlich entsteht die Aufgabe, den fundamentalen Satz 41 auch in dem Falle zu beweisen, daß die Relativdiskriminante des Körpers Primfaktoren der Zahl enthält. Um diesen Beweis zu entwickeln, behalten wir die in § 29 festgesetzten Bezeichnungen bei; es ist hierbei nur zu beachten, daß im gegenwärtigen Falle unter den Primidealen , …, auch solche vorkommen, die in der Zahl aufgehen.

Es seien , …, diejenigen Primfaktoren von , die unter den Idealen , …, vorkommen; wir setzen etwa

, …, ,

so daß die Primideale , …, zu prim sind. Es mögen nun , …, irgend beliebige der Bedingung genügende Einheiten sein. Wegen Satz 62 kann man gewiß ganze zu prime Zahlen , …, finden, so daß

, …,