Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ib/paper-2/9e/b/ii/solution
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 2 9E b ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Count pairs where is a Sylow -subgroup fixing . Each of the seven point stabilizers contains three such subgroups, giving 21 pairs. Conversely, a -group acting on seven points has a fixed point, and a Sylow -subgroup cannot fix two points because a two-point stabilizer has order four. Hence every Sylow -subgroup occurs in exactly one pair, so
Similarly, each point stabilizer contains four Sylow -subgroups, giving 28 pairs. A group of order three acting on seven points has a fixed point, and it cannot fix two because a two-point stabilizer is a -group. Thus
The Sylow congruence and divisibility conditions give . Regard the faithful action as an embedding . If , its Sylow -subgroup is normal, so . The stated fact gives , impossible for a subgroup of order 168. HenceThese are the Sylow counts in a faithful degree-seven action with S4 point stabilizers.
New to topics? Read the docs here!