Artin braid group
A group is termed an Artin braid group if it can be equipped with a finite presentation as follows. The generators are for some , and for every , we have a nonnegative integer , possibly zero, and such that . The relation is given by:
Both sides have length . When is odd, the left side ends in and the right side ends in . When is even, the left side ends in and the right side ends in .
Such a presentation is termed an Artin presentation or Artin braid presentation.
The standard braid group is an example of an Artin braid group, where for all and for ..
Relation with Coxeter groups
Given a group with an Artin presentation, we can consider a corresponding Coxeter group. The Coxeter group is the quotient of the group by the normal closure of the squares of the generators. In other words it is the quotient by the group . The Coxeter presentation for the Coxeter group obtained has the same as the original group.