Definition:Dicyclic Group

Definition
For even $n$, the dicyclic group $Q_n$ of order $2n$ is the group having the presentation:


 * $Q_n = \left \langle{x, y: x^n = 1, y^2 = x^{\frac n 2}, y^{-1}xy = x^{-1} }\right \rangle$