ON FULLY RESIDUALLY-R GROUPS

arXiv:1801.04475v1 [] 13 Jan 2018

INNA BUMAGIN AND MING MING ZHANG
Abstract. We consider the class R of finitely generated toral relatively hyperbolic groups.
We show that groups from R are commutative transitive and generalize a theorem proved by
Benjamin Baumslag in [3] to this class. We also discuss two definitions of (fully) residuallyC groups, the classical Definition 1.1 and a modified Definition 1.4. Building upon results
obtained by Ol’shanskii [18] and Osin [22], we prove the equivalence of the two definitions
for C = R. This is a generalization of the similar result obtained by Ol’shanskii for C being
the class of torsion-free hyperbolic groups. Let Γ ∈ R be non-abelian and non-elementary.
Kharlampovich and Miasnikov proved in [14] that a finitely generated fully residually-Γ
group G embeds into an iterated extension of centralizers of Γ. We deduce from their
theorem that every finitely generated fully residually-Γ group embeds into a group from R.
On the other hand, we give an example of a finitely generated torsion-free fully residually-H
group that does not embed into a group from R; H is the class of hyperbolic groups.

1. Introduction
The notion of a (fully) residually-C group, where C is a class of groups, was introduced
long time ago. Usually, C is chosen to be a class of groups with nice properties, such as the
class of all finite groups, nilpotent groups, free groups, etc. The classical definitions are as
follows.
Definition 1.1. (Classical Definition.) Let C be a class of groups. A group G is called a
residually-C group if for every nontrivial element 1 6= g ∈ G there is a group Hg ∈ C and an
onto homomorphism φg : G → Hg , such that φg (g) 6= 1. A group G is called a fully residuallyC group if for every finite set S = {g1 , . . . , gn } of distinct elements of G there is a group
HS ∈ C and an onto homomorphism φS : G → HS , such that the images φS (g1 ), . . . , φS (gn )
are all distinct in HS .
Clearly, every fully residually-C group is, in particular, residually-C. For some classes C,
the opposite also holds. It is not hard to show that every residually finite group is fully
residually finite and that every residually nilpotent group is fully residually nilpotent. The
situation is very different for the class of free groups, as was shown by Benjamin Baumslag.
Theorem 1.2. (B. Baumslag [3]) A group is fully residually free if and only if it is residually
free and commutative transitive.
Recall that a group G is called commutative transitive if for any nontrivial elements
g, h, f ∈ G, if [g, h] = 1 and [g, f ] = 1 then [h, f ] = 1.
We generalize Baumslag’s theorem to the wider class R of finitely generated toral relatively
hyperbolic groups defined in Section 2. In Section 4 we prove the following theorem.
Theorem 1.3. A finitely generated group is fully residually-R if and only if it is residually-R
and commutative transitive.
1

2

INNA BUMAGIN AND MING MING ZHANG

A generalization of Theorem 1.2 to some classes of groups was obtained by Ciobanu, Fine
and Rosenberger in [6]. Whereas some of the groups they consider are in the class R, other
groups have torsion and thus are not covered by our Theorem 1.3.
Our motivation is rooted in the growing interest to the algebraic geometry over toral
relatively hyperbolic groups. Fully residually free groups play a critical role in the theory
of equations over free groups and therefore, in the solution to the famous Tarski’s problems [26], [13]. We refer the interested reader to [11], [12], [4], where the basics of the
algebraic geometry over free groups are developed. Later, the solution to the Tarski problem
was generalized to torsion-free hyperbolic groups [27], [15]. Sela introduced limit groups and
showed that limit groups are precisely finitely generated fully residually free groups [25].
However, one changes the point of view slightly when studying algebraic geometry over
(relatively) hyperbolic groups. Firstly, one has to consider all homomorphisms, not only epimorphisms; in other words, one uses the following Definition 1.4, rather than Definition 1.1.
Definition 1.4. (Working Definition.) Let C be a class of groups. A group G is called a
residually-C group if for every nontrivial element 1 6= g ∈ G there is a group Hg ∈ C and a
homomorphism φg : G → Hg , such that φg (g) 6= 1. A group G is called a fully residually-C
group if for every finite set S = {g1 , . . . , gn } of distinct elements of G there is a group HS ∈ C
and a homomorphism φS : G → HS , such that the images φS (g1 ), . . . , φS (gn ) are all distinct
in HS .
The difference with the Classical Definition 1.1 is that the homomorphisms φg and φS
are no longer required to be onto. Clearly, the classes of (fully) residually finite and (fully)
residually free groups are the same for both definitions. The equivalence of the definitions
for C being the class of torsion-free hyperbolic groups and G being finitely generated is
immediate from results of Ol’shanskii [18]. In Section 3 we show that the definitions are
equivalent for the class of finitely generated toral relatively hyperbolic groups. Our proof is
based on statements that generalize results of Ol’shanskii and are proved by Osin [22]. The
equivalence of the definitions is an immediate corollary of the following theorem.
Theorem 1.5. Let R denote the class of finitely generated toral relatively hyperbolic groups,
and let Γ be a group in R. Then every finitely generated subgroup of Γ is a fully residually-R
group in the sense of Definition 1.1.
The second change that one makes to extend the algebraic geometry over free groups to
(relatively) hyperbolic groups, is that one’s attention restricts to homomorphisms into a fixed
group Γ from the given class. Accordingly, the terminology changes to (fully) residually-Γ
groups and Γ-limit groups.
In this context, Γ-limit groups are precisely finitely generated fully residually-Γ groups,
when the group Γ is either hyperbolic, as was shown by Sela in [27] for the torsion-free case
and by Reinfeldt and Weidmann in [24] for all hyperbolic groups, or Γ ∈ R, as was proved
by Groves in [10]. Yet more generally, the same result holds if Γ is an equationally Notherian
group, as was proved by Ould Houcine in [23].
We do not need to restrict to a fixed group Γ ∈ R to prove the generalization of Baumslag’s
theorem. However, we do that when we try to study the class of fully residually-R groups.
Note that usually, finitely generated (fully) residually-C groups do not have to be in C.
For instance, infinite linear groups are residually finite, and finitely generated free abelian
groups are fully residually free. However, for some classes C, a group G is fully residually-C
if and only if G ∈ C. An example is the class A of all abelian groups. Indeed, let a group G

