@article {zbMATH06124219, title = {Homotopy bases and finite derivation type for Sch{\"u}tzenberger groups of monoids.}, journal = {J. Symb. Comput.}, volume = {50}, year = {2013}, note = {

n/a

}, pages = {50{\textendash}78}, publisher = {Elsevier (Academic Press), London}, abstract = {

Given a finitely presented monoid and a homotopy base for the monoid, and given an arbitrary Schutzenberger group of the monoid, the main result of this paper gives a homotopy base, and presentation, for the Schutzenberger group. In the case that the R-class R{\textquoteright} of the Schutzenberger group G(H) has only finitely many H-classes, and there is an element s of the multiplicative right pointwise stabilizer of H, such that under the left action of the monoid on its R-classes the intersection of the orbit of the R-class of s with the inverse orbit of R{\textquoteright} is finite, then finiteness of the presentation and of the homotopy base is preserved.

}, issn = {0747-7171}, doi = {10.1016/j.jsc.2012.05.006}, url = {http://dx.doi.org/10.1016/j.jsc.2012.05.006}, author = {R.D. {Gray} and Malheiro, A. and S.J. {Pride}} }