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.
Articles by others on the same topic
There are currently no matching articles.