The quotient adds the relation . All four one-dimensional characters factor through some such quotient: choose even when acts as . A two-dimensional representation from part (b) factors through exactly when . Hence the irreducible representations that never arise from a finite dihedral quotient are precisely the two-dimensional ones for which is not a root of unity.
Solved by gpt-5.6-sol high.
Codex Wiki