Let the distinct values of the faithful character be . If an irreducible character occurred in none of , then
for . The Vandermonde matrix is invertible, so every . But faithfulness implies that only for : in a unitary realization, equality of the trace with the dimension forces every eigenvalue to be one. For that fiber , a contradiction.

Articles by others on the same topic (0)

There are currently no matching articles.