ON FULLY RESIDUALLY-R GROUPS

3

be fully residually-A, and suppose there are a, b ∈ G such that [a, b] 6= 1. Clearly, both a and
b are nontrivial. Then there is an abelian group H and a homomorphism φ : G → H such
that φ(a), φ(b) and φ([a, b]) = [φ(a), φ(b)] are all nontrivial in H, which is a contradiction.
It follows that G is fully residually-A if and only if G ∈ A. In Section 5 we show that the
class of finitely generated toral relatively hyperbolic groups is closed under extensions of
centralizers (see Definition 5.1) and deduce the following theorem from a statement proved
by Kharlampovich and Miasnikov in [14].
Theorem 1.6. Let Γ be a finitely generated toral relatively hyperbolic group, and let G be a
finitely generated fully residually-Γ group. Then G embeds into a toral relatively hyperbolic
group.
Note that finitely generated fully residually free groups are toral relatively hyperbolic;
this follows from combination theorems proved by Dahmani [7] and Alibegovič [1]. On the
other hand, neither this latter statement, nor even the conclusion of Theorem 1.6 holds for
torsion-free finitely generated fully residually-H groups, where H is the class of hyperbolic
groups. Indeed, there are Baumslag-Solitar fully residually-H groups that do not embed into
any group in R; please see Section 6 for details.
2. Relatively hyperbolic groups
2.1. Definitions. We begin with the definition of a relatively hyperbolic group that was
originally introduced by Osin in [21].
Let G be a group, {Hλ , λ ∈ Λ} be a collection of subgroups of G, and X be a subset of G.
We say that S
X is a relative generating set of G with respect to {Hλ , λ ∈ Λ} if G is generated
by the set ( λ∈Λ Hλ ) ∪ X where X is assumed to be symmetric, i.e., X = X −1 . In this
situation, there exists a natural homomorphism
η : FG = (∗λ∈Λ Hλ ) ∗ F (X) → G,
where F (X) is the free group with the basis X. Let N denote the kernel of η. If N is a normal
closure of a subset R ⊆ N in the group FG , we say that G has the relative presentation
hX, Hλ , λ ∈ Λ | R = 1, R ∈ Ri
with respect to {Hλ , λ ∈ Λ}. For brevity, we write
hX, Hλ , λ ∈ Λ | Ri.
The relative presentation is finite if the sets X and R are finite. The group G is called
finitely presented relative to {Hλ , λ ∈ Λ} if G has a finite relative presentation with respect
to {Hλ , λ ∈ Λ}.
F
Let H = λ∈Λ (Hλ \ {1}). Given a word W over X ∪ H such that W represents the
identity in G, there exists an expression
W =F G

k
Y

fi−1 Ri±1 fi

i=1

with the equality in the group FG , where Ri ∈ R, fi ∈ FG for i = 1, · · · , k. The smallest
possible k is called the relative area of W and is denoted by Arearel (W ).

4

INNA BUMAGIN AND MING MING ZHANG

