On monoids presented by a single relation
From MaRDI portal
Publication:1218040
DOI10.1016/0021-8693(74)90146-XzbMath0307.20034MaRDI QIDQ1218040
Publication date: 1974
Published in: Journal of Algebra (Search for Journal in Brave)
Free semigroups, generators and relations, word problems (20M05) Word problems, etc. in computability and recursion theory (03D40)
Related Items (27)
The word problem for one-relator semigroups ⋮ A Lyndon's identity theorem for one-relator monoids ⋮ Gérard Lallement (1935-2006) ⋮ A note on thue systems with a single defining relation ⋮ Markov semigroups, monoids and groups ⋮ On the word problem for special monoids ⋮ An efficient algorithm to decide whether a monoid presented by a regular Church-Rosser Thue system is a group ⋮ Prefix monoids of groups and right units of special inverse monoids ⋮ On the word problem for weakly compressible monoids ⋮ It is undecidable whether a finite special string-rewriting system presents a group ⋮ The word problem for one-relation monoids: a survey ⋮ ON RESIDUALLY FINITE VARIETIES OF INVOLUTION SEMIGROUPS ⋮ Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems ⋮ On one-relator monoids and one-relator groups ⋮ Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups ⋮ Properties of the subsemigroups of the bicyclic monoid ⋮ On equations and first-order theory of one-relator monoids ⋮ New results on the prefix membership problem for one-relator groups ⋮ DECISION PROBLEMS FOR FINITELY PRESENTED AND ONE-RELATION SEMIGROUPS AND MONOIDS ⋮ Thickness of Feathers ⋮ Finite homotopy bases of one-relator monoids ⋮ One-rule semi-Thue systems with loops of length one, two or three ⋮ Homogeneous Thue systems and the Church-Rosser property ⋮ Sur les monoides à un relateur qui sont des groupes ⋮ Residual finiteness in permutation varieties of semigroups ⋮ Conjugacy in monoids with a special Church-Rosser presentation is decidable ⋮ On one-relator groups and units of special one-relation inverse monoids
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The equation \(a_ M=b^ Nc^ P\) in a free group
- Combinatorial problems of commutation and rearrangements
- Elements of finite order in groups with a single defining relation
- Some two-generator one-relator non-Hopfian groups
- Some Results on Stability in Semigroups
- Residually finite one-relator groups
- On the infinite subsemigroups of a compact semigroup
This page was built for publication: On monoids presented by a single relation
