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

algorithmsDiophantine problemCayley diagramsfinite 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

• Publication:4867093
• Equations in algebras
• On equations with subgroup restrictions on solutions in free groups

Cites work

• 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?)
• Canonical representatives and equations in hyperbolic groups
• EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
• Hyperbolic groups and free constructions
• On free D‐ groups
• Some aspects of groups with unique roots

Cited in

(11)

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

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)