Maximum degree of irreducible representation

For a group over a field
Suppose $$G$$ is a group and $$K$$ is a field. The maximum degree of irreducible representation of $$G$$ is defined as the maximum of all the defining ingredient::degrees of irreducible representations of $$G$$ over $$K$$.

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

Note that the maximum degree of irreducible representation depends (if at all) only on the characteristic of the field $$K$$. 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 $$K = \mathbb{C}$$.

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

 * Maximum degree of irreducible real representation is at most twice maximum degree of irreducible complex representation

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.