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
    0 references

    Identifiers