The word problem and the isomorphism problem for groups

DOI10.1090/S0273-0979-1982-14963-1zbMath0483.20018MaRDI QIDQ3941599

John Stillwell

Publication date: 1982

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

surveyTuring machinesfinitely presented groupisomorphism problemHNN extensionunsolvability of the word problem

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) History of mathematics in the 20th century (01A60) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Turing machines and related notions (03D10)

Related Items

Poincaré's works leading to the Poincaré conjecture, Unsolvable algorithmic problems for semigroups, groups and rings, The complete \(1/N\) expansion of colored tensor models in arbitrary dimension, An Algorithmically Unsolvable Problem in Analysis, HARMONIC ANALYSIS ON THE POSITIVE RATIONALS. DETERMINATION OF THE GROUP GENERATED BY THE RATIOS, Efficient Computation in Groups and Simplicial Complexes, The B B Newman spelling theorem, Complexity classes as mathematical axioms, A discreteness algorithm for 4-punctured sphere groups, Model-theoretic and algorithmic questions in group theory, On the expressivity of feature logics with negation, functional uncertainty, and sort equations, On Computing the First Higher-Order Alexander Modules of Knots

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive unsolvability of group theoretic problems
• Über einige algorithmische Probleme der Gruppentheorie
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• On the classification of homeomorphisms of 2-manifolds and the classification of 3-manifolds
• The word problem in fundamental groups of sufficiently large irreducible 3-manifolds
• The word problem in semi-groups with cancellation
• The Word Problem for Groups
• Subgroups of finitely presented groups
• Recursive Unsolvability of a problem of Thue
• Embedding Theorems for Groups
• Free Products of Groups
• An essay on free products of groups with amalgamations
• A variant of a recursively unsolvable problem
• The word problem
• The word problem