Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the braid group $\mathcal{B}_3$ on three strands. It is known that $\mathcal{B}_3 = \langle x,y | xyx = yxy \rangle$ and that the center $Z\mathcal{B}_3$ is infinite cyclic generated by $(xy)^3$.

(1) What is the group $\mathcal{B}_3$ modulo the normal closure of $\langle x,(xy)^3 \rangle$ ?

(2) What is the index of $\langle x,(xy)^3 \rangle$ in $\mathcal{B}_3$ ?

It is not hard to show that $\langle x,(xy)^3 \rangle$ is isomorphic to $\mathbb{Z} \times \mathbb{Z}$.

share|cite|improve this question
Are any powers of $y$ in $H=\langle x, (xy)^3\rangle$? That would imply that the index is infinite. I don't remember how that nifty representation of $\mathcal{B}_3$ goes again, so can't prove it now. – Jyrki Lahtonen Jul 1 '11 at 21:53

$\langle x, y | xyx= yxy \rangle / \langle \langle x, (xy)^3 \rangle \rangle = \langle x,y | xyx=yxy, x=1, (xy)^3=1 \rangle=\langle y | y=y^2, y^3=1 \rangle = 1$.

share|cite|improve this answer

The structure of the braid group $\mathcal{B}_3$ is well understood. It is easily seen to be isomorphic to the group $\langle a,b \mid a^2 = b^3 \rangle$. If you factor out the central subgroup generated by $a^2$, you get the free product of cyclic groups of orders 2 and 3, of which the commutator subgroup has index 6 and is free of rank 2. So $\mathcal{B}_3$ has a subgroup of index 6 which is a direct product of a free group of rank 2 and an infinite cyclic group. Hence it is clearly not virtually abelian. So the abelian subgroup $\langle x,(xy)^3 \rangle$ must have infinite index.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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