On properties not inherited by monoids from their Schützenberger groups.
From MaRDI portal
(Redirected from Publication:549674)
finitely presented groupsfinite derivation typefinitely presented monoidshomotopy basescomplete rewriting systemsSchützenberger groups
Generators, relations, and presentations of groups (20F05) Grammars and rewriting systems (68Q42) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35)
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.
Recommendations
- Homotopy bases and finite derivation type for Schützenberger groups of monoids.
- On finite presentability of monoids and their Schützenberger groups
- scientific article; zbMATH DE number 5218144
- FOR REWRITING SYSTEMS THE TOPOLOGICAL FINITENESS CONDITIONS FDT AND FHT ARE NOT EQUIVALENT
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
Cites work
- scientific article; zbMATH DE number 3133558 (Why is no real title available?)
- scientific article; zbMATH DE number 3133560 (Why is no real title available?)
- scientific article; zbMATH DE number 3654376 (Why is no real title available?)
- scientific article; zbMATH DE number 3572386 (Why is no real title available?)
- scientific article; zbMATH DE number 3574107 (Why is no real title available?)
- scientific article; zbMATH DE number 1008515 (Why is no real title available?)
- scientific article; zbMATH DE number 1544074 (Why is no real title available?)
- scientific article; zbMATH DE number 2146477 (Why is no real title available?)
- scientific article; zbMATH DE number 1842475 (Why is no real title available?)
- scientific article; zbMATH DE number 789389 (Why is no real title available?)
- scientific article; zbMATH DE number 789816 (Why is no real title available?)
- A finiteness condition for rewriting systems
- Amenability for discrete convolution semigroup algebras.
- Banach algebras on semigroups and on their compactifications
- Complete involutive rewriting systems
- Coset Enumeration in a Finitely Presented Semigroup
- DETERMINING IDEALS OF A GIVEN FINITE INDEX IN A FINITELY PRESENTED SEMIGROUP
- Diagram groups
- Diagram groups and directed 2-complexes: homotopy and homology.
- Finite complete rewriting systems and finite derivation type for small extensions of monoids
- Finite complete rewriting systems for regular semigroups.
- Finite homotopy bases of one-relator monoids
- Finitely approximable regular semigroups
- Finiteness and CAT(0) properties of diagram groups.
- Finiteness conditions on groups and quasi-isometries
- For finitely presented monoids the homological finiteness conditions FHT and \(\text{bi-FP}_3\) coincide
- For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\)
- Green index and finiteness conditions for semigroups.
- Groups acting on semimetric spaces and quasi-isometries of monoids.
- Homological Finite Derivation Type
- Homological and finiteness properties of picture groups
- Homotopy bases and finite derivation type for Schützenberger groups of monoids.
- Homotopy bases and finite derivation type for subgroups of monoids.
- Metrics on diagram groups and uniform embeddings in a Hilbert space.
- ON HOMOTOPICAL AND HOMOLOGICAL FINITENESS CONDITIONS FOR FINITELY PRESENTED MONOIDS
- On finite presentability of monoids and their Schützenberger groups
- On maximal subgroups of free idempotent generated semigroups.
- On residual finiteness of monoids, their Schützenberger groups and associated actions.
- On subgroups of R. Thompson's group $ F$ and other diagram groups
- On the structure of semigroups
- Presentations for subgroups of monoids
- Relative Ideals in Semigroups. II
- Rewriting systems and geometric three-manifolds
- Rewriting systems in alternating knot groups with the Dehn presentation
- Soluble groups with a finite rewriting system
- String rewriting and homology of monoids
- String rewriting for double coset systems.
- Structure Results for Transitive, Untwisted, Superlinked Finite Covers
- Structure of regular semigroups. I
- Subgroups of free idempotent generated semigroups need not be free.
- The \(\mathfrak q\)-theory of finite semigroups.
- The homological finiteness properties left-, right-, and bi-\(\mathbf{FP}_n\) of monoids.
- The word problem for free partially commutative groups
Cited in
(4)- On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids
- Finite complete rewriting systems for regular semigroups.
- FOR REWRITING SYSTEMS THE TOPOLOGICAL FINITENESS CONDITIONS FDT AND FHT ARE NOT EQUIVALENT
- Non-finitely generated maximal subgroups of context-free monoids
This page was built for publication: On properties not inherited by monoids from their Schützenberger groups.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549674)
