Highly Influenced

# Equations in a free Q-group

@inproceedings{Kharlampovich1996EquationsIA, title={Equations in a free Q-group}, author={Olga Kharlampovich and Alexey Myasnikov}, year={1996} }

- Published 1996

An algorithm is constructed that decides if a given finite system of equations over a free Q-group has a solution, and if it does, finds a solution. 0. Introduction Systems of equations over a group have been widely studied (see, for instance, [4],[5],[11]). This is currently one of the main streams of combinatorial group theory. The problem of deciding if a system of equations in a group has a solution is a generalization of the word and conjugacy problems. Makanin [8] and Razborov [11] proved… CONTINUE READING