The construction of positive ternary quadratic forms. (Q2579640)

Eine positiv-definite ternäre quadratische Form mit reellen Koeffizienten sei bezeichnet mit \(f(a, b, c, r, s, t)=ax^2+by^2+cz^2+2ryz+2sxz+2txy\). Die adjungierte Form zu \(f(a, b, c, r, s, t)\) sei \(f(A, B, C, R, S, T)\). Nach Seeber bzw. Eisenstein kann man in jeder Klasse durch geeignete Bedingungen genau eine reduzierte Form festlegen. Verf. ersetzt diese Bedingungen teilweise durch andere. Sein System von Reduktionsbedingungen lautet: \ \,1)\qquad\qquad\qquad\quad \(r,s, t\) alle \(>0\) oder alle \(\leqq 0;\) \ \,2)\qquad \(a\leqq b,\;a\leqq c,\;a\leqq b+c-2r,\;0\leqq b+c+2r+2s+2t;\) \ \,3)\qquad\qquad\qquad\qquad\quad \(a\geqq 2|\,s\,|,\;\;a\geqq 2|\,t\,|\,;\) \ \,4)\qquad\qquad\qquad\qquad\qquad \(2|\,R\,|\leqq C\leqq B;\) \ \,5)\ \ wenn \(a=-2s\) oder \(-2t\) ist, dann ist \(t\) oder \(s = 0\); \ \,6)\ \ wenn \(a = 2s\) oder \(2t\) ist, dann ist \(R\leqq 0\); \ \,7)\ \ für \(C = B\) ist \(b\leqq c\), für \(C = - 2R\) ist \(b\geqq 2r\), für \(C = 2R\) ist \(a + 2s + t\geqq 0\); \ \,8)\ \ für \(a = b\) ist \(|\,r\,|\leqq |\,s\,|\), für \(a = c\) ist \(|\,r\,|\leqq |\,t\,|\); \ \,9)\ \ für \(a = b\) oder \(a = c\) ist \(a+r+s+t\geqq 0\); 10)\ \ für \(a = b + c - 2r\) ist \(b\leqq r+t\); 11)\ \ für \(b+c+2r+2s+2t=0\) ist \(b+2t+r\leqq 0\) und \(b\leqq c\).\newline Daß in jeder Klasse genau eine Form existiert, die diesen 11 Bedingungen genügt, zeigt Verf. durch ein-eindeutige Zuordnung seiner reduzierten Formen zu den nach Eisenstein reduzierten Formen. Die vom Verf. aufgestellten Reduktionsbedingungen sind etwas komplizierter als die alten, bieten jedoch den Vorteil, daß man rascher als bisher alle reduzierten Formen mit ganzen Koeffizienten und gegebener Determinante berechnen kann.