Odd-order groups have no nontrivial real irreducible characters

ID: odd-order-groups-have-no-nontrivial-real-irreducible-characters

For a real-valued irreducible character of a finite odd-order group, pairing with gives , with an algebraic integer. If this inner product were zero, would be even, since a rational algebraic integer is an integer. But an irreducible character degree divides the group order, so it is odd. Therefore the character is trivial.

New to topics? Read the docs here!