View source for Linear representation theory of symmetric group:S3

{{perspectives}}
{{group-specific information|
group = symmetric group:S3|
information type = linear representation theory|
connective = of}}

This article discusses the representation theory of [[symmetric group:S3]], a group of order 6. In the article we take <math>S_3</math> to be the group of permutations of the set <math>\{ 1,2,3 \}</math>.

==Summary==

<section begin="summary"/>
{| class="sortable" border="1"
! Item !! Value
|-
| [[Degrees of irreducible representations]] over a [[splitting field]] (and in particular over <math>\mathbb{C}</math>) || 1,1,2<br>[[maximum degree of irreducible representation|maximum]]: 2, [[lcm of degrees of irreducible representations|lcm]]: 2, [[number of irreducible representations equals number of conjugacy classes|number]]: 3<br>[[sum of squares of degrees of irreducible representations equals group order|sum of squares]]: 6, [[quasirandom degree]]: 1
|-
| [[Schur index]] values of irreducible representations || 1,1,1
|-
| Smallest ring of realization for all irreducible representations (characteristic zero) || <math>\mathbb{Z}</math>
|-
| [[Minimal splitting field]], i.e., smallest field of realization for all irreducible representations (characteristic zero) || <matH>\mathbb{Q}</math> (hence, it is a [[rational representation group]])
|-
| Condition for being a splitting field for this group || Any field of characteristic not two or three is a splitting field. In particular, <math>\mathbb{Q}</math> and <math>\R</math> are splitting fields.
|-
| [[Minimal splitting field]] in characteristic <math>p \ne 0,2,3</math> || The [[prime field]] <math>\mathbb{F}_p</math>
|-
| Smallest size splitting field || [[field:F5]], i.e., the field of five elements.
|}
<section end="summary"/>

==Family contexts==

