Groebner-Shirshov basis for the braid semigroup

Abstract

We found Groebner-Shirshov basis for the braid semigroup $B_{n+1}^{+}$. It gives a new algorithm for the solution of the word problem for the braid semigroup and so for the braid group.