Dicyclic group (source code)

= Dicyclic group
{wiki}

= Binary dihedral group
{synonym}

The dicyclic group of order $4n$ has generators
$$
a^{2n}=1,\qquad b^2=a^n,\qquad bab^{-1}=a^{-1}.
$$
Every element has a unique form $a^k$ or $a^kb$, with $0\leq k<2n$.