Proof of the theorem that every properly primitive quadratic form is able to represent infinitely many prime numbers (Q1547582)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Proof of the theorem that every properly primitive quadratic form is able to represent infinitely many prime numbers
scientific article

    Statements

    Proof of the theorem that every properly primitive quadratic form is able to represent infinitely many prime numbers (English)
    0 references
    1882
    0 references
    Wie der Herr Verfasser einleitend bemerkt, hat Dirichlet seine Methoden zum Beweise des Satzes, dass jede arithmetische Reihe unendlich viele Primzahlen enthält, auf quadratische Formen mit regulärer negativer Determinante angewandt. Hier werden nun jene Methoden auf quadratische Formen ohne jede Einschränkung ausgedehnt und der Beweis in übersichtlichen Zusammenhange vollständig dargestellt. Die \(h\) Classen von eigentlich primitiven quadratischen Formen einer bestimmten nicht quadratischen Determinante \(D\) werden, im Hiblick auf die von Gaussgegeben Gesetze der Composition, als Elemente einer Abel'schen Gruppe vom Grade \(h\) betrachtet; die Hülfssätze über Gruppen (und Charaktere) finden sich in einem besonderen, vorangeschickten Paragraphen. Den ``Kern des Beweises'' bildet, wie bei den entsprechenden Untersuchungen Dirichlet's, nur dass grade dieser Punkt früher nie völlig erledigt wurde, der Nachweis, dass gewisse Reihen für ein gegebenes Argument einen bestimmten Grenzwert haben sollen, speciell, es sollen die Summen: \[ \sum (ax^2+2bxy+cy^2)^{-1-\varrho}-\frac{g}{\varrho}, \] \[ \sum \frac{l(ax^2+2bxy+cy^2)}{(ax^2+2bxy+cy^2)^{1+\varrho}}-\frac{g}{\varrho^2} \] für \(\varrho\;=\;0\) und irgend ein endliches \(g\) endliche Grenzwerte haben. Falls \(b^2-ac\) negativ ist, müssen \(x, y\) alle positiven und negativen ganzen Zahlen mit Ausnahme der Wertcombination 0, 0 durchlaufen, während für ein positives \(b^2-ac\) die Variabeln \(x,y\) alle ganzzahligen Werte annehmen, welche den Bedingungen genügen: \[ y\geq 0,\;x>\gamma y, \] wo \(\gamma >\beta >\alpha\), wenn \(\alpha ,\beta\) die reellen Wurzeln der Gleichung \[ ax^2+2bx+c\;=\;0 \] sind; \(a>0\). Die Erledigung dieses Hauptpunktes geschieht durch Anwendung von zweifach unendlichen Thetareihen, gemäss einer Angabe des Herrn Dedekind; und zwar fand sich die anzuwendende Formel für den Fall negativer Determinanten bereits bei Rosenhain, während für positive eine analoge erst noch zu entwickeln war. In einem Schlussparagraphen werden die Formen zweiter Art und die quadratischen Determinanten einfach erledigt.
    0 references
    binary quadratic forms
    0 references
    Dirichlet-Weber theorem
    0 references
    prime numbers
    0 references

    Identifiers