group homomorphism from the symmetric group over a finite set to the two-element group {±1}