Semidihedral group:SD64

Definition
This group is defined as the defining ingredient::semidihedral group of order $$64 = 2^6$$. Explicitly, it is given by the following presentation (where $$e$$ denotes the identity element):

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