Order $8$ has exactly five group types: three abelian and two nonabelian.Suggest a slogan
Up to isomorphism there are five groups of order \(8\). The abelian ones are \[ \ZZ/8\ZZ,\qquad\ZZ/4\ZZ\times\ZZ/2\ZZ,\qquad(\ZZ/2\ZZ)^3, \] and the nonabelian ones are the dihedral group \(D_4\) of order \(8\) and the quaternion group \(Q_8\).
What are the groups of order 8?