Definition 2.1. We say that G is hyperbolic relative to {Hλ , λ ∈ Λ} if G is finitely presented
relative to {Hλ , λ ∈ Λ} and there is a constant α > 0 such that for any word W of finite
length over X ∪H , representing the identity in G, we have Arearel (W ) ≤ αkW kX∪H , where
kW kX∪H denotes the shortest length of the word from the free monoid generated by X ∪ H
and is called the relative length of W with respect to H .
Remark 2.2. Note that the collection {Hλ , λ ∈ Λ} does not have to be finite and that G
and Hλ for all λ ∈ Λ need not be finitely presented or even finitely generated. However, if
the group G is finitely generated and finitely presented relative to {Hλ , λ ∈ Λ}, then by [21,
Theorem 1.1], the collection of subgroups is finite and each subgroup Hλ is finitely generated.
In this case, Osin’s definition is equivalent to the definition of Bowditch [5] and to that of
Farb [9] (including the BCP property), by [21, Appendix]. Dahmani and Guirardel proved
in [8] that if G is finitely presented then each subgroup Hλ is finitely presented.
Definition 2.3. Let a group G be hyperbolic relative to a collection of subgroups H =
{Hλ , λ ∈ Λ}. By a maximal parabolic subgroup of G we mean any conjugate Pg,λ = gHλg −1
for g ∈ G and λ ∈ Λ. A subgroup is parabolic if it is conjugate into one of the subgroups
in H. An element x of G is called parabolic if it lies in some parabolic subgroup of G.
Otherwise, x is called hyperbolic.
Definition 2.4. A torsion-free group hyperbolic relative to a collection of abelian subgroups
is called a toral relatively hyperbolic group. We denote by R the class of finitely generated
toral relatively hyperbolic groups.
2.2. Some properties. Throughout this section, we fix a group G hyperbolic relative to a
collection of infinite subgroups H = {Hλ , λ ∈ Λ}.
Recall that a subgroup H of a group Γ is called malnormal if H ∩ gHg −1 is trivial for any
g ∈ Γ \ H and that H is almost malnormal if H ∩ gHg −1 has finitely many elements for any
g ∈ Γ \ H. A group is called elementary (or virtually cyclic) if it contains a cyclic subgroup
of finite index. Theorem 2.5 below is a combination of several statements proved by Osin:
[21, Proposition 2.36] and [19, Theorem 1.5, Theorem 4.3, Corollary 1.6 and Corollary 1.7].
Theorem 2.5. (Osin) Let G be a group hyperbolic relative to a collection H = {Hλ , λ ∈ Λ}
of subgroups.
(1) For any g1 , g2 ∈ G, the intersection g1 Hλ g1−1 ∩ g2 Hµ g2−1 is finite whenever λ, µ ∈ Λ
and λ 6= µ. The intersection gHλg −1 ∩ Hλ is finite for any g ∈
/ Hλ ; in particular,
every subgroup from H is almost malnormal.
(2) Every hyperbolic element g of infinite order in G is contained in a unique maximal
elementary subgroup, namely in
E(g) = {f ∈ G; f −1 g n f = g ±n for some positive integer n}.
The subgroup E(g) is hyperbolic and almost malnormal.
(3) The group G is hyperbolic relative to H ∪ {E(g)}.
We have immediate consequences as follows.
Corollary 2.6. The collection H contains exactly one representative of each conjugacy class
of maximal infinite parabolic subgroups of G.
Proof. It is immediate from Theorem 2.5 (1) that infinite subgroups Hλ ∈ H and Hµ ∈ H
belong to distinct conjugacy classes, for all λ 6= µ. On the other hand, every maximal

ON FULLY RESIDUALLY-R GROUPS

5

parabolic subgroup P of G belongs to the conjugacy class of one of the subgroups in H,
by Definition 2.3. So, each conjugacy class of maximal parabolic subgroups has to have a
representative in H.

Corollary 2.7. Every maximal parabolic subgroup P of G is almost malnormal. If G is
torsion-free then P is malnormal.
Proof. Let P = gHλg −1 for some g ∈ G and Hλ ∈ H; let x ∈ G \ P . Then g −1 xg ∈
/ Hλ .
Thus, g −1 (P ∩ xP x−1 )g = Hλ ∩ (g −1xg)Hλ (g −1xg)−1 has finitely many elements because Hλ
is almost malnormal, by Theorem 2.5 (1). Hence, P is almost malnormal. The second part
of the statement is straightforward.

Corollary 2.8. Let x be a parabolic element of infinite order in G. Suppose that [x, y] = 1
for y ∈ G. Then y lies in the same maximal parabolic subgroup as x.
Proof. Let P be the maximal parabolic subgroup containing x. Assume that y ∈
/ P . Note
that x ∈ yP y −1 as [x, y] = 1. Then x ∈ P ∩ yP y −1, so that the intersection has infinitely
many elements, which is a contradiction. Therefore, y ∈ P .

We denote the normalizer of a subgroup H of a group Γ by NΓ (H).
Corollary 2.9. If P is an infinite maximal parabolic subgroup of G, then NG (P ) = P . If g
is an infinite order hyperbolic element of G then NG (E(g)) = E(g).
Proof. Suppose that x ∈ NG (P )\P . Then the intersection P ∩xP x−1 = P is infinite, while P
is almost malnormal, by Corollary 2.7. The contradiction implies that NG (P ) ⊆ P . Clearly,
P ⊆ NG (P ). So, NG (P ) = P . The second assertion now follows because G is hyperbolic
relative to {Hλ , λ ∈ Λ} ∪ {E(g)}, by Theorem 2.5(3).

Corollary 2.10. Let g be a hyperbolic element of infinite order in G. Suppose that A is an
infinite subgroup of E(g). Then NG (A) is a subgroup of NG (E(g)).
Proof. Assume that x ∈ NG (A) \ NG (E(g)). By Corollary 2.9, NG (E(g)) = E(g); and so
x∈
/ E(g). Thus, the cardinality of A = xAx−1 ∩ A ⊆ xE(g)x−1 ∩ E(g) is infinite, which
contradicts to E(g) being almost malnormal by Theorem 2.5 (2). Therefore, NG (A) ⊆
NG (E(g)).

Lemma 2.11. Suppose that G is torsion-free and that g is a hyperbolic element of G. Then
the maximal elementary subgroup E(g) = hai is the maximal cyclic subgroup containing g.
In particular, the centralizer CG (g) = hai of g is cyclic.
Proof. By Theorem 2.5 (2), E(g) is a virtually cyclic group. It is well-known that every
torsion-free virtually cyclic group is either trivial or infinite cyclic; for instance, see [28].
Hence, E(g) is the maximal cyclic subgroup containing g, that is, E(g) = hai for some
a ∈ G. Clearly, hai ⊆ CG (g). On the other hand, it follows from Theorem 2.5 (2) that
CG (g) ⊆ E(g); hence, CG (g) ⊆ hai. So, CG (g) = hai.

