\begin{definition}[Definition:Dicyclic Group/Quaternion Group]
The dicyclic group $\Dic 2$ is known as the '''quaternion group'''.
The elements of $\Dic 2$ are:
:$\Dic 2 = \set {e, a, a^2, a^3, b, a b, a^2 b, a^3 b}$
\end{definition}