On the number of classes of definite arithmetic forms of Hermite. I, II. (Q1464063)

Man verdankt Lipschitz (J. für Math. 53, 54) die Feststellung der Beziehungen zwischen den Klassenanzahlen arithmetischer Gaußscher bzw. Dirichletscher Formen, wenn die Determinanten derselben sich nur um einen quadratischen Faktor unterscheiden; insbesondere ist dann \(h(\varDelta p^2)\) stets ein ganzes Vielfaches von \(h(\varDelta )\). Hier wird nun die Aufgabe gestellt und gelöst, die analogen Beziehungen für Hermitesche Formen im Gaußschen Körper \(K(\sqrt {-1})\) zu finden. Die (primitiven) Ausgangsformen heißen jetzt: \[ f\equiv axx_0+bxy_0+b_0x_0y+cyy_0, \] \(a\) und \(c\) rational ganz, \(b\) und \(b_0\) konjugiert komplex ganz, \(x\), \(y\) dem Körper \(K\) angehörig, \(x_0\), \(y_0\) zu jenen konjugiert; die Determinante ist \(\varDelta=bb_0-ac\), und es wird \(\varDelta < 0\) angenommen. Ist nun \(\varDelta \neq -1,- 2, - 3\); \(\varDelta =\varDelta p^2\) bzw. \(\varDelta '=\varDelta \pi\pi _0=\varDelta q\), worin \(p\) eine rationale Primzahl \(\equiv 3\) (mod 4) und \(q\) eine rationale Primzahl \(\equiv 1\) (mod 4) bzw. \(q = 2\) ist, so läßt sich \(h(\varDelta ')\) als rational ganzzahlige lineare Kombination zweier bzw. dreier Klassenanzahlen wohlbestimmter besonderer Klassengruppen für die Determinante \(\varDelta \) darstellen, je nachdem es sich (in der üblichen Bezeichnungsweise) um primitive Hermitesche Formen erster bzw. zweiter Art handelt.