Lemma 2.12. Let A be an abelian subgroup of G. Suppose that x ∈ A has infinite order. If
x is parabolic, then A is contained in a maximal parabolic subgroup; otherwise, A is contained
in E(x).
Proof. If x is parabolic, then x ∈ P ∩ A for some maximal parabolic subgroup P ; Corollary
2.8 implies that A ⊆ P as A is abelian. If x is hyperbolic, then the centralizer CG (x) of x is
contained in E(x) by Theorem 2.5 (2); and note that A ⊆ CG (x). Hence, A ⊆ E(x).


6

INNA BUMAGIN AND MING MING ZHANG

Remark 2.13. It is well-known that a hyperbolic group contains no free abelian subgroups of
rank 2, i.e., Z×Z. Torsion-free relatively hyperbolic groups can contain subgroups isomorphic
to Z × Z but each one of these has to lie in some parabolic subgroup, by Lemma 2.12 and
Lemma 2.11.
Corollary 2.14. Let G be torsion-free, let H be a non-elementary non-parabolic subgroup
of G, and let A be an abelian subgroup of H which is normal in H. Then A is trivial. In
particular, every non-elementary non-parabolic subgroup of a torsion-free relatively hyperbolic
group has trivial centre.
Proof. Since A is abelian, we have two cases by Lemma 2.12. First, A is contained in some
maximal parabolic subgroup P ; and so, A ⊆ P ∩ H. Since H 6⊆ P , there exists h ∈ H \ P
such that A ⊆ hP h−1 because A is normal in H. Hence, A ⊆ P ∩ hP h−1 , which implies that
A is trivial by Corollary 2.7. The second case is when A ⊆ E(x) ∩ H for some hyperbolic
element x ∈ G. Note that H 6⊆ E(x) and that E(x) is almost malnormal by Theorem 2.5
(2). A similar argument as in the first case shows that A is trivial. The last assertion follows
immediately.

3. Residual homomorphisms
In this section we prove that Definitions 1.1 and 1.4 over the class R are equivalent.
Our proof is built upon results of Ol’shanskii and Osin. In [22], Osin generalizes the small
cancellation theory over hyperbolic groups, developed by Ol’shanskii in [18], to relatively
hyperbolic groups.
Let G be a relatively hyperbolic group. Given a subgroup H of G, we denote by H 0 the
set of all hyperbolic elements of infinite order in H. Recall that two elements f and g in G0
are said to be commensurable in G if f k is conjugate to g l in G, for some nonzero integers k
and l.
Definition 3.1. Let G be a relatively hyperbolic group. A subgroup H of G is called suitable,
if there exist two non-commensurable elements f1 and f2 in H 0 such that E(f1 )∩E(f2 ) = {1}.
Proposition 3.2. [2, Proposition 3.4] Suppose that a group G is hyperbolic relative to a
collection of subgroups {Hλ ; λ ∈ T
Λ} and that H is a subgroup of G. Then H is suitable if
0
and only if H 6= ∅ and E(H) = g∈H 0 E(g) = {1}.
Lemma 3.3. [2, Lemma 3.3] With the notation of Proposition 3.2, if H is a non-elementary
subgroup of G and H0 6= ∅, then E(H) is the maximal finite subgroup of G normalized by H.
As an immediate consequence of Proposition 3.2 and Lemma 3.3 we have the following
statement.
Corollary 3.4. Let a group G be torsion-free hyperbolic relative to a collection of subgroups
H = {Hν , ν ∈ Λ}. Suppose that H is a non-elementary subgroup of G containing a hyperbolic
element h. Then H is suitable.
The following theorem is a combination of Theorem 2.4 and Lemma 5.1 from [22].
Theorem 3.5. (Osin) Let G be a group hyperbolic relative to a collection of subgroups
{H
F ν , ν ∈ Λ}, X be a relative generating set for G with respect to {Hν , ν ∈ Λ} and H =
ν∈Λ (Hν \ {1}). Let H be a suitable subgroup of G, t1 , · · · , tm arbitrary elements of G and
N an arbitrary positive integer. Then there exists an epimorphism η : G → Ḡ such that :

ON FULLY RESIDUALLY-R GROUPS

7

The group Ḡ is hyperbolic relative to {η(Hν ), ν ∈ Λ}.
For any i = 1, · · · , m, we have η(ti ) ∈ η(H).
The restriction of η to H is injective.
The restriction of η to the subset of elements of length at most N with respect to
X ∪ H is injective.
(5) If all hyperbolic elements of G have infinite order then all hyperbolic elements of Ḡ
have infinite order.

(1)
(2)
(3)
(4)

Recall that we denote by R the class of finitely generated toral relatively hyperbolic groups
(see Definition 2.4). Note that every free abelian group of finite rank is hyperbolic relative
to itself. Hence, the following lemma holds.
Lemma 3.6. Every free abelian group of finite rank is fully residually-R in the sense of both
Definition 1.1 and 1.4.
We now are able to prove the main result of this section.
Theorem 3.7. Let G ∈ R. Every nontrivial finitely generated subgroup H of G is fully
residually-R in the sense of Definition 1.1.
Proof. A torsion-free elementary group is necessarily cyclic and so belongs to R. So, let H
be non-elementary. If H is contained in a parabolic subgroup of G, then H is a free abelian
group of finite rank, hence it is fully residually-R in the sense of Definition 1.1 by Lemma
3.6. If H contains a hyperbolic element then H is suitable by Corollary 3.4. Since G is
finitely generated, Theorem 3.5 (2) implies that there exists a homomorphism η : G → Ḡ
such that η(H) = Ḡ. Indeed, one can choose the elements t1 , . . . , tm to be a generating set
for G. Furthermore, Theorem 3.5 (4) yields that η is injective on any finite set of elements
in G. By Theorem 3.5 (1), (3) and (5), Ḡ ∈ R. Hence, by considering the homomorphism η
restricted to H, H is fully residually-R in the sense of Definition 1.1.

