Even-involution coset fixed-point lemma
ID: even-involution-coset-fixed-point-lemma
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 .
New to topics? Read the docs here!