Conjugacy classes of solutions to equations and inequations over hyperbolic groups

Abstract

We study conjugacy classes of solutions to systems of equations and inequations over torsion-free hyperbolic groups, and describe an algorithm to recognize whether or not there are finitely many conjugacy classes of solutions to such a system. The class of immutable subgroups of hyperbolic groups is introduced, which is fundamental to the study of equations in this context. We apply our results to enumerate the immutable subgroups of a torsion-free hyperbolic group.

28 pages; referee's comments incorporated; to appear in the Journal of Topology

Cited by in corpus (7)

• Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group
• Homogeneity and prime models in torsion-free hyperbolic groups
• Algebraic & definable closure in free groups
• Quantifier elimination algorithm to boolean combination of $\exists \forall$-formulas in the theory of a free group
• Test elements in torsion-free hyperbolic groups
• One Variable Equations in Torsion-Free Hyperbolic Groups
• On right-angled Artin groups without surface subgroups