Groebner-Shirshov besis for a free inverse semigroup
Leonid Arkad'evich Bokut', Yuqun Chen, Xiangui Zhao · arXiv (Cornell University) · 2008
A new construction of a free inverse semigroup was obtained by Poliakova and Schein in 2005. Based on their result, we find a Groebner-Shirshov basis of a free inverse semigroup relative to the deg-lex order of words. In particular, we give the (unique and shortest) Groebner-Shirshov normal forms in the classes of equivalent words of a free inverse semigroup together with the Groebner-Shirshov algorithm to transform any word to its normal form.