Spherical braid group

In mathematics, the spherical braid group or Hurwitz braid group is a braid group on n strands. In comparison with the usual braid group, it has an additional group relation that comes from the strands being on the sphere. The group also has relations to the inverse Galois problem.

Definition

The spherical braid group on n strands, denoted $S{B}_n$ or $B_n(S^2)$, is defined as the fundamental group of the configuration space of the sphere: $$B_n(S^2)={\pi }_1({\mathrm{C}\mathrm{o}\mathrm{n}\mathrm{f}}_n(S^2)).$$ The spherical braid group has a presentation in terms of generators ${\sigma }_1,{\sigma }_2,\cdots ,{\sigma }_{n-1}$ with the following relations:

• ${\sigma }_i{\sigma }_j={\sigma }_j{\sigma }_i$ for $|i-j|\ge 2$
• ${\sigma }_i{\sigma }_{i+1}{\sigma }_i={\sigma }_{i+1}{\sigma }_i{\sigma }_{i+1}$ for $1\le i\le n-2$ (the Yang–Baxter equation)
• ${\sigma }_1{\sigma }_2\cdots {\sigma }_{n-1}{\sigma }_{n-1}{\sigma }_{n-2}\cdots {\sigma }_1=1$

The last relation distinguishes the group from the usual braid group.