Über Trivektoren. I. (Q2601748)

Im \(G_n(n \geqq 5)\) wird ein linearer \(G_{n-3}\)-Komplex durch eine lineare Gleichung \( \varSigma\pi_{ijk}'a_{ijk}=0\) in den Veränderlichen \(\pi_{ijk}'\) dargestellt. Die \(\binom{n}{3}\) Größen \(a_{ijk}\) sind die Koeffizienten einer alternierenden Trilinearform oder eines Trivektors. Ein spezieller Komplex, die Gesamtheit aller \(G_{n-3}\), die eine feste Ebene schneiden, ergibt sich, wenn die \(a_{ijk}\) die quadratischen \(p\)-Relationen erfüllen. Diese schreibt der Verf. in zwei verschiedenen Gestalten an, deren Identität er durch die Umformung einer Komitante nachweist. Diese Umformung läßt sich verallgemeinern: Die Reihen \(a_1,\ldots,a_h\); \(b_1,\ldots, b_k\) seien mit \(a\) äquivalent. Dann handelt es sich um die Frage, ob eine Komitante vom Typus \[ U_{h,k} = (a^3a_1^2\ldots a_h^2b_1\ldots b_k\pi^{n-3-2h-k}) (a_1u') \ldots (a_hu') (b_1v')(b_1w')\ldots \] auf Komitanten vom Typus \(U_{h+1, k}\) reduziert werden kann. Die Frage wird nacheinander für die Fälle \(k=1\); \(h= 1\), \(k\geqq 2\); \(h\geqq 2\), \(k\geqq 2\) untersucht, und der Verf. wird zu Ergebnissen geführt, die zum Teil schon von \textit{G. Gourewitsch} angegeben worden sind (Abh. Sem. Vektor-Tensoranalysis, Moskau, 2-3 (1935), 51-113; JFM 61.0090.*).