Gröbner-Shirshov bases for braid groups in Adyan-Thurston generators
arXiv:0909.3639
Abstract
In this paper, we give a Gröbner-Shirshov basis of the braid group in Adyan-Thurston generators. We also deal with the braid group of type . As results, we obtain a new algorithm for getting the Adyan-Thurston normal form, and a new proof that the braid semigroup is the subsemigroup in .