In my work this week I came across a group with presentation with two generators $a$ and $b$ subject to the relations $baba=1$, $a^2b=ba^2$, and $ab^{n}ab^n=b^nab^{n}a$. This group looks like the lamplighter group or something to me, but I couldn't get a sequence of Tietze transformations from this group to the standard presentation for the lamplighter. Does anyone know what this group is? thanks.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

All relations of the form $ab^{n}ab^n=b^nab^{n}a$ follow from $baba=1$, $a^2b=ba^2$ (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. 


The first two relations alone give a polycyclic group of Hirsch length 2 ($a^2$ is central, quotienting by it gives the infinite dihedral group $D_\infty$), which, thanks to Denis Osin's answer, is already the whole group. Even without that knowledge, it is still a quotient of this group, and so polycyclic of Hirsch length $\leq 2$. In particular, it is far too small to be the lamplighter. 

