The invariant theory of the correlation. (Q2615615)

Von einer bilinearen \(n\)-ären Form \[ \varPhi =\sum\sum a_{ik}x_iy_k=(a'x)\;(\alpha 'y) \] wird ein volles System \(S\) von projektiven Komitanten ermittelt, wobei in diesen neben den Formenkoeffizienten \(a_{ik}\) nur Variablenreihen \(x\), \(y\), \(z\),\dots und \(u'\), \(v'\), \(w'\),\dots auftreten. Das gefundene System \(S\) deckt sich mit dem der konjugierten Form \[ \varPhi '=\sum a_{ki}x_iy_k=(a'y)\;(\alpha 'x) \] und kann auch aufgefaßt werden als volles System einer symmetrischen und einer alternierenden Bilinearform. Es ist bemerkenswert, daß in \(S\) nur Kovarianten und Kontravarianten mit höchstens zwei Klammerfaktoren auftreten wie z. B. \[ \begin{gathered} (a_1^\prime a_2^\prime \dots a_m^\prime \alpha _1^\prime \alpha _2^\prime \dots \alpha _m^\prime u'v'\dots w')\\ \text{und} (a_1^\prime \dots a_i^\prime \beta _1^\prime \dots \beta _k^\prime u_1^\prime \dots u_{n-i-k}^\prime )\;(\alpha _1^\prime \dots \alpha _i^\prime b_1^\prime \dots b_k^\prime v_1^\prime \dots v_{n-i-k}^\prime )\end{gathered} \] in Kontravarianten. Bei Kovarianten treten an Stelle dieser Klammerfaktoren die Matrizenprodukte \[ (a_1^\prime \dots a_m^\prime \alpha _1^\prime \dots \alpha _m^\prime )_{(x_1\dots x_m)}, \] und bei gemischten Komitanten hat man beide Typen nebeneinander. Im Besonderen werden noch die Invarianten und die Komitanten mit Linienkoordinaten \(p_{ik}\) betrachtet. (III 4.)