MathOverflow is a question and answer site for professional mathematicians. 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

Is there a systematic way to solve equations in the braid groups? In particular, if $B_3$ is the braid group on three strands with the presentation $\{ a,b\ | \ aba = bab \}$, how do I find $x$ so that $xaxbx^{-1}b^{-1}x^{-1} = bax^{-1}b^{-1}x$ (if such an $x$ exists)?

share|cite|improve this question
Some terminology: if there is an algorithm to solve systems of equations and inequations in a group G, then the universal theory of G is said to be decidable. – HJRW Mar 13 '10 at 21:23

This group is a central extension of $PSL_2\mathbb{Z}$, which is a virtually free group. There is an algorithm to solve equations in such groups, and parameterize the solutions. Since your equation is degree zero in $a,b,x$, if the lift of the solution in $PSL_2\mathbb{Z}$ to $B_3$ solves the equation for one lift, it should work for any other lift. I'm not quite sure though how to determine this uniformly over all lifts of the solution. The solutions are given by Makanin-Razborov diagrams, and they are parameterized by various automorphisms. So I think you just need to check one solution in each equivalence class coming from each orbit.

share|cite|improve this answer
Technical quibble: I believe Dahmani and Guirardel don't do enough to compute the full Makanin--Razborov diagram. Their algorithm tells you whether or not there is a solution, but doesn't compute all solutions. There are very few concrete examples in which one actually knows the full Makanin--Razborov diagram. – HJRW Mar 13 '10 at 18:22
I see, thanks for the correction. I saw Gurardel talk about this a couple of years ago, but I haven't actually read the paper. – Ian Agol Mar 14 '10 at 15:57

The braid group is automatic, so has a solvable word problem. You might find this helpful. However, it's not clear to me that this means that equations can actually be solved.

share|cite|improve this answer
You're quite right. Having solvable word problem is much weaker than having decidable universal theory. For instance, solving the word problem in free groups is very easy, and proving that the universal theory of a free group is decidable is quite hard (see Agol's answer for a link with some references). – HJRW Mar 13 '10 at 21:28
More specifically: here's an example of a fg nilpotent group with undecidable universal theory.… – HJRW Mar 13 '10 at 21:31

Your equation is $xaxbXBXXbxAB = 1$; thus the substitution $x = b$ answers your particular question. May I ask where this equation comes from?

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.