# Difference between revisions of "Size-degree-weighted characters are algebraic integers"

(→Statement) |
|||

(7 intermediate revisions by the same user not shown) | |||

Line 3: | Line 3: | ||

===For an algebraically closed field of characteristic zero=== | ===For an algebraically closed field of characteristic zero=== | ||

− | Suppose <math>k</math> is an algebraically closed field of characteristic zero, and <math>G</math> is a [[finite group]]. Let <math>\rho</math> be an [[fact about::irreducible linear representation]] of <math>G</math> over <math>k</math>, and <math>\chi</math> be the character corresponding to <math>\rho</math>. Let <math>c</math> be a conjugacy class in <math>G</math> and <math>g \in c</math> be an element. Then: | + | Suppose <math>k</math> is an algebraically closed field of characteristic zero, and <math>G</math> is a [[finite group]]. Let <math>\rho</math> be an [[fact about::irreducible linear representation;2| ]][[irreducible linear representation]] of <math>G</math> over <math>k</math>, and <math>\chi</math> be the character corresponding to <math>\rho</math>. Let <math>c</math> be a conjugacy class in <math>G</math> and <math>g \in c</math> be an element. Denote the identity element of <math>G</math> by <math>1</math>. Then: |

<math>\frac{|c|\chi(g)}{\chi(1)}</math> | <math>\frac{|c|\chi(g)}{\chi(1)}</math> | ||

Line 10: | Line 10: | ||

Note that both aspects: ''irreducibility'' of the representation and the fact that we are working over an ''algebraically closed field of characteristic zero'', are required. Getting rid of either condition makes the statement false. | Note that both aspects: ''irreducibility'' of the representation and the fact that we are working over an ''algebraically closed field of characteristic zero'', are required. Getting rid of either condition makes the statement false. | ||

+ | |||

+ | '''Note''': When the symbol <math>1</math> appears as an input to a representation or a character, it refers to the identity element of <math>G</math>. When it appears as the output of a character, or in another context, it refers to the real number <math>1</math>. | ||

===For a splitting field=== | ===For a splitting field=== | ||

We can weaken the condition on <math>k</math> somewhat: instead of requiring it to be an algebraically closed field of characteristic zero, it suffices to require <math>k</math> to be a [[fact about::splitting field]] for <math>G</math>. In particular, any [[sufficiently large field]] for <math>G</math> will do. | We can weaken the condition on <math>k</math> somewhat: instead of requiring it to be an algebraically closed field of characteristic zero, it suffices to require <math>k</math> to be a [[fact about::splitting field]] for <math>G</math>. In particular, any [[sufficiently large field]] for <math>G</math> will do. | ||

+ | |||

==Related facts== | ==Related facts== | ||

Line 21: | Line 24: | ||

===Applications and further results=== | ===Applications and further results=== | ||