Corollary 3.8. A finitely generated group G is fully residually-R in the sense of Definition
1.1 if and only if it is fully residually-R in the sense of Definition 1.4.
Proof. Obviously, Definition 1.1 implies Definition 1.4. To prove the converse, let L be a
finitely generated group, and let a1 , . . . , an be nontrivial elements of L. If L is fully residuallyR in the sense of Definition 1.4 then there is a group G ∈ R and a homomorphism φ : L → G
such that φ(ai ) 6= 1, for all i = 1, . . . , n. We argue that there is an epimorphism α from L
onto a group in R such that the elements a1 , . . . , an survive in the image, as follows. Let
H = φ(L) ⊆ G. If H is either free abelian, or elementary, or H = G then H ∈ R and we are
done. Otherwise, H is a proper subgroup of G and is suitable. Choose a finite generating
set t1 , . . . , tm for G and an integer N such that N > max{|φ(ai )|G ; i = 1, . . . , n}, and let
η be a homomorphism from Theorem 3.7 such that η(H) = Ḡ ∈ R. Let µ = η|H be the
restriction of η to H. Then α = µ ◦ φ : L → Ḡ is an epimorphism which has all of the
required properties, by the proof of Theorem 3.7. Hence, L is fully residually-R in the sense
of Definition 1.1.

4. The generalization of Baumslag’s theorem
Relatively hyperbolic groups are not commutative transitive in general. For instance, if G
is a non-abelian relatively hyperbolic group with torsion, then it may have a nontrivial finite

8

INNA BUMAGIN AND MING MING ZHANG

centre (cf. Corollary 2.14). In this case, G is not commutative transitive. However, toral
relatively hyperbolic groups are commutative transitive as the following theorem shows.
Recall that we denote by R the class of finitely generated toral relatively hyperbolic groups
(see Definition 2.4).
Theorem 4.1. If G is a toral relatively hyperbolic group, then G is commutative transitive.
In particular, if G ∈ R then G is commutative transitive.
Proof. Suppose that there are nontrivial elements x, y and z ∈ G with [x, y] = 1 and [y, z] =
1. It follows from Corollary 2.8 that if one of x, y, z is parabolic then so are the other two.
Moreover, in this case all the three elements belong to one and the same maximal parabolic
subgroup. Since every parabolic subgroup is abelian, we have [x, z] = 1. So, suppose that
x, y and z are hyperbolic in G. Since yxy −1 = x, y ∈ E(x) and so, E(x) ⊆ E(y) by Theorem
2.5 (2). Similarly, we have E(y) ⊆ E(x). So, E(x) = E(y). By a similar argument, we
have E(y) = E(z). Therefore, x, y and z ∈ E(x). But Lemma 2.11 implies that E(x) is
the maximal cyclic subgroup containing x; and hence, [x, z] = 1. Thus, G is commutative
transitive.

Throughout the rest of this section, we use Definition 1.4 of (fully) residually-R groups. We
have shown in Section 3 that if L is a finitely generated group then L is (fully) residually-R in
the sense of Definition 1.1 if and only if L is (fully) residually-R in the sense of Definition 1.4.
Proposition 4.2. Suppose that G is a fully residually-R group. Then G is commutative
transitive.
Proof. Let x, y and z be nontrivial elements in G; and let [x, y] = 1 and [y, z] = 1. We
need to show that [x, z] = 1. Suppose that [x, z] 6= 1. Since G is fully residually R, there
is a homomorphism φ : G → H ∈ R such that φ(x), φ(y), φ(z) and φ([x, z]) are nontrivial
elements in H. But φ([x, y]) and φ([y, z]) are trivial in H. Since H is commutative transitive
by Theorem 4.1, we have φ([x, z]) = 1. The contradiction shows that [x, z] = 1.

Lemma 4.3. If G is a residually-R group, then G is torsion-free.
Proof. Assume that there exists a nontrivial torsion element x ∈ G. Since G is residually-R,
there is a homomorphism φ : G → H ∈ R such that φ(x) 6= 1. Then φ(x) has infinite order
in H, a contradiction. Therefore, G is torsion-free.

Corollary 4.4. Suppose that a finitely generated abelian group G is residually-R. Then G
is fully residually-R.
Proof. By Lemma 4.3, G has no torsion elements hence, it is isomorphic to a free abelian
group. Then by Lemma 3.6, G is fully residually-R.

Lemma 4.5. Every abelian normal subgroup of a residually-R group is contained in its
centre.
Proof. Let G be a residually-R group; let A be an abelian normal subgroup of G; and let
Z(G) be the centre of G. Suppose that A is not a subset of Z(G). Then there exists a
nontrivial element a ∈ A \ Z(G) with [a, g] 6= 1 for some g ∈ G. Note that [a, g] ∈ A as A is
normal in G. Since G is residually-R, there exists a homomorphism φ : G → H ∈ R such
that φ([a, g]) 6= 1; necessarily, φ(a) 6= 1 and φ(g) 6= 1. Then φ(G) is a non-abelian subgroup
of H; in particular, φ(G) is a non-elementary non-parabolic subgroup of H. Note that φ(A)

