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

A = Sum((-1)^p * p) = antisymmetrizer

A^2=n!A

this can be turned into a projection operator by renormalizing it to: Pa=1/n! * A