A countable family of finitely presented infinite congruence-free monoids

Fatma Al-Kharousi, Alan J. Cain, Victor Maltcev, Abdullahi Umar

Research output: Contribution to journalArticle

Abstract

We prove that the monoids Monha, b, c, d: anb = 0, ac = 1, db = 1, dc = 1, dab = 1, da 2 b = 1,.., dan-1 b = 1i are congruence-free for all n = 1. This provides a new countable family of finitely presented congruence-free monoids, bringing us one step closer to understanding the monoid version of the Boone-Higman Conjecture. We also provide examples showing that finitely presented congruence-free monoids may have quadratic Dehn function.

Original languageEnglish
Pages (from-to)437-445
Number of pages9
JournalActa Scientiarum Mathematicarum
Volume81
Issue number3-4
DOIs
Publication statusPublished - 2015

Fingerprint

Monoids
Congruence
Countable
Dehn Function
Monoid
Quadratic Function
Family

Keywords

  • Boone-Higman Conjecture
  • Congruence-free
  • Finitely presented
  • Rewriting systems

ASJC Scopus subject areas

  • Analysis
  • Applied Mathematics

Cite this

A countable family of finitely presented infinite congruence-free monoids. / Al-Kharousi, Fatma; Cain, Alan J.; Maltcev, Victor; Umar, Abdullahi.

In: Acta Scientiarum Mathematicarum, Vol. 81, No. 3-4, 2015, p. 437-445.

Research output: Contribution to journalArticle

Al-Kharousi, Fatma ; Cain, Alan J. ; Maltcev, Victor ; Umar, Abdullahi. / A countable family of finitely presented infinite congruence-free monoids. In: Acta Scientiarum Mathematicarum. 2015 ; Vol. 81, No. 3-4. pp. 437-445.
@article{7625e2d7bb4d49d69d2818ce01b53c93,
title = "A countable family of finitely presented infinite congruence-free monoids",
abstract = "We prove that the monoids Monha, b, c, d: anb = 0, ac = 1, db = 1, dc = 1, dab = 1, da 2 b = 1,.., dan-1 b = 1i are congruence-free for all n = 1. This provides a new countable family of finitely presented congruence-free monoids, bringing us one step closer to understanding the monoid version of the Boone-Higman Conjecture. We also provide examples showing that finitely presented congruence-free monoids may have quadratic Dehn function.",
keywords = "Boone-Higman Conjecture, Congruence-free, Finitely presented, Rewriting systems",
author = "Fatma Al-Kharousi and Cain, {Alan J.} and Victor Maltcev and Abdullahi Umar",
year = "2015",
doi = "10.14232/actasm-013-028-z",
language = "English",
volume = "81",
pages = "437--445",
journal = "Acta Scientiarum Mathematicarum",
issn = "0001-6969",
publisher = "University of Szeged",
number = "3-4",

}

TY - JOUR

T1 - A countable family of finitely presented infinite congruence-free monoids

AU - Al-Kharousi, Fatma

AU - Cain, Alan J.

AU - Maltcev, Victor

AU - Umar, Abdullahi

PY - 2015

Y1 - 2015

N2 - We prove that the monoids Monha, b, c, d: anb = 0, ac = 1, db = 1, dc = 1, dab = 1, da 2 b = 1,.., dan-1 b = 1i are congruence-free for all n = 1. This provides a new countable family of finitely presented congruence-free monoids, bringing us one step closer to understanding the monoid version of the Boone-Higman Conjecture. We also provide examples showing that finitely presented congruence-free monoids may have quadratic Dehn function.

AB - We prove that the monoids Monha, b, c, d: anb = 0, ac = 1, db = 1, dc = 1, dab = 1, da 2 b = 1,.., dan-1 b = 1i are congruence-free for all n = 1. This provides a new countable family of finitely presented congruence-free monoids, bringing us one step closer to understanding the monoid version of the Boone-Higman Conjecture. We also provide examples showing that finitely presented congruence-free monoids may have quadratic Dehn function.

KW - Boone-Higman Conjecture

KW - Congruence-free

KW - Finitely presented

KW - Rewriting systems

UR - http://www.scopus.com/inward/record.url?scp=84953876715&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84953876715&partnerID=8YFLogxK

U2 - 10.14232/actasm-013-028-z

DO - 10.14232/actasm-013-028-z

M3 - Article

VL - 81

SP - 437

EP - 445

JO - Acta Scientiarum Mathematicarum

JF - Acta Scientiarum Mathematicarum

SN - 0001-6969

IS - 3-4

ER -