Definition:Braid Group

Description
The braid group is a group that has a intuitive geometric interpretation as a number of strands, where the group operation on these strands is to intertwine them.

Generators
The generators of the braid group are elements $\sigma_i$, which intertwine strands $i$ and $i+1$ in such a way that strand $i$ runs above strand $i+1$.

Definition
The braid group on $n$ strands is generated by $\sigma_1, \sigma_2, \ldots, \sigma_{n-1}$ and the following relations:
 * 1) $\sigma_i \sigma_j = \sigma_j\sigma_i, \forall i, j: |i-j| \ge 2$
 * 2) $\sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1}, \forall i \in \{ 1, 2, \ldots, n-2 \}$

Examples
Generator $\sigma_i$ and the inverse generator $\sigma_i^{-1}$ acting on strands $s_i, s_{i+1}$:



Relation 1. can be pictured like this:

=

Relation 2. can be pictured like this:

=