Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2022/paper-2/10/c/solution

The three order-four subgroups are
In each case the generator has powers , so all three are cyclic and mutually isomorphic to , a cyclic group of order four. For the table is
The maps and are explicit group isomorphisms. These are all order-four subgroups: any such subgroup contains an element other than , and that element has order four and already generates the subgroup. They share the order-two subgroup and are each normal, being of index two.

New to topics? Read the docs here!