On complex primes in linear forms. (Q1501082)

\textit{Einleitung: Dirichlet}s Beweis für den Satz, daß\ eine Linearform unendlich viele Primzahlen darstellt, leidet an dem Mangel, daß\ seine Methode nicht einheitlich ist. Der Verf. hat in seiner Arbeit über Zahlengruppen (Math. Ann. \textit{48, 49, 50}; ''F. d. M. \textit{28}, 83, 1897, siehe JFM 28.0083.04, JFM 28.0083.05 u. JFM 28.0083.06'') allgemeine Grundsätze aufgestellt, wie dieses Problem einheitlich durchzuführen ist. Er will diese Aufgabe im einfachen Fall des quadratischen Körpers \((\sqrt{-1})\) als Rationalitätsbereich ausführen. \S\ 1. Allgemeine Sätze über \(k(\sqrt{-1})\). Einteilung seiner Zahlen in Klassen nach einem allgemeinen Modul \(\mu\), wobei assoziierte Zahlen in dieselbe Klasse fallen. Diese Klassen bilden eine \textit{Abel}sche Gruppe. \S\ 2. Fall der unzerlegbaren Primzahl \(q \equiv 3\) (mod.\,4). Bedingungen dafür, daß\ eine Linearform in \(k(\sqrt{-1})\) unendlich viele solcher Primzahlen \(q\) darstellt. \S\ 3. Zu jeder Klasse von \S\ 1 gehören \(h\) Einheitswurzeln als Gruppencharaktere. \S\ 4. Ist \(Z(n)\) die Anzahl der Zahlen \(\mu \xi +\alpha\) [\(\xi\) durchlaufe alle ganzen Zahlen von \(k(\sqrt{-1})\), deren Norm \(\leqq n\) ist], so ist \(\frac{Z(n)}n\) von der Wahl von \(\alpha\) unabhängig und nähert sich mit wachsendem \(n\) einem endlichen Grenzwert. Hieraus geht hervor, daß: \[ A(s)=\varSigma \xi\;\frac 1{(N (\mu \xi +\alpha))^s} = \sum_1^\infty {}_n Z(n) \left( \frac 1{n^s} - \frac 1{(n+1)^s} \right), \] \((N(\mu \xi +\alpha)\) die Norm von \(\mu \xi +\alpha)\), welche Beziehung das Resultat ergibt, daß \[ A(s)=\frac{\pi}{m(s-1)} +G \quad , \quad m=N(\mu), \] wo \(G\) einen bestimmten \textit{endlichen} Wert für \(s=1\) annimmt, der allein von der Wahl der Klasse des \(\alpha\) abhängt. \S\ 5. Sind \(\chi_i\) \((i=1, 2, 3, \dots,h)\) die \(h\) Charaktere der Klassen nach \(\mu\), und setzt man: \[ Q_i(s) =\varSigma\;\frac{\chi_i (\alpha)}{(N(\alpha))^s} \] so ergibt sich, falls \(\alpha\) in der Klasse \(A\) liegt: \[ \tfrac 1h\;\sum^i \chi_i (A^{-1}) \log Q_i (s) = \sum\;\frac 1{N({\mathfrak p})^s} + \tfrac 12\, \sum\;\frac 1{N( {\mathfrak p})^{2s}} + \cdots \] wo die erste Summe über alle Primideale in \(A\), die 2te über alle Primideale, deren Quadrat in \(A\) liegt, usf. zu erstrecken ist. Da \(Q_1\) (wie aus \S\ 4 folgt) für \(s=1\) über alle Grenzen wächst, so wird, \textit{falls} \(Q_2, Q_3, Q_4, \dots\) \textit{von} 0 \textit{verschiedene Grenzwerte annehmen}, die linke Seite für \(s=1\) unendlich groß; also müßte auch rechts \(\varSigma \frac 1{N( {\mathfrak P})^s}\) über alle Grenzen wachsen, d. h. es gäbe unendlich viele Primideale in \(A\). Um das noch fehlende Stück zu beweisen, betrachtet der Verf. das Produkt: \[ (s-1) Q_1 (s) Q_2(s) \dots Q_h(s), \] das im wesentlichen \((s-1) \zeta (s) \) ist, wo \(\zeta(s)\) die \(\zeta\)-Funktion eines allgemeinen Körpers, des Klassenkörpers in bezug auf die Klassen \(A\) ist. Das Produkt ist also von 0 verschieden für \(s=1\), und endlich, falls es einen solchen Körper gibt. \S\ 6. Hier wird schließlich noch die Existenz dieses Körpers mit Hülfe der Teilungsgleichungen der lemniskatischen Funktionen erbracht.