GRÖBNER–SHIRSHOV BASES FOR FREE INVERSE SEMIGROUPS
Leonid Arkad'evich Bokut', Yuqun Chen, Xiangui Zhao · International Journal of Algebra and Computation · 2009
A new construction for free inverse semigroups was obtained by Poliakova and Schein in 2005. Based on their result, we find Gröbner–Shirshov bases for free inverse semigroups with respect to the deg-lex order of words. In particular, we give the (unique and shortest) normal forms in the classes of equivalent words of a free inverse semigroup together with the Gröbner–Shirshov algorithm to transform any word to its normal form.