# Difference between revisions of "Characters are cyclotomic integers"

(→Related facts) |
|||

(One intermediate revision by the same user not shown) | |||

Line 1: | Line 1: | ||

{{character theory fact from linear algebra}} | {{character theory fact from linear algebra}} | ||

+ | [[Difficulty level::2| ]] | ||

==Statement== | ==Statement== | ||

Line 12: | Line 13: | ||

===Applications=== | ===Applications=== | ||

− | * | + | * 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. | * If, over a field of characteristic zero, a character takes a rational value, that value must be an integer. | ||

## Latest revision as of 17:55, 24 February 2011

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

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).

## Related facts

- 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).

### Applications

- 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.

## Proof

**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.