On the covariants of binary forms. (Q5913718): Difference between revisions

Dieser kleine Aufsatz bildet eine Fortsetzung von zwei Aufsätzen in Zeuthen's Tidss. aus den Jahrgängen 1880-1881, welche von den Covarianten der binären Formen handeln. Der Coefficient des ersten Gliedes einer Covariante wird eine Halbinvariante genannt, durch welche bekanntlich die Covariante bestimmt ist. Werden in einer solchen Halbinvariante \(a_0, a_1, \dots, a_n\) (die Coefficienten einer binären Form \(n^{\text{ter}}\) Ordnung) durch \(0, a_1, \dots, a_{n-1}\) ersetzt, so erhält man eine Halbinvariante einer binären Form \((n-1)^{\text{ter}}\) Ordnung. Werden nun auf diese Weise alle die den Halbinvarianten \(A\) einer Form \(n^{\text{ter}}\) Ordnung entsprechenden Halbinvarianten \(A\) einer Form \((n-1)^{\text{ter}}\) Ordnung gebildet, so bilden sie nicht das vollständige System der Halbinvarianten einer Form \((n-1)^{\text{ter}}\) Ordnung. Es ist aber leicht zu zeigen, dass, wenn alle \(A'\) als ganze Functionen einer endlichen Anzahl unter ihnen dargestellt werden können, dasselbe mit den \(A\) stattfindet. Der Verfasser zeigt darnach, wie einfach die Endlichkeit bei dem zu einer binären Form dritter oder vierter Ordnung gehörenden Formensystem bewiesen werden kann.