Effective JSJ Decompositions

  title={Effective JSJ Decompositions},
  author={Olga Kharlampovich and Alexei G. Myasnikov},
In this paper we describe an elimination process which is a deterministic rewriting procedure that on each elementary step transforms one system of equations over free groups into a finitely many new ones. Infinite branches of this process correspond to cyclic splittings of the coordinate group of the initial system of equations. This allows us to construct algorithmically Grushko’s decompositions of finitely generated fully residually free groups and cyclic [abelian] JSJ decompositions of… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS