Introduction
Many groups can be defined by certain group presentation for example the cyclic group , the group $\mathbb{Z}/ m\mathbb{Z}\times \mathbb{Z}/ n\mathbb{Z}$, the dihedral group $\ldots$ etc (see wikipedia page presentation of a group).
Question ?
There is a group that is definied as follows, $$V_{8n}=⟨a, b|a^{ 2n} = b^{ 4} = e, ba = a^{ −1} b ^{ −1} , b^{ −1} a = a ^{ −1} b⟩.$$
Does anyone know the name of the above group ? (the $V_{8n}$ group).
Example: The group $D_n $ with presentation $⟨s, r|s^{ 2 } = r^{ n} = e, sr = r^{ −1} s⟩$ is called the dihedral group.
Thanks in advance !