8
$\begingroup$

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.

$\endgroup$
  • 1
    $\begingroup$ You can fit the group presentation into the title of the question and I would suggest doing so. $\endgroup$ – j.c. Dec 3 '10 at 0:23
  • $\begingroup$ You've probably already observed that its abelianization is $C_\infty \times C_2$. This much certainly matches the lamplighter... $\endgroup$ – ndkrempel Dec 3 '10 at 1:14
10
$\begingroup$

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.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ It looks like the group is virtually cyclic. In fact it is an extension of the 4-element Klein group by the infinite cyclic group that permutes the two generating involutions. Do a change of variables $c=ba$. Get $c^2=1$, $c$ commutes with all conjugates by $b^n$. So the group is a factor-group of the lamplighter group. Now the relation $a^2b=ba^2$ means, if I am not mistaken, $cbcb=bcbc$. Which means $cc^b=c^bc^{b^2}$ or $c=c^{b^2}$. So the normal subgroup generated by $c$ is of order 4. Right? $\endgroup$ – user6976 Dec 3 '10 at 1:21
  • $\begingroup$ It is not quite clear for me why $c$ commutes with all conjugates by $b^n$. $\endgroup$ – Denis Osin Dec 3 '10 at 1:38
  • $\begingroup$ The normal closure of $c$ is infinite. $\endgroup$ – Steve D Mar 23 '11 at 2:42
4
$\begingroup$

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.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Denis has beat me to most of that with his edit! $\endgroup$ – ndkrempel Dec 3 '10 at 1:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.