Equations in a free 𝐐-group

DOI10.1090/S0002-9947-98-01798-XMaRDI QIDQ4382952zbMATH OpenOpenAlexFDO

Authors Olga Kharlampovich, Alexei Myasnikov

Publication date 24 March 1998

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

Full work available at URL https://arxiv.org/abs/math/9605204

zbMATH Keywords

algorithmsCayley diagramsDiophantine problemfinite systems of equationsfree groups with rootsrecursive sets of primes

Mathematics Subject Classification ID

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

Abstract: In this work we investigate tensor completions of groups by associative rings, which were introduced by R.Lyndon and G.Baumslag in 1960s. The main result states that there exists an algorithm that decides if a given finite system of equations over a free $$-group has a solution, and if it does, finds a solution. This statement can be generalized for $$-completions of torsion-free hyperbolic groups. Our proof significantly uses the techniques of word hyperbolic groups and the results of E.Rips and Z.Sela on the solvability of systems of equations in hyperbolic groups.

Recommendations

• scientific article; zbMATH DE number 848041
• Equations in algebras
• On equations with subgroup restrictions on solutions in free groups

Cites work

• Canonical representatives and equations in hyperbolic groups
• EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
• scientific article; zbMATH DE number 4083904 (Why is no real title available?)
• scientific article; zbMATH DE number 88856 (Why is no real title available?)
• scientific article; zbMATH DE number 3805807 (Why is no real title available?)
• Hyperbolic groups and free constructions
• On free D‐ groups
• Some aspects of groups with unique roots

Cited in

(12)

• A remark on spherical equations in free metabelian groups
• What does a group algebra of a free group ``know about the group?
• Equations in a free group with coefficients depending on parameters
• Subgroup properties of fully residually free groups
• Equations in the Q-completion of a torsion-free hyperbolic group
• Equations over groups, quasivarieties, and a residual property of a free group
• MALNORMALITY IS DECIDABLE IN FREE GROUPS
• Equations in algebras
• The Diophantine problem in the classical matrix groups
• The Diophantine problem in some metabelian groups
• Equations and fully residually free groups
• Ideals of equations for elements in a free group and context-free languages

This page was built for publication: Equations in a free 𝐐-group

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