Effective coherence of groups discriminated by a locally quasi-convex hyperbolic group
Effective coherence of groups discriminated by a locally quasi-convex hyperbolic group
We prove that every finitely generated group G discriminated by a locally quasi-convex torsion-free hyperbolic group \Gamma is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the subgroup generators. We study G via its embedding into an iterated centralizer extension of \Gamma , and prove …