Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups-Reference-Cited by-同舟云学术

Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups

Published:2019-10-16 Issue:2 Volume:11 Page:83-101
ISSN:1869-6104
Container-title:Groups Complexity Cryptology
language:en
Short-container-title:

Author:

Kharlampovich Olga¹,Myasnikov Alexei²,Taam Alexander²

Affiliation:

1. Department of Mathematics and Statistics , Hunter College CUNY , New York , USA

2. Stevens Institute of Technology , Hoboken , USA

Abstract

Abstract We show that, given a finitely generated group G as the coordinate group of a finite system of equations over a torsion-free hyperbolic group Γ, there is an algorithm which constructs a cover of a canonical solution diagram. The diagram encodes all homomorphisms from G to Γ as compositions of factorizations through Γ-NTQ groups and canonical automorphisms of the corresponding NTQ-subgroups. We also give another characterization of Γ-limit groups as iterated generalized doubles over Γ.

Publisher

Walter de Gruyter GmbH

Subject

Applied Mathematics,Computational Mathematics,Computational Theory and Mathematics,Computer Networks and Communications

Reference26 articles.

1. G. Baumslag, A. Myasnikov and V. Remeslennikov, Algebraic geometry over groups. I. Algebraic sets and ideal theory, J. Algebra 219 (1999), no. 1, 16–79.

2. M. Casals-Ruiz and I. Kazachkov, Limit groups over partially commutative groups and group actions on real cubings, Geom. Topol. 19 (2015), no. 2, 725–852.

3. C. Champetier and V. Guirardel, Limit groups as limits of free groups, Israel J. Math. 146 (2005), 1–75.

4. D. E. Cohen, Combinatorial Group Theory: A Topological Approach, London Math. Soc. Stud. Texts 14, Cambridge University, Cambridge, 1989.

5. F. Dahmani and D. Groves, The isomorphism problem for toral relatively hyperbolic groups, Publ. Math. Inst. Hautes Études Sci. (2008), no. 107, 211–290.