Equations in a free Q-group
Olga Kharlampovich, Alexey Myasnikov
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 Q-group has a solution, and if it does, finds a solution. This statement can be generalized for Q-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.
Create a lesson
Related papers
Property R∞ for Artin and Coxeter groups whose outer automorphisms are length-preserving
Ignat Soroko
DL, DQ Spectrum and Eigenvalue-free Interval of Cayley Graphs over Finite Nilpotent Groups
Pallabi Manna, Santanu Mandal
On p-groups with one nonlinear codegree
Jiwei Zheng, Heng Lv
Classes of Subgroups of a finite group with isomorphic quotient groups
Tushar Halder, Sachin Ballal
Cohomology and multiplicative gaps for quasi-isometries of nilpotent groups
Mayukh Mukherjee, Soumyadeb Samanta, Soumyadip Thandar
On the number of conjugacy classes of finite solvable groups of order divisible by p2
Thomas Michael Keller