A NOTE ON THE WORD PROBLEM FOR GROUPS
From MaRDI portal
Publication:3882631
DOI10.1093/qmath/31.3.329zbMath0441.20022MaRDI QIDQ3882631
Publication date: 1980
Published in: The Quarterly Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/qmath/31.3.329
finitely generated group; soluble word problem; finitely presented infinite simple groups; automorphism group of a finitely generated free algebra; Boone Higman thoerem; recursively defined minimal variety
20E32: Simple groups
08B15: Lattices of varieties
20F05: Generators, relations, and presentations of groups
20F28: Automorphism groups of groups
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
08B20: Free algebras
Related Items
Model-theoretic and algorithmic questions in group theory, Free products and the word problem, Unsolvable algorithmic problems for semigroups, groups and rings