Equations in a free 𝐐-group

DOI10.1090/S0002-9947-98-01798-XzbMATH Open0901.20010arXivmath/9605204OpenAlexW1775023138MaRDI QIDQ4382952FDOQ4382952

Authors: Olga Kharlampovich, Alexei Myasnikov 

Publication date: 24 March 1998

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

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.

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
• Canonical representatives and equations in hyperbolic groups
• Hyperbolic groups and free constructions
• Some aspects of groups with unique roots
• Title not available (Why is that?)
• On free D‐ groups

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)