On certain results relating to positive ternary quadratic forms. (Q2590599)

Betrachtet werden ternäre positiv definite quadratische Formen \[ F(x,y,z)=Ax^2+By^2+Cz^2+2Dxy+2Exz+2Gyz \] mit den invarianten \[ 1,\triangle_1^s\qquad\text{(\(\triangle_1\) ungerade Primzahl),} \] die primitive Kontravarianten einer positiven Form \[ f(x,y,z)=ax^2+by^2+cz^2+2dxy+2exz+2gyz \] mit den Invarianten \((1,\triangle_1^s)\) sind. Hauptgedanke ist die Heranziehung von Hermitionen, d.~h. einer Algebra \(\mathfrak A_F\) über dem natürlichen Zahlkörper mit der Basis \[ 1,\;i\sqrt A,\;j\sqrt{\frac{c\triangle}{A}},\;k\sqrt{c\triangle}\qquad \text{[\(\triangle\) Determinante von \(f\)],} \] wo \(i,j,k\) die gewöhnlichen Quaternionen sind. \(\overline Q\) sei die zu \(Q\) konjugierte Hermition. Es ist \(\mathfrak i_1=i\sqrt A\), \(\mathfrak i_2=\dfrac DAi\sqrt A+j\sqrt{\dfrac{c\triangle}{A}}\), \(\mathfrak i_3=\dfrac EAi\sqrt A-\dfrac gcj\sqrt A+\dfrac kc\sqrt{c\triangle}\). Betrachtet werden Darstellungen einer natürlichen Zahl \(m\), die \(>1\) und \(\equiv1\mod 4\) ist, durch \(F\). Sei \(F(x,y,z)=m\). Mit dem Vektor \(L=x\mathfrak i_1 +y\mathfrak i_2+z\mathfrak i_3\) kann die Darstellung \(L^2=-m\) geschrieben werden. Äquivalent zu \(L\) heißt eine Lösung \(L'\) mit \(L'=QLQ^{-1}\), wenn \(Q\) eine ganze Hermition, also \(Q=a+\sum\limits_{k=1}^3b_k\mathfrak i_k\) mit ganzen \(a\), \(b_k\) ist und weiter bei beliebig vorgegebener natürlicher Zahl \(n\) die Quaternion \(Q\) so gewählt werden kann, daß \(N(Q)=Q\overline Q\) zu \(n\) prim ist. Die Transformation von \(L\) zu \(L'\) kann dann immer mit Hilfe einer Zerlegung \(b+L=PQ\), wo \(b\) eine ganze rationale Zahl, \(P\), \(Q\) ganze Hermitionen sind, vollzogen werden. Hierbei spielt die binäre Form \[ f(x,y)=N(P)x^2+2bxy+N(Q)y^2=(\overline Px+Qy)(Px+\overline Qy) \] mit der Determinante \(-m\) eine Hauptrolle. Verf. sagt, \(L\) zerlege die binäre Form, bzw. die zugehörige Klasse. Eine nicht äquivalente binäre Form führt dann \(L\) in ein von \(L'\) verschiedenes \(L''\) über. Aber auch äquivalente \(f'\), \(f''\) können \(L\) in bzw. \(L'\), \(L''\neq L'\) überführen, und zwar gilt: Ist \(w\) die Anzahl der Einheiten \(\varepsilon\) der Algebra \(\mathfrak A_F\), d.~h. der ganzen Hermitionen in ihr mit \(\varepsilon \overline\varepsilon=1\), so führt jede Klasse \(K\) binärer Formen der Determinante \(-m\), die aus einer Gleichung \(b+L=PQ\) hervorgeht, \(L\) in \(w/2\) Vektoren \(L_1,L_2,\dots,L_{w/2}\) über. Hieraus folgert Verf.: Die Zahl \(M\) der primitiven Lösungen von \(F(x,y,z)=m\) ist gleich dem Produkt eigentlich primitiver Klassen binärer quadratischer Formen, die durch eine vorgegebene Lösung \(L\) in der beschriebenen Art zerlegt werden, und der Anzahl \(w\) der Einheiten der Algebra \(\mathfrak A_F\). Hieraus folgt: \[ M\leqq wh(-m), \] wo \(h(-m)\) die Klassenzahl binärer Formen der Determinante \(-m\) bezeichnet. Weiter gibt Verf. noch einige Zusammenhänge mit der Formenkomposition und zahlreiche Beispiele.