Welcome to MathOverflow

Question

7

1

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.

edited Dec 3 2010 at 1:04

François G. Dorais♦
22.5k●2●48●113

asked Dec 3 2010 at 0:12

dan
469●2●3

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

Denis Osin · Accepted Answer · 2010-12-03 01:26:04Z UTC

9

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.

edited Dec 3 2010 at 1:26

answered Dec 3 2010 at 1:15

Denis Osin
1,706●6●14

	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? – Mark Sapir Dec 3 2010 at 1:21
	It is not quite clear for me why $c$ commutes with all conjugates by $b^n$. – Denis Osin Dec 3 2010 at 1:38
	The normal closure of $c$ is infinite. – Steve D Mar 23 2011 at 2:42

ndkrempel · Answer 2 · 2010-12-03 01:38:55Z UTC

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.

does this group have a name?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.