Today we’ll introduce two elements of the group algebra of the symmetric group which have some interesting properties. Each one, given a representation of the symmetric group, will give us a subrepresentation of that representation.
The symmetrizer gets its name from the way that it takes an arbitrary vector and turns it into one that the symmetric group will act trivially on. Specifically, we use the element
That is, we take all permutations in the symmetric group and — in a sense — average them out. If we compose this with any permutation we find
But as runs over all the permutations in the group, does as well. So this is just the symmetrizer back again. The upshot is that if we have a representation we find that
Thus every vector in the image of is left unchanged by the action of any permutation. That is, is a subrepresentation on which acts trivially.
The antisymmetrizer, on the other hand, on the other hand, will give us vectors on which the symmetric group acts by the signum representation. We use the group algebra element
Now if we compose this with any permutation we find
Now given a representation we find that
Thus every vector in the image of is multiplied by the signum of any permutation. That is, is a subrepresentation on which acts by the signum representation.
Now, one thing to be careful about: I haven’t said that the subrepresentations are nontrivial. That is, when we (anti)symmetrize a representation, the subrepresentation we get may be zero — maybe no vectors in the representation transform trivially or by the signum representation. In fact, let’s check what happens when we multiply the symmetrizer and antisymmetrizer:
Where the sum comes to zero because we’re just adding up terms where and where , and so everything cancels out. That is, the symmetric part of an antisymmetrized representation is trivial. Similarly, the antisymmetric part of a symmetrized representation is trivial.