Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On properties not inherited by monoids from their Schutzenberger groups   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.

13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin