In my work this week I came across a group with presentation with two generators a $a$ and b $b$ subject to the relations baba=1, a^2b=ba^2, $baba=1$, $a^2b=ba^2$, and ab^{-n}ab^n=b^nab^{-n}a. $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.
|
3 | added latex | ||
|
|
||||
|
|
2 | corrected spelling | ||
|
In my work this week I came across a group with presentation twith wo 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. |
||||
|
|
1 |
|
||
does this group have a name?In my work this week I came across a group with presentation twith wo 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.
|
||||
