# Schur index of irreducible character

From Groupprops

## Contents

## Definition

### Direct definition

Suppose is a finite group, is a splitting field for , and is the character of an irreducible linear representation of over . Suppose is the subfield of generated by the character values . The **Schur index** of (also termed the Schur index of ) is defined in the following equivalent ways:

- It is the smallest positive integer such that there exists a degree extension of such that can be realized over , i.e., we can change basis so that all the matrix entries are from . Note that it is not necessary that be a subfield of , but rather we need to work within a suitable larger field that contains both and to perform the necessary conjugation.
- It is the multiplicity of in any irreducible linear representation of over that has as one of its irreducible constituents over .

The Schur index of a character is often denoted .

Note that if the representation can be realized over the field generated by the character values for that representation, the Schur index is one.

### Definition in terms of division rings

**PLACEHOLDER FOR INFORMATION TO BE FILLED IN**: [SHOW MORE]

## Facts

- Schur index of irreducible character need not equal degree of extension of minimal field realizing the character over field generated by character values
- Schur index of irreducible character is one in any prime characteristic
- Schur index divides degree of irreducible representation
- Schur index of irreducible character in characteristic zero divides exponent
- Square of Schur index of irreducible character in characteristic zero divides order
- Odd-order p-group implies every irreducible representation has Schur index one

## Examples

From the facts above, it is clear that to get an example of an irreducible character/representation with Schur index greater than 1, we should *not* look at odd-order -groups. Here are the smallest examples:

- The smallest example with Schur index two is faithful irreducible representation of quaternion group. The field generated by character values is . The representation cannot be realized over (this follows from the indicator theorem) but it can be realized in any quadratic extension of the form for .
- The smallest example with Schur index three is a representation of the nontrivial semidirect product of Z7 and Z9 (order 63). Note that we
*cannot*find any examples of Schur index three using 3-groups, because odd-order p-group implies every irreducible representation has Schur index one.