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!