Über die Resultante binärer Formen. (Q1500971)

In einer voraufgehenden Arbeit (F. d. M. \textit{35}, 125, 1904, JFM 35.0125.01) hat der Verf. eine independente Reihenentwicklung mehrfach binärer Formen gegeben. Diese wird hier verwendet zur Darstellung der Resultante zweier binären Formen als einer Summe von Gliedern, deren jedes die volle Überschiebung einer Komitante der ersten Form und der dieser vermöge des \textit{Hermite}schen Reziprozitätsgesetzes entsprechenden Komitante der zweiten Form ist. Das Charakteristische dieser Darstellung ist, daß\ Komitanten der einen Form mit Komitanten der andern Form allein bilinear verknüpft sind. Sei \(a_1 \xi_1 +a_2 \xi_2 =(a \xi)\), \(a_1 b_2-a_2 b_1= (ab)\); ferner sei, wenn die Formen \(a,b\) zwei Formen der Ordnung \(p,q\) sind, wo \(q \leqq p\), mit \([ a\;b]\) die \(q\)-te Überschiebung beider Formen bezeichnet. Die beiden gegebenen Formen seien \(a=(a \xi)^n\), \(b=(b\xi)^\nu=b_1 b_2 \dots b_\nu\), wobei die zweite in ihre Linearfaktoren zerlegt gedacht ist. Man bilde die mehrfache Überschiebung \(A\) von \(a\): \[ A \equiv (A\xi)m= (a, a)^{\alpha _2}, a)^{\alpha _3}, \dots, a)^{\alpha _\nu} \] mit den Exponenten \(\alpha_2, \alpha_3, \dots , \alpha_\nu\) und der Ordnung \(m=\nu n-2 \varSigma \alpha\). Ersetzt man hier \(a\) der Reihe nach durch die Potenzen \(b_1^n, b_2^n, \dots,b_\nu^n\), so entstehe aus \(A\) die Bildung \(A_b\). Nun ist die Resultante \(R\) von \(a\) und \(b\) der Ausdruck \((a' b_1)^n (a'' b_2)^n \dots (a^{(\nu)} b_\nu)^n\). Wendet man hierauf des Verf. Reihenentwicklung an, so entsteht (I) \(R=\varSigma [ A \;A_b] c_{\alpha _2 \dots \alpha_\nu}\), wo die Summe auszudehnen ist über alle möglichen \(A\) und die \(c\) gewisse Zahlenkoeffizienten sind. Permutiert man in (I) die \(a', a'', \dots, a^{(\nu)}\), und dividiert man die Summe durch \(\nu'\), so bleibt \(R\) ungeändert, während man rechts auch an Stelle von \(A_b\) in jedem Gliede die Form einführen kann, die aus \(A_b\) entsteht, indem man die \(b_1, \dots, b_\nu\) permutiert und die Summe durch \(\nu !\) dividiert. Dadurch ergibt sich aber gerade aus \(A_b\) diejenige Komitante \(B\) von \(b\), die der Komitante \(A\) von \(a\) vermöge des \textit{Hermite}schen Reziprozitätsgesetzes entspricht, und man gelangt zu der invarianten Darstellung (II) \(R=[AB] c_{\alpha_2 \dots \alpha_\nu}\).