On the class number of indefinite forms of a given determinant with conjugate variables (Q1470265)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the class number of indefinite forms of a given determinant with conjugate variables |
scientific article |
Statements
On the class number of indefinite forms of a given determinant with conjugate variables (English)
0 references
1918
0 references
Die klassischen Untersuchungen von \textit{Hermite} über die Darstellbarkeit einer Zahl durch die Form \(xx_0+yy_0\) (\(x_0, y_0\) sind zu \(x, y\) konjugiert komplex) werden hier nach einem Vorgange von \textit{Fatou} (C. R. 142, 505, 1906) auf indefinite Formen \[ axx_0+bx_0y+b_0xy_0+cyy_0 \] mit positiver Determinante \(D\) ausgedehnt \((a, b, b_0, c\) sind teilerfremde \textit{Gauß}sche ganze Zahlen, \(a\) und \(c\) sind nicht gleichzeitig gerade). In jeder Formenklasse wird eine Form \(f^{(h)}(x, y)(h=0, 1, 2, \dots)\) derart festgelegt, daß \(a\) positiv ist. Von den Darstellungen einer vorgegebenen, zu \(2D\) teilerfremden positiven Zahl \(m\) durch die Form \(f^{(h)}(x, y)\) werden nur diejenigen beibehalten, welche in dem zu \(f^{(h)}(x,y)\) gehörigen Bereiche \(B_h\) der \textit{Picard}schen Gruppe (sämtlicher unimodularer Substitutionen mit komplexen ganzzahligen Koeffizienten) liegen. Dann ist die Gesamtanzahl der Darstellungen von \(m\) durch die Formen \(f^{(h)}(x, y)(h=0, 1, 2, \dots)\) gleich der doppelten Teilersumme von \(m\). Die Ergebnisse werden an Zahlenbeispielen illustiert, die an sich bemerkenswert zu sein scheinen. Die Ermittlung der Bereiche \(B_h\) geschieht auf eine, vom Verf. früher vorgeschlagene Weise. In der zweiten Note wird an der Formel, die die eigentliche Grundlage der vorangehenden Überlegungen bildet, (sie ist die Verallgemeinerung einer Formel von \textit{Fatou}, vgl. a. a. O.), ein Grenzübergang durchgeführt. Als Endresultat ergibt sich für das Produkt \[ \pi D\prod_q \left[ 1+\left( \frac{-1}{q} \right) \frac{1}{q} \right], \] erstreckt über sämtliche reelle, ungerade, voneinander verschiedene Primfaktoren von \(D\), eine Darstellung als Summe von gewissen Doppelintegralen, die mit Hilfe einer nichteuklidischen Maßbestimmung eine elegante geometrische Interpretation zulassen. Die dritte Note enthält Verallgemeinerungen in verschiedener Richtung.
0 references
Indefinite binary Hermitian forms
0 references