Degrees of irreducible representations

Over a field
The degrees of irreducible representations for a group over a field associate to it the multiset giving, for each defining ingredient::irreducible linear representation (considered up to equivalence of linear representations, so only one representation is considered per equivalence class) of the group, the degree of that representation, i.e., the dimension of the vector space on which the action is happening. For an irreducible representation $$\varphi:G \to GL(n,K)$$ over a field $$K$$, the degree is $$n$$.

Typical context: finite group and splitting field
The term degrees of the irreducible representations is typically used for a finite group over a splitting field for the group.

For a finite group, any two splitting fields of the same characteristic give rise to the same bunch of degrees of irreducible representations. Thus, for a finite group, we can talk of the degrees of irreducible representations in a particular characteristic (as long as the characteristic is either zero or a prime not dividing the order of the group) and this is understood to mean the degrees of irreducible representations in a splitting field of that characteristic, such as an algebraically closed field.

If the group is a finite group and $$p$$ is a prime number not dividing the order of the group, then the degrees of irreducible representations in characteristic $$p$$ are the same as the degrees of irreducible representations in characteristic zero.

Default context: finite group and characteristic zero
For a finite group, if no other information is specified, we interpret the degrees of irreducible representations as all being in characteristic zero, e.g., over the field of complex numbers. As mentioned above, these are the same as the degrees of irreducible representations in any characteristic not dividing the order of the group.

Related notions

 * lcm of degrees of irreducible representations is the least common multiple of the degrees of irreducible representations.
 * Maximum degree of irreducible representation is the maximum of the degrees of irreducible representations.

Facts
Unless otherwise stated, all results here are over splitting fields. In particular, they hold for algebraically closed fields whose characteristic does not divide the order of the group, such as $$\mathbb{C}$$ or $$\overline{\mathbb{Q}}$$. Note that degrees of irreducible representations are the same for all splitting fields.

Counting and arithmetic results

 * Number of irreducible representations equals number of conjugacy classes
 * Number of one-dimensional representations equals order of abelianization
 * Sum of squares of degrees of irreducible representations equals order of group
 * Sum of squares of degrees of irreducible representations whose restriction to the center is a given character equals order of inner automorphism group

Relationship with conjugacy class size statistics
For most small orders of groups, knowing the degrees of irreducible representations allows us to compute the conjugacy class size statistics and vice versa, simply on the strength of the counting and arithmetic results on the degrees and the conjugacy class sizes. However, this is not universally the case:


 * Degrees of irreducible representations need not determine conjugacy class size statistics
 * Conjugacy class size statistics need not determine degrees of irreducible representations
 * Maximum degree of irreducible representation does not give bound on maximum conjugacy class size
 * Maximum conjugacy class size does not give bound on maximum degree of irreducible representation

Relation with other other aspects of the group structure

 * Nilpotency class and order determine degrees of irreducible representations for groups up to prime-fourth order (and vice versa too)
 * Degrees of irreducible representations need not determine nilpotency class (counterexamples of order $$p^5$$, see linear representation theory of groups of order 32 and linear representation theory of groups of prime-fifth order)

Divisibility results
All results here are for degrees of irreducible representations over splitting fields. The proofs given on the pages may work only for splitting fields of characteristic zero, though modified versions can be used for other splitting fields (or alternatively, we can combine with the fact that degrees of irreducible representations are the same for all splitting fields):

Numerical bounds

 * Order of inner automorphism group bounds square of degree of irreducible representation
 * 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
 * Degree of irreducible representation is bounded by index of abelian subgroup

Coverage of prime factors

 * Degrees of irreducible representations need not cover all prime factors
 * Ito-Michler theorem: A partial opposite result which states that if a particular prime does not divide any of the degrees of irreducible representations, then the corresponding Sylow subgroup must be both abelian and normal. The converse is also true.

Some results that hold for fields that are not splitting fields

 * Degree of irreducible representation of nontrivial finite group is strictly less than order of group
 * Maximum degree of irreducible real representation is at most twice maximum degree of irreducible complex representation
 * Degree of irreducible representation over field of characteristic coprime to order divides product of order and Euler phi-function of exponent

Group families
For various group families, the degrees of irreducible representations can be described in terms of parameters for members of the families. The descriptions are sometimes quite complicated, so we simply provide links:

For a complete list, see Category:Linear representation theory of group families.

Grouping by order
Given the order of a group, there is a finite, usually small, collection of possibilities for the list of degrees of irreducible representations. Below are links to some small orders and the information on degrees. We omit very small orders, some of which are already covered in the table above.

GAP implementation
To find the degrees of irreducible representations for a finite group over the complex numbers (and hence over any splitting field of characteristic zero), GAP has the CharacterDegrees function. This returns a list of pairs, where the first member of each pair is a degree of irreducible representation and the second member is the number of equivalence classes of irreducible representations with that degree. Here's an example:

gap> CharacterDegrees(SL(2,5)); [ [ 1, 1 ], [ 2, 2 ], [ 3, 2 ], [ 4, 2 ], [ 5, 1 ], [ 6, 1 ] ]

In this example, the input group is special linear group:SL(2,5), constructed using GAP's SL function, and the output indicates that there is 1 irreducible representation of degree 1, 2 of degree 2, 2 of degree 3, 2 of degree 4, 1 of degree 5, and 1 of degree 6. The list of degrees is thus 1,2,2,3,3,4,4,5,6.