Solution

ID: past-exam-of-the-short-options-course-of-the-university-of-oxford/2021/2/b/solution

Write with . The Sylow theorems give and . Since , necessarily . Its unique Sylow subgroup is a normal subgroup and has prime order , so
A Sylow subgroup has trivial intersection with , and , so . Thus
The 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!