Let afford the character , and let be the order of a group element . Then , so its minimal polynomial divides . Over the complex numbers this polynomial has distinct polynomial roots, since its formal derivative does not vanish at any of its polynomial roots. Thus is diagonalizable, with eigenvalues that are roots of unity.
Each has absolute value one, so . The eigenvalues of are , givingThis is the character inversion identity.
Articles by others on the same topic
There are currently no matching articles.