Solution

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

Take . The unit modulo has order , because
Let a generator of act on by . The action is well defined since its order divides . The semidirect product
has order . Its construction as a semidirect product ensures that retains order . Since , the groups generated by and do not commute, so is nonabelian.

New to topics? Read the docs here!