Relazione. (Q5913717)

Beweis des folgenden, in einer früheren Note (Sopra un teorema fondamentale nella teoria del calcolo simbolico delle forme binarie, Rom. Acc. L. Rend. (4) IV. 119-124; vgl. den vorigen Bericht (JFM 20.0113.03) ausgesprochenen Satzes: Ist eine irreductible (d. h. in Factoren von derselben Beschaffenheit nicht zerlegbare), nach jeder Coefficienten- und Variabelnreihe homogene invariante Bildung \(\prod\) identisch gleich Null, so kann sie auf eine Summe von Ausdrücken zurückgeführt werden, deren jeder mindestens eine aus lauter Elementen von \(\prod\) bestehende Null-Identität als Factor enthält. Als Null-Identitäten werden die fünf folgenden bekannten Relationen bezeichnet: \[ \begin{aligned} & \qquad \sum_a \pm (a_1 a_2 \dots a_n)(a_{n+1} b_1 b_2 \dots b_{n-1}) = 0, \\& \qquad \sum_a \pm (a_1 a_2 \dots a_n) a_{n+1,x} = 0, \\ & (a_1 a_2 \dots a_n) (x_1 x_2 \dots x_n) -\sum_a \pm a_{1x_1} a_{2x_2} \dots a_{nx_n} = 0, \\ & \qquad \sum_x \pm (x_1 x_2 \dots x_n) a_{n+1} = 0, \\ & \qquad \sum_x \pm (x_1 x_2 \dots x_n)(x_{n+1} y_1 y_2 \dots y_{n-1}) = 0, \end{aligned} \] Hier bedeutet \( \sum_a \pm \) (bezw. \(\sum_x \pm\) ) die Summe aller Ausdrücke, welche aus dem niedergeschriebenen entstehen, wenn man die Symbole \(a\) (bezw. \(x\)) auf jede mögliche Weise vertauscht, und das Plus- oder Minuszeichen nimmt, jenachdem die betreffende Permutation aus einer geraden oder ungeraden Anzahl von Transpositionen besteht. Der Satz wurde schon, wie der Verfasser angiebt, für \(n = 2\) von Gordan (Vorlesungen über Invariantentheorie II. S. 132), für \(n = 3\) von Study (Ueber ternäre lineare Formen, Math. Ann. XXX. 120-126; Bericht in F. d. M. XIX. 1887. 129-130, JFM 19.0129.01) bewiesen. Siehe auch JFM 20.0114.01.