On ternary Hermitian forms in an imaginary quadratic field (fields \(\sqrt {-1}\) and \(\sqrt {-2})\). (Q1464060): Difference between revisions

Diese nach dem Tode des Verf. erschienene Arbeit behandelt die Hermitesche Form: \(f(x,y,z)=\) \(axx_0+b_0^{\prime\prime }xy_0+b^{\prime\prime }x_0y + a'yy_0 + b_0yz_0 + by_0z + a^{\prime\prime }zz_0 + b_0'xz_0 + b'x_0z, \) \noindent wo \(a\), \(a'\), \(a^{\prime\prime }\) reelle ganze Zahlen, \(b\), \(b_0,\ldots \) konjugiert imaginäre Zahlen des Körpers \(k(\sqrt {-1})\) oder \(k(\sqrt {-2})\) sind. Ebenso \(x, x_0, \ldots \) I. Der Verf. gibt die Definition von primitiv, eigentlich primitiv, Determinante der Form, adjungierter Form, reziproker Form, Ordnung. II. Sind \(x, x_0, \ldots \) lineare homogene Funktionen von \(\xi \), \(\eta \) resp. \(\xi _0\), \(\eta _0\), wo die Koeffizienten ganze Zahlen des Körpers und die Determinanten von je 4 Koeffizienten zueinander teilerfremd sind, so stellt \(f(x, y, z)\) eine binäre Hermitesche Form eigentlich dar. Der Verf. berechnet die Summe: \[ \sum \frac {1}{k_iF_i^s(x,y,z)}, \] wo \(F_i\) alle eigentlich primitiven Formen einer gegebenen Ordnung und \(x\), \(y\), \(z\) alle zu \(2\varOmega\varDelta \) teilerfremden ganzen Zahlen des Körpers durchlaufen. Dabei ist \(D =\varOmega ^2\varDelta \) die Determinante der Ordnung. \(k\) ist die Anzahl der Transformationen von \(F\) in sich mit der Determinante +1. Er findet: \[ \begin{multlined} \sum\frac {1}{k_iF_i^s(x,y,z)}=\frac {\varOmega }{24}\prod \Bigl(1+\Bigl( \frac{-1}{\omega}\Bigr)\frac{1}{\omega}\Bigr)\\ \Bigl[4\sum \frac {1}{n^{s-2}} \sum \Bigl( \frac{-1}{n}\Bigr)\frac{1}{n^s}\Bigr)-\Bigl(\frac {-1}{\varOmega }\Bigr)\;\sum \frac {1}{n^s} \sum \Bigl( \frac{-1}{n}\Bigr)\frac{1}{n^{s-2}}\Bigr]. \end{multlined} \] \(\omega \) durchläuft alle positiven ungeraden Primfaktoren von \(\varOmega \), \(n\) alle zu \(2\varOmega\varDelta \) teilerfremden positiven ganzen, rationalen Zahlen. Daraus ergibt sich z. B. die Zahl der Zerlegungen einer ungeraden Zahl in eine Summe von 6 Quadraten. III. Durch diese Entwicklungen ist es möglich, die Darstellung einer ganzen Zahl durch die gegebene Hermitesche Form zu bestimmen. Es sind hierbei die beiden Fälle getrennt zu behandeln, daß \(\varOmega\varDelta \) ungerade oder gerade ist. Man findet so Liouvillesche Sätze, wie: Die Anzahl der Darstellungen von \(m\equiv 1\) (mod 8) in der Form: \[ m=n^2+y^2+x^2+t^2+u^2+2v^2 \] ist gleich: \[ 10\sum d^2\Bigl(\frac {-2}{\delta }\Bigr), \] wo \(d\) die Teiler von \(m\) durchläuft, und \(m = d\delta \) ist.