# Maximum degree of irreducible representation

This term is related to: linear representation theory

View other terms related to linear representation theory | View facts related to linear representation theory

This article defines an arithmetic function on groups

View other such arithmetic functions

## Contents

## Definition

### For a group over a field

Suppose is a group and is a field. The **maximum degree of irreducible representation** of is defined as the maximum of all the degrees of irreducible representations of over .

### Typical context: finite group and splitting field

The typical context is where is a finite group and is a splitting field for . In particular, the characteristic of is either zero or is a prime not dividing the order of , and every irreducible representation of over any extension field of can be realized over .

Note that the maximum degree of irreducible representation depends (if at all) only on the characteristic of the field . This is because the degrees of irreducible representations over a splitting field depend only on the characteristic of the field.

### Default case: characteristic zero

By default, when referring to the maximum degree of irreducible representation, we refer to the case of characteristic zero, and we can in particular take .

## Related notions

- Quasirandom degree is the minimum of the degrees of nontrivial irreducible representations.

## Facts

### Subgroups

The proofs presented for these facts seem to rely on the assumption that the characteristic of the field does not divide the order of the group, although it might be possible to adapt them to the modular case:

- Maximum degree of irreducible representation of subgroup is less than or equal to maximum degree of irreducible representation of whole group
- Maximum degree of irreducible representation of group is less than or equal to product of maximum degree of irreducible representation of subgroup and index of subgroup
- In the case that we are over a splitting field, we also have that degree of irreducible representation is bounded by index of abelian subgroup and order of inner automorphism group bounds square of degree of irreducible representation

### Quotients and direct products

- Maximum degree of irreducible representation of quotient group is less than or equal to maximum degree of irreducible representation of whole group
- Maximum degree of irreducible representation of direct product is maximum of maximum degrees of irreducible representation of each direct factor

### Field changes

## Particular cases

For any finite abelian group, all the irreducible representations over a splitting field are one-dimensional, so the maximum degree of irreducible representation over any splitting field is one-dimensional. The situation may be different over non-splitting fields.

Group | Order | Second part of GAP ID | Maximum degree of irreducible representation over | Maximum degree of irreducible representation over | Maximum degree of irreducible representation over | General note on degrees of irreducible representations |
---|---|---|---|---|---|---|

trivial group | 1 | 1 | 1 | 1 | 1 | always 1, regardless of the field |

cyclic group:Z2 | 2 | 1 | 1 | 1 | 1 | always 1, regardless of the field |

cyclic group:Z3 | 3 | 1 | 1 | 2 | 2 | either 1 or 2, depending on whether the field is a splitting field |

cyclic group:Z4 | 4 | 1 | 1 | 2 | 2 | either 1 or 2, depending on whether the field is a splitting field |

Klein four-group | 4 | 2 | 1 | 1 | 1 | always 1, regardless of the field |

cyclic group:Z5 | 5 | 1 | 1 | 2 | 4 | 1, 2, or 4, depending on how splits in the field |