A simple presentation of a group with unsolvable word problem

MaRDI QIDQ1061849zbMATH OpenFDO

Authors Donald J. Collins

Publication date 1986

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

generatorspresentationrelationsunsolvable word problem

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Review text

Drawing on work of \textit{G. S. Céjtin} [Tr. Mat. Inst. Steklova 52, 172- 189 (1958; Zbl 0087.253)] and \textit{V. V. Borisov} [Mat. Zametki 6, 521- 532 (1969; Zbl 0211.341)] this note gives a short explicit presentation of a group with unsolvable word problem. The presentation in question has 10 generators and the relations involve only 421 occurrences of the generators. Allowing just a few single digit exponents the whole presentation can be displayed in a dozen lines of print. The example in question is actually implicit in the work of Céjtin and Borisov and this paper does no more than make it quite explicit.

Recommendations

• scientific article; zbMATH DE number 4116803
• Solvability of the word problem for certain groups
• A finitely presented simple group with unsolvable conjugacy problem
• A finitely presented orderable group with insoluble word problem
• scientific article; zbMATH DE number 3695456
• scientific article; zbMATH DE number 5155120
• Finitely presented solvable groups and Lie algebras with unsolvable word problem
• scientific article; zbMATH DE number 3925131
• Characterizing word problems of groups
• Solving word problems in group extensions over infinite words

Cited in

(12)

• On the Novikov and Boone-Borisov groups
• Ends of Schreier graphs of hyperbolic groups
• Correction to: ``The word problem for one-relation monoids: a survey
• Decidability and combination results for two notions of knowledge in security protocols
• Friends and relatives of \(\mathrm{BS}(1,2)\).
• scientific article; zbMATH DE number 4116803 (Why is no real title available?)
• Methods of constructive category theory
• The Word Problem for Pride Groups
• Algorithmically finite groups.
• Some undecidable termination problems for semi-Thue systems
• Automating boundary filling in cubical type theories
• Group algebras that do not embed into L_K(1,2)

This page was built for publication: A simple presentation of a group with unsolvable word problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1061849)