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

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

Ferner ergibt sich aus dem Existenzsatz die wichtige Aussage:

Allgemeiner Satz von der arithmetischen Progression. In jeder Idealklasse nach jeder Idealgruppe in existieren unendlich viele Primideale.

2. Sowohl Furtwängler, von der Theorie der unverzweigten relativ-Abelschen Zahlkörper ausgehend, als auch Takagi, von der Theorie der allgemeinen relativ-Abelschen Zahlkörper ausgehend, haben dann ferner das Reziprozitätsgesetz in einem allgemeinen (die erforderlichen Einheitswurzeln enthaltenden) algebraischen Zahlkörper behandelt, und zwar beide im wesentlichen nur für Primzahlexponenten . Gerade hatte Furtwängler begonnen, in gleicher Weise auch den Fall höherer Exponenten mit Erfolg zu behandeln, als Artin mit einem neuen, grundlegenden Satz hervortrat, der sich zunächst in Form einer Ergänzung zu den obigen Hauptsätzen der Klassenkörpertheorie darbietet, der aber andrerseits gerade den Mechanismus darstellt, durch den das Reziprozitätsgesetz mit diesen Sätzen verkettet ist, und den Artin daher schlechthin das allgemeine Reziprozitätsgesetz genannt hat. Dieses Artinsche Reziprozitätsgesetz ist eine Ergänzung zu dem Isomorphiesatz der Klassenkörpertheorie. Es lautet:

Artinsches Reziprozitätsgesetz. Der Isomorphismus zwischen der Idealklassengruppe nach und der Galoisschen Relativgruppe von wird dargestellt, wenn man jedem zum Führer von primen Primideal von diejenige Substitution der Galoisschen Relativgruppe von zuordnet, für die gilt:

mod. für jedes ganze aus .

Es gilt also:

Die Substitution hängt nur von der Klasse nach ab, der angehört, und der Multiplikation der Klassen entspricht dabei die Multiplikation der Substitutionen.

Die Existenz und eindeutige Bestimmtheit einer solchen Substitution ist in der von Hilbert in 4, unabhängig von Dedekind und Frobenius, entwickelten Theorie der Galoisschen Körper enthalten; ist eine gewisse Erzeugende der zu für gehörigen Zerlegungsgruppe. Nach Frobenius, der die Zuordnung dieser Substitution zu zuerst (auf die Verteilung der bei gegebenem hin) untersucht hat, nennt man die zu für gehörige „Frobenius-Substitution“. Das Artinsche Reziprozitätsgesetz hat dann insbesondere zur Aufstellung des allgemeinen Reziprozitätsgesetzes der Potenzreste für beliebige Exponenten in der klassischen Form geführt:

Definition des -ten Potenzrestsymbols. Für ein zum Führer von primes Primideal ist derjenige Einheitswurzelfaktor, den die Zahl bei Anwendung der zu für gehörigen Frobenius-Substitution bekommt.

Für ein zum Führer von (bis auf evtl. -te Potenzen) primes zusammengesetztes

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