ON FULLY RESIDUALLY-R GROUPS

9

is abelian and normal in φ(G) as A is abelian and normal in G. So, φ(A) is trivial by
Corollary 2.14. It is impossible as 1 6= φ([a, g]) ∈ φ(A). Therefore, we have A ⊆ Z(G). 
Example 4.6. The direct product F2 × Z of a free group of rank 2 and an infinite cyclic
group is residually-R. Note that F2 × Z is not commutative transitive since it is non-abelian
with a nontrivial centre. By Proposition 4.2, F2 × Z is not fully residually-R.
Having proved that groups in R are commutative transitive, we can apply an argument
due to B. Baumslag [3] to prove the following.
Proposition 4.7. Suppose that a finitely generated group G is residually-R and commutative
transitive. Then G is fully residually-R.
Proof. (B. Baumslag) Assume that the centre of G is trivial; otherwise, G would be abelian
because it is commutative transitive and hence, G is fully residually-R by Corollary 4.4.
Let n be a positive integer and let g1 , . . . gn be nontrivial elements of G. We claim that
there exists a nontrivial g ∈ G such that if φ(g) 6= 1 for a homomorphism φ : G → H ∈ R
then none of the elements φ(g1 ), · · · φ(gn ) is trivial. We can prove this by induction on n.
For n = 1, it is true by taking g = g1 . Now, assume that there exists a nontrivial g ∈ G
such that the claim is true for nontrivial elements g1 , . . . , gk where k < n. We need to show
that there exists a nontrivial g ′ ∈ G such that the assertion holds for g1 , . . . , gk+1. Consider
c(x) = [g, xgk+1x−1 ] for x ∈ G. If c(x) = 1 for all x, then A = hxgk+1 x−1 ; for every x ∈ Gi is
abelian because G is commutative transitive; in addition, A is normal in G. Since the centre
Z(G) of G is trivial, and by Lemma 4.5 A ⊂ Z(G), A is trivial. But note that gk+1 ∈ A,
which is impossible as gk+1 6= 1. Hence, there exists x in G such that c(x) 6= 1. Choose
g ′ = c(x). Note that φ(g ′) 6= 1 implies that φ(g) 6= 1 and φ(gk+1) 6= 1. So, none of the
elements φ(g1 ), · · · , φ(gk+1) is trivial; and hence, the claim is proven.
Let g be constructed as in the claim. Since G is residually-R, we have a homomorphism
φ : G → H ∈ R such that φ(g) 6= 1. We can conclude that φ(gi ) 6= 1 for all i = 1, · · · , n; in
particular, G is fully residually-R.

As a consequence of Propositions 4.2 and 4.7, we have the following generalization of B.
Baumslag’s theorem [3].
Theorem 4.8. A finitely generated group is fully residually-R if and only if it is residually-R
and commutative transitive.
5. Toral-limit groups
In this section, we study the class of fully residually-R groups. We recall some definitions
introduced by Miasnikov and Remeslennikov in the paper [17]. Let G be a group. The
centralizer of an element u ∈ G in G is denoted by CG (u).
Definition 5.1. Let G be a group. We say that a group G1 is obtained from G by an
extension of a centralizer if, for some u ∈ G, G1 is isomorphic to the free product of G and
CG (u) × hti with amalgamation:
G1 ∼
= G ∗C (u) (CG (u) × hti).
G

Also, G1 has a presentation as an HNN-extension, as follows:
G1 = hG, t | [CG (u), t] = 1i.

10

INNA BUMAGIN AND MING MING ZHANG

A group obtained as the union of a chain of extensions of centralizers
G = G0 ≤ G1 ≤ · · · ≤ Gi ≤ Gi+1 ≤ · · · ≤ Gk
is called an iterated extension of centralizers up to k, where
Gi+1 = hGi , ti | [CGi (ui ), ti ] = 1i, i = 0, 1, . . . , k − 1.
The following result is proved by Osin in [20].
Lemma 5.2. [20, Corollary 1.5] Suppose that A and B are groups, hyperbolic relative to
{Aµ }µ∈M ∪ {K} and {Bν }ν∈N , respectively. Assume in addition that K is finitely generated
and for some η ∈ N, there is a monomorphism ξ : K → Bη . Then the amalgamated product
A ∗K=ξ(K) B is hyperbolic relative to {Aµ }µ∈M ∪ {Bν }ν∈N .
Corollary 5.3. Let G be a finitely generated group hyperbolic relative to a collection H =
{Hλ , λ ∈ Λ} of subgroups; and let P = H \ {Hλ } for some λ ∈ Λ. Suppose that C is a
subgroup of Hλ , and let K = hHλ , t | [C, t] = 1i. Then G ∗C (C × hti) is hyperbolic relative
to P ∪ {K}.
Proof. Since G is finitely generated, each subgroup in H is finitely generated, by [21, Theorem 1.1]. Note that K is hyperbolic relative to itself and that Hλ embeds into K. Hence, the
amalgamated free product G1 = G ∗Hλ K is hyperbolic relative to P ∪ {K}, by Lemma 5.2.
Clearly, G1 is isomorphic to the amalgamated product G∗C (C ×hti). Therefore, G∗C (C ×hti)
is hyperbolic relative to P ∪ {K}.

