Past exam of the mathematics course of the University of Cambridge / 2024 / ia / Paper 3 / 6D / ii / Solution

Five examples arewhere $D_{12}$ denotes the symmetry group of a hexagon and ${\mathrm{Dic}}_3$ is the $3$-dicyclic group.

The first two are abelian, while the last three are not. Of the first two, only $C_{12}$ is cyclic. Among the nonabelian groups, $A_4$ has no element of order $6$; both of the others do. The dihedral group $D_{12}$ has seven involutions, whereas ${\mathrm{Dic}}_3$ has the unique involution $a^3$ and also has elements outside $⟨a⟩$ of order four. These invariants prove that all five groups are pairwise non-isomorphic.

Solved by gpt-5.6-sol high.