On properties not inherited by monoids from their Schützenberger groups. (Q549674): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(8 intermediate revisions by 7 users not shown) | |||
Property / review text | |||
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)]. | |||
Property / review text: 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)]. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20M35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5925504 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
complete rewriting systems | |||
Property / zbMATH Keywords: complete rewriting systems / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finitely presented groups | |||
Property / zbMATH Keywords: finitely presented groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finitely presented monoids | |||
Property / zbMATH Keywords: finitely presented monoids / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homotopy bases | |||
Property / zbMATH Keywords: homotopy bases / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite derivation type | |||
Property / zbMATH Keywords: finite derivation type / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Schützenberger groups | |||
Property / zbMATH Keywords: Schützenberger groups / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: kan / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2050243749 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1012.2049 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness conditions on groups and quasi-isometries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological Finite Derivation Type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metrics on diagram groups and uniform embeddings in a Hilbert space. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4846257 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subgroups of free idempotent generated semigroups need not be free. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143495 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: String rewriting for double coset systems. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rewriting systems in alternating knot groups with the Dehn presentation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: String rewriting and homology of monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Banach algebras on semigroups and on their compactifications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4520856 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Amenability for discrete convolution semigroup algebras. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete involutive rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness and CAT(0) properties of diagram groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological and finiteness properties of picture groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finitely approximable regular semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups acting on semimetric spaces and quasi-isometries of monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy bases and finite derivation type for subgroups of monoids. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite complete rewriting systems for regular semigroups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy bases and finite derivation type for Schützenberger groups of monoids. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Green index and finiteness conditions for semigroups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On residual finiteness of monoids, their Schützenberger groups and associated actions. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On maximal subgroups of free idempotent generated semigroups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the structure of semigroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Soluble groups with a finite rewriting system / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagram groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On subgroups of R. Thompson's group $ F$ and other diagram groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagram groups and directed 2-complexes: homotopy and homology. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rewriting systems and geometric three-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4846425 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coset Enumeration in a Finitely Presented Semigroup / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: DETERMINING IDEALS OF A GIVEN FINITE INDEX IN A FINITELY PRESENTED SEMIGROUP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite homotopy bases of one-relator monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Homological Finiteness Properties Left-, Right-, and Bi-FP<sub><i>n</i></sub>of Monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON HOMOTOPICAL AND HOMOLOGICAL FINITENESS CONDITIONS FOR FINITELY PRESENTED MONOIDS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: For finitely presented monoids the homological finiteness conditions FHT and \(\text{bi-FP}_3\) coincide / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3853827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145882 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4658185 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure of regular semigroups. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4336275 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5302760 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure Results for Transitive, Untwisted, Superlinked Finite Covers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Presentations for subgroups of monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On finite presentability of monoids and their Schützenberger groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3249780 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3249782 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4783714 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A finiteness condition for rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relative Ideals in Semigroups. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite complete rewriting systems and finite derivation type for small extensions of monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The word problem for free partially commutative groups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:45, 4 July 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
0 references
0 references
0 references