Dihedral group:D64

Definition
This group is defined as the defining ingredient::dihedral group of order $$64 = 2^6$$ (or equivalently, the dihedral group of degree $$32 = 2^5$$). Explicitly, it is given by the presentation (where $$e$$ is the identity element):

$$\! G := \langle a,x \mid a^{32} = x^2 = e, xax = a^{-1} \rangle$$