Antisymmetrizer/Definition

Projection operator that projects onto an antisymmetric subspace of a tensor product space of identical linear spaces; in quantum mechanics used to symmetry-adapt fermion wave functions.