Degrees of irreducible representations

This term is related to: linear representation theory
View other terms related to linear representation theory | View facts related to linear representation theory

Definition

Over a field

The degrees of irreducible representations for a group over a field associate to it the multiset giving, for each irreducible linear representation of the group, the degree of that representation.

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.

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.

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}}$.

Counting and arithmetic results

• Number of irreducible representations equals number of conjugacy classes
• Sum of squares of degrees of irreducible representations equals group 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:

Statement	What divides ...	divides what
degree of irreducible representation divides group order	degree of irreducible representation	order of the group
degree of irreducible representation divides order of inner automorphism group	degree of irreducible representation	index of center, or equivalently, order of inner automorphism group
degree of irreducible representation divides index of abelian normal subgroup	degree of irreducible representation	index of an abelian normal subgroup; in particular, of a subgroup maximal among abelian normal subgroups
Schur index divides degree of irreducible representation	Schur index of irreducible representation	degree of irreducible representation

Numerical bounds

• Order of inner automorphism group bounds square of degree of irreducible representation

Divisibility non-results

Statement	What need not divide ...	need not divide what
degree of irreducible representation need not divide exponent	degree of irreducible representation	exponent of the group
degree of irreducible representation need not divide order of derived subgroup	degree of irreducible exponent	order of derived subgroup
square of degree of irreducible representation need not divide order	square of degree of irreducible representation	order of the group

Numerical non-bounds

Statement	What is not bounded ...	not bounded by what
degree of irreducible representation need not be less than exponent	degree of irreducible representation	exponent of the group

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

Particular cases

Group	Order	Degrees of irreducible representations over $\mathbb{C}$ or $\overline{\mathbb{Q}}$	More information
trivial group	$1$	$1$
cyclic group:Z2	$2$	$1,1$	linear representation theory of cyclic group:Z2, linear representation theory of cyclic groups
cyclic group:Z3	$3$	$1,1,1$	linear representation theory of cyclic group:Z3, linear representation theory of cyclic groups
cyclic group:Z4	$4$	$1,1,1,1$	linear representation theory of cyclic group:Z4, linear representation theory of cyclic groups
Klein four-group	$4$	$1,1,1,1$	linear representation theory of Klein four-group, linear representation theory of elementary abelian groups
cyclic group:Z5	$5$	$1,1,1,1,1$	linear representation theory of cyclic group:Z5, linear representation theory of cyclic groups
symmetric group:S3	$6$	$1,1,2$	linear representation theory of symmetric group:S3, linear representation theory of symmetric groups
cyclic group:Z6	$6$	$1,1,1,1,1,1$	linear representation theory of cyclic group:Z6, linear representation theory of cyclic groups
cyclic group:Z7	$7$	$1,1,1,1,1,1,1$	linear representation theory of cyclic group:Z7, linear representation theory of cyclic groups
cyclic group:Z8	$8$	$1,1,1,1,1,1,1,1$	linear representation theory of cyclic group:Z8, linear representation theory of cyclic groups
direct product of Z4 and Z2	$8$	$1,1,1,1,1,1,1,1$	linear representation theory of direct product of Z4 and Z2
dihedral group:D8	$8$	$1,1,1,1,2$	linear representation theory of dihedral group:D8, linear representation theory of dihedral groups
quaternion group	$8$	$1,1,1,1,2$	linear representation theory of quaternion group, linear representation theory of dicyclic groups
elementary abelian group:E8	$8$	$1,1,1,1,1,1,1,1$	linear representation theory of elementary abelian group:E8, linear representation theory of elementary abelian groups
cyclic group:Z9	$9$	$1,1,1,1,1,1,1,1,1$	linear representation theory of cyclic groups
elementary abelian group:E9	$9$	$1,1,1,1,1,1,1,1,1,1$	linear representation theory of elementary abelian groups
dihedral group:D10	$10$	$1,1,2,2$	linear representation theory of dihedral groups
dihedral group:D12 (also direct product of S3 and Z2)	$12$	$1,1,1,1,2,2$	linear representation theory of dihedral groups
dicyclic group:Dic12	$12$	$1,1,1,1,2,2$	linear representation theory of dicyclic groups
alternating group:A4	$12$	$1,1,1,3$	linear representation theory of alternating group:A4
dihedral group:D14	$14$	$1,1,2,2,2$	linear representation theory of dihedral groups
symmetric group:S4	$24$	$1,1,2,3,3$	linear representation theory of symmetric group:S4, linear representation theory of symmetric groups
special linear group:SL(2,3)	$24$	$1,1,1,2,2,2,3$	linear representation theory of special linear group:SL(2,3), linear representation theory of special linear groups of degree two