Dihedral group:D14

Definition
The group is defined as the member of family::dihedral group of degree 7 and hence order 14. It is given explicitly by the presentation:

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

Here, $$e$$ denotes the identity element.