Proof of the theorem that every properly primitive quadratic form is able to represent infinitely many prime numbers (Q1547582)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Proof of the theorem that every properly primitive quadratic form is able to represent infinitely many prime numbers |
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