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

I've been trying to google this question, but to no avail. The question sounds elementary but I hope it's suitable for the experts at MO!

Let $B_n$ be the braid group on $n$-strands and $P_n$ be the pure braid group on $n$-strands. We have a well know decomposition of $P_n$ as $F_n \rtimes P_{n-1}$. In this light, my question is simply:

Are there known decompositions of $B_n$ in terms of direct/semidirect products of $B_{k}$ for $1\leq k < n$ and (possibly) other subgroups of $B_n$

I'd even be interested for special cases of $n$


share|cite|improve this question
$B_3$ is a central extension of $PSL_2(\mathbb Z)$. That's a fairly standard one. – Ryan Budney Jul 12 '12 at 19:29
Every braid group splits as a semidirect product: simply map each (standard) generator to $1\in\mathbb{Z}$. – Steve D Jul 12 '12 at 21:29
To be precise, a homomorphism to $\mathbf{Z}$ yields not one semidirect product decomposition, but plenty of them. – YCor Jun 28 '15 at 13:30

The answer is known for $B_3$ and $B_4$:

$B_3=\langle \sigma_1,\sigma_2\mid \sigma_1\sigma_2\sigma_1=\sigma_2\sigma_1\sigma_2\rangle$ decomposes as $B_3=F_2\rtimes \mathbb Z$, where $F_2=B_3'=\langle\sigma_2\sigma_1^{-1},\sigma_1\sigma_2\sigma_1^{-2}\rangle$, and $\mathbb Z=\langle \sigma_1\rangle$.


$B_4=\langle \sigma_1,\sigma_2,\sigma_3\mid \sigma_1\sigma_2\sigma_1=\sigma_2\sigma_1\sigma_2, \sigma_1\sigma_3=\sigma_3\sigma_1,\sigma_2\sigma_3\sigma_2=\sigma_3\sigma_2\sigma_3 \rangle$ decomposes as $B_4=F_2\rtimes B_3=F_2\rtimes (F_2\rtimes \mathbb Z)$, where the outer $F_2$ is generated by $\sigma_3\sigma_1^{-1}$ and $\sigma_2\sigma_3\sigma_1^{-1}\sigma_2^{-1}$, and $B_3$ has generators as above.

See Leonid Bokut, Andrei Vesnin, Grobner–Shirshov bases for some braid groups, Journal of Symbolic Computation 41 (2006) 357–371

or Theorem 2.1 (presentation for $B_n'$ for all $n$) here:

E. A. Gorin, V. Ya. Lin, “Algebraic equations with continuous coefficients and some problems of the algebraic theory of braids”, Mat. Sb. (N.S.), 78(120):4 (1969), 579–610

share|cite|improve this answer
What do you mean by "the answer is known"? the question is too vague to have a definite answer (unless you describe all semidirect product decompositions) – YCor Jun 28 '15 at 13:31

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.