Proposition 5.4. Let C be the class of finitely generated torsion-free relatively hyperbolic
groups, and let G ∈ C. Suppose that Gk is obtained from G by an iterated extension of
centralizers up to k. Then Gk ∈ C, for any k ≥ 1. In fact, if G ∈ R then Gk ∈ R, for any
k ≥ 1.
Proof. Let G ∈ C be hyperbolic relative to a collection H = {Hλ , λ ∈ Λ} of subgroups, and
let u be a hyperbolic element in G. As G is torsion-free, by Lemma 2.11, E(u) = hai for
some a ∈ G, and so CG (u) = hai. By Theorem 2.5 (3), G is hyperbolic relative to H ∪ {hai}.
Corollary 5.3 implies that
G1 = hG, t | [a, t] = 1i = G ∗hai (hai × hti)
is hyperbolic relative to H ∪ (hai × hti). As an amalgamated product of finitely generated
torsion-free groups, G1 is finitely generated and torsion-free. It follows that G1 ∈ C. Note
that if G ∈ R then the subgroups in H and hai × hti are all finitely generated free abelian
and so G1 ∈ R.
Now, suppose that u is a parabolic element in G, then u′ = g −1 ug ∈ Hλ for some Hλ ∈ H
and g ∈ G. Let P = H \ {Hλ}. Denote C = CG (u′ ); by Corollary 2.8, C ⊆ Hλ . Set
K = hHλ , t; [C, t] = 1i, then K is finitely generated and torsion free. It follows that G′ =
G ∗Hλ K is finitely generated and torsion-free; and so is G1 = G ∗C (C × hti) as G1 ∼
= G′ . By
Corollary 5.3, G1 is hyperbolic relative to P ∪ {K}. Thus, G1 ∈ C. Note that if G ∈ R then
C = Hλ and so K is abelian; therefore, G1 ∈ R.
An easy induction on k shows that Gk ∈ C. If G ∈ R then either CGi (ui ) is a maximal
cyclic hyperbolic subgroup, or CGi (u′i ) is a maximal abelian parabolic subgroup, for each i.
By induction, we conclude that Gk ∈ R, for all k.


ON FULLY RESIDUALLY-R GROUPS

11

Observe that every nontrivial parabolic subgroup of G ∈ R is proper if and only if G
is non-abelian. We denote the class of non-abelian groups in R by G. The statement of
Theorem C from [14] is equivalent to the following (see [4, 17]).
Theorem 5.5. [14, Theorem C] Suppose that Γ ∈ G. Then a finitely generated group G
is fully residually-Γ if and only if G embeds into a group Γ̄ obtained from Γ by an iterated
extension of centralizers up to a finite number k.
Theorem 5.6. Let Γ ∈ R. If a finitely generated group G is fully residually-Γ then G embeds
into a group Γ̄ ∈ R.
Proof. Note that R = G ∪ {all abelian groups in R}. If Γ ∈ G, then the statement immediately follows from Proposition 5.4 and Theorem 5.5. If Γ ∈ R is a finitely generated free
abelian group then G is free abelian and so G ∈ R.

6. The Baumslag-Solitar groups
The statement of Theorem 5.6 can be contrasted with the case when one considers torsionfree fully residually-H groups, where H is the class of hyperbolic groups, see Proposition 6.4
below.
Recall that the presentation BS(p, q) = ha, b; bap b−1 = aq i with p, q ∈ Z defines a BaumslagSolitar group. Whereas the integers p and q can be arbitrary, we always assume that p and
q are nonzero.
The following lemma is stated as Corollary 4.22 in [21]. We provide a proof for completeness.
Lemma 6.1. [21, Corollary 4.22] Let G be a finitely generated group hyperbolic relative to a
collection of subgroups {H1 , · · · , Hm }. Suppose that
B∼
= BS(p, q) = a, b; bap b−1 = aq
with pq 6= 0 is a subgroup of G. Then B is a parabolic subgroup of G.
Proof. The assumption pq 6= 0 implies that B is torsion-free.
Firstly, assume that a is parabolic. Then a is contained in a maximal parabolic subgroup
P , and we have that aq ∈ P ∩ bP b−1 contradicting to Corollary 2.7, unless b ∈ P . So, B is
a parabolic subgroup.
Now, assume that a is hyperbolic. Then a ∈ E(a) by Theorem 2.5 (2), and E(a) is
hyperbolic as an abstract group. By [21, Corollary 4.21], q = ±p and so, by Theorem 2.5
(2), b ∈ E(a). Therefore, B ∼
= ha, b; bap b−1 = a±p i is a subgroup of E(a). However, the
subgroup hap , b2 i of B is isomorphic to a free abelian group of rank 2, which is a contradiction.
Therefore, a cannot be a hyperbolic element of G.

Corollary 6.2. Let B ∼
= BS(1, q), where q ≥ 2. Then B is not a subgroup of a group in R.
Proof. Let G be a group in R. Assume that B is a subgroup of G. Then B is a parabolic
subgroup by Lemma 6.1; hence, B is abelian, which is a contradiction.

The following Theorem is due to Meskin [16].
Theorem 6.3. [16, Theorem C] BS(p, q) is residually finite if and only if |p| = 1 or |q| = 1
or |p| = |q|.

12

INNA BUMAGIN AND MING MING ZHANG

