Equations in a free Q-group

  title={Equations in a free Q-group},
  author={Olga Kharlampovich and Alexey Myasnikov},
  • Olga Kharlampovich, Alexey Myasnikov
  • 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


Publications citing this paper.


Publications referenced by this paper.

Kurchanov . On quadratic equations in free groups

  • R. I. Grigorchuk, F. P.
  • Contemp . Math .
  • 1989

Makanin . Equations in a free group ( Russian )

  • S. G.
  • Izv . Akad . Nauk SSSR , Ser . Mat .
  • 1985

On systems of equations in a free groups

  • E. Rips, Z. Sela.
  • Math . USSR Izvestia . Ser . Mat .
  • 1985

On free Qgroup

  • G Baumslag.
  • Commun . on Pure and Appl . Mathematics
  • 1965

Some aspects of groups with unique roots

  • A. Myasnikov
  • Acta Math .
  • 1960

Uber die vollstandigheit eines gewissen systems der arithmetik ganzen zahlen , in welchem die additionals einige operation hervortritt

  • A. A. Razborov.
  • Comptes rendus du 1 Congres des Mathematiciens…

Similar Papers

Loading similar papers…