Binary dihedral invariant hypersurface
ID: binary-dihedral-invariant-hypersurface
Let and let the binary dihedral group act on by and . For , the invariantspresent the invariant ring as . First take the cyclic invariants with . The residual involution interchanges and negates , so invariant normal forms are polynomials in plus times such polynomials. For the group has order twelve and the equation is .
New to topics? Read the docs here!