A countable family of finitely presented infinite congruence-free monoids

DOI10.14232/ACTASM-013-028-ZMaRDI QIDQ2834201zbMATH OpenOpenAlexFDO

Authors F. Al-Kharousi, Alan J. Cain, Victor Maltcev, A. Umar

Publication date 25 November 2016

Published in Acta Scientiarum Mathematicarum (Search for Journal in Brave)

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

zbMATH Keywords

finitely presentedrewriting systemscongruence-free monoidBoone-Higman conjecture

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05)

Abstract: We prove that monoids $mathrmMonlanglea,b,c,d:a^{n}b=0,ac=1,db=1,dc=1,dab=1,d{a}^{2}b=1,ldots,d{a}^{n-1}b=1angle$ are congruence-free for all $ngeq1$. This provides a new countable family of finitely presented congruence-free monoids, bringing one step closer to understanding the Boone--Higman Conjecture. We also provide examples which show that finitely presented congruence-free monoids may have quadratic Dehn function.

Recommendations

• A countable series of bisimple \(\mathcal H\)-trivial finitely presented congruence-free monoids.
• Finite semigroups embed in finitely presented congruence-free monoids.
• A simple non-bisimple congruence-free finitely presented monoid.
• scientific article; zbMATH DE number 1189057
• Finitely presented monoids with linear Dehn function need not have regular cross-sections.

Cites work

• scientific article; zbMATH DE number 3574107 (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 7469543 (Why is no real title available?)
• A countable series of bisimple \(\mathcal H\)-trivial finitely presented congruence-free monoids.
• A finitely presented simple group with unsolvable conjugacy problem
• An algebraic characterization of groups with soluble word problem
• Bernoulli measure on strings, and Thompson-Higman monoids.
• Constructing finitely presented simple groups that contain Grigorchuk groups
• Embedding any countable semigroup in a 2-generated congruence-free semigroup
• Finite semigroups embed in finitely presented congruence-free monoids.
• Monoid generalizations of the Richard Thompson groups.
• Monoids that map onto the Thompson-Higman groups
• The Thompson-Higman monoids \(M_{k,i}\): the \(\mathcal J\)-order, the \(\mathcal D\)-relation, and their complexity.
• The \(\mathcal R\)- and \(\mathcal L\)-orders of the Thompson-Higman monoid \(M_{k,1}\) and their complexity.

Cited in

(5)

• scientific article; zbMATH DE number 5260954 (Why is no real title available?)
• On the Dehn functions of a class of monadic one-relation monoids
• A countable series of bisimple \(\mathcal H\)-trivial finitely presented congruence-free monoids.
• Finite semigroups embed in finitely presented congruence-free monoids.
• A simple non-bisimple congruence-free finitely presented monoid.

This page was built for publication: A countable family of finitely presented infinite congruence-free monoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2834201)