The transformations effecting the reduction of positive quaternary quadratic forms. (Q2620132)

Untersuchungen im Anschluß an \textit{Sellings} Reduktionstheorie für quadratische Formen (\textit{Selling}, 1874; F. d. M. 6, 128 (JFM 06.0128.*)-131; vgl. auch \textit{Charve}, 1882; F. d. M. 14, 145 (JFM 14.0145.*)-146). \[ \sum _1^n a_{ik} x_i x_k\^^M(a_{ik} = a_{ki},\text{ reell}) \tag{1} \] sei eine positiv definite quadratische Form. Man definiere: \[ a_{i,n+1} = a_{n+1,i}, \sum _{k=1}^{n+1} a_{ik} = 0 \;(i = 1,\cdots,n+1), \] Verf. betrachtet den Fall \(n = 4\) und nennt \((1)\) semiduziert, wenn \[ - \sum _{1 \leq i < k \leq 5} a_{ik} \] minimal ist, d. h. \( \leq - \sum _{1 \leq i < k \leq 5}a'_{ik}\) für alle Formen \(\sum a'_{ik}x_i x_k\), in welche \((1)\) durch unimodulare ganzzahlige Transformationen übergeführt werden kann (bei \textit{Charve} heißen solche Formen einfach reduziert). Unabhängig von \textit{Hofreiter} (1933; F. d. M. \(59_{\text{I}}\), 179) zeigt Verf., daß \((1)\) dann und nur dann semireduziert ist, wenn die Ungleichungen \[ a_{ik} + a_{il} \leq 0, a_{ik} + a_{il} + a_{jl} \leq 0 \;(i \neq k, i \neq l, j \neq l; i,j,k,l = 1,\cdots,5) \] erfüllt sind. Sodann werden saämtliche Transformationen aufgestellt, welche eine semireduzierte Form in eine ebensolche überführen. Verf. kündigt an, daß er in einer weiteren Arbeit zeigen wird, welche Bedingungen man den Koeffizienten weiterhin auferlegen muß, um in jeder Klasse eine einzige Form - welche dann reduziert heißen soll - auszuzeichnen.