Content deleted Content added
→The ring of invariants: degrees orders 1, 2 |
|||
Line 33:
# For linear forms ''ax'' + ''by'' the only invariants are constants. The algebra of covariants is generated by the form itself of degree 1 and order 1.
# The algebra of invariants of the quadratic form ''ax''<sup>2</sup> + 2''bxy'' + ''cy''<sup>2</sup> is a polynomial algebra in 1 variable generated by the discriminant ''b''<sup>2</sup> − ''ac'' of degree 2. The algebra of covariants is a polynomial algebra in 2 variables generated by the discriminant together with the form ''f'' itself (of degree 1 and order 2). {{harv|Schur|1968|loc=II.8}} {{harv|Hilbert|1993|loc=XVI, XX}}
# The algebra of invariants of the cubic form ''ax''<sup>3</sup> + 3''bx''<sup>2</sup>''y'' + 3''cxy''<sup>2</sup> + ''dy''<sup>3</sup> is a polynomial algebra in 1 variable generated by the discriminant ''D'' = 3''b''<sup>2</sup>''c''<sup>2</sup> + 6''abcd'' − 4''b''<sup>3</sup>''d'' − 4''c''<sup>3</sup>''a'' − ''a''<sup>2</sup>''d''<sup>2</sup> of degree 4. The algebra of covariants is generated by the discriminant, the form itself (degree 1, order 3), the Hessian ''H'' (degree 2, order 2) and a covariant ''T'' of degree 3 and order 3. They are related by the syzygy 4''h''<sup>3</sup>=''Df''<sup>2</sup>-''T''<sup>2</sup> of degree 6 and order 6. {{harv|Schur|1968|loc=II.8}} {{harv|Hilbert|1993|loc=XVII, XX}}
# The algebra of invariants of a quartic form is generated by invariants ''i'', ''j'' of degrees 2, 3. The algebra of
# The algebra of invariants of a quintic form is generated by invariants of degree 4, 8, 12, 18. The generators of degrees 4, 8, 12 generate a polynomial ring, which contains the square of the generator of degree 18. {{harv|Schur|1968|loc=II.9}}
# The algebra of invariants of a sextic form is generated by invariants of degree 2, 4, 6, 10, 15. The generators of degrees 2, 4, 6, 10 generate a polynomial ring, which contains the square of the generator of degree 15. {{harv|Schur|1968|loc=II.9}}
| |||