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.
Suppose is an irreducible character of a group of odd order and . Write . Every nonidentity element pairs with its distinct inverse, since there is no element of order . Also . If were nontrivial, character orthogonality with the trivial character of a representation would give
where is the sum of one character of a representation value from each inverse pair. This is an algebraic integer, so is an integer. Hence is even.
But an irreducible character degree divides the group order, so must be odd. One quick justification of that divisibility is that the central class sum of a conjugacy class acts by the algebraic integer . Its integrality follows from its integer matrix on the regular group representation. Character orthogonality then gives
a rational algebraic integer, hence an integer. The parity contradiction proves : the trivial character is the only self-conjugate irreducible character of an odd-order group.
Let . By irreducible character degree divides the group order, each irreducible degree divides . A degree is at most by the sum of squares of irreducible degrees. If a degree occurred, its square would already consume the entire sum , leaving no room for the trivial character. Hence every irreducible degree is one. A finite group has only linear irreducible characters exactly when it is abelian, so every group of order is abelian.