On the Generalized Membership Problem in Relatively Hyperbolic Groups

The aim of this note is to provide a proof of the decidability of the generalized membership problem for relatively quasi-convex subgroups of finitely presented relatively hyperbolic groups, under some reasonably mild conditions on the peripheral structure of these groups. These hypotheses are satisfied, in particular, by toral relatively hyperbolic groups.

[1]  D. J. Collins.  Review: K. A. Mihajlova, (Problema vhozdenia did pramyh proizvedenij grupp):The Occurrence Problem for Direct Products of Groups , 1971 .

[2]  Eliyahu Rips,et al.  Subgroups of small Cancellation Groups , 1982 .

[3]  John R. Stallings,et al.  Topology of finite graphs , 1983 .

[4]  S M Kozlov,et al.  Averaging on a Background of Vanishing Viscosity , 1991 .

[5]  S. Gersten,et al.  Rational subgroups of biautomatic groups , 1991 .

[6]  Jin-Yi Cai,et al.  Efficient average-case algorithms for the modular group , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[7]  Ilya Kapovich.  Detecting quasiconvexity: Algorithmic aspects , 1994, Geometric and Computational Perspectives on Infinite Groups.

[8]  A. Yu. Olshanskii,et al.  The class of groups all of whose subgroups with lesser number of generators are free is generic , 1996 .

[9]  Goulnara Arzhantseva,et al.  Generic properties of finitely presented groups and howson's theorem , 1998 .

[10]  Benson Farb,et al.  Relatively Hyperbolic Groups , 1998 .

[11]  Goulnara Arzhantseva,et al.  A property of subgroups of infinite index in a free group , 2000 .

[12]  Pascal Weil,et al.  PSPACE-complete problems for subgroups of free groups and inverse finite automata , 2000, Theor. Comput. Sci..

[13]  Ilya Kapovich,et al.  Genericity, the Arzhantseva-Ol’shanskii method and the isomorphism problem for one-relator groups , 2002, math/0210307.

[14]  Daniel T. Wise,et al.  Coherence, local quasiconvexity, and the perimeter of 2-complexes , 2002 .

[15]  Ilya Kapovich,et al.  Stallings Foldings and Subgroups of Free Groups , 2002 .

[16]  Paul E. Schupp.  Coxeter Groups, 2-Completion, Perimeter Reduction and Subgroup Separability , 2002 .

[17]  François Dahmani.  Les groupes relativement hyperboliques et leurs bords , 2003 .

[18]  Cornelia Drutu,et al.  Tree-graded spaces and asymptotic cones of groups , 2004 .

[19]  Inna Bumagin.  On definitions of relatively hyperbolic groups , 2004 .

[20]  D. V. Osin.  Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic problems , 2004 .

[21]  Ilya Kapovich,et al.  Foldings, Graphs of Groups and the Membership Problem , 2005, Int. J. Algebra Comput..

[22]  A. O. Houcine.  On hyperbolic groups , 2006 .

[23]  Nicholas W. M. Touikan.  A Fast Algorithm for Stallings' Folding Process , 2006, Int. J. Algebra Comput..

[24]  Pascal Weil,et al.  Algebraic extensions in free groups , 2006, math/0610880.

[25]  Paul E. Schupp,et al.  Membership Problem for the Modular Group , 2007, SIAM J. Comput..

[26]  L. Markus-Epstein,et al.  Stallings Foldings and Subgroups of Amalgams of Finite Groups , 2007, Int. J. Algebra Comput..

[27]  Pascal Weil,et al.  On the Complexity of the Whitehead Minimization Problem , 2007, Int. J. Algebra Comput..

[28]  G. Christopher Hruska,et al.  Relative hyperbolicity and relative quasiconvexity for countable groups , 2008, 0801.4596.

[29]  Daniel T. Wise,et al.  Packing subgroups in relatively hyperbolic groups , 2009 .

[30]  Jason Fox Manning,et al.  SEPARATION OF RELATIVELY QUASICONVEX SUBGROUPS , 2008, 0811.4001.

[31]  Pedro V. Silva,et al.  Finite automata for Schreier graphs of virtually free groups , 2011, 1112.5709.

[32]  B. H. Bowditch,et al.  Relatively hyperbolic Groups , 2012, Int. J. Algebra Comput..

[33]  J. Delgado,et al.  Algorithmic problems for free-abelian times free groups , 2013, 1301.2355.

[34]  Laura Ciobanu,et al.  Finite generating sets of relatively hyperbolic groups and applications to geodesic languages , 2016 .

[35]  Pascal Weil,et al.  Stallings graphs for quasi-convex subgroups , 2017 .

[36]  C. Papadimitriou,et al.  Introduction to the Theory of Computation , 2018 .

[37]  Hung Cong Tran,et al.  On strongly quasiconvex subgroups , 2017, Geometry & Topology.

[38]  Heejoung Kim.  Algorithms detecting stability and Morseness for finitely generated groups , 2019, Journal of Algebra.