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