On positive quadratic forms of Hermite (Q1465313)

Der Verf. führt die entsprechenden Überlegungen wie in den vorst. besprochenen Arbeiten durch, nur daß\ der quadratisch imaginäre Körper \(k (\sqrt {-P},\;P= 1\) oder 2, zugrunde gelegt und statt der ternären quadratischen Formen die Hermitesche Form: \[ axx_0+bx_0y+b_0xy_0+cyy_0, \] betrachtet wird, wo \(b_0, x_0\) und \(y_0\) die Konjugierten von \(b, x, y\) sind, \(a, c\) reelle ganze Zahlen, \(b\) eine beliebige ganze Zahl ist. Es wird das Maß\ \(M(\Delta)\) aller positiven, eigentlichen Klassen Hermitescher Formen derselben Diskriminante \(\Delta = ac - bb_0\) berechnet (für die \(a\) und \(c\) nicht zugleich gerade sind); \[ M(\Delta)= \frac 18 P\left( \frac {-P}\Delta \right) \sum_{(d)} d \left ( \frac {-P}d\right), \] falls \(\Delta\) ungerade ist. Dabei durchläuft \(d\) alle positiven Teiler von \(\Delta.\) Allgemein gilt in einem beliebigen Körper \(k (\sqrt {- P})\) die Formel: \[ M(\Delta) = \frac 18 \left( \frac{-P}{\Delta} \right) \prod_{(\omega)}\left[1 +\left( \frac{-\Delta}{\omega} \right) \frac 1\omega \right] \sum d\left( \frac{-P}{d}\right),\;(\Delta \text{ teilerfremd zu }2P), \] wo \(d\) die obige Bedeutung hat, und \(\omega\) alle ungeraden Primteiler von \(P\) durchläuft. Die Kenntnis des Maßes erlaubt die Klassenzahl \(F_P(\Delta)\) aller positiven eigentlichen Hermiteschen Formen zu berechnen. Z. B. ist für \[ \begin{matrix} &\Delta \equiv \pm 3 (\text{mod.} 8),\;&F_2(\Delta) = 2M(\Delta),\\ &\Delta \equiv \pm 1 (\text{mod.} 8),\;&F_2(\Delta) = 2M(\Delta)+ \frac 12\sum_{(d)}\left( \frac 2d\right).\end{matrix} \] Daraus folgen sofort Beziehungen für die gewöhnlichen binären quadratiechen Formen in \(k(1).\) Ist \(\Phi_h(N), h \geqq 0, N > 0,\) die Anzahl der reduzierten binären positiven eigentlichen quadratischen Formen der Diskriminante \(N,\) deren erster Koeffizient \(\geqq 2h\) ist, so gilt: \[ \begin{multlined} \Delta\equiv \pm 3(\text{mod.}8), \;\Phi_0(\Delta) +2\Phi_1(\Delta +2\cdot 1^2) +\cdots +2\Phi_h(\Delta +2\cdot h^2) +\\ +\cdots = - \frac 12 \left( \frac{-1}{\Delta} \right) \sum_{(d)}d\left( \frac {-2}{d} \right), \end{multlined} \] \[ \begin{multlined} \Delta\equiv \pm 1(\text{mod.}8, \;\Phi_0(\Delta) +2\Phi_1(\Delta +2\cdot 1^2) +\cdots +2\Phi_h(\Delta +2\cdot h^2) +\\ +\cdots = \frac 12 \left( \frac{-1}{\Delta} \right) \sum_{(d)}d\left( \frac {-2}{d} \right) + \frac 12 \sum_{(d)}\left( \frac 2d\right). \end{multlined} \] Entsprechende Formeln gelten für den Körper \(k(\sqrt {-1}).\)