Invariant of a binary form: Difference between revisions

Revision as of 19:28, 13 December 2010

Revision as of 20:42, 13 December 2010

Line 7:

The structure of the ring of invariants has been worked out for small degrees as follows:

# The only invariants are constants.

# The ringalgebra of invariants is a polynomial ring in 1 variable generated by the discriminant

# The algebra of invariants is generated by invariants of degree 4.

# Classical

# The algebra of invariants is generated by invariants of degrees 2, 3.

#Classical

# The algebra of invariants is generated by invariants of degree 4, 8, 12, 18

#Classical

# The algebra of invariants is generated by invariants of degree 2, 4, 6, 10, 15

#Classical

#{{harvtxt|von Gall|1888}} {{harvtxt|Dixmier|Lazard|1986}}

#{{harvtxt|von Gall|1880}}, {{harvtxt|Shioda|1967}} The ring of invariants is generated by 9 invariants of degrees 2, 3, 4, 5, 6, 7, 8, 9, 10, and the ideal of relations between them is generated by elements of degrees 16, 17, 18, 19, 20.