Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 2 9E b Solution Created 2026-09-24 Updated 2026-09-25
Let be proper. If divides , then contains a Sylow -subgroup of , and normality makes it contain all eight of them. Thus , so the Sylow divisibility theorem givesSince divides 168 and is proper, this forces .
Every nontrivial normal subgroup is transitive by normal subgroup orbits in a faithful prime-degree action. HenceBut is normal in , whereas has three, rather than one, Sylow -subgroups. This contradiction proves that no proper normal subgroup has order divisible by seven.