Search

In [A.-P. Grecianu, A. Kvaschuk, A. G. Myasnikov and D. Serbin, Groups acting on hyperbolic Λ -metric spaces, Int. J. Algebra Comput. 25(6) (2015) 977–1042], the authors initiated a systematic study of hyperbolic Λ -metric spaces, where Λ is an ordered abelian group, and groups acting on such spaces. The present paper concentrates on the case Λ = ℤ n taken with the right lexicographic order and studies the structure of finitely generated groups acting on hyperbolic ℤ n -metric spaces. Under certain constraints, the structure of such groups is described in terms of a hierarchy (see [D. T. Wise, The Structure of Groups with a Quasiconvex Hierarchy : (AMS- 2 0 9) , Annals of Mathematics Studies (Princeton University Press, 2021)]) similar to the one established for ℤ n -free groups in [O. Kharlampovich, A. G. Myasnikov, V. N. Remeslennikov and D. Serbin, Groups with free regular length functions in ℤ n , Trans. Amer. Math. Soc. 364 (2012) 2847–2882]. [ABSTRACT FROM AUTHOR]

In this paper, we consider the conjugacy stability property of subgroups and provide effective procedures to solve the problem in several classes of groups. In particular, we start with free groups, that is, we give an effective procedure to find out if a finitely generated subgroup of a free group is conjugacy stable. Then we further generalize this result to quasi-convex subgroups of torsion-free hyperbolic groups and finitely generated subgroups of limit groups. [ABSTRACT FROM AUTHOR]

Using graph-theoretic techniques for f.g. subgroups of Fℤ[t] we provide a criterion for a f.g. subgroup of a f.g. fully residually free group to be of finite index. Moreover, we show that this criterion can be checked effectively. As an application we obtain an analogue of Greenberg-Stallings Theorem for f.g. fully residually free groups, and prove that a f.g. nonabelian subgroup of a f.g. fully residually free group is of finite index in its normalizer and commensurator. [ABSTRACT FROM AUTHOR]

Let F = F(X) be a free group with basis X and ℤ[t] be a ring of polynomials with integer coefficients in t. In this paper we develop a theory of (ℤ[t],X)-graphs — a powerful tool in studying finitely generated fully residually free (limit) groups. This theory is based on the Kharlampovich–Myasnikov characterization of finitely generated fully residually free groups as subgroups of the Lyndon's group Fℤ[t], the author's representation of elements of Fℤ[t] by infinite (ℤ[t],X)-words, and Stallings folding method for subgroups of free groups. As an application, we solve the membership problem for finitely generated subgroups of Fℤ[t], as well as for finitely generated fully residually free groups. [ABSTRACT FROM AUTHOR]