The symmetrizer is defined on a group algebra of Sn as:

S = Sum(p) = symmetrizer

S^2=n!S

This can be turned into a projection operator by renormalizing it: Ps=1/n!*S