Über die Endlichkeit der Invarianten binärer Formen. (Q2622652)

Die projektiven Komitanten eines vollen Systems binärer Formen lassen sich durch fortgesetztes Überschieben berechnen. Zur Vollständigkeit ist es aber nötig, für den Grad der Komitanten eines vollen Systems in den Koeffizienten der Grundformen eine obere Grenze \(N\) anzugeben. In der vorliegenden Arbeit wird eine solche natürliche Zahl \(N\) in Anlehnung an einen Endlichkeitsbeweis von \textit{Mertens} (1887; F. d. M. 19, 131 (JFM 19.0131.*)) aufgestellt. Da sich die Ermittlung der Invarianten von \(n\)-ärenFormen bezüglich \(r\)-gliedriger linearer Gruppen auf die Berechnung der projektiven Invarianten binärer Formen zurückführen läßt, ist auch für jene Komitanten eine obere Gradschranke angebbar. Sei \((F)\) ein System binärer Urformen, das die Form \(f_n = a_x^n\) enthält, und \[ K(F) = A_1,A_2,\ldots ;\;B_1(x),B_2(x),\ldots \tag{1} \] sei ein kleinstes volles System von \(N(F)=N\) Individuen; hierbei bedeuten die \(A\) Invarianten und die \(B\) Kovarianten. Ferner bedeute \(N_c(F) = N_c\) den Höchstgrad der Komitanten (1) in allen \((F)\)-Koeffizienten, und \(N_x(f) = N_x\) den Höchstgrad in \(x = \frac {x_1}{x_2}\) bei den Kovarianten \(B\). Dem Systeme \((F)\) werde eine Linearform \[ P \equiv (px) = p_1x_2 - p_2x_1 \] hinzugefügt, so daß ein erweitertes System \({F,P}\) entsteht mit dem vollen System \[ K(F,P) = A_1,A_2,\ldots ;P;Q_2,\ldots,\tag{1'} \] wo die \(Q\) aus den \(B\) durch Polarisieren mit \(p_1,p_2\) erhalten werden. Zwischen den Graden \(N(F,P),\;N_c(F,P),\;N_x(F,P)\) und den früheren \(N,N_c,N_x\) bestehen einfache Ungleichheiten bzw. Gleichheiten. Nunmehr betrachte man allen Komitanten \(G\) in \((F,P)\), die in den \(p\) und den Koeffizienten von \(f_n\) gleichen Grades sind; es läßt sich zeigen, daß diese \(G\) einen endlichen Integritätsbereich \(G_1,G_2,\ldots,G_\gamma \) besitzen. Ersetzt man \(f_n = a_x^n\) durch eine Form \(f_{n+1} = A_x^{n+1}\), so gehe \((F)\) über in \((F')\). Ist \(H\) eine Komitante von \((F')\), so ersetze man in ihr die Koeffizienten von \(f_{n+1}\) durch die des Produktes \(f_nP\); dann geht \(H\) über in eine Komitante \(G''\) von \((F,P)\), die in den Koeffizienten von \(f_n\) und den \(\frac {p_1}{p_2}\) von gleichem ist. Somit ist \(G''\) ganz rational durch die \(G_1,\ldots,G_\gamma \) ausdrückbar und wird eine Summe \(\Theta \) von Potenzprodukten der \(G_i\). Bedeuten weiter \(Q,\,R,\ldots,\,S\;n\) Linearformen, so ersetze man in jedem \(G_i\) die Koeffizienten von \(f_n\) durch die des Produkts \(QR \ldots S\). Damit gehen die \(G_i\) über in Formen \(G_{i1},\;\Theta \) in ein \(\Theta _1\), und \(G''\) in eine Form \(G''_1\), die in allen \(n + 1\) Koeffizientenreihen \(p,q,\ldots,s\) symmetrisch ist. Umgekehrt gelangt man eindeutig von \(G''_1\) zu \(H\) zurück, wenn man in \(G''_1\) jedes Produkt \(p_iq_kr_l \ldots \) durch den entsprechenden Koeffizienten \(A_{ikl} \ldots \) von \(f_{n+1}\) ersetzt. Damit gelangt man für die Anzahl \(N(F')\) der Basiskomitanten von \((F')\) zu der Beziehung: \[ N(F') \leqq \binom {\gamma + n + 1}{n + 1}+ N(F,P), \] und analogen für \(N_c(F'),\;N_x(F').\) Auf diese Weise hat man für \(N(F'),N_c(F'),N_x(F')\) obere Schranken gefunden, die nur von \(n\) und \(N,N_c,N_x\) abhängen. Diese Ausdrücke für die Schranken lassen sich noch vereinfachenm wenn man die letzteren nach oben erhöht.