It is undecidable whether a finite special string-rewriting system presents a group (Q1184861)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: It is undecidable whether a finite special string-rewriting system presents a group |
scientific article; zbMATH DE number 35133
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | It is undecidable whether a finite special string-rewriting system presents a group |
scientific article; zbMATH DE number 35133 |
Statements
It is undecidable whether a finite special string-rewriting system presents a group (English)
0 references
28 June 1992
0 references
Let \(G=(\Sigma;R)\) be a finitely presented (f.p.) group with undecidable word problem, \(w\in\Sigma^*\), \(G(w)=(\Sigma\cup\{a,b\}\); \(R\), \(awbbaab=1\)) be a f.p. (special) semigroup. It is shown that \(G(w)\) is a group iff \(w=1\) in \(G\). This gives the theorem formulated in the title.
0 references
finitely presented special semigroups
0 references
finitely presented group
0 references
word problem
0 references
