A countable family of finitely presented infinite congruence-free monoids

DOI10.14232/ACTASM-013-028-ZzbMATH Open1363.20044arXiv1304.4687OpenAlexW2962941830MaRDI QIDQ2834201FDOQ2834201

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)

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.

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

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.

zbMATH Keywords

finitely presentedrewriting systemscongruence-free monoidBoone-Higman conjecture

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructing finitely presented simple groups that contain Grigorchuk groups
• Title not available (Why is that?)
• Embedding any countable semigroup in a 2-generated congruence-free semigroup
• A finitely presented simple group with unsolvable conjugacy problem
• Finite semigroups embed in finitely presented congruence-free monoids.
• An algebraic characterization of groups with soluble word problem
• 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.
• Monoids that map onto the Thompson-Higman groups
• Bernoulli measure on strings, and Thompson-Higman monoids.
• Monoid generalizations of the Richard Thompson groups.
• A countable series of bisimple \(\mathcal H\)-trivial finitely presented congruence-free monoids.

Cited In (4)

• Finite semigroups embed in finitely presented congruence-free monoids.
• A countable series of bisimple \(\mathcal H\)-trivial finitely presented congruence-free monoids.
• A simple non-bisimple congruence-free finitely presented monoid.
• Title not available (Why is that?)

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)