Prove $\mathbb Z_s$, $G_s$ (the group of symmetries of the square) and the quaternion group $Q$ are not pairwise isomorphic.
How would you go about proving. Seems quite difficult. I know that none of the latter two can be isomorphic to $\mathbb Z_8$ because it is abelian and they are not....