Ueber eine allgemeine Gattung irrationaler Invarianten und Covarianten für eine binäre Grundform geraden Grades. (Q1541514)

Ist \(a^{n}_{x}\) eine gegebene binäre Grundform, so soll \({\alpha}^{\nu}_{x}\) als irrationale Covariante von \(a^{n}_{x}\) so bestimmt werden, dass man identisch hat: \[ (a^{n}_{x},\; \alpha^{\nu}_{x})^i =\lambda \alpha^{n}_{x}, \] wo \(\lambda\), ein constanter Factor, eine irrationale Invariante, d. i. Wurzel einer algebraischen Gleichung ist, deren Coefficienten \(J\) rationale Invarianten sind: \[ \varDelta (\lambda) =\lambda^{\nu +1} +J_1\lambda^{\nu} +J_2\lambda^{\nu -1} +\cdots +J_{\nu} = 0. \] Diese Form \(\varDelta\) wird explicite als Determinante aufgestellt. Im allgemeinen gehört zu jeder Wurzel \(\lambda\) von \(\Delta (\lambda) = 0\) eine Form \(\alpha^{\nu}_{x}\). Solche \(\nu +1\) Formen sind linear unabhängig. Irrationale In- und Covarianten dieser Art sollen dazu dienen, für die Ausartungen einer Grundform \(a^{n}_{x}\) geeignete Kriterien zu gewinnen.