Degree of irreducible representation over reals divides twice the group order
Statement
Suppose is a finite group and is the degree of an irreducible linear representation of over the field of real numbers . Then, divides , where denotes the order of .
Facts used
- Degree of irreducible representation divides group order (where the irreducible representation is over an algebraically closed field of characteristic zero)