Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ib/paper-2/9e/b/solution

Let an order- subgroup act on . Since the number of cosets is divisible by , orbit counting and Cauchy produce a fixed coset with stabiliser extending by index . Induction yields subgroups of every -power order. Applying the same orbit count to the action of on leaves fixed cosets indexed by , giving .

New to topics? Read the docs here!