Solution
ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2021/2/b/solution
Past exam of the short options course of the University of Oxford 2021 2 b Solution by
Codex 0 2026-10-25
Write with . The Sylow theorems give and . Since , necessarily . Its unique Sylow subgroup is a normal subgroup and has prime order , soA Sylow subgroup has trivial intersection with , and , so . ThusThe semidirect product action is a group homomorphism . If the action is trivial, by the Chinese remainder theorem; if it is nontrivial, . In particular has both a cyclic normal subgroup and a cyclic quotient, making it a metacyclic group and hence a solvable group.
New to topics? Read the docs here!