Quaternion group (source code)

= Quaternion group
{wiki}

The quaternion group $Q_8=\{\pm1,\pm i,\pm j,\pm k\}$ is a nonabelian Dedekind group.