Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ib/paper-1/9e/b/i/solution

Let act by left multiplication on the coset set . Composing the resulting homomorphism
with the sign homomorphism gives a homomorphism . If it were nontrivial, its kernel would have index two, contrary to the hypothesis. Thus every element of , and in particular , induces an even permutation.
Since is a Sylow -subgroup, is odd. Therefore
An involution acts as disjoint transpositions and fixed points. If fixed no coset, it would be a product of transpositions, an odd number, contradicting evenness. Hence
This is the even-involution coset fixed-point lemma.

New to topics? Read the docs here!