Sopra la permutabilità delle operazioni invariante. (Q1541676)

Aus den \(k\) Reihen von beliebig vielen homogenen Variablen \(x_1,x_2,\dots; \;y_1,y_2,\dots; \;\dots; \;u_1,u_2,\dots\) lassen sich \(k^2\) elementare invariante Operationssymbole von der Gestalt: \[ D_{p,q}=q_1\frac{\partial}{\partial p_1}+q_2\frac{\partial}{\partial p_2}+\cdots \quad (p,q=x,y,\dots,u) \] zusammensetzen. Bezeichnen wir diese in beliebiger Aufeinanderfolge mit \(D_1,D_2,\dots,D_{k^2},\) so lässt sich jede rationale und ganze Verbindung derselben in die Gestalt: \[ \varDelta=\varSigma AD_1^{a_1}D_2^{a_2} \dots D_{k^2}^{a_{k^2}} \] überführen, und es gilt betreffs dieses allgemeinen invarianten Operationssymboles der folgende Satz. Wenn das Operationssymbol \(\varDelta\) vertauschbar ist gegenüber jedem anderen Operationssymbol derselben Art (also \(\varDelta D_{p,q}=D_{p,q} \varDelta\) etc.), so ist dasselbe notwendig symmetrisch in Bezug auf jene \(k\) Variablenreihen.