Binary dihedral invariant hypersurface

ID: binary-dihedral-invariant-hypersurface

Let and let the binary dihedral group act on by and . For , the invariants
present 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!