− | + | {| class="sortable" border="1" | |

− | + | ! Application name !! Full statement !! Intermediaries (if indirect application) !! Other facts used for the application !! How does it use this fact? | |

− | + | |- | |

− | + | | [[Degree of irreducible representation divides group order]] || For a [[finite group]] and an [[irreducible linear representation]] over any [[splitting field]] of characteristic zero, the degree of the irreducible representation divides the order of the group. || -- || [[character orthogonality theorem]], [[characters are algebraic integers]] || The quotient of the size of the group by the degree of the irreducible representation is shown to be an algebraic integer, by writing it as a summation (using the character orthogonality theorem) and showing that the summands are all algebraic integers. | |

+ | |- | ||

+ | | [[Zero-or-scalar lemma]] || For a [[finite group]] and an [[irreducible linear representation]] over any splitting field of characteristic zero, if a conjugacy class size is relatively prime to the degree, either the character value at the conjugacy class is zero or the elements of the conjugacy class go to scalars. || -- || [[characters are algebraic integers]], [[element of finite order is semisimple and eigenvalues are roots of unity]] || We show that the quotient of the character value at the conjugacy class to the degree of the representation is an algebraic integer, and then use some bounding techniques to show that it is either zero or must be of norm 1. | ||

+ | |- | ||

+ | | [[Conjugacy class of prime power size implies not simple]] || If a [[finite group]] has a conjugacy class whose size is a power of a prime (and not just 1), then the group is not a [[simple group]] || via [[zero-or-scalar lemma]] || [[characters are algebraic integers]], [[column orthogonality theorem]] || We use the column orthogonality theorem and derive a contradiction from simplicity by showing that a non-integer rational must be an algebraic integer. | ||

+ | |- | ||

+ | | [[Order has only two prime factors implies solvable]] (also known as Burnside's <math>p^aq^b</math>-theorem) || If the order of a finite group has at most two distinct prime factors, then it is solvable. || via [[conjugacy class of prime power order implies not simple]] || (too indirect for mention) || (too indirect for mention) | ||

+ | |} | ||

− | ===Breakdown for a field that is not algebraically closed=== | + | ===Breakdown for a field that is not algebraically closed and is not a splitting field=== |

{{further|[[Particular example::cyclic group:Z3]]}} | {{further|[[Particular example::cyclic group:Z3]]}} |

## Latest revision as of 17:46, 1 June 2016

## Contents

## Statement

### For an algebraically closed field of characteristic zero

Suppose is an algebraically closed field of characteristic zero, and is a finite group. Let be an irreducible linear representation of over , and be the character corresponding to . Let be a conjugacy class in and be an element. Denote the identity element of by . Then:

is an algebraic integer.

Note that both aspects: *irreducibility* of the representation and the fact that we are working over an *algebraically closed field of characteristic zero*, are required. Getting rid of either condition makes the statement false.

**Note**: When the symbol appears as an input to a representation or a character, it refers to the identity element of . When it appears as the output of a character, or in another context, it refers to the real number .

### For a splitting field

We can weaken the condition on somewhat: instead of requiring it to be an algebraically closed field of characteristic zero, it suffices to require to be a Splitting field (?) for . In particular, any sufficiently large field for will do.

## Related facts

- Characters are cyclotomic integers: This statement holds in much greater generality. In particular, it holds over any field and it does not require the linear representation to be irreducible.
- Characters are algebraic integers

### Applications and further results

Application name | Full statement | Intermediaries (if indirect application) | Other facts used for the application | How does it use this fact? |
---|---|---|---|---|

Degree of irreducible representation divides group order | For a finite group and an irreducible linear representation over any splitting field of characteristic zero, the degree of the irreducible representation divides the order of the group. | -- | character orthogonality theorem, characters are algebraic integers | The quotient of the size of the group by the degree of the irreducible representation is shown to be an algebraic integer, by writing it as a summation (using the character orthogonality theorem) and showing that the summands are all algebraic integers. |

Zero-or-scalar lemma | For a finite group and an irreducible linear representation over any splitting field of characteristic zero, if a conjugacy class size is relatively prime to the degree, either the character value at the conjugacy class is zero or the elements of the conjugacy class go to scalars. | -- | characters are algebraic integers, element of finite order is semisimple and eigenvalues are roots of unity | We show that the quotient of the character value at the conjugacy class to the degree of the representation is an algebraic integer, and then use some bounding techniques to show that it is either zero or must be of norm 1. |

Conjugacy class of prime power size implies not simple | If a finite group has a conjugacy class whose size is a power of a prime (and not just 1), then the group is not a simple group | via zero-or-scalar lemma | characters are algebraic integers, column orthogonality theorem | We use the column orthogonality theorem and derive a contradiction from simplicity by showing that a non-integer rational must be an algebraic integer. |

Order has only two prime factors implies solvable (also known as Burnside's -theorem) | If the order of a finite group has at most two distinct prime factors, then it is solvable. | via conjugacy class of prime power order implies not simple | (too indirect for mention) | (too indirect for mention) |

### Breakdown for a field that is not algebraically closed and is not a splitting field

`Further information: cyclic group:Z3`

Let be the cyclic group of order three and be the field. has an irreducible two-dimensional linear representation over given by rotation by multiples of . For a non-identity element of , for the corresponding character, while . Thus, the expression works out to , which is not an algebraic integer.

### Breakdown for a representation that is not irreducible

The same example as the above (the one for breakdown over a field that is not algebraically closed) works. Specifically, the irreducible representation over can be viewed as a reducible representation over .

## Proof

The proof is based on the idea of the convolution algebra on conjugacy classes.

### Description of the convolution algebra on conjugacy classes

Let be a -subalgebra of the group ring defined as follows: as a group, it is the free Abelian group on all *indicator* class functions for conjugacy classes. In other words, for each conjugacy class, we have a free generator that corresponds to the *sum* of elements of that conjugacy class.

The structure constant for multiplication of elements of is defined as follows: given conjugacy classes , the coefficient of the -indicator function in the product of the -indicator function and the -indicator function is the number of ways of writing where , and a fixed element of .

Note that all the structure constants are integers.

### A homomorphism from this convolution algebra to the matrix ring

The representation gives rise to a homomorphism from to the matrix ring . The indicator function for a conjugacy class goes to the matrix given by:

.

This sum commutes with for all , and thus, by Schur's lemma, the sum is a scalar matrix. The trace of the sum is , so the sum must be a scalar matrix with scalar entry:

.

Thus, the set of scalar matrices with entries described as above additively generate a group that is a ring under multiplication. The structure constants for this ring are the same as the structure constants for the convolution algebra. A result from algebraic number theory now tells us that this forces the entire ring to be a ring of algebraic integers, and in particular, the generating elements are algebraic integers.