Existence of finite index torsion free subgroups of hyperbolic groups - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T00:57:17Z http://mathoverflow.net/feeds/question/40120 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/40120/existence-of-finite-index-torsion-free-subgroups-of-hyperbolic-groups Existence of finite index torsion free subgroups of hyperbolic groups Dmitri 2010-09-27T09:54:17Z 2010-09-27T14:18:58Z <p><strong>Question.</strong> Is it true that each infinite hyperbolic group has a torsion free subgroup of finite index?</p> <p>Are there counterexamples, or positive results for some large subclasses of hyperbolic groups? For example, is the answer positive for orbifold fundamental groups of negatively curved orbifolds? More precisely, I am interested the most in the case of orbifolds with locally $CAT(0)$ metric. I guess it will be hard to construct a counterexample in this category. </p> <p><strong>Related question</strong>. Is it known that every hyperbolic group has a non-trivial subgroup of finite index? </p> <p>Just to recall, a definition of hyperbolic group is here <a href="http://en.wikipedia.org/wiki/Hyperbolic_group" rel="nofollow">http://en.wikipedia.org/wiki/Hyperbolic_group</a> .</p> <p><strong>Added.</strong> Note, that every hyperbolic group is finitely presented (thanks to Sam Nead).</p> http://mathoverflow.net/questions/40120/existence-of-finite-index-torsion-free-subgroups-of-hyperbolic-groups/40130#40130 Answer by Sam Nead for Existence of finite index torsion free subgroups of hyperbolic groups Sam Nead 2010-09-27T11:39:15Z 2010-09-27T11:52:33Z <p><a href="http://eom.springer.de/h/h110390.htm" rel="nofollow">See</a> this page by Coornaert for an introduction and references. In particular, finitely generated hyperbolic groups are always finitely presented (so you don't need to add that condition). Also, the referenced page suggests that your first question, about finite index torsion free subgroups, is open. I looked in various references for your related question, but didn't find anything.</p> <p>Edit: Aha! I finally looked in the right <a href="http://www.sci.ccny.cuny.edu/~shpil/gworld/problems/probhyp.html" rel="nofollow">place</a>. Apparently your related question is also open. </p> http://mathoverflow.net/questions/40120/existence-of-finite-index-torsion-free-subgroups-of-hyperbolic-groups/40149#40149 Answer by Mark Sapir for Existence of finite index torsion free subgroups of hyperbolic groups Mark Sapir 2010-09-27T14:18:58Z 2010-09-27T14:18:58Z <p>This is a well known open problem. The following properties are equivalent </p> <p>a) Every hyperbolic group is residualy finite </p> <p>b) Every hyperbolic group has a finite index torsion-free subgroup. </p> <p>The proof is either here: Olʹshanskiĭ, A. Yu. On the Bass-Lubotzky question about quotients of hyperbolic groups. J. Algebra 226 (2000), no. 2, 807--817 or here: Kapovich, Ilya; Wise, Daniel T. The equivalence of some residual properties of word-hyperbolic groups. J. Algebra 223 (2000), no. 2, 562--583 or can be given by exactly the same methods as in these two papers (I do not remember exactly which of these three possibilities hold). </p>