Character value of a representation

ID: character-value-of-a-representation

At an element of a finite group, a complex character value is the sum of the roots of unity which are the eigenvalues of its representing matrix. It is therefore an algebraic integer, and every algebraic conjugate has modulus at most the degree.

New to topics? Read the docs here!