Element of finite order is semisimple and eigenvalues are roots of unity
From Groupprops
This page describes a useful fact in character theory/linear representation theory arising from rudimentary linear algebra
View other such facts OR View all facts related to linear representation theory
Statement
Suppose is a field,
is a finite-dimensional vector space over
and
is an element in
such that there exists
with
equal to the identity matrix. Then:
- All the eigenvalues of
over the algebraic closure of
are
roots of unity.
- Suppose that either
has characteristic zero or
is relatively prime to the characteristic of
.
is semisimple, i.e. it is diagonalizable over the algebraic closure of
.
Applications
Proof
satisfies the polynomial
, hence the minimal polynomial of
must divide this polynomial. So, every eigenvalue of
must satisfy the polynomial
, hence must be a root of unity.
If is relatively prime to the characteristic, then the polynomial
has no repeated roots, hence the minimal polynomial of
has no repeated roots. So,
is semisimple, i.e. it is diagonalizable over the algebraic closure.