On equations and first-order theory of one-relator monoids

Garreta, Albert and Gray, Robert (2021) On equations and first-order theory of one-relator monoids. Information and Computation, 281. ISSN 0890-5401

Preview

PDF (GarretaGrayIandCPaperFinal5April2021) - Accepted Version Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (523kB) | Preview

Abstract

We investigate systems of equations and the first-order theory of one-relator monoids. We describe a family F of one-relator monoids of the form 〈A|w=1〉 where for each monoid M in F, the longstanding open problem of decidability of word equations with length constraints reduces to the Diophantine problem (i.e. decidability of systems of equations) in M. We achieve this result by finding an interpretation in M of a free monoid, using only systems of equations together with length relations. It follows that each monoid in F has undecidable positive AE-theory, hence in particular it has undecidable first-order theory. The family F includes many one-relator monoids with torsion 〈A|w n=1〉 (n>1). In contrast, all one-relator groups with torsion are hyperbolic, and all hyperbolic groups are known to have decidable Diophantine problem. We further describe a different class of one-relator monoids with decidable Diophantine problem.

Item Type:	Article
Uncontrolled Keywords:	diophantine problem,first-order theory,one-relator monoids,word equations with length constraints,theoretical computer science,information systems,computer science applications,computational theory and mathematics ,/dk/atira/pure/subjectarea/asjc/2600/2614
Faculty \ School:	Faculty of Science > School of Mathematics
UEA Research Groups:	Faculty of Science > Research Groups > Algebra and Combinatorics Faculty of Science > Research Groups > Logic
Related URLs:	http://www.scopus.com/inward/record.url?...
Depositing User:	LivePure Connector
Date Deposited:	15 Apr 2021 23:51
Last Modified:	14 May 2023 00:53
URI:	https://ueaeprints.uea.ac.uk/id/eprint/79796
DOI:	10.1016/j.ic.2021.104745

Downloads

Actions (login required)

View Item