It is undecidable whether a finite special string-rewriting system presents a group (Q1184861): Difference between revisions

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.