# Young symmetrizer

In mathematics, a Young symmetrizer is an element of the group algebra of the symmetric group, constructed in such a way that, for the homomorphism from the group algebra to the endomorphisms of a vector space ${\displaystyle V^{\otimes n}}$ obtained from the action of ${\displaystyle S_{n}}$ on ${\displaystyle V^{\otimes n}}$ by permutation of indices, the image of the endomorphism determined by that element corresponds to an irreducible representation of the symmetric group over the complex numbers. A similar construction works over any field, and the resulting representations are called Specht modules. The Young symmetrizer is named after British mathematician Alfred Young.

## Definition

Given a finite symmetric group Sn and specific Young tableau λ corresponding to a numbered partition of n, define two permutation subgroups ${\displaystyle P_{\lambda }}$ and ${\displaystyle Q_{\lambda }}$ of Sn as follows:

${\displaystyle P_{\lambda }=\{g\in S_{n}:g{\text{ preserves each row of }}\lambda \}}$

and

${\displaystyle Q_{\lambda }=\{g\in S_{n}:g{\text{ preserves each column of }}\lambda \}.}$

Corresponding to these two subgroups, define two vectors in the group algebra ${\displaystyle \mathbb {C} S_{n}}$ as

${\displaystyle a_{\lambda }=\sum _{g\in P_{\lambda }}e_{g}}$

and

${\displaystyle b_{\lambda }=\sum _{g\in Q_{\lambda }}\operatorname {sgn}(g)e_{g}}$

where ${\displaystyle e_{g}}$ is the unit vector corresponding to g, and ${\displaystyle \operatorname {sgn}(g)}$ is the signature of the permutation. The product

${\displaystyle c_{\lambda }:=a_{\lambda }b_{\lambda }=\sum _{g\in P_{\lambda },h\in Q_{\lambda }}\operatorname {sgn}(h)e_{gh}}$

is the Young symmetrizer corresponding to the Young tableau λ. Each Young symmetrizer corresponds to an irreducible representation of the symmetric group, and every irreducible representation can be obtained from a corresponding Young symmetrizer. (If we replace the complex numbers by more general fields the corresponding representations will not be irreducible in general.)

## Construction

Let V be any vector space over the complex numbers. Consider then the tensor product vector space ${\displaystyle V^{\otimes n}=V\otimes V\otimes \cdots \otimes V}$ (n times). Let Sn act on this tensor product space by permuting the indices. One then has a natural group algebra representation ${\displaystyle \mathbb {C} S_{n}\rightarrow {\text{End}}(V^{\otimes n})}$ on ${\displaystyle V^{\otimes n}}$.

Given a partition λ of n, so that ${\displaystyle n=\lambda _{1}+\lambda _{2}+\cdots +\lambda _{j}}$, then the image of ${\displaystyle a_{\lambda }}$ is

${\displaystyle {\text{Im}}(a_{\lambda }):=a_{\lambda }V^{\otimes n}\cong {\text{Sym}}^{\lambda _{1}}\;V\otimes {\text{Sym}}^{\lambda _{2}}\;V\otimes \cdots \otimes {\text{Sym}}^{\lambda _{j}}\;V.}$
${\displaystyle a_{\lambda }v_{1,2,3,4}=v_{1,2,3,4}+v_{2,1,3,4}+v_{1,2,4,3}+v_{2,1,4,3}=(v_{1}\otimes v_{2}+v_{2}\otimes v_{1})\otimes (v_{3}\otimes v_{4}+v_{4}\otimes v_{3}).}$
${\displaystyle {\text{Im}}(b_{\lambda })\cong \bigwedge ^{\mu _{1}}V\otimes \bigwedge ^{\mu _{2}}V\otimes \cdots \otimes \bigwedge ^{\mu _{k}}V}$

where μ is the conjugate partition to λ. Here, ${\displaystyle {\text{Sym}}^{i}V}$ and ${\displaystyle \bigwedge ^{j}V}$ are the symmetric and alternating tensor product spaces.

The image ${\displaystyle \mathbb {C} S_{n}c_{\lambda }}$ of ${\displaystyle c_{\lambda }=a_{\lambda }\cdot b_{\lambda }}$ in ${\displaystyle \mathbb {C} S_{n}}$ is an irreducible representation[1] of Sn, called a Specht module. We write

${\displaystyle {\text{Im}}(c_{\lambda })=V_{\lambda }}$

for the irreducible representation.

Some scalar multiple of ${\displaystyle c_{\lambda }}$ is idempotent, that is ${\displaystyle c_{\lambda }^{2}=\alpha _{\lambda }c_{\lambda }}$ for some rational number ${\displaystyle \alpha _{\lambda }\in \mathbb {Q} }$. Specifically, one finds ${\displaystyle \alpha _{\lambda }=n!/{\text{dim }}V_{\lambda }}$. In particular, this implies that representations of the symmetric group can be defined over the rational numbers; that is, over the rational group algebra ${\displaystyle \mathbb {Q} S_{n}}$.

Consider, for example, S3 and the partition (2,1). Then one has ${\displaystyle c_{(2,1)}=e_{123}+e_{213}-e_{321}-e_{312}}$

If V is a complex vector space, then the images of ${\displaystyle c_{\lambda }}$ on spaces ${\displaystyle V^{\otimes d}}$ provides essentially all the finite-dimensional irreducible representations of GL(V).