Finite group character values
Let
;| π ( π ) | β€ π ( 1 ) iff| π ( π ) | = π ( 1 ) is a homothety;Ξ ( π ) β Z β‘ ( β π ) iffπ ( π ) = π ( 1 ) is the identity.Ξ ( π ) = 1 π
Proof
The eigenvectors of
must have eigenvalues of finite order dividing π ( π ) , and thus are each powers of π . It follows that π π , which is equal to the sum of these eigenvalues, is in π ( π ) . β€ [ π π ]
It follows that