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.

On finite complete rewriting systems and large subsemigroups

Confluence of algebraic rewriting systems

Forward limit sets of semigroups of substitutions

Finite Groups with Some Given Systems of Xm‐semipermutable Subgroups

Finite groups with some given systems of Xm-semipermutable subgroups

Dynamical systems arising by iterated functions on arbitrary semigroups

On the number of countable subdirect powers of finite commutative semigroups

Regularity of Semigroup Rings

On Finite Presentability of Subsemigroups of the Monogenic Free Inverse Semigroup

On the Weak Regularity of Semigroup Rings

On linear rewriting systems for Boolean logic and some applications to proof theory

Elementary submodels in infinite combinatorics

On properties not inherited by monoids from their Schutzenberger groups

S-conditionally Semipermutable Subgroups of Finite Groups

On inverse ordered semigroups

Congruences of maximum regular subsemigroups of variants of finite full transformation semigroups

A computational approach to the study of finite-complement submonids of an affine cone

On the number of subdirect products involving semigroups of integers and natural numbers

Abundance of progression in large set for non commutative semigroup

Restricted Burnside Problem for Semigroups and Its Application to Language Theory

Finite Groups with Systems of Σ-embedded Subgroups