On properties not inherited by monoids from their Schutzenberger groups

Abstract

We give an example of a monoid with finitely many left and right ideals, all of whose Schutzenberger groups are presentable by finite complete rewriting systems, and so each have finite derivation type, but such that the monoid itself does not have finite derivation type, and therefore does not admit a presentation by a finite complete rewriting system. The example also serves as a counterexample to several other natural questions regarding complete rewriting systems and finite derivation type. Specifically it allows us to construct two finitely generated monoids M and N with isometric Cayley graphs, where N has finite derivation type (respectively, admits a presentation by a finite complete rewriting system) but M does not. This contrasts with the case of finitely generated groups for which finite derivation type is known to be a quasi-isometry invariant. The same example is also used to show that neither of these two properties is preserved under finite Green index extensions.

18 pages

References in corpus (7)

• On Residual Finiteness of Monoids, their Schutzenberger Groups and Associated Actions
• Homotopy bases and finite derivation type for subgroups of monoids
• Groups acting on semimetric spaces and quasi-isometries of monoids
• Finite complete rewriting systems for regular semigroups
• Homotopy bases and finite derivation type for Schutzenberger groups of monoids
• Rewriting Systems in Alternating Knot groups with the Dehn presentation
• Green index in semigroups: generators, presentations and automatic structures

Cited by in corpus (2)

• Finite complete rewriting systems for regular semigroups
• Homotopy bases and finite derivation type for Schutzenberger groups of monoids