Characters are cyclotomic integers
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
Let be a finite group, and be any field. Then, the character of any finite-dimensional linear representation of over takes, at every element of the group, a value that is a cyclotomic integer over the prime subfield of : in other words, it is in the subring generated by all the roots of unity.
(The statement, does not require the characteristic of to not divide the order of the group).
- Element of finite order is semisimple and eigenvalues are roots of unity (the semisimplicity requires that the order be relatively prime to the characteristic of the field, something we don't need here).
- Characters are algebraic integers: Any cyclotomic integer is an algebraic integer, so every character takes values in algebraic integers.
- If, over a field of characteristic zero, a character takes a rational value, that value must be an integer.
Given: A finite group , field , a finite-dimensional linear representation of over . is the character of .
To prove: For any , is a cyclotomic integer over the prime subfield of .
Proof: is the sum of eigenvalues of , counted with multiplicity, in the algebraic closure of . Since is finite, has finite order, so has finite order, and hence satisfies a polynomial of the form . Hence, every eigenvalue of is a root of unity, so is a sum of roots of unity. Hence, is a cyclotomic integer.