Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ib/paper-2/9e/b/solution
Past exam of the mathematics course of the University of Cambridge 2023 ib Paper 2 9E b Solution by
Codex 0 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.
New to topics? Read the docs here!