In gleicher Weise folgt
|
,
|
und da das Symbol
nach Voraussetzung den Wert
hat, so ist auch
|
.
|
Was endlich den Primkaktor
betrifft, so unterscheiden wir bei der folgenden Untersuchung zunächst 4 Hauptfälle:
I.
|
Weder noch sind durch teilbar.
|
II.
|
ist durch teilbar, aber nicht .
|
III.
|
ist nicht durch teilbar, wohl aber .
|
IV.
|
Sowohl als auch sind durch teilbar.
|
Im Hauptfalle I setzen wir
und
nach
und unterscheiden dann 2 Unterfälle:
1.
,
sind beide gerade. Unter dieser Bedingung kommt
nicht in der Partialdiskriminante
des Dirichletschen Körpers
vor, und es gibt daher im Körper
kein auf den Faktor
bezügliches Symbol.
2.
,
sind nicht beide gleichzeitig gerade. Unter dieser Bedingung kommt
in
vor und es ist
|
.
|
Sind
,
beide gerade, so wird der Wert der rechten Seite
. Sind
,
nicht beide zugleich gerade, so gibt es im Körper
ein auf
bezügliches Symbol, und zwar ist
|
|
Da dieses Symbol wegen der Voraussetzung den Wert
hat, so ist auch
|
.
|
Im Hauptfalle II setzen wir
und
nach
und unterscheiden dann folgende 2 Unterfälle.
1.
,
sind gerade. Unter dieser Bedingung kommt
nicht in der Partialdiskriminante
des Körpers
vor. Da nun
die Partialnorm eines Ideals in
sein soll, so ist notwendigerweise
in 2 Primideale des Körpers
zerlegbar. Die Bedingung hierfür besteht nach § 2 darin, daß
nach
ist, und mithin wird
|
.
|