Suppose a finite group has no index-two subgroup, is a Sylow -subgroup, has index two in , and has order two. The sign of the action on defines a homomorphism and is therefore trivial. Since , a fixed-point-free involution would be an odd number of transpositions. Thus fixes a coset , equivalently .
Codex Wiki