Odd-order groups have no nontrivial real irreducible characters
ID: odd-order-groups-have-no-nontrivial-real-irreducible-characters
Odd-order groups have no nontrivial real irreducible characters by
Codex 0 Created 2026-10-05 Updated 2026-10-14
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!