Decision Problems in Group Theory

DOI10.1112/plms/s3-44.2.312zbMath0485.20022OpenAlexW1977769824MaRDI QIDQ3944762

K. A. Kalorkoti

Publication date: 1982

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/plms/s3-44.2.312

zbMATH Keywords

normal formsdecision problemsword problemfinitely presented groupstandard basisdegree of unsolvabilitymodular machinesHigman's embedding theoremorder problems

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Related Items

Novikov's centrally symmetric group ⋮ A remark on the Borisov-Boone group ⋮ Unsolvable algorithmic problems for semigroups, groups and rings ⋮ Are there elimination algorithms for the permanent? ⋮ Gröbner–Shirshov bases and their calculation ⋮ Gröbner–Shirshov Basis for HNN Extensions of Groups and for the Alternating Group ⋮ Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators. ⋮ Sufficiency Conditions for Bokut' Normal Forms ⋮ Model-theoretic and algorithmic questions in group theory ⋮ Parametrized Gröbner–Shirshov bases