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

DOI10.1515/GCC-2019-2010MaRDI QIDQ2178749zbMATH OpenOpenAlexWikidataFDO

Authors Alexander Taam, Olga Kharlampovich, Alexei Myasnikov

Publication date 11 May 2020

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

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

zbMATH Keywords

equations over hyperbolic groupsHom-diagramsiterated generalized doublesJSJ decompositionsNTQ-groups

Mathematics Subject Classification ID

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

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$.

Recommendations

• Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams.
• Canonical representatives and equations in hyperbolic groups
• The structure of limit groups over hyperbolic groups
• Conjugacy classes of solutions to equations and inequations over hyperbolic groups.
• Makanin-Razborov diagrams for hyperbolic groups

Cites work

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

Cited in

(1)

• Canonicality of Makanin-Razborov diagrams -- counterexample

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)