Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2019 / Paper 2 / 8 / d

No. The quaternion groupis another non-abelian group of order eight: for example $ij=k$ while $ji=-k$. Its multiplication comes from the associative quaternion algebra, so it does define a group.

It is not isomorphic to the dihedral group of the square. In $Q_8$, only $-1$ has order two; the six elements $\pm i,\pm j,\pm k$ have order four. The square's dihedral group has five elements of order two: four reflections and the half-turn. Group isomorphisms preserve element orders, so these groups are distinct. The hypothesis in part (c) excludes $Q_8$, since its only element of order two is already in each cyclic subgroup of order four.