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

DOI10.1515/GCC-2019-2010zbMATH Open1435.20055arXiv1501.03097OpenAlexW2981052035WikidataQ127000882 ScholiaQ127000882MaRDI QIDQ2178749FDOQ2178749

Alexander Taam, Olga Kharlampovich, Alexei Myasnikov

Publication date: 11 May 2020

Published in: Groups - Complexity - Cryptology (Search for Journal in Brave)

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 $Gamma$, there is an algorithm which constructs a cover of a canonical solution diagram. The diagram encodes all homomorphisms from $G$ to $Gamma$ as compositions of factorizations through $Gamma$-NTQ groups and canonical automorphisms of the corresponding NTQ-subgroups. We also give another characterization of $Gamma$-limit groups as iterated generalized doubles over $Gamma$.

Full work available at URL: https://arxiv.org/abs/1501.03097

zbMATH Keywords

JSJ decompositionsequations over hyperbolic groupsHom-diagramsiterated generalized doublesNTQ-groups

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Hyperbolic groups and nonpositively curved groups (20F67) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Algebraic geometry over groups; equations over groups (20F70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary theory of free non-abelian groups.
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Cyclic splittings of finitely presented groups and the canonical JSJ deccomposition
• JSJ-splittings for finitely presented groups over slender groups
• JSJ-decompositions of finitely presented groups and complexes of groups.
• WORD EQUATIONS OVER GRAPH PRODUCTS
• Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
• Limit groups as limits of free groups.
• Implicit function theorem over free groups.
• Limits of relatively hyperbolic groups and Lyndon's completions.
• Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams.
• The isomorphism problem for toral relatively hyperbolic groups.
• JSJ decompositions of groups
• Tarski’s problem about the elementary theory of free groups has a positive solution
• Magnus pairs in, and free conjugacy separability of, limit groups
• The structure of limit groups over hyperbolic groups
• Limit groups over partially commutative groups and group actions on real cubings
• Effective embedding of residually hyperbolic groups into direct products of extensions of centralizers.

This page was built for publication: Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2178749)