António Malheiro

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' 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' is finite, then finiteness of the presentation and of the homotopy base is preserved.

Given a monoid defined by a presentation, and a homotopy base for the derivation graph associated to the presentation, and given an arbitrary subgroup of the monoid, we give a homotopy base (and presentation) for the subgroup. If the monoid has finite derivation type (FDT), and if under the action of the monoid on its subsets by right multiplication the strong orbit of the subgroup is finite, then we obtain a finite homotopy base for the subgroup, and hence the subgroup has FDT. As an application we prove that a regular monoid with finitely many left and right ideals has FDT if and only if all of its maximal subgroups have FDT. We use this to show that a finitely presented regular monoid with finitely many left and right ideals satisfies the homological finiteness condition FP3 if all of its maximal subgroups satisfy the condition FP_3.