Dicyclic group:Dic20

Definition
This group is defined as the member of family::dicyclic group of order $$20$$, and hence degree $$5$$. In other words, it has the presentation:

$$\langle a,b,c \mid a^5 = b^2 = c^2 = abc \rangle$$

Alternatively, it has the presentation:

$$\langle a,b,c \mid a^{10} = e, a^5 = b^2, bab^{-1} = a^{-1} \rangle$$.