Every finitely generated submonoid of a free monoid has a finite Malcev's presentation

DOI10.1016/0022-4049(89)90043-1zbMath0677.20046OpenAlexW2001084673MaRDI QIDQ1123270

Jean-Claude Spehner

Publication date: 1989

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(89)90043-1

zbMATH Keywords

congruencesfree monoidsfinite Mal'cev presentationsfinitely generated submonoids

Mathematics Subject Classification ID

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

Related Items (5)

Green index in semigroups: generators, presentations, and automatic structures. ⋮ CANCELLATIVE AND MALCEV PRESENTATIONS FOR FINITE REES INDEX SUBSEMIGROUPS AND EXTENSIONS ⋮ Gcd-monoids arising from homotopy groupoids ⋮ Malcev presentations for subsemigroups of direct products of coherent groups. ⋮ Subsemigroups of groups: presentations, Malcev presentations, and automatic structures

Cites Work

• The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids
• Systèmes entiers d'équations sur un alphabet fini et conjecture d'Ehrenfeucht
• Presentations et presentations simplifiables d'un monoide simplifiable
• Quelques constructions et algorithmes rélatifs aux sous-monoides d'un monoide libre
• On the decidability of homomorphism equivalence for languages
• On the algorithmic insolvability of the word problem in group theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Every finitely generated submonoid of a free monoid has a finite Malcev's presentation