Homotopy bases and finite derivation type for subgroups of monoids

Robert Gray, António Malheiro

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 homo…