{| class="sortable" border="1"
! Family name !! Parameter values !! General discussion of linear representation theory of family !! Section in this article !! Comparative note
|-
| [[symmetric group]] <math>S_n</math> of degree <math>n</math> || <math>n = 3</math>, i.e., the group <math>S_3</math> || [[Family version::linear representation theory of symmetric groups]] || [[#Interpretation as symmetric group]] || For any symmetric group on a finite set, all irreducible linear representations can be realized with entries in <math>\mathbb{Z}</math>, and these give irreducible representations over any field of characteristic not dividing the order of the group.
|-
| [[dihedral group]] <math>D_{2n}</math> of order <math>2n</math> and degree <math>n</math> || <math>n = 3</math>, i.e., the dihedral group <math>D_6</math> of order six || [[Family version::linear representation theory of dihedral groups]] || [[#Interpretation as dihedral group]] || For a dihedral group, the irreducible representations can be realized in a finite extension of <math>\mathbb{Z}</math> but not in <math>\mathbb{Z}</matH> itself except for degrees 3,4,6 (orders 6,8,12).
|-
| [[general affine group of degree one]] <math>GA(1,q)</math> over a [[finite field]] of size <math>q</math>|| <math>q = 3</math>, i.e., [[field:F3]], so the group is <math>GA(1,3)</math>|| [[Family version::linear representation theory of general affine group of degree one over a finite field]] || [[#Interpretation as general affine group of degree one]] ||
|-
| [[general linear group of degree two]] <math>GL(2,q)</math> over a [[finite field]] of size <math>q</math> || <math>q = 2</math>, i.e., [[field:F2]], so the group is <math>GL(2,2)</math>. || [[Family version::linear representation theory of general linear group of degree two over a finite field]] || [[#Interpretation as general linear group of degree two]] ||
|}

==Related notions==

* [[Modular representation theory of symmetric group:S3 at 2]]: The representation theory over [[field:F2]] and in other fields of characteristic two.
* [[Modular representation theory of symmetric group:S3 at 3]]: The representation theory over [[field:F3]] and in other fields of characteristic three.
* [[Projective representation theory of symmetric group:S3]]

==Back story==

{{character table determination back story|symmetric group:S3}}

==Irreducible representations==

===Summary information===

<section begin="representations summary"/>
Below is summary information on irreducible representations that are absolutely irreducible, i.e., they remain irreducible in any bigger field, and in particular are irreducible in a [[splitting field]]. We assume that the characteristic of the field is not 2 or 3, except in the last two columns, where we consider what happens in characteristic 2 and characteristic 3.

{| class="sortable" border="1"
! Name of representation type !! Number of representations of this type !! [[Degree of a linear representation|Degree]] !! [[Schur index]] !! Criterion for field !! Kernel !! Quotient by kernel (on which it descends to a faithful representation) !!  Characteristic 2 !! Characteristic 3
|-
| trivial || 1 || 1 || 1 || any  || whole group || [[trivial group]] || works || works
|-
| sign || 1 || 1 || 1 || any || [[A3 in S3]] || [[cyclic group:Z2]] || works, same as trivial || works
|-
| [[standard representation of symmetric group:S3|standard (two-dimensional irreducible)]] || 1 || 2 || 1 || any || trivial subgroup, i.e., it is faithful || [[symmetric group:S3]] || works || indecomposable but not irreducible
|}
<section end="representations summary"/>

===Trivial representation===

The trivial or principal representation is a one-dimensional representation sending every element of the symmetric group to the identity matrix of order one. This representation makes sense over all fields, and its character is 1 on all elements:

{| class="sortable" border="1"
! Element !! Matrix !! Characteristic polynomial !! Minimal polynomial !! Trace, character value
|-
| identity element || <math>( 1 )</math> || <math>t- 1</math> || <math>t - 1</math> || 1
|-
| <math>(1,2,3)</math> || <math>( 1 )</math> || <math>t - 1</math> || <math>t - 1</math> || 1
|-
| <math>(1,3,2)</math> || <math>( 1 )</math> || <math>t - 1</math> || <math>t - 1</math> || 1
|-
| <math>(1,2)</math> || <math>( 1 )</math> || <math>t - 1</math> || <math>t - 1</math> || 1
|-
| <math>(2,3)</math> || <math>( 1 )</math> || <math>t - 1</math> || <math>t - 1</math> || 1
|-
| <math>(1,3)</math> || <math>( 1 )</math> || <math>t - 1</math> || <math>t - 1</math> || 1
|}

===Sign representation===

The sign representation is a one-dimensional representation sending every permutation to its ''sign'': the even permutations get sent to 1 and the odd permutations get sent to -1. The kernel of this representation (i.e. the permutations that get sent to one) is the alternating group: the unique cyclic subgroup of order three comprising permutations <math>(1,2,3)</math>, <math>(1,3,2)</math> and the identity permutation. The three permutations of order two all get sent to -1.

This representation makes sense over any field, but when the characteristic of the field is two, it is the same as the trivial representation, because <math>1 = -1</math> in characteristic two.

{| class="sortable" border="1"
! Element !! Matrix !! Characteristic polynomial !! Minimal polynomial !! Trace, character value
|-
| identity element || <math>( 1 )</math> || <math>t - 1</math> || <math>t - 1</math> || 1
|-
| <math>(1,2,3)</math> || <math>( 1 )</math> || <math>t - 1</math> || <math>t - 1</math> || 1
|-
| <math>(1,3,2)</math> || <math>( 1 )</math> || <math>t - 1</math> || <math>t - 1</math> || 1
|-
| <math>(1,2)</math> || <math>( -1 )</math> || <math>t + 1</math> || <math>t + 1</math> || -1
|-
| <math>(2,3)</math> || <math>( -1 )</math> || <math>t + 1</math> || <math>t + 1</math> || -1
|-
| <math>(1,3)</math> || <math>( -1 )</math> || <math>t+ 1</math> || <math>t + 1</math> || -1
|}

===Standard representation===

{{further|[[Standard representation of symmetric group:S3]]}}

{{#lst:standard representation of symmetric group:S3|representation table}}

Since the representation is realized over <math>\mathbb{Z}</math>, it makes sense over all characteristics. The only characteristic where it is not irreducible is characteristic 3. In characteristic 3, the representation is indecomposable but not irreducible. 

Here is an alternative perspective on this representation in characteristic 3. The symmetric group is identified with the [[GA(1,q)|general affine group of degree one]] over the [[field:F3|field of three elements]]. In other words, it is the semidirect product of the additive group of this field (a [[cyclic group:Z3|cyclic group of order three]]) and the [[cyclic group:Z2|multiplicative group of this field]], where the multiplicative group acts on the additive group by multiplication. Via the general fact that embeds a general affine group in a general linear group of one size higher, we get a faithful representation of the symmetric group on three elements in the [[general linear group of degree two]] over [[field:F3]], i.e., in <math>GL(2,3)</math>.

==Degrees of irreducible representations==

{{irrep degrees facts to check against}}

Note that the linear representation theory of the symmetric group of degree three works over any field of characteristic not equal to two or three, and the list of degrees is <math>1,1,2</math>.

===Interpretation as symmetric group===

{{quotation|Compare and contrast with [[linear representation theory of symmetric groups]]}}

{| class="sortable" border="1"
! Common name of representation !! Degree !! Corresponding [[Unordered integer partition|partition]] !! [[Young diagram]] !! [[Hook-length formula]] for degree !! Quick rule for character computation
|-
| [[trivial representation]] || 1 || 3 || [[File:Youngdiag3.png|100px]] || <math>\frac{3!}{3 \cdot 2 \cdot 1}</math> || 1 everywhere
|-
| [[sign representation]] || 1 || 1 + 1 + 1 || [[File:Youngdiag1-1-1.png|30px]] || <math>\frac{3!}{3 \cdot 2 \cdot 1}</math> || 1 for even, -1 for odd
|-
| [[standard representation]] || 2 || 2 + 1 || [[File:Youngdiag2-1.png|60px]] || <math>\frac{3!}{3 \cdot 1 \cdot 1}</math> || (number of fixed points of permutation) - 1
|}

===Interpretation as dihedral group===

{{quotation|Compare and contrast with [[linear representation theory of dihedral groups]]}}

Below is the interpretation of the group as the dihedral group of odd degree <math>n = 3</math> and order <math>2n = 6</math>.

{| class="sortable" border="1"
! Representation type !! Degree of representation !! Number of such representations (general <math>n</math>) !! Number of such representations (case <math>n = 3</math>) !! List of representations
|-
| trivial representation || 1 || 1 || 1 || trivial representation
|-
| nontrivial representation with kernel the cyclic subgroup of order <math>n</math> || 1 || 1 || 1 || sign representation
|-
| representations arising from dihedral action: a generator of the cyclic subgroup goes to a non-identity rotation of order dividing <math>n</math>, and the elements outside get mapped to reflections || 2 || <math>(n - 1)/2</math> || 1 || [[standard representation]]
|-
| Total || -- || <math>(n + 3)/2</math> || 3 || --
|}

For more information on how the standard representation corresponds to the dihedral action, see the [[#Standard representation|discussion of standard representation earlier on this page]].

===Interpretation as general affine group of degree one===

{{quotation|Compare and contrast with [[linear representation theory of general affine group of degree one over a finite field]]}}

Below is the interpretation of the group as a [[general affine group of degree one]] over the finite field <math>\mathbb{F}_q</math> with <math>q = 3</math>, i.e., [[field:F3]], the field of three elements.

{| class="sortable" border="1"
! Representation type !! Degree of representation (general <math>q</math>) !! Degree of representation (<math>q = 3</math>) !! Number of representations (general <math>q</math>) !! Number of representations (<math>q = 3</math>) !! List of representations
|-
| one-dimensional, additive group in kernel, reduces to representation of multiplicative group || 1 || 1 || <math>q - 1</math> || 2 || trivial representation, sign representation
|-
| nontrivial component of permutation representation on <math>q</math> elements || <math>q - 1</math> ||  2 || 1 || 1 || standard representation
|-
| Total || -- || -- || <math>q</math> || 3 || --
|}

===Interpretation as general linear group of degree two===

{{quotation|Compare and contrast with [[linear representation theory of general linear group of degree two over a finite field]]}}
Below is the interpretation of the group as a [[general linear group of degree two]] over the finite field <math>\mathbb{F}_q</math> with <math>q = 2</math>, i.e., [[field:F2]], the field of two elements.

{| class="sortable" border="1"
! Description of collection of representations !! Parameter for describing each representation !! How the representation is described !! Degree of each representation (general <math>q</math>) !! Degree of representation (<math>q = 2</math>) !! Number of representations (general <math>q</math>) !! Number of representations (<math>q = 2</math>) !! List of representations 
|-
| One-dimensional, factor through the determinant map || a homomorphism <math>\alpha: \mathbb{F}_q^\ast \to \mathbb{C}^\ast</math> || <math>x \mapsto \alpha(\det x)</math> || 1 || 1 || <math>q - 1</math> || 1 || trivial representation
|-
| Unclear || a homomorphism <math>\varphi:\mathbb{F}_{q^2}^\ast \to \mathbb{C}^\ast</math>, up to the equivalence <math>\! \varphi \simeq \varphi^q</math>, excluding the cases where <math>\varphi = \varphi^q</math> || unclear || <math>q - 1</math> || 1 || <math>q(q - 1)/2</math> || 1 || [[#Sign representation|sign representation]]
|-
| Tensor product of one-dimensional representation and the nontrivial component of permutation representation of <math>GL_2</math> on the projective line over <math>\mathbb{F}_q</math> || a homomorphism <math>\alpha: \mathbb{F}_q^\ast \to \mathbb{C}^\ast</math> || <math>x \mapsto \alpha(\det x)\nu(x)</math> where <math>\nu</math> is the nontrivial component of permutation representation of <math>GL_2</math> on the projective line over <math>\mathbb{F}_q</math> || <math>q</math> || 2 || <math>q - 1</math> || 1 || [[Standard representation of symmetric group:S3|standard representation]]
|-
| Induced from one-dimensional representation of Borel subgroup || <math>\alpha, \beta</math> homomorphisms <math>\mathbb{F}_q^\ast \to \mathbb{C}^\ast</math> with <math>\alpha \ne \beta</math>, where <math>\{ \alpha, \beta \}</math> is treated as unordered. || Induced from the following representation of the Borel subgroup: <math>\begin{pmatrix} a & b \\ 0 & d \\\end{pmatrix} \mapsto \alpha(a)\beta(d)</math> || <math>q + 1</math> || 3 || <math>(q - 1)(q - 2)/2</math> || 0 || --
|-
| Total || NA || NA || NA || NA || <math>q^2 - 1</math> || 3 || 
|}

==Character table==

{{character table facts to check against}}


This is the character table in characteristic zero:

<section begin="character table"/>
{| class="sortable" border="1"
!Representation/Conjugacy class representative!! <math>()</math> (identity element) -- size 1 || <math>(1,2,3)</math> (3-cycle) -- size 2 || <math>(1,2)</math> (2-transposition) -- size 3
|-
| [[Trivial representation]] || 1 || 1 || 1
|-
| [[Sign representation]] || 1 || 1 || -1
|-
| [[Standard representation of symmetric group:S3|Standard representation]] || 2 || -1 || 0
|}
<section end="character table"/>
(Note that since all representations are realized over the rational numbers, all characters are integer-valued).

The same character table applies in any characteristic not equal to 2 or 3, where 0,-1,1,2 are interpreted, not as integers, but as elements of that field.

Here are the size-degree weighted characters (i.e., the product of the character value by the size of the conjugacy class divided by the degree of the representation).

{| class="sortable" border="1"
!Rep/Conj class !! <math>()</math> (identity element) || <math>(1,2,3)</math> (3-cycle) -- size 2 || <math>(1,2)</math> (2-transposition) -- size 3
|-
| [[Trivial representation]] || 1 || 2 || 3
|-
| [[Sign representation]] || 1 || 2 || -3
|-
| [[Standard representation of symmetric group:S3|Standard representation]] || 1 || -1 || 0
|}

Here is the orthogonal matrix obtained by multiplying each character value by the square root of the quotient of the size of its conjugacy class by the order of the group. Note that this is an orthogonal matrix due to the orthogonality relations between the characters.

<math>\begin{pmatrix} 1/\sqrt{6} & 1/\sqrt{3} & 1/\sqrt{2} \\ 1/\sqrt{6} & 1/\sqrt{3} & -1/\sqrt{2} \\ 2/\sqrt{6} & -1/\sqrt{3} & 0 \end{pmatrix}</math>

==Table of matrix entries==

===Using real orthogonal matrices as dihedral group===

This table satisfies the [[grand orthogonality theorem]] -- in particular, any two rows are orthogonal and each row has norm <math>1/n</math> where <math>n</math> is the degree of the representation. Note that unlike the character table, this table is not canonical and depends on the specific choice of matrices used for the two-dimensional representation.

{| class="sortable" border="1"
! Representation/element !! <math>()</math> !! <math>(1,2,3)</math> !! <math>(1,3,2)</math> !! <math>(1,2)</math> !! <math>(2,3)</math> !! <math>(1,3)</math>
|-
| trivial || 1 || 1 || 1 || 1 || 1 || 1
|-
| sign || 1 || 1 || 1 || -1 || -1 || -1
|-
| standard -- top left entry || 1 || -1/2 || -1/2 || -1/2 || 1 || -1/2
|-
| standard -- top right entry || 0 || <math>-\sqrt{3}/2</math> || <math>\sqrt{3}/2</math> || <math>\sqrt{3}/2</math> || 0 || <math>-\sqrt{3}/2</math>
|-
| standard -- bottom left entry || 0 || <math>\sqrt{3}/2</math> || <math>-\sqrt{3}/2</math> || <math>\sqrt{3}/2</math> || 0 || <math>-\sqrt{3}/2</math>
|-
| standard -- bottom right entry || 1 || -1/2 || -1/2 || 1/2 || -1 || 1/2
|}

==Realizability information==

===Smallest ring of realization===

Here are the representations and the ''smallest'' rings over which they can be realized. A representation that can be realized over a ring can be realized over any field containing a homomorphic image of that ring. In particular, a representation that can be realized over the [[ring of integers]] can be realized over any ring.

{| class="sortable" border="1"
! Representation !! Smallest ring of realization !! Corresponding field of realization !! Smallest possible set of numerical values of matrix entries !! Comments
|-
| [[Trivial representation]] || <math>\mathbb{Z}</math> -- the ring of integers || <math>\mathbb{Q}</math> || <math>\{ 1 \}</math> || gives the trivial representation over any ring
|-
| [[Sign representation]] || <math>\mathbb{Z}</math> -- the ring of integers || <matH>\mathbb{Q}</math> || <math>\{ 1,-1 \}</math> || gives a representation over any ring; nontrivial for characteristic not equal to <math>2</math>
|-
| [[Standard representation of symmetric group:S3|Standard representation]] || <math>\mathbb{Z}</math> -- the ring of integers || <math>\mathbb{Q}</math> || <math>\{ 0, 1, -1 \}</math> || gives an irreducible representation over any ring of characteristic not equal to <math>3</math>
|}

===Smallest ring of realization as real orthogonal matrices===

{| class="sortable" border="1"
! Representation !! Smallest ring of realization with orthogonal matrices !! Corresponding field of realization
|-
| trivial representation || <math>\mathbb{Z}</math> || <math>\mathbb{Q}</math>
|-
| sign representation || <math>\mathbb{Z}</math> || <matH>\mathbb{Q}</math> 
|-
| standard representation || <math>\mathbb{Z}[\sqrt{3}/2]</math> || <math>\mathbb{Q}(\sqrt{3})</math>
|}

==Schur functors corresponding to irreducible representations==

Note that the discussion in this section relies ''specifically'' on the group being a symmetric group, and ''does not make sense for arbitrary finite groups.''

{| class="sortable" border="1"
! Common name of representation !! Degree !! Square of degree !! Corresponding [[Unordered integer partition|partition]] !! [[Young diagram]] !! Common name of corresponding Schur functor !! Formula for dimension of corresponding [[Schur functor]] applied to a vector space of dimension <math>d</math> !! Degree of representation times this dimension  !! [[Formula for calculating effect of Schur functor on character]] if this Schur functor is applied to any (possibly unrelated) representation whose character is <math>\chi</math>
|-
| [[trivial representation]] || 1 || 1 || 3 || [[File:Youngdiag3.png|100px]] || <math>\operatorname{Sym}^3</math> || <math>d(d+1)(d+2)/6</math> || <math>d(d+1)(d+2)/6</math> || <math>(\chi(g)^3 + 3\chi(g^2)\chi(g) + 2\chi(g^3))/6</math>
|-
| [[sign representation]] || 1 || 1 || 1 + 1 + 1 || [[File:Youngdiag1-1-1.png|30px]] || <math>\wedge^3</math> || <math>d(d - 1)(d - 2)/6</math> || <math>d(d - 1)(d - 2)/6</math> || <math>(\chi(g)^3 - 3\chi(g^2)\chi(g) + 2\chi(g^3))/6</math>
|-
| [[standard representation]] || 2 || 4 || 2 + 1 || [[File:Youngdiag2-1.png|60px]] || <math>\mathbb{S}_{2,1}</math> || <math>d(d + 1)(d - 1)/3</math> || <math>2d(d + 1)(d - 1)/3</math> ||<math>(\chi(g)^3 - \chi(g^3))/3</math>
|-
! Total !! -- !! 6 (equals 3!, order of group) !! -- !! -- !! -- !! -- !! <math>d^3</math> (dimension of <math>\otimes^3</math>) !! --
|}

==Products and Schur functors==

===Character ring structure===

{{character ring facts to check against}}

This describes the decomposition of products of characters as sums of characters. Note that the product of characters of two representations is realized as the character of the tensor product of these representations. This is as follows:
{| class="sortable" border="1"
! Representation/representation !! trivial representation !! sign representation !! standard representation
|-
| trivial representation || trivial || sign || standard
|-
| sign representation || sign || trivial || standard
|-
| standard representation || standard || standard || trivial + sign + standard
|}

===Schur functors===

{{Schur functor facts to check against}}

{| class="sortable" border="1"
! Size of set being partitioned !! Partition for Schur functor !! Name of functor !! Formula for computing degree if original representation has degree <math>d</math> !! Formula for computing character of the representation obtained after applying this functor in terms of the original character <math>\chi</math>, on an element <math>g</math> !! Effect on trivial representation !! Effect on sign representation !! Effect on standard representation
|-
| 1 || 1 || identity functor || <math>d</math> || <math>\chi(g)</math> || trivial (dim: 1) || sign (dim: 1)|| standard (dim: 2)
|-
| 2 || 2 || [[symmetric square of a representation|symmetric square]] || <math>d(d + 1)/2</math> || <math>(\chi(g)^2 + \chi(g^2))/2</math> || trivial (dim: 1)|| trivial (dim: 1)|| trivial + standard (dim: 3)
|-
| 2 || 1 + 1 || exterior square or alternating square || <math>d(d - 1)/2</math> || <math>(\chi(g)^2 - \chi(g^2))/2</math> || empty (dim: 0) || empty (dim: 0) || sign (dim: 1)
|-
| 3 || 3 || symmetric cube || <math>d(d + 1)(d + 2)/6</math> || <math>(\chi(g)^3 + 3\chi(g^2)\chi(g) + 2\chi(g^3))/6</math> || trivial || sign || trivial + sign + standard (dim: 4)
|-
| 3 || 2 + 1 || ? || <math>d(d + 1)(d - 1)/3</math> || <math>(\chi(g)^3 - \chi(g^3))/3</math> || empty (dim: 0) || empty (dim: 0) || standard (dim: 2)
|-
| 3 || 1 + 1 + 1 || exterior cube || <math>d(d - 1)(d - 2)/6</math> || <math>(\chi(g)^3 - 3\chi(g^2)\chi(g) + 2\chi(g^3))/6</math> || empty (dim: 0) || empty (dim: 0) || empty (dim: 0)
|}

==Group ring interpretation==

===Direct sum decomposition===

If <math>K</math> is any [[field]] whose characteristic is not 2 or 3, then the [[group ring]] <math>K[S_3]</math> splits as a direct sum of two-sided ideals corresponding to the irreducible representations:

<math>K[S_3] \cong M_1(K) \oplus M_1(K) \oplus M_2(K) = K \oplus K \oplus M_2(K)</math>

More generally, if <math>R</math> is any commutative unital ring that is uniquely 2-divisible and uniquely 3-divisible, then we can write:

<math>R[S_3] \cong M_1(R) \oplus M_1(R) \oplus M_2(R) = R \oplus R \oplus M_2(R)</math>

Note that the ring of integers <math>\mathbb{Z}</math> does not satisfy the condition for this direct sum decomposition to hold. Instead we need to use the ring <math>\mathbb{Z}[1/2,1/3]</math> (In general, we need to use a ring that is uniquely divisible by all primes dividing the order of the group).

===Explicit decomposition and idempotents===

We can write:

<math>R[S_3] = M_1(R)e_1 \oplus M_1(R)e_2 \oplus M_2(R)e_3</math>

where <math>e_1,e_2,e_3</math> are idempotents. These are called primitive central idempotents.

{| class="sortable" border="1"
! Representation !! Degree <math>d</math> !! Corresponding primitive central idempotent that gives the identity element in the corresponding direct summand <math>M_d(R)</math> !! How to read this from the character table
|-
| trivial representation || 1 || <math>\frac{() + (1,2,3) + (1,3,2) + (1,2) + (2,3) + (1,3)}{6}</math> || We multiply each group element by its character value, add up, and divide by the order of the group. For the trivial representation, the character values are all 1.
|-
| sign representation || 1 || <math>\frac{() + (1,2,3) + (1,3,2) - (1,2) - (2,3) - (1,3)}{6}</math> || We multiply each group element by its character value, add up, and divide by the order of the group. For the trivial representation, the character values are <math>1</math> on the 3-cycles and the identity element and <math>-1</math> on the transpositions.
|-
| standard representation || 2 || <math>\frac{2() - (1,2,3) - (1,3,2)}{6}</math> || We multiply each group element by its character value, add up, and divide by the order of the group. For the standard representation, the character value is 2 at the identity element, -1 at the 3-cycles, and 0 at the transpositions (so we don't need to write the transpositions).
|}

==Orthogonality relations and numerical checks==

Recall that the degrees of irreducible representations are 1,1,2.

{| class="sortable" border="1"
! General statement !! Verification in this case
|-
| [[number of irreducible representations equals number of conjugacy classes]] || Both numbers are equal to 3.<br>As symmetric group <math>S_n, n = 3</math>: both numbers are equal to the [[number of unordered integer partitions]] of 3.<br>As <math>GL(2,q)</math>, <math>q = 2</math>: both numbers are equal to <math>q^2 - 1 = 2^2 - 1 = 3</math>.<br>As <math>GA(1,q), q = 3</math>: Both numbers are equal to <math>q = 3</math>.
|-
| [[sufficiently large implies splitting]]: if the field has characteristic not dividing the order of the group and has primitive <math>d^{th}</math> roots of unity for <math>d</math> the exponent of the group, it is a splitting field. || In fact, for this group, ''any'' field of characteristic not 2 or 3 is a splitting field.
|-
| [[number of one-dimensional representations equals order of abelianization]] || Both numbers are 2: the two one-dimensional representations are the trivial and sign representations, and the abelianization is [[cyclic group:Z2]] (arising as quotient by the subgroup of order three, which is the [[derived subgroup]]).
|-
| [[sum of squares of degrees of irreducible representations equals group order]] || <math>1^2 + 1^2 + 2^2 = 6</matH>
|-
| [[degree of irreducible representation divides order of group]] || The degrees (1,1,2) all divide the order 6.
|-
| [[degree of irreducible representation divides index of abelian normal subgroup]] || The degrees (1,1,2) all divide the index 2 of the abelian normal subgroup of order 3 in the whole group.
|-
| [[Ito-Michler theorem]] || The prime 3 is missing from the factors of degrees of irreducible representations, and indeed the 3-Sylow subgroup [[A3 in S3]] is abelian and normal.
|-
| [[row orthogonality theorem]] and [[column orthogonality theorem]] || Can be verified for the character table.
|}

==Action of automorphisms==

The automorphism group preserves each irreducible representation. This can be explained by the fact that every automorphism is inner, since the group is [[complete group|complete]].

==Relation with representations of subgroups==

===Induced representations from subgroups===

{{induced representations facts to check against}}

{| class="sortable" border="1"
! Subgroup !! Representation of subgroup !! [[Induced representation]] on whole group (in terms of character) !! Irreducible components of induced representation on whole group
|-
| 3-Sylow subgroup, i.e., the alternating group <math>\{ (), (1,2,3), (1,3,2) \}</math> || trivial representation || takes the value <math>2</math> on even permutations and <math>0</math> on odd permutations || trivial representation and sign representation
|-
| 3-Sylow subgroup, i.e., the alternating group <math>\{ (), (1,2,3), (1,3,2) \}</math> || nontrivial representation || takes the value <math>2</math> at the identity element, <math>-1</math> at 3-cycles, and <matH>0</math> outside || standard representation
|-
| 2-Sylow subgroup, such as <math>\{ (), (1,2) \}</math> || trivial representation || takes the value 3 at the identity element, 1 at each 2-transposition, and 0 at the 3-cycles || trivial representation and standard representation
|-
| 2-Sylow subgroup, such as <math>\{ (), (1,2) \}</math> || sign representation || takes the value 3 at the identity element, -1 at each 2-transposition, and 0 at 3-cycles ||sign representation and standard representation.
|}

===Restriction of representations to subgroups===

{| clsas="sortable" border="1"
! Representation on whole group !! Subgroup !! Restriction (in terms of character) !! Irreducible components of restriction
|-
| trivial representation || 3-Sylow subgroup || 1 everywhere || trivial representation
|-
| sign representation || 3-Sylow subgroup || 1 everywhere || trivial representation
|-
| standard representation || 3-Sylow subgroup || 2 on identity, -1 on 3-cycles || the two nontrivial representations
|-
| trivial representation || 2-Sylow subgroup || 1 everywhere || trivial representation
|-
| sign representation || 2-Sylow subgroup || 1 on identity, -1 on non-identity element || sign representation
|-
| standard representation || 2-Sylow subgroup || 2 on identity, 0 on non-identity element || trivial representation and sign representation
|}

===Relationship between irreducibles and those of subgroups: Frobenius reciprocity===

Here, the rows correspond to irreducible representations of the whole group, and the columns correspond to irreducible representations of the subgroup. The number in a cell is the multiplicity of the column representation in the restriction of the row representation to the subgroup; equivalently, it is the multiplicity of the row representation in the [[induced representation]] from the column representation of the subgroup to the whole group. These numbers are equal by [[Frobenius reciprocity]].

Between the whole group and its 3-Sylow subgroup:

{| class="sortable" border="1"
! Representation/representation !! Trivial !! Nontrivial !! Nontrivial
|-
| Trivial || 1 || 0 || 0
|-
| Sign || 1 || 0 || 0
|-
| [[Standard representation of symmetric group:S3|Standard]] || 0 || 1 || 1
|}

Between the whole group and its 2-Sylow subgroup:

{| class="sortable" border="1"
! Representation/representation !! Trivial !! Sign
|-
| Trivial || 1 || 0
|-
| Sign || 0 || 1
|-
| [[Standard representation of symmetric group:S3|Standard]] || 1 || 1
|}

===Verification of the McKay conjecture===

The [[McKay conjecture]] needs to be verified for primes 2 and 3. Since the 3-Sylow subgroup is normal, nothing needs to be checked for 3. The 2-Sylow subgroup is self-normalizing. The two numbers are:

# The number of odd-dimensional characters of the symmetric group: This is 2.
# The number of odd-dimensional characters of the 2-Sylow subgroup: This is 2.

Hence, the McKay conjecture is true for this group.

==GAP implementation==

===Degrees of irreducible representations===

The [[degrees of irreducible representations]] can be computed using the [[GAP:CharacterDegrees|CharacterDegrees]] function:

<pre>gap> CharacterDegrees(SymmetricGroup(3));
[ [ 1, 2 ], [ 2, 1 ] ]</pre>

===Character table===

The character table can be computed using the [[GAP:Irr|Irr]] and [[GAP:CharacterTable|CharacterTable]] functions:

<pre>gap> Irr(CharacterTable(SymmetricGroup(3)));
[ Character( CharacterTable( Sym( [ 1 .. 3 ] ) ), [ 1, -1, 1 ] ), Character( CharacterTable( Sym( [ 1 .. 3 ] ) ), [ 2, 0, -1 ] ),
  Character( CharacterTable( Sym( [ 1 .. 3 ] ) ), [ 1, 1, 1 ] ) ]</pre>

A nicer display can be achieved using the Display function:

<pre>gap> Display(CharacterTable(SymmetricGroup(3)));
CT1

     2  1  1  .
     3  1  .  1

       1a 2a 3a
    2P 1a 1a 3a
    3P 1a 2a 1a

X.1     1 -1  1
X.2     2  . -1
X.3     1  1  1</pre>

===Irreducible representations===

The irreducible representations can be computed using the [[GAP:IrreducibleRepresentations|IrreducibleRepresentations]] function:

<pre>gap> IrreducibleRepresentations(SymmetricGroup(3));
[ Pcgs([ (2,3), (1,2,3) ]) -> [ [ [ 1 ] ], [ [ 1 ] ] ], Pcgs([ (2,3), (1,2,3) ]) -> [ [ [ -1 ] ], [ [ 1 ] ] ],
  Pcgs([ (2,3), (1,2,3) ]) -> [ [ [ 0, 1 ], [ 1, 0 ] ], [ [ E(3), 0 ], [ 0, E(3)^2 ] ] ] ]</pre>