Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups

DOI10.1007/S00222-019-00920-2zbMATH Open1480.20127arXiv1902.03822OpenAlexW3099500872WikidataQ127285009 ScholiaQ127285009MaRDI QIDQ2290969FDOQ2290969

R. Gray

Publication date: 29 January 2020

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Abstract: We prove the following results: (1) There is a one-relator inverse monoid $mathrmInvlangleA:|:w=1angle$ 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.

Full work available at URL: https://arxiv.org/abs/1902.03822

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

Mathematics Subject Classification ID

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)

Cites Work

• An introduction to right-angled Artin groups.
• Title not available (Why is that?)
• Rational sets in commutative monoids
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Almost all one-relator groups with at least three generators are residually finite.
• Title not available (Why is that?)
• Combinatorial group theory.
• Presentations of inverse monoids
• Embeddability between right-angled Artin groups..
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tilings and submonoids of metabelian groups.
• Rational subgroups of biautomatic groups
• Das Identitätsproblem für Gruppen mit einer definierenden Relation
• The submonoid and rational subset membership problems for graph groups.
• Topics of Stochastic Algebraic Topology
• Title not available (Why is that?)
• Free Products of Inverse Semigroups
• Title not available (Why is that?)
• Inverse monoids and rational subsets of related groups
• Title not available (Why is that?)
• On one-relator monoids and one-relator groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inverse Monoids, Trees, and Context-Free Languages
• Amalgamated free products of inverse semigroups
• On monoids presented by a single relation
• The rational subset membership problem for groups: a survey
• Certain subgroups of certain one-relator groups
• GL(n, Z), Out(F_n) and everything in between: automorphism groups of RAAGs
• Title not available (Why is that?)
• Decision problems for inverse monoids presented by a single sparse relator.
• One-relator groups with torsion are coherent
• Stackings and the W-cycles Conjecture
• SOLUTION OF THE MEMBERSHIP PROBLEM FOR CERTAIN RATIONAL SUBSETS OF ONE-RELATOR GROUPS WITH A SMALL CANCELLATION CONDITION
• New results on the prefix membership problem for one-relator groups

Cited In (12)

• One-relator quotients of right-angled Artin groups
• The word problem of inverse monoids presented by one idempotent relator
• A tribute to John Meakin on the occasion of his 75th birthday
• Prefix monoids of groups and right units of special inverse monoids
• On one-relator monoids and one-relator groups
• Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
• The word problem for one-relation monoids: a survey
• Algorithmic properties of inverse monoids with hyperbolic and tree-like Schützenberger graphs
• On one-relator groups and units of special one-relation inverse monoids
• A Lyndon's identity theorem for one-relator monoids
• On groups of units of special and one-relator inverse monoids
• New results on the prefix membership problem for one-relator groups

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)