On properties not inherited by monoids from their Schützenberger groups. (Q549674): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
m rollbackEdits.php mass rollback Tag: Rollback |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2050243749 / rank | |||
Revision as of 17:34, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On properties not inherited by monoids from their Schützenberger groups. |
scientific article |
Statements
On properties not inherited by monoids from their Schützenberger groups. (English)
0 references
18 July 2011
0 references
The authors give an example of a monoid with finitely many left and right ideals, all of whose Schützenberger groups are presentable by finite complete rewriting systems, and so each has finite derivation type (the property FDT), 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 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 the property FDT is known to be a quasi-isometry invariant [see \textit{J. M. Alonso}, J. Pure Appl. Algebra 95, No. 2, 121-129 (1994; Zbl 0823.20034); \textit{R. Cremanns} and \textit{F. Otto}, J. Symb. Comput. 22, No. 2, 155-177 (1996; Zbl 0874.20019)]. The same example is also used to show that neither of these two properties is preserved under finite Green index extensions. In group theory the property of being definable by a finite complete rewriting system and the property FDT are known to be preserved when taking finite index extensions [see \textit{K. S. Brown}, Cohomology of groups. Graduate Texts in Mathematics 87. New York-Heidelberg-Berlin: Springer-Verlag (1982; Zbl 0584.20036), Prop. 5.1; \textit{J. R. J. Groves} and \textit{G. C. Smith}, Proc. Edinb. Math. Soc., II. Ser. 36, No. 2, 283-288 (1993; Zbl 0806.20030)].
0 references
complete rewriting systems
0 references
finitely presented groups
0 references
finitely presented monoids
0 references
homotopy bases
0 references
finite derivation type
0 references
Schützenberger groups
0 references