Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups
From MaRDI portal
(Redirected from Publication:2290969)
Generators, relations, and presentations of groups (20F05) Braid groups; Artin groups (20F36) Geometric group theory (20F65) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05) Inverse semigroups (20M18) Semigroups in automata theory, linguistics, etc. (20M35)
Abstract: We prove the following results: (1) There is a one-relator inverse monoid with undecidable word problem; and (2) There are one-relator groups with undecidable submonoid membership problem. The first of these results answers a problem originally posed by Margolis, Meakin and Stephen in 1987.
Recommendations
- On one-relator monoids and one-relator groups
- New results on the prefix membership problem for one-relator groups
- Decision problems for inverse monoids presented by a single sparse relator.
- Solution of the membership problem of the prefix monoid in certain one-relator groups.
- The word problem of inverse monoids presented by one idempotent relator
Cites work
- scientific article; zbMATH DE number 988810 (Why is no real title available?)
- scientific article; zbMATH DE number 3170376 (Why is no real title available?)
- scientific article; zbMATH DE number 4008677 (Why is no real title available?)
- scientific article; zbMATH DE number 53661 (Why is no real title available?)
- scientific article; zbMATH DE number 1385418 (Why is no real title available?)
- scientific article; zbMATH DE number 4000225 (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?)
- scientific article; zbMATH DE number 3302312 (Why is no real title available?)
- scientific article; zbMATH DE number 3323852 (Why is no real title available?)
- scientific article; zbMATH DE number 3339488 (Why is no real title available?)
- scientific article; zbMATH DE number 2209675 (Why is no real title available?)
- Almost all one-relator groups with at least three generators are residually finite.
- Amalgamated free products of inverse semigroups
- An introduction to right-angled Artin groups.
- Certain subgroups of certain one-relator groups
- Combinatorial group theory.
- Das Identitätsproblem für Gruppen mit einer definierenden Relation
- Decision problems for inverse monoids presented by a single sparse relator.
- Embeddability between right-angled Artin groups..
- Free Products of Inverse Semigroups
- From riches to raags: 3-manifolds, right-angled Artin groups, and cubical geometry.
- Groups and semigroups: connections and contrasts.
- Inverse Monoids, Trees, and Context-Free Languages
- Inverse monoids and rational subsets of related groups
- New results on the prefix membership problem for one-relator groups
- On monoids presented by a single relation
- On one-relator monoids and one-relator groups
- One-relator groups with torsion are coherent
- Presentations of inverse monoids
- Rational sets in commutative monoids
- Rational subgroups of biautomatic groups
- Solution of the membership problem for certain rational subsets of one-relator groups with a small cancellation condition.
- Stackings and the \(W\)-cycles conjecture
- The rational subset membership problem for groups: a survey
- The submonoid and rational subset membership problems for graph groups.
- Tilings and submonoids of metabelian groups.
- Topics of Stochastic Algebraic Topology
- \(GL(n,\mathbb Z)\), \(Out(F_n)\) and everything in between: automorphism groups of RAAGs.
Cited in
(13)- A tribute to John Meakin on the occasion of his 75th birthday
- Prefix monoids of groups and right units of special inverse monoids
- On groups of units of special and one-relator inverse monoids
- On one-relator groups and units of special one-relation inverse monoids
- New results on the prefix membership problem for one-relator groups
- Solution of the membership problem of the prefix monoid in certain one-relator groups.
- One-relator quotients of right-angled Artin groups
- The word problem of inverse monoids presented by one idempotent relator
- Algorithmic properties of inverse monoids with hyperbolic and tree-like Schützenberger graphs
- The word problem for one-relation monoids: a survey
- A Lyndon's identity theorem for one-relator monoids
- On one-relator monoids and one-relator groups
- Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
This page was built for publication: Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2290969)