Proposition 6.4. Let H denote the class of hyperbolic groups. Let B = BS(1, q) where
q ≥ 2. Then B is torsion-free fully residually-H. In particular, torsion-free fully residuallyH groups do not embed into groups in R.
Proof. Note that B is torsion-free. By Theorem 6.3, B is residually finite. Hence, B is fully
residually finite. It follows that B is fully residually-H, as the class H contains all finite
groups. Note that B cannot be embedded into a group from R by Corollary 6.2. Therefore,
the result follows.

Note that, whereas the groups Bq = BS(1, q), q ≥ 2, are torsion-free, in our proof the
hyperbolic quotients of Bq all have torsion elements. We ask the following question, which
can be contrasted with the statement of Theorem 5.6.
Question. Let G be a finitely generated fully residually-R group. Does G embed into a group
in R?
References
[1] E. Alibegovic. A combination theorem for relatively hyperbolic groups. Bulletin of the London Mathematical Society, 37(3):459–466, 2005.
[2] G. Arzhantseva, A. Minasyan, and D. Osin. The SQ-universality and residual properties of relatively
hyperbolic groups. Journal of Algebra, 315(1):165–177, 2007.
[3] B. Baumslag. Residually free groups. Prceedings of the London Mathematical Society, 17(3):402–418,
1967.
[4] G. Baumslag, A. Maysnikov, and V. Remeslennikov. Algebraic geometry over groups I: Algebraic sets
and ideal theory. Journal of Algebra, 219:16–79, 1999.
[5] B. H. Bowditch. Relatively hyperbolic groups. International Journal of Algebra Computation, 22, 2012.
[6] L. Ciobanu, B. Fine, and G. Rosenberger. Classes of groups generalizing a theorem of Benjamin
Baumslag. Communications in Algebra, 44(2):656–667, 2016.
[7] F. Dahmani. Combination of convergence groups. Geometry & Topology, 7:933–963, 2003.
[8] F. Dahmani and V. Guirardel. Presenting parabolic subgroups. Algebraic & Geometric Topology,
13(6):3203–3222, 2013.
[9] B. Farb. Relatively hyperbolic groups. Geometric And Functional Analysis, 8(5):810–840, 1998.
[10] D. Groves. Limit groups for relatively hyperbolic groups. II. Makanin-Razborov diagrams. Geom. Topol.,
9:2319–2358, 2005.
[11] O. Kharlampovich and A. Myasnikov. Irreducible affine varieties over a free group. I. Irreducibility of
quadratic equations and Nullstellensatz. J. Algebra, 200(2):472–516, 1998.
[12] O. Kharlampovich and A. Myasnikov. Irreducible affine varieties over a free group. II. Systems in
triangular quasi-quadratic form and description of residually free groups. J. Algebra, 200(2):517–570,
1998.
[13] O. Kharlampovich and A. Myasnikov. Elementary theory of free non-abelian groups. J. Algebra,
302(2):451–552, 2006.
[14] O. Kharlampovich and A. Myasnikov. Limits of relatively hyperbolic groups and Lyndon’s completions.
Journal of the European Math. Soc., 14:659–680, 2012.
[15] O. Kharlampovich and A. Myasnikov. Decidability of the elementary theory of a torsion-free hyperbolic
group. Preprint, 2013.
[16] S. Meskin. Nonresidually finite one-relator groups. Transactions of the American Mathematical Society,
164:105–114, 1972.
[17] A. Myasnikov and V. Remeslennikov. Exponential groups II : extensions of centralizers and tensor
completion of CSA-groups. International Journal of Algebra Computation, 6(6):687–711, 1996.
[18] A. Yu. Ol’shanskii. On residualing homomorphisms and G-subgroups of hyperbolic groups. International
Journal of Algebra Computation, 3:365–409, 1993.
[19] D. V. Osin. Elementary subgroups of relatively hyperbolic groups and bounded generation. International
Journal of Algebra Computation, 16(01):99–118, 2006.

ON FULLY RESIDUALLY-R GROUPS

13

[20] D. V. Osin. Relative Dehn functions of HNN-extensions and amalgamated products. Contemporary
Mathematics, 394:209–220, 2006.
[21] D. V. Osin. Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic
problems. Memoirs AMS, 179(843), 2006.
[22] D. V. Osin. Small cancellations over relatively hyperbolic groups and embedding theorems. Annals of
mathematics, 172:1–39, 2010.
[23] Abderezak Ould Houcine. Limit groups of equationally Noetherian groups. In Geometric group theory,
Trends Math., pages 103–119. Birkhäuser, Basel, 2007.
[24] C. Reinfeldt and R. Weidmann. Makanin-Razborov diagrams for hyperbolic groups. Preprint, 2010.
[25] Z. Sela. Diophantine geometry over groups. I. Makanin-Razborov diagrams. Publ. Math. Inst. Hautes
Études Sci., 93:31–105, 2001.
[26] Z. Sela. Diophantine geometry over groups. VI. The elementary theory of a free group. Geom. Funct.
Anal., 16(3):707–730, 2006.
[27] Z. Sela. Diophantine geometry over groups. VII. The elementary theory of a hyperbolic group. Proc.
Lond. Math. Soc. (3), 99(1):217–273, 2009.
[28] John R. Stallings. On torsion-free groups with infinitely many ends. Ann. of Math. (2), 88:312–334,
1968.
School of Mathematics and Statisics, Carleton University, Ottawa, ON, Canada K1S
5B6, E-mail addresses : bumagin@math.carleton.ca mingzhang@cmail.carleton.ca

