Linear representation theory of symmetric groups
This article gives specific information, namely, linear representation theory, about a family of groups, namely: symmetric group.
View linear representation theory of group families | View other specific information about symmetric group
This article discusses the irreducible linear representations of the symmetric groups of finite degree, i.e., the group of all permutations on a finite set. We denote by the symmetric group of degree
. For convenience, we assume that the set it acts on is
.
All symmetric groups are rational-representation groups: all their representations can be realized over the field of rational numbers. In particular, all the character values are (rational) integers, i.e., elements of . In fact, the representations themselves can be realized using matrices where all the entries are integers. (Note that the representations being realizable over
is equivalent to their being realizable over
because linear representation is realizable over principal ideal domain iff it is realizable over field of fractions).
We discuss here how to parametrize the irreducible representations and compute the character values.
It turns out that the set of irreducible representations is parametrized by the set of unordered integer partitions of . Because cycle type determines conjugacy class, the unordered integer partitions also parametrize the conjugacy classes via the cycle type map. Thus, the symmetric groups of degree
come with a bijection between conjugacy classes and irreducible representations, something that does not generalize to all finite groups even though the number of conjugacy classes equals the number of irreducible representations for all finite groups.
Particular cases
![]() |
![]() |
![]() |
Symmetric group ![]() |
Degrees of irreducible representations | Linear representation theory page |
---|---|---|---|---|---|
1 | 1 | 1 | trivial group | 1 | -- |
2 | 2 | 2 | cyclic group:Z2 | 1,1 | linear representation theory of cyclic group:Z2 |
3 | 6 | 3 | symmetric group:S3 | 1,1,2 | linear representation theory of symmetric group:S3 |
4 | 24 | 5 | symmetric group:S4 | 1,1,2,3,3 | linear representation theory of symmetric group:S4 |
5 | 120 | 7 | symmetric group:S5 | 1,1,4,4,5,5,6 | linear representation theory of symmetric group:S5 |
6 | 720 | 11 | symmetric group:S6 | 1,1,5,5,5,5,9,9,10,10,16 | linear representation theory of symmetric group:S6 |
7 | 5040 | 15 | symmetric group:S7 | 1,1,6,6,14,14,14,14,15,15,20,21,21,35,35 | linear representation theory of symmetric group:S7 |
8 | 40320 | 22 | symmetric group:S8 | 1,1,7,7,14,14,20,20,21,21,28,28,35,35,42,56,56,64,64,70,70,90 | linear representation theory of symmetric group:S8 |
Description of the irreducible representation corresponding to an unordered integer partition
PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]Degrees of irreducible representations
Hook-length formula
Further information: Hook-length formula
From the above, it is clear that the degree of the irreducible representation corresponding to an unordered integer partition equals the number of Young tableaux whose Young diagram has shape
. This number is given by the hook-length formula:
.
Here, the hook length of a position in a Young diagram is the total number of positions that are directly below it, directly to the right of it, or equal to it. For instance, for the partition , the hook lengths of corner positions are all
, the hook length of the top left square is
, and the hook lengths of the other two squares are both
. Thus, the degree of the corresponding irreducible representation is:
.
Note that this formula confirms several things we already know:
- Degree of irreducible representation divides order of group
- Sum of squares of degrees of irreducible representations equals order of group (this follows from the above and the Robinson-Schensted correspondence, which puts the symmetric group's elements in bijection with pairs of tableaux of the same shape.
Inductive relationships
The degree of the irreducible representation corresponding to a partition is equal to the number of Young tableaux of shape
. A Young tableau of shape
can be identified with a directed path in the Young graph from the one-element Young diagram to the diagram for shape
. The path basically describes the order in which boxes are added, which in turn can be encoded by numbering the squares, giving a Young tableau.
From this, it is easy to see the following:
- The degree of the irreducible representation corresponding to
equals the number of paths from the one-box Young diagram (i.e., the trivial partition of
) to
.
- The degree of the irreducible representation corresponding to
is the sum of the degrees of irreducible representations corresponding to all partitions obtained by removing one box from
. In other words, in the Young graph, the degree of the irreducible representation corresponding to a partition is the sum of the degrees of irreducible representations corresponding to its parents. Further information: degree of irreducible representation of symmetric group equals sum of degrees of irreducible representations for partitions with one box less
-
times the degree of the irreducible representation corresponding to a partition
of
is the sum of the degrees of irreducible representations of the children of
.
These observations are also related to the notions of restriction/induction of representations, as discussed later in the article.
Numerical information
Listing of degrees of irreducible representations for symmetric groups of small degree
![]() |
Link to linear representation theory page | List of ![]() |
Pairs ![]() |
---|---|---|---|
![]() |
-- | ![]() |
![]() |
![]() |
link | ![]() |
![]() |
![]() |
link | ![]() |
![]() |
![]() |
link | ![]() |
![]() |
![]() |
link | ![]() |
![]() |
![]() |
link | ![]() |
![]() ![]() |
The graph here shows partitions and the corresponding degrees of irreducible representations, where an arrow from on partition to another means that the Young diagram of the latter can be obtained by adding one box to the Young diagram of the former. The full graph, which is infinite, is termed the Young graph.
More comprehensive listing of degrees
Below is a comprehensive listing of degrees of irreducible representations of for
, along with some related information. The Plancherel measure of a representation of degree
is
:
![]() |
![]() |
![]() |
List of degrees in ascending order | List of Plancherel measure values of degrees |
---|---|---|---|---|
1 | 1 | 1 | 1 | 1 |
2 | 2 | 2 | 1,1 | 1/2 = 0.5, 1/2 = 0.5 |
3 | 6 | 3 | 1,1,2 | ![]() ![]() ![]() |
4 | 24 | 5 | 1,1,2,3,3 | ![]() ![]() ![]() ![]() ![]() |
5 | 120 | 7 | 1,1,4,4,5,5,6 | ![]() |
6 | 720 | 11 | 1,1,5,5,5,5,9,9,10,10,16 | ![]() ![]() |
7 | 5040 | 15 | 1,1,6,6,14,14,14,14,15,15,20,21,21,35,35 | ![]() ![]() |
8 | 40320 | 22 | 1,1,7,7,14,14,20,20,21,21,28,28,35,35,42,56,56,64,64,70,70,90 | ![]() ![]() ![]() |
9 | 362880 | 30 | 1,1,8,8,27,27,28,28,42,42,42,48,48,56,56,70,84,84,105,105,120,120,162,162,168,168,189,189,216,216 |
See also the later section on asymptotic representation theory.
Conjugate partitions and special cases
Special cases of hook partitions
The two linear Young diagrams (all vertical and all horizontal) correspond to the two one-dimensional representations: the trivial representation and the sign representation.
The partitions whose shapes are hooks, and are of the form correspond to important representations. The degree of the representation for such a partition is
. Particular cases of importance are:
-
, i.e., the horizontal diagram. This corresponds to the trivial representation. It has degree
, and sends every permutation to
.
-
, i.e., the vertical diagram. This corresponds to the sign representation. It has degree
, and sends every permutation to its sign:
for even permutations and
for odd permutations.
-
. This corresponds to the standard representation. This is the nontrivial irreducible component of the representation of the symmetric group on a
-dimensional vector space by permutation on the coordinates. It has degree
. The corresponding character sends each permutation to one less than its number of fixed points.
-
: This corresponds to the tensor product of the standard representation and the sign representation. It has degree
. The corresponding character sends every permutation to one less than its number of fixed points if the permutation is an even permutation and the negative of (one less than the number of fixed points) if the permutation is an odd permutation.
Conjugate of a partition
For any partition , there is a conjugate partition
obtained geometrically by flipping the Young diagram (interchanging the role of rows and columns). The hook-length formula makes it clear that the degrees
and
are equal. Further, the description of the construction of the irreducible representation makes it clear that the representation corresponding to
is equivalent to the representation obtained by multiplying the representation corresponding to
by multiplying by the sign of the permutation. In other words, the representation for
is the tensor product of the sign representation and the representation for
. Thus, the character values for these representations are equal for even permutations and negatives of each other for odd permutations.
A partition that equals its own conjugate partition is termed a self-conjugate partition. Examples are
. In particular, the representation corresponding to a self-conjugate partition is equivalent to its tensor product with the sign representation. Thus, the character values of the representation corresponding to a self-conjugate partition must be
at all odd permutations.
Induction and restriction between symmetric groups
Further information: Pieri's rule
Case of one less
Consider the embedding of in
induced by the inclusion map
to
. Suppose
is an irreducible representation of
and
is an irreducible representation of
.
By Frobenius reciprocity, the multiplicity of in the restriction of
to
equals the multiplicity of
in the induction of
to
. It turns out that the following is true as a special case of Pieri's rule:
- If the Young diagram corresponding to
can be obtained by adding one box to the Young diagram corresponding to
, then both these multiplicites are one. This is equivalent to saying that in the Young graph, there is an edge directed from
to
.
- Otherwise, both multiplicities are zero.
Some easy corollaries of this:
- The degree of the irreducible representation corresponding to a partition of
is the sum of the degrees of all irreducible representations corresponding to partitions of
that are its parents in the Young graph, i.e., such that adding one box to the Young diagram gives the partition of
-
times the degree of an irreducible representation corresponding to a partition of
is the sum of degrees of all irreducible representations corresponding to its children in the Young graph, i.e., all Young diagrams that can be obtained by adding one box.
These are easily illustrated in the Young graph:
Character tables
FACTS TO CHECK AGAINST (for characters of irreducible linear representations over a splitting field):
Orthogonality relations: Character orthogonality theorem | Column orthogonality theorem
Separation results (basically says rows independent, columns independent): Splitting implies characters form a basis for space of class functions|Character determines representation in characteristic zero
Numerical facts: Characters are cyclotomic integers | Size-degree-weighted characters are algebraic integers
Character value facts: Irreducible character of degree greater than one takes value zero on some conjugacy class| Conjugacy class of more than average size has character value zero for some irreducible character | Zero-or-scalar lemma
Given below are the character tables for small values of as matrices. The representations have been arranged in increasing order of degree.
![]() |
Number of irreps | Character table | Size-degree-weighted character table | More information |
---|---|---|---|---|
1 | 1 | ![]() |
![]() |
-- |
2 | 2 | ![]() |
![]() |
link |
3 | 3 | ![]() |
![]() |
link |
4 | 5 | ![]() |
![]() |
link |
Asymptotic representation theory
Further information: asymptotic representation theory of symmetric groups
Everywhere below, denotes the degree of the symmetric group under consideration, and we are interested in the asymptotic behavior as
:
Quantity associated with representations | General combinatorial description/expression | Multiplicatively asymptotic to... | Natural logarithm is additively asymptotic to ... |
---|---|---|---|
number of irreducible representations | number of unordered integer partitions, denoted ![]() |
![]() |
![]() |
order of the group, also the sum of squares of degrees of irreducible representations | factorial of ![]() ![]() |
![]() |
![]() |
root mean square of degrees of irreducible representations | ![]() |
![]() |
![]() |
Combinatorial quantities for small 
![]() |
![]() |
![]() |
maximum degree of irreducible representation | root mean square of degrees of irreducible representations | average degree of irreducible representation weighted by Plancherel measure (![]() |
average degree divided by ![]() |
---|---|---|---|---|---|---|
1 | 1 | 1 | 1 | 1 | 1 | 1 |
2 | 2 | 2 | 1 | 1 | 1 | ![]() |
3 | 6 | 3 | 2 | ![]() |
![]() |
![]() |
4 | 24 | 5 | 3 | ![]() |
![]() |
![]() |
5 | 120 | 7 | 6 | ![]() |
![]() |
![]() |
6 | 720 | 11 | 16 | ![]() |
![]() |
![]() |
7 | 5040 | 15 | 35 | ![]() |
![]() |
![]() |
GAP implementation
Character table
The character table can be constructed using GAP's CharacterTable function. The character table for the symmetric group of degree can be constructed using either of the following functions:
CharacterTable(SymmetricGroup(n))
or
CharacterTable("Symmetric",n)
The characters of irreducible representations can be accessed using the Irr function, with each entry recording the values of a character taken on various conjugacy classes. For instance, here is a determination of the character table of the symmetric group of degree 8:
gap> C := CharacterTable("Symmetric",8); CharacterTable( "Sym(8)" ) gap> Irr(C); [ Character( CharacterTable( "Sym(8)" ), [ 1, -1, 1, -1, 1, 1, -1, 1, 1, -1, -1, 1, -1, -1, 1, 1, -1, 1, -1, 1, 1, -1 ] ), Character( CharacterTable( "Sym(8)" ), [ 7, -5, 3, -1, -1, 4, -2, 0, 1, 1, -3, 1, 1, 0, -1, 2, 0, -1, -1, -1, 0, 1 ] ), Character( CharacterTable( "Sym(8)" ), [ 20, -10, 4, -2, 4, 5, -1, 1, -1, -1, -2, 0, -2, 1, 0, 0, 0, 0, 1, 1, -1, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 28, -10, 4, -2, -4, 1, -1, 1, 1, -1, 2, 0, 2, -1, 0, -2, 0, 1, 1, -1, 0, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 14, -4, 2, 0, 6, -1, -1, -1, 2, 2, 2, 0, -2, -1, 2, -1, 1, -1, 0, 0, 0, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 21, -9, 1, 3, -3, 6, 0, -2, 0, 0, -3, -1, 1, 0, 1, 1, 1, 1, 0, 0, 0, -1 ] ), Character( CharacterTable( "Sym(8)" ), [ 64, -16, 0, 0, 0, 4, 2, 0, -2, 2, 0, 0, 0, 0, 0, -1, -1, -1, 0, 0, 1, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 70, -10, 2, 2, -2, -5, -1, -1, 1, -1, 4, 0, 0, 1, -2, 0, 0, 0, -1, 1, 0, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 56, -4, 0, -4, 8, -4, 2, 0, -1, -1, 0, 0, 0, 0, 0, 1, 1, 1, -1, -1, 0, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 42, 0, 2, 0, -6, -6, 0, 2, 0, 0, 0, -2, 0, 0, 2, 2, 0, -1, 0, 0, 0, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 35, -5, -5, 3, 3, 5, 1, 1, 2, -2, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 1 ] ), Character( CharacterTable( "Sym(8)" ), [ 90, 0, -6, 0, -6, 0, 0, 0, 0, 0, 0, 2, 0, 0, 2, 0, 0, 0, 0, 0, -1, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 56, 4, 0, 4, 8, -4, -2, 0, -1, 1, 0, 0, 0, 0, 0, 1, -1, 1, 1, -1, 0, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 70, 10, 2, -2, -2, -5, 1, -1, 1, 1, -4, 0, 0, -1, -2, 0, 0, 0, 1, 1, 0, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 14, 4, 2, 0, 6, -1, 1, -1, 2, -2, -2, 0, 2, 1, 2, -1, -1, -1, 0, 0, 0, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 35, 5, -5, -3, 3, 5, -1, 1, 2, 2, 1, -1, 1, 1, -1, 0, 0, 0, 0, 0, 0, -1 ] ), Character( CharacterTable( "Sym(8)" ), [ 64, 16, 0, 0, 0, 4, -2, 0, -2, -2, 0, 0, 0, 0, 0, -1, 1, -1, 0, 0, 1, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 28, 10, 4, 2, -4, 1, 1, 1, 1, 1, -2, 0, -2, 1, 0, -2, 0, 1, -1, -1, 0, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 21, 9, 1, -3, -3, 6, 0, -2, 0, 0, 3, -1, -1, 0, 1, 1, -1, 1, 0, 0, 0, 1 ] ), Character( CharacterTable( "Sym(8)" ), [ 20, 10, 4, 2, 4, 5, 1, 1, -1, 1, 2, 0, 2, -1, 0, 0, 0, 0, -1, 1, -1, 0 ] ), Character( CharacterTable( "Sym(8)" ), [ 7, 5, 3, 1, -1, 4, 2, 0, 1, -1, 3, 1, -1, 0, -1, 2, 0, -1, 1, -1, 0, -1 ] ), Character( CharacterTable( "Sym(8)" ), [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ] ) ]
Irreducible representations
Explicit matrices for the irreducible representations on a generating set can be obtained using GAP's IrreducibleRepresentations function. For instance, for , this looks like:
gap> IrreducibleRepresentations(SymmetricGroup(4)); [ Pcgs([ (3,4), (2,4,3), (1,4)(2,3), (1,3)(2,4) ]) -> [ [ [ 1 ] ], [ [ 1 ] ], [ [ 1 ] ], [ [ 1 ] ] ], Pcgs([ (3,4), (2,4,3), (1,4)(2,3), (1,3)(2,4) ]) -> [ [ [ -1 ] ], [ [ 1 ] ], [ [ 1 ] ], [ [ 1 ] ] ], Pcgs([ (3,4), (2,4,3), (1,4)(2,3), (1,3)(2,4) ]) -> [ [ [ 0, 1 ], [ 1, 0 ] ], [ [ E(3), 0 ], [ 0, E(3)^2 ] ], [ [ 1, 0 ], [ 0, 1 ] ], [ [ 1, 0 ], [ 0, 1 ] ] ], Pcgs([ (3,4), (2,4,3), (1,4)(2,3), (1,3)(2,4) ]) -> [ [ [ 0, 1, 0 ], [ 1, 0, 0 ], [ 0, 0, 1 ] ], [ [ 0, 0, 1 ], [ 1, 0, 0 ], [ 0, 1, 0 ] ], [ [ -1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, -1 ] ], [ [ 1, 0, 0 ], [ 0, -1, 0 ], [ 0, 0, -1 ] ] ], Pcgs([ (3,4), (2,4,3), (1,4)(2,3), (1,3)(2,4) ]) -> [ [ [ 0, -1, 0 ], [ -1, 0, 0 ], [ 0, 0, -1 ] ], [ [ 0, 0, 1 ], [ 1, 0, 0 ], [ 0, 1, 0 ] ], [ [ -1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, -1 ] ], [ [ 1, 0, 0 ], [ 0, -1, 0 ], [ 0, 0, -1 ] ] ] ]
Note that the matrices are specified only on a generating set and not on all elements of the symmetric group.