# 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)