Irreducible character degree divides the group order

ID: irreducible-character-degree-divides-the-group-order

For every irreducible complex character of a finite group ,
Indeed, row orthogonality expresses as a sum of products of algebraic integers:
It is a rational algebraic integer and therefore an integer.

New to topics? Read the docs here!