Recursive functions in group theory

MaRDI QIDQ1078177zbMATH OpenFDO

Authors Vardeman G. Moore

Publication date 1986

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

zbMATH Keywords

finitely presented groupparametric equationpartial recursive functionrecursively presented groupword problem

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Recommendations

• Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. I
• Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups
• Groups with a Recursively Enumerable Irreducible Word Problem
• Computability of finite quotients of finitely generated groups
• On subgroup distortion in finitely presented groups

Cited in

(3)

• Recursion theory and ordered groups
• Decidability problem for exponential equations in finitely presented groups
• Finding non-trivial elements and splittings in groups.

This page was built for publication: Recursive functions in group theory

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