All relations of the form $ab^{-n}ab^n=b^nab^{-n}a$ follow from $baba=1$, $a^2b=ba^2$ (easy exercise)exercise). So the group is isomorphic to $G=\langle a,b\mid baba=1, a^2b=ba^2\rangle$. The later splits as a central extension $1\to \mathbb Z\to G \to D_{\infty }\to 1$. I do not think the group has a name.
|
2 | added 155 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
All relations of the form $ab^{-n}ab^n=b^nab^{-n}a$ follow from $baba=1$, $a^2b=ba^2$ (easy exercise). I do not think the group has a name. |
||||
