Dihedral fixed field in one rational variable

ID: dihedral-fixed-field-in-one-rational-variable

Automorphisms and generate a dihedral group of order . The invariant has rational map degree , so . The fixed-field theorem for a finite automorphism group gives the same degree over its fixed field, proving equality. For odd prime , the nontrivial proper subgroups are the rotation group and the reflection groups. Their fixed fields are and for reflections , respectively.

New to topics? Read the docs here!