On the composition of quadratic forms of arbitrary many variables. (Q1518009)

Besteht zwischen drei quadratischen Formen \(\varphi(x_1,x_2,\dots,x_n)\), \(\psi(y_1,y_2,\dots,y_n)\), \(\chi(z_1,z_2,\dots,z_n)\) von je \(n\) Variabeln die Relation \(\varphi\cdot\psi=\chi\) identisch, falls die \(z\) gewisse bilineare Functionen der \(x\) und \(y\) sind, so sagt man, die Form \(\chi\) entstehe durch Composition der Formen \(\varphi\) und \(\psi\). Da man eine quadratische Form vermöge einer linearen Substitution mit complexen Coefficienten auf eine Summe von Quadraten transformiren kann, so kann man bei der Frage nach der Möglichkeit der Composition die Gleichung \(\varphi\cdot\psi=\chi\) sogleich durch die folgende ersetzen: \[ (x_1^2+x_2^2+\cdots+x_n^2)(y_1^2+y_2^2+\cdots+y_n^2) = z_1^2+z_2^2+\cdots+z_n^2.\tag{1} \] Der Verf. beweist den wichtigen Satz, dass die Möglichkeit der Composition an die Variabelnanzahlen \(n=2,\,4\) oder 8 geknüpft ist. Es ist hierdurch die Frage, ob die für die eben genannten Anzahlen \(n\) bereits bekannten Productformeln (1) auch für \(n>8\) verallgemeinert werden können, im verneinenden Sinne beantwortet. Das Verfahren, vermöge dessen der Verf. das genannte Theorem beweist, erscheint auch an sich sehr bemerkenswert. Es beruht auf einer ``Rechnung mit linearen Transformationen'', welche wohl zuerst von Cayley angewandt wurde. Die einzelne bilineare Transformation wird durch \[ z_i=a_{i1}y_1+a_{i2}y_2+\cdots+a_{in}y_n\qquad(i=1,2,\dots,n)\tag{2} \] Angesetzt, wo die \(a\) lineare Functionen der \(x_1,\dots,x_n\) sind. Symbolisch wird die Transformation (2) durch \[ A=\begin{vmatrix} a_{11},&a_{12},&\hdots,&a_{1n}\\ a_{21},&a_{22},&\hdots,&a_{2n}\\ \hdotsfor4\\ a_{n1},&a_{n2},&\hdots,&a_{nn}\end{vmatrix} \] bezeichnet; und es gestattet \(A\) die Anordnung nach den \(x\): \[ A=x_1A_1+x_2A_2+\cdots+x_nA_n, \] wo \(A_1,\,A_2,\,\dots,\,A_n\) Transformationen mit constanten Coefficienten sind. Für letztere entspringt aus (1) eine Reihe von Beziehungen, aus denen unter anderem eine Reduction der \(A_1,\,A_2,\,\dots,\,A_n\) auf \((n- 1)\) Transformationen \(B_1,\,B_2,\,\dots,\,B_{n-1}\) folgt: Der Nerv des Beweises ist, dass zwischen den letzteren Transformationen solche Relationen bestehen, dass durch ihre Combination mindestens \(2^{n-2}\) linear-unabhängige Transformationen hergestellt werden können. Da aber die einzelne in Rede stehende Transformation \(n^2\) constante Coefficienten hat, so ist \(2^{n-2}\leqq n^2\), woraus \(n<10\) folgt.