Definition:Dicyclic Group/Quaternion Group