Linear representation theory of symmetric groups (original) (raw)

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 S n {\displaystyle S_{n}} the symmetric group of degree n {\displaystyle n} . For convenience, we assume that the set it acts on is { 1 , 2 , … , n } {\displaystyle \{1,2,\dots ,n\}} .

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 Z {\displaystyle \mathbb {Z} } . In fact, the representations themselves can be realized using matrices where all the entries are integers. (Note that the representations being realizable over Q {\displaystyle \mathbb {Q} } is equivalent to their being realizable over Z {\displaystyle \mathbb {Z} } 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 n {\displaystyle n} . 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 n {\displaystyle n} 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

n {\displaystyle n}	n ! {\displaystyle n!} (order of symmetric group)	p ( n ) {\displaystyle p(n)} (number of irreps = number of unordered integer partitions)	Symmetric group S n {\displaystyle S_{n}}	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]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.

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 λ {\displaystyle \lambda } equals the number of Young tableaux whose Young diagram has shape λ {\displaystyle \lambda } . This number is given by the hook-length formula:

d λ = n ! ∏ h o o k - l e n g t h s {\displaystyle d_{\lambda }={\frac {n!}{\prod \operatorname {hook-lengths} }}} .

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 3 + 2 + 1 {\displaystyle 3+2+1} , the hook lengths of corner positions are all 1 {\displaystyle 1} , the hook length of the top left square is 5 {\displaystyle 5} , and the hook lengths of the other two squares are both 3 {\displaystyle 3} . Thus, the degree of the corresponding irreducible representation is:

6 ! 5 ⋅ 3 ⋅ 3 = 16 {\displaystyle {\frac {6!}{5\cdot 3\cdot 3}}=16} .

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 λ {\displaystyle \lambda } is equal to the number of Young tableaux of shape λ {\displaystyle \lambda } . A Young tableau of shape λ {\displaystyle \lambda } can be identified with a directed path in the Young graph from the one-element Young diagram to the diagram for shape λ {\displaystyle \lambda } . 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:

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

n {\displaystyle n}	Link to linear representation theory page	List of d λ {\displaystyle d_{\lambda }} s in ascending order	Pairs ( λ , d λ ) {\displaystyle (\lambda ,d_{\lambda })}
1 {\displaystyle \!1}	--	1 {\displaystyle \!1}	( 1 , 1 ) {\displaystyle \!(1,1)}
2 {\displaystyle \!2}	link	1 , 1 {\displaystyle \!1,1}	( 2 , 1 ) , ( 1 + 1 , 1 ) {\displaystyle \!(2,1),(1+1,1)} .
3 {\displaystyle \!3}	link	1 , 1 , 2 {\displaystyle \!1,1,2}	( 3 , 1 ) , ( 1 + 1 + 1 , 1 ) , ( 2 + 1 , 2 ) {\displaystyle \!(3,1),(1+1+1,1),(2+1,2)} .
4 {\displaystyle \!4}	link	1 , 1 , 2 , 3 , 3 {\displaystyle \!1,1,2,3,3}	( 4 , 1 ) , ( 1 + 1 + 1 + 1 , 1 ) , ( 2 + 2 , 2 ) , ( 3 + 1 , 3 ) , ( 2 + 1 + 1 , 3 ) {\displaystyle \!(4,1),(1+1+1+1,1),(2+2,2),(3+1,3),(2+1+1,3)} .
5 {\displaystyle \!5}	link	1 , 1 , 4 , 4 , 5 , 5 , 6 {\displaystyle \!1,1,4,4,5,5,6}	( 5 , 1 ) , ( 1 + 1 + 1 + 1 + 1 , 1 ) , ( 4 + 1 , 4 ) , ( 2 + 1 + 1 + 1 , 4 ) , ( 3 + 2 , 5 ) , ( 2 + 2 + 1 , 5 ) , ( 3 + 1 + 1 , 6 ) {\displaystyle \!(5,1),(1+1+1+1+1,1),(4+1,4),(2+1+1+1,4),(3+2,5),(2+2+1,5),(3+1+1,6)} .
6 {\displaystyle \!6}	link	1 , 1 , 5 , 5 , 5 , 5 , 9 , 9 , 10 , 10 , 16 {\displaystyle \!1,1,5,5,5,5,9,9,10,10,16}	( 6 , 1 ) , ( 1 + 1 + 1 + 1 + 1 + 1 , 1 ) , ( 5 + 1 , 5 ) , ( 2 + 1 + 1 + 1 + 1 , 5 ) , ( 3 + 3 , 5 ) , ( 2 + 2 + 2 , 5 ) {\displaystyle \!(6,1),(1+1+1+1+1+1,1),(5+1,5),(2+1+1+1+1,5),(3+3,5),(2+2+2,5)} ( 4 + 2 , 9 ) , ( 2 + 2 + 1 + 1 , 9 ) , ( 4 + 1 + 1 , 10 ) , ( 3 + 1 + 1 + 1 , 10 ) , ( 3 + 2 + 1 , 16 ) {\displaystyle \!(4+2,9),(2+2+1+1,9),(4+1+1,10),(3+1+1+1,10),(3+2+1,16)}

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 S n {\displaystyle S_{n}} for 1 ≤ n ≤ 9 {\displaystyle 1\leq n\leq 9} , along with some related information. The Plancherel measure of a representation of degree d {\displaystyle d} is d 2 / ( n ! ) {\displaystyle d^{2}/(n!)} :

n {\displaystyle n}	n ! {\displaystyle n!}	p ( n ) {\displaystyle p(n)}	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	1 / 6 ≈ 0.17 {\displaystyle 1/6\approx 0.17} , 1 / 6 ≈ 0.17 {\displaystyle 1/6\approx 0.17} , 2 / 3 ≈ 0.67 {\displaystyle 2/3\approx 0.67}
4	24	5	1,1,2,3,3	1 / 24 ≈ 0.042 {\displaystyle 1/24\approx 0.042} , 1 / 24 ≈ 0.042 {\displaystyle 1/24\approx 0.042} , 1 / 6 ≈ 0.17 {\displaystyle 1/6\approx 0.17} , 3 / 8 = 0.375 {\displaystyle 3/8=0.375} , 3 / 8 = 0.375 {\displaystyle 3/8=0.375}
5	120	7	1,1,4,4,5,5,6	0.0083 , 0.0083 , 0.1333 , 0.1333 , 0.2083 , 0.2083 , 0.3 {\displaystyle 0.0083,0.0083,0.1333,0.1333,0.2083,0.2083,0.3}
6	720	11	1,1,5,5,5,5,9,9,10,10,16	0.00138 , 0.00138 , 0.03472 , 0.03472 , 0.03472 , 0.1125 , {\displaystyle 0.00138,0.00138,0.03472,0.03472,0.03472,0.1125,} 0.1389 , 0.1389 , 0.3556 {\displaystyle 0.1389,0.1389,0.3556}
7	5040	15	1,1,6,6,14,14,14,14,15,15,20,21,21,35,35	0.0002 , 0.0002 , 0.0071 , 0.0071 , 0.0389 , 0.0389 , {\displaystyle 0.0002,0.0002,0.0071,0.0071,0.0389,0.0389,} 0.0389 , 0.0389 , 0.0446 , 0.0446 , 0.0794 , 0.0875 , 0.0875 , 0.2431 , 0.2431 {\displaystyle 0.0389,0.0389,0.0446,0.0446,0.0794,0.0875,0.0875,0.2431,0.2431}
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	0.00002 , 0.00002 , 0.0012 , 0.0012 , 0.0049 , 0.0049 , 0.0099 , {\displaystyle 0.00002,0.00002,0.0012,0.0012,0.0049,0.0049,0.0099,} 0.0099 , 0.0109 , 0.0109 , 0.0194 , 0.0194 , 0.0304 , 0.0304 , {\displaystyle 0.0099,0.0109,0.0109,0.0194,0.0194,0.0304,0.0304,} 0.0438 , 0.0778 , 0.0778 , 0.1016 , 0.1016 , 0.1215 , 0.1215 , 0.2009 {\displaystyle 0.0438,0.0778,0.0778,0.1016,0.1016,0.1215,0.1215,0.2009}
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 a + 1 + 1 + ⋯ + 1 {\displaystyle a+1+1+\dots +1} correspond to important representations. The degree of the representation for such a partition is ( n − 1 a − 1 ) {\displaystyle {\binom {n-1}{a-1}}} . Particular cases of importance are:

Conjugate of a partition

For any partition λ {\displaystyle \lambda } , there is a conjugate partition λ ¯ {\displaystyle {\overline {\lambda }}} obtained geometrically by flipping the Young diagram (interchanging the role of rows and columns). The hook-length formula makes it clear that the degrees d λ {\displaystyle d_{\lambda }} and d λ ¯ {\displaystyle d_{\overline {\lambda }}} are equal. Further, the description of the construction of the irreducible representation makes it clear that the representation corresponding to λ ¯ {\displaystyle {\overline {\lambda }}} is equivalent to the representation obtained by multiplying the representation corresponding to λ {\displaystyle \lambda } by multiplying by the sign of the permutation. In other words, the representation for λ ¯ {\displaystyle {\overline {\lambda }}} is the tensor product of the sign representation and the representation for λ {\displaystyle \lambda } . Thus, the character values for these representations are equal for even permutations and negatives of each other for odd permutations.

A partition λ {\displaystyle \lambda } that equals its own conjugate partition is termed a self-conjugate partition. Examples are 2 + 1 , 3 + 2 + 1 , 4 + 2 + 1 + 1 {\displaystyle 2+1,3+2+1,4+2+1+1} . 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 0 {\displaystyle 0} at all odd permutations.

Induction and restriction between symmetric groups

Further information: Pieri's rule

Case of one less

Consider the embedding of S n − 1 {\displaystyle S_{n-1}} in S n {\displaystyle S_{n}} induced by the inclusion map { 1 , 2 , 3 , … , n − 1 } {\displaystyle \{1,2,3,\dots ,n-1\}} to { 1 , 2 , 3 … , n } {\displaystyle \{1,2,3\dots ,n\}} . Suppose φ {\displaystyle \varphi } is an irreducible representation of S n − 1 {\displaystyle S_{n-1}} and ψ {\displaystyle \psi } is an irreducible representation of S n {\displaystyle S_{n}} .

By Frobenius reciprocity, the multiplicity of φ {\displaystyle \varphi } in the restriction of ψ {\displaystyle \psi } to S n − 1 {\displaystyle S_{n-1}} equals the multiplicity of ψ {\displaystyle \psi } in the induction of φ {\displaystyle \varphi } to S n {\displaystyle S_{n}} . It turns out that the following is true as a special case of Pieri's rule:

Some easy corollaries of this:

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 n {\displaystyle n} as matrices. The representations have been arranged in increasing order of degree.

n {\displaystyle n}	Number of irreps	Character table	Size-degree-weighted character table	More information
1	1	( 1 ) {\displaystyle {\begin{pmatrix}1\end{pmatrix}}}	( 1 ) {\displaystyle {\begin{pmatrix}1\end{pmatrix}}}	--
2	2	( 1 1 1 − 1 ) {\displaystyle {\begin{pmatrix}1&1\\1&-1\\\end{pmatrix}}}	( 1 1 1 − 1 ) {\displaystyle {\begin{pmatrix}1&1\\1&-1\\\end{pmatrix}}}	link
3	3	( 1 1 1 1 − 1 1 2 0 − 1 ) {\displaystyle {\begin{pmatrix}1&1&1\\1&-1&1\\2&0&-1\\\end{pmatrix}}}	( 1 3 2 1 − 3 2 1 0 − 1 ) {\displaystyle {\begin{pmatrix}1&3&2\\1&-3&2\\1&0&-1\\\end{pmatrix}}}	link
4	5	( 1 1 1 1 1 1 − 1 1 1 − 1 2 0 − 1 2 0 3 1 0 − 1 − 1 3 − 1 0 − 1 1 ) {\displaystyle {\begin{pmatrix}1&1&1&1&1\\1&-1&1&1&-1\\2&0&-1&2&0\\3&1&0&-1&-1\\3&-1&0&-1&1\\\end{pmatrix}}}	( 1 6 8 3 6 1 − 6 8 3 − 6 1 0 − 4 3 0 1 2 0 − 1 − 2 1 − 2 0 − 1 2 ) {\displaystyle {\begin{pmatrix}1&6&8&3&6\\1&-6&8&3&-6\\1&0&-4&3&0\\1&2&0&-1&-2\\1&-2&0&-1&2\\\end{pmatrix}}}	link

Asymptotic representation theory

Further information: asymptotic representation theory of symmetric groups

Everywhere below, n {\displaystyle n} denotes the degree of the symmetric group under consideration, and we are interested in the asymptotic behavior as n → ∞ {\displaystyle n\to \infty } :

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 p ( n ) {\displaystyle p(n)}	exp ⁡ ( π 2 n / 3 ) 4 n 3 {\displaystyle \!{\frac {\exp \left(\pi {\sqrt {2n/3}}\right)}{4n{\sqrt {3}}}}}	π 2 n / 3 − log ⁡ ( n ) − log ⁡ ( 4 3 ) {\displaystyle \!\pi {\sqrt {2n/3}}-\log(n)-\log(4{\sqrt {3}})}
order of the group, also the sum of squares of degrees of irreducible representations	factorial of n {\displaystyle n} , n ! = ∏ i = 1 n i {\displaystyle n!=\prod _{i=1}^{n}i}	2 π n ( n e ) n {\displaystyle {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}}	n log ⁡ n − n + log ⁡ ( 2 π n ) {\displaystyle \!n\log n-n+\log({\sqrt {2\pi n}})}
root mean square of degrees of irreducible representations	n ! / p ( n ) {\displaystyle {\sqrt {n!/p(n)}}}	n ( n / 2 ) + ( 3 / 4 ) e − ( n / 2 ) − π n / 6 2 6 π {\displaystyle n^{(n/2)+(3/4)}e^{-(n/2)-\pi {\sqrt {n/6}}}2{\sqrt {\sqrt {6\pi }}}}	( n log ⁡ n ) / 2 − n + ( 3 log ⁡ n ) / 4 − π n / 6 + log ⁡ 2 + 1 4 log ⁡ ( 6 π ) {\displaystyle (n\log n)/2-n+(3\log n)/4-\pi {\sqrt {n/6}}+\log 2+{\frac {1}{4}}\log(6\pi )}

Combinatorial quantities for small n {\displaystyle n}

n {\displaystyle n}	n ! {\displaystyle n!}	p ( n ) {\displaystyle p(n)}	maximum degree of irreducible representation	root mean square of degrees of irreducible representations	average degree of irreducible representation weighted by Plancherel measure ( ( ∑ d 3 ) / n ! {\displaystyle (\sum d^{3})/n!} )	average degree divided by n ! {\displaystyle {\sqrt {n!}}}
1	1	1	1	1	1	1
2	2	2	1	1	1	1 / 2 ≈ 0.707 {\displaystyle 1/{\sqrt {2}}\approx 0.707}
3	6	3	2	2 ≈ 1.414 {\displaystyle {\sqrt {2}}\approx 1.414}	5 / 3 ≈ 1.667 {\displaystyle 5/3\approx 1.667}	5 / ( 3 6 ) ≈ 0.680 {\displaystyle 5/(3{\sqrt {6}})\approx 0.680}
4	24	5	3	24 / 5 ≈ 2.191 {\displaystyle {\sqrt {24/5}}\approx 2.191}	8 / 3 ≈ 2.667 {\displaystyle 8/3\approx 2.667}	4 / ( 3 6 ) ≈ 0.544 {\displaystyle 4/(3{\sqrt {6}})\approx 0.544}
5	120	7	6	120 / 7 ≈ 4.140 {\displaystyle {\sqrt {120/7}}\approx 4.140}	149 / 30 ≈ 4.967 {\displaystyle 149/30\approx 4.967}	149 / ( 60 30 ) ≈ 0.453 {\displaystyle 149/(60{\sqrt {30}})\approx 0.453}
6	720	11	16	720 / 11 ≈ 8.090 {\displaystyle {\sqrt {720/11}}\approx 8.090}	1007 / 90 ≈ 11.189 {\displaystyle 1007/90\approx 11.189}	1007 / ( 1080 5 ) ≈ 0.417 {\displaystyle 1007/(1080{\sqrt {5}})\approx 0.417}
7	5040	15	35	5040 / 15 ≈ 18.330 {\displaystyle {\sqrt {5040/15}}\approx 18.330}	8152 / 315 ≈ 25.879 {\displaystyle 8152/315\approx 25.879}	2038 / ( 945 35 ) ≈ 0.365 {\displaystyle 2038/(945{\sqrt {35}})\approx 0.365}

GAP implementation

Character table

The character table can be constructed using GAP's CharacterTable function. The character table for the symmetric group of degree n {\displaystyle n} 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 n = 4 {\displaystyle n=4} , 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.