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