The group of braids on strands, composed by stacking, with adjacent-crossing generators and the braid group relations. It retains over/under crossings and is not a permutation group.
The generators commute when and satisfy . Unlike a symmetric-group presentation, there is no relation.