CONJUGACY IN NORMAL SUBGROUPS OF HYPERBOLIC GROUPS

arXiv:0906.1606v3 [] 11 Oct 2016

ARMANDO MARTINO AND ASHOT MINASYAN
Abstract. Let N be a finitely generated normal subgroup of a Gromov hyperbolic
group G. We establish criteria for N to have solvable conjugacy problem and be conjugacy separable in terms of the corresponding properties of G/N . We show that the
hyperbolic group from F. Haglund’s and D. Wise’s version of Rips’s construction is
hereditarily conjugacy separable. We then use this construction to produce first examples of finitely generated and finitely presented conjugacy separable groups that contain
non-(conjugacy separable) subgroups of finite index.

1. Introduction
One of the most intuitive ways to study an infinite (discrete) group, G, is to look at
its finite quotients. However, in general, one loses information about G if one restricts
attention to these finite quotients, and so arises the definition of residual finiteness, where
G is said to be residually finite if for every x 6= y ∈ G there is homomorphism ψ : G → Q,
where Q is a finite group, such that ψ(x) 6= ψ(y) in Q.
To use this method more systematically, one introduces the profinite topology PT (G) on
G. This is the topology whose basic open sets are cosets of finite index normal subgroups
in G. It is not difficult to check that the group operations are continuous with respect to
this topology, thus G, equipped with PT (G), is a topological group. Residual finiteness
for G then becomes the statement that this topology is Hausdorff; in fact, it is equivalent
to the statement that singletons are closed.
A subset A ⊆ G is said to be separable in G if A is closed in PT (G). Intuitively,
this means that A can be recognized by looking at finite quotients of G. A group is
called subgroup separable (or LERF) if every finitely generated subgroup is closed in
PT (G). Similarly, a group is called conjugacy separable if for every element g ∈ G, its
conjugacy class g G := {h−1 gh | h ∈ G} ⊆ G is closed in PT (G). Equivalently, G is
conjugacy separable if and only if for any two non-conjugate elements x, y ∈ G there
exists a homomorphism ψ from G to a finite group Q such that ψ(x) is not conjugate to
ψ(y) in Q.
One can formalize the sense in which subsets closed in PT (G) are “recognizable”, and
this was done classically by A. Mal’cev [24], who proved that a finitely presented residually
finite group has solvable word problem. Mal’cev [24] also proved that a finitely presented
2000 Mathematics Subject Classification. 20F67, 20F10, 20E26.
Key words and phrases. Hereditary conjugacy separability, normal subgroups of hyperbolic groups,
Rips’s construction.
1

2

ARMANDO MARTINO AND ASHOT MINASYAN

conjugacy separable group has solvable conjugacy problem. (In fact, one can show that
any recursively enumerable subset of a finitely presented group G, which is closed in
PT (G), has decidable membership problem.) Thus residual finiteness and conjugacy
separability can be viewed as natural “profinite analogues” of the solvability of word and
conjugacy problems respectively.
This analogy between decision problems and closure properties can be seen as part
of the motivation for this paper. Namely, it is well known that if a (finitely presented)
group has solvable word problem, then so does any finite index subgroup and any finite
extension. Similarly, for a residually finite group, any finite index subgroup and any finite
extension is also residually finite. However, one cannot say the same about the conjugacy
problem: Collins and Miller [11] proved that there exists a finitely presented group with
solvable conjugacy problem, with a finite index subgroup having unsolvable conjugacy
problem. In the same paper [11] (see also [17]), they also construct a finitely presented
group with solvable conjugacy problem and its finite extension with unsolvable conjugacy
problem. The purpose of this paper is to provide a profinite analogue of the first of these.
Specifically, our main theorem is
Theorem 1.1. For every integer m ≥ 2 there exists a finitely presented conjugacy separable group T that contains a non-(conjugacy separable) subgroup S of index m. Moreover,
T can be chosen in such a way that
• T is a subgroup of some right angled Artin group;
• both T and S have solvable conjugacy problem.
So while we would like conjugacy separability to pass to finite index subgroups, these
examples show that it does not. For this reason, in [10] S. Chagas and P. Zalesskii defined
a group G to be hereditarily conjugacy separable if every finite index subgroup of G is
conjugacy separable, and constructed the first (infinitely generated) example of a conjugacy separable but not hereditarily conjugacy separable group. The concept of hereditary
conjugacy separability is essential in the current paper. We believe that this concept
is stronger (according to the theorem above) and more useful than simply conjugacy
separability, in view of many applications, discovered in [27].
Let us also mention that an example of a finitely generated (but not finitely presented)
non-(conjugacy separable) group G, containing a conjugacy separable subgroup H of
index 2, was constructed much earlier by A. Goryaga in [16]. As it can be easily seen
from Goryaga’s argument, the conjugacy problem is unsolvable in this group G.
In order to briefly describe the strategy of our proof and the structure of the paper, let
us start with the following
Theorem 1.2. Let H be a finitely generated torsion-free normal subgroup of a hyperbolic
group G. Then H has solvable conjugacy problem if and only if G/H has solvable word
problem.
The above statement was probably known to the experts before this work. In one
direction, it can be compared, for instance, with the result of M. Bridson [7], claiming that

CONJUGACY IN NORMAL SUBGROUPS OF HYPERBOLIC GROUPS

3

a normal subgroup N of a bicombable group G has solvable conjugacy problem, provided
the generalized word problem is solvable in G/N ; in the other direction it follows from
[9, III.Γ, Lemma 5.18]. We give a proof of Theorem 1.2 in Section 3. We include it here
mainly to motivate Theorem 1.3 below, in which the word and conjugacy problems are
replaced by the corresponding properties of the profinite topology.
Theorem 1.3. Suppose that G is a torsion-free hereditarily conjugacy separable hyperbolic
group and H C G is a finitely generated normal subgroup. Then H is conjugacy separable
if and only if G/H is residually finite.
As one can see, in Theorem 1.3 we had to impose an additional assumption demanding
that G be hereditarily conjugacy separable. Presently, it is not known whether there
exist non-(conjugacy separable) or non-(residually finite) hyperbolic groups. But if, for
instance, there were a hyperbolic group G that is not residually finite, then the trivial
subgroup H := {1} would be conjugacy separable but G/H ∼
= G would not be residually finite. Thus the statement of Theorem 1.3 would be false without that additional
assumption.
In Section 5 we suggest a generic method for constructing a hyperbolic group G and its
finitely generated normal subgroup H satisfying the assumptions of Theorem 1.3. This
method is based on the modification of Rips’s construction, presented by F. Haglund and
D. Wise in [20], and on the result that right angled Artin groups are hereditarily conjugacy
separable, which was established in [27]. We apply this hereditarily conjugacy separable
version of Rips’s construction together with Theorem 1.3 in Section 6, to produce examples
of finitely generated conjugacy separable groups which contain non-(conjugacy separable)
finite index subgroups.
In Section 7 we obtain similar criteria for conjugacy separability of fibre products,
associated to normal subgroups of hyperbolic groups. And in Section 8 we construct the
examples demonstrating our main Theorem 1.1.
We note that the idea to employ Rips’s construction for obtaining exotic examples of
groups is an entirely familiar one, having been used in [36], [8] and [5], for example.
Acknowledgements. We would like to thank M. Belolipetsky, M. Bridson, F. Haglund
and D. Wise for enlightening discussions.
2. Preliminaries
Let (X , d) be a geodesic metric space and let δ be a non-negative real number. A
geodesic triangle ∆ in X is said to be δ-slim, if each of its sides is contained in the
closed δ-neighborhood of the union of the two other sides. The space X is called Gromov
hyperbolic if there exists δ ≥ 0 such that every geodesic triangle ∆ in X is δ-slim. A
subset Q ⊆ X is said to be ε-quasiconvex (for some ε ≥ 0), if any geodesic connecting two
elements from Q belongs to a closed ε-neighborhood of Q in X .
Given a group G, generated by a finite symmetrized (i.e., A = A−1 ) set of elements A ⊂
G, the corresponding Cayley graph Γ(G, A) can be equipped with the natural simplicial

4

ARMANDO MARTINO AND ASHOT MINASYAN

metric, making it a proper geodesic metric space. The group G is (Gromov ) hyperbolic if
its Cayley graph Γ(G, A) is a Gromov hyperbolic metric space. A subset Q ⊆ G is called
quasiconvex if there is ε ≥ 0 such that Q is ε-quasiconvex, when regarded as a subset of
Γ(G, A).
Hyperbolic groups became a major subject of study in Geometric Group Theory since
they were introduced by M. Gromov in [18]. Hyperbolicity of a given group G does not
depend on the choice of a particular finite generating set A of G. In the case when G is
hyperbolic, quasiconvexity of some subset Q ⊆ G is also independent of A. For this and
other basic properties of hyperbolic groups the reader is referred to [15] and [1].
It is well known that hyperbolic groups have solvable word and conjugacy problems
(see, for example, [9, III.Γ.2.8]).
Assume, now, that G is a hyperbolic group, H ≤ G is a subgroup and S ⊆ G is a subset.
The centralizer CH (S), of S in H, is the subgroup {h ∈ H | hs = sh, ∀ s ∈ S} ≤ G. It
is a basic fact that for a hyperbolic group, G, and each infinite order element g ∈ G, the
cyclic subgroup hgi has finite index in the centralizer CG (g) (see [15, 8.3.34]).
The subgroup H ≤ G is called elementary if it contains a cyclic subgroup of finite
index. Every infinite order element g ∈ G belongs to a unique maximal elementary
subgroup EG (g) ≤ G (see, for instance, [29, Lemma 1.16]). In particular, CG (g) ⊆ EG (g).
As A. Olshanskii showed in [29, Prop. 1], for every non-elementary subgroup H ≤ G
there is a T
unique maximal finite subgroup EG (H) normalized by H in G. More precisely,
EG (H) = g∈H 0 EG (g), where H 0 denotes the subset of all infinite order elements in H. It
is not difficult to see that for a non-elementary subgroup H ≤ G one has CG (H) ≤ EG (H).
Let Γ be a finite simplicial graph, and let V and E be the sets of vertices and edges of Γ
respectively. The right angled Artin group G, associated to Γ, is given by the presentation
G := hV k uv = vu, whenever u, v ∈ V and (u, v) ∈ Ei.
Let G be a group and H ≤ G. Then H is said to be a virtual retract of G if there is
a finite index subgroup K ≤ G such that H ≤ K and H is a retract of K (that is, there
exists an endomorphism ρ : K → K satisfying ρ(K) = H and ρ ◦ ρ = ρ).
The following two classes of groups were introduced in [27]. The first class VR consists
of all groups that are virtual retracts of right angled Artin groups. A group G belongs to
the second class AVR, by definition, if G contains a finite index subgroup H ≤ G with
H ∈ VR.

3. Conjugacy problem for subgroups
Proposition 3.1. Let G be a hyperbolic group and H a finitely generated torsion-free
subgroup of G. If H has solvable membership problem in G, then it also has solvable
conjugacy problem.

CONJUGACY IN NORMAL SUBGROUPS OF HYPERBOLIC GROUPS

5

Proof. Consider arbitrary x, y ∈ H; since the word problem in G (and hence in H) is
solvable, without loss of generality we can assume that x 6= 1. As G is hyperbolic, we can
decide if x, y are conjugate in G. If they are not, then neither are they conjugate in H.
If they are conjugate in G we may, by enumeration, find a conjugator g ∈ G such that
xg := g −1 xg = y (note that this relies on G being finitely generated and having solvable
word problem). It is then clear that x, y are conjugate in H if and only if g ∈ CG (x)H.
However, since H is torsion free, CG (x) must be virtually cyclic. Therefore, the subgroup
generated by x has finite index in CG (x), and, furthermore, it is possible to algorithmically
find a finite set of coset representatives for hxi in CG (x)(see [3, Prop. 4.11]). We shall call
these h1 , . . . , hk . Therefore, x and y are conjugate in H if and only if h−1
i g ∈ H for some
i. Since the hypothesis allows us to decide this, we have solved the conjugacy problem in
H.

Remark 3.2. The assumption that H is finitely generated in Proposition 3.1 is not really
needed: the set of words representing elements from H is recursive because there is an
algorithm that solves the membership problem for H in G.
Proposition 3.3. Let G be a hyperbolic group and H a finitely generated subgroup of G.
If H is normal and has solvable conjugacy problem, then it also has solvable membership
problem in G.

Proof. If H is finite, the claim follows from the solvability of the word problem in G. So
we may assume that H is infinite. In this case there exists an element x ∈ H of infinite
order (by [15, 8.3.36]). Consequently, hxi has finite index in CG (x) and so CH (x) has
finite index in CG (x). Thus there exists a finite collection of elements 1 = f1 , f2 , . . . , fk
in G, which are the right coset representatives of CH (x) in CG (x). Since the element x is
fixed throughout, we may assume that these are given (as words in the generators of G).
Consider some g ∈ G; we need to decide whether or not it lies in H. Since H is
normal, xg ∈ H. Clearly, if xg is not conjugate to x in H, then g ∈
/ H and we are done.
Otherwise, enumerating all elements of H, we will be able to find an h ∈ H such that
xg = xh . Hence gh−1 ∈ CG (x) and g ∈ H if and only if gh−1 ∈ CH (x). Now we know that
gh−1 fi−1 ∈ H for some i. As H is finitely generated and G has solvable word problem,
we may enumerate all elements of H, and for each i check whether gh−1 fi−1 is equal to
this element of H. By construction, this process is guaranteed to terminate after finitely

many steps, and g ∈ H if and only if the process tells us that gh−1 f1−1 ∈ H.

Proof of Theorem 1.2. It is easy to see that for a normal subgroup H of a group G,
the membership problem to H in G is equivalent to the word problem in the quotient
G/H. Therefore, the claim of Theorem 1.2 immediately follows from Propositions 3.3 and
3.1.


6

ARMANDO MARTINO AND ASHOT MINASYAN

4. Conjugacy separable subgroups
As Mal’cev proved in [24], if H is a finitely generated separable subgroup of a finitely
presented group G, then the membership problem for H in G is solvable. Therefore one
can see that the next fact is a “profinite analogue” of Proposition 3.1.
Proposition 4.1. Let H be a torsion-free subgroup of a hyperbolic group G. If G is
hereditarily conjugacy separable and H is separable in G then H is conjugacy separable.
Proof. Consider any elements x, y ∈ H that are not conjugate in H. Without loss of
generality, we may assume that x 6= 1. Then x must have infinite order, by our hypothesis,
and therefore |CG (x) : hxi| < ∞. Let L := CH (x) = CG (x) ∩ H, then x ∈ L and one can
F
find elements z1 , . . . , zk ∈ CG (x) \ H such that CG (x) = L t ki=1 zi L.
Since H is separable in G, there exists a finite index subgroup K ≤ G such that H ≤ K
and zi ∈
/ K for every i = 1, . . . , k. Observe that, by construction, the centralizer CK (x),
of x in K, is contained in H (in fact, it is equal to L).
Assume, first, that y = gxg −1 for some g ∈ K. Since x, y are not conjugate in H
we know that g ∈
/ H. Also, H is closed in PT (K) because H is closed in PT (G) and
K ≤ G. Hence, there is a finite index subgroup M ≤ K such that H ≤ M and g ∈
/ M.
We claim that x is not conjugate to y in M . Indeed, otherwise, there would exist u ∈ M
with uxu−1 = y = gxg −1 , implying that u−1 g ∈ CK (x) ≤ H, i.e., g ∈ uH ⊆ M , which
contradicts the choice of M .
Thus we proved that there is a finite index subgroup N ≤ G such that H ≤ N and x
is not conjugate to y in N . Using the conjugacy separability of N , we can find a finite
group Q and a homomorphism ϕ : N → Q such that ϕ(x) is not conjugate to ϕ(y) in Q.
And since H ≤ N , the restriction of ϕ to H gives a finite quotient of H, in which the
images of x and y are not conjugate.

Next comes a natural analogue of Proposition 3.3. Observe that, unlike the previous
statement, it does not need to assume that G is hereditarily conjugacy separable, but
requires the subgroup H to be normal and finitely generated.
Proposition 4.2. Let H be a finitely generated non-elementary normal subgroup of a
hyperbolic group G, with EG (H) = {1}. If H is conjugacy separable then G/H is residually
finite.
The proof of Proposition 4.2 makes use of the three lemmas below. The next statement
is well-known and can be verified in a straightforward manner (see, for example, [26,
Lemma 5.2]).
Lemma 4.3. Assume G is a group and H CG is a normal subgroup such that CG (H) ⊆ H.
Then the quotient-group G/H embeds into the outer automorphism group Out(H).
An automorphism ψ of a group G is said to be pointwise inner, if for each g ∈ G,
ψ(g) is conjugate to g in G. It is not difficult to see that the set of all pointwise inner

CONJUGACY IN NORMAL SUBGROUPS OF HYPERBOLIC GROUPS

7

automorphisms forms a normal subgroup Autp.i. (G) C Aut(G), and Inn(G) ≤ Autp.i. (G).
The following criterion was found by E. Grossman in [19, Thm. 1]:
Lemma 4.4. Let H be a finitely generated conjugacy separable group with Autp.i. (H) =
Inn(H). Then Out(H) is residually finite.
The last ingredient is given by [28, Cor. 5.4], where D. Osin and the second author
showed that Autp.i. (H) = Inn(H) for any non-elementary subgroup H of a relatively
hyperbolic group G, provided H contains at least one infinite order element that is not
conjugate to an element of a parabolic subgroup in G, and EG (H) = {1}. Since every
hyperbolic group is relatively hyperbolic with respect to the trivial subgroup (see [30]),
and an infinite subgroup of a hyperbolic group necessarily contains an element of infinite
order ([15, 8.3.36]), we obtain
Lemma 4.5. If H is a non-elementary subgroup of a hyperbolic group G with EG (H) =
{1}, then Autp.i. (H) = Inn(H).
Proof of Proposition 4.2. By Lemmas 4.5 and 4.4, Out(H) is residually finite. And G/H
embeds in Out(H) according to Lemma 4.3, because CG (H) ⊆ EG (H) = {1}. Therefore,
G/H is residually finite as well.

Remark 4.6. We do not know whether one can remove the assumption that H is nonelementary from Proposition 4.2, because this is directly related to the well-known open
question about the existence of non-(residually finite) hyperbolic groups.
Remark 4.7. The condition EG (H) = {1} in Proposition 4.2 is equivalent to the condition EG (G) = {1}. In other words, it says that G contains no non-trivial finite normal
subgroups.
Indeed, since EG (H) is the (only) maximal finite subgroup of G normalized by H
and H C G, it is easy to see that EG (H) C G, hence EG (H) ≤ EG (G). Evidently,
EG (G) ≤ EG (H), hence EG (H) = EG (G).
We are now ready to prove Theorem 1.3.
Proof of Theorem 1.3. The sufficiency is an immediate consequence of Proposition 4.1,
because a normal subgroup is separable if and only if the quotient by it is residually
finite.
In order to prove the necessity, suppose that H is conjugacy separable. If H is virtually
cyclic, then H is quasiconvex in G (see [1, Cor. 3.4]). And since H C G, by [1, Prop. 3.9],
H is either finite or has finite index in G. In either of these two cases, G/H is residually
finite: in the latter case this is obvious and in the former case this follows from the fact
that G is residually finite (since it is conjugacy separable), because any finite subset of a
residually finite group is separable.
Thus we can assume that H is non-elementary. Observe that EG (H) = {1} because G
is torsion-free. Consequently, G/H is residually finite by Proposition 4.2.


8

ARMANDO MARTINO AND ASHOT MINASYAN

5. Hereditarily conjugacy separable Rips’s construction
Rips’s construction, discovered by E. Rips [32], is a very useful tool, that turned out to
be a rich source of counterexamples, allowing one to find finitely generated subgroups of
word hyperbolic groups with exotic properties (e.g., subgroups that are finitely generated
but not finitely presented; finitely generated subgroups with undecidable membership
problem; etc.). Briefly speaking, for every finitely presented group P , Rips’s construction
produces a hyperbolic group G together with a finitely generated normal subgroup N C G
such that G/N ∼
= P . In fact, in addition to being hyperbolic, the group G can be made
to enjoy other agreeable properties. For instance, in [35] Wise provided a modification
of Rips’s construction, in which the group G is residually finite. More recently, Haglund
and Wise [20] suggested a different version of Rips’s construction (and proved its key
properties), producing G as the fundamental group of a compact non-positively curved
square thin VH-complex. In this case the group G will be linear and will have separable
quasiconvex subgroups (see [20]). Moreover, as we show below, G will also be hereditarily
conjugacy separable. In writing this paper we have become aware of the recent work of
O. Cotton-Barratt and H. Wilton [13], where it is shown that the residually finite version
of Rips’s construction, originally introduced by Wise in [35], is also conjugacy separable.
Thin VH-complexes were introduced by Wise in [37]. For our purposes, we only need
to know three facts about them. The first fact is that if G is a fundamental group of
compact thin VH-complex X , then it is word hyperbolic. Indeed, as shown by Wise in
[37], the universal cover Xe is a CAT(0) space which contains no immersed flats. Hence
π1 (X ) is word hyperbolic by a theorem of M. Bridson [6]. The second fact is that π1 (X )
is torsion-free (for instance, because it acts freely on the locally compact CAT(0) space
Xe, and any finite group acting on such a space fixes at least one point – see [9, II.2.8]).
The third fact, proved by Haglund and Wise in [20], tells us that G = π1 (X ) belongs to
the class AVR.
Theorem 5.1. Let P be an arbitrary finitely presented group. Then there exist a torsionfree word hyperbolic group G and a finitely generated (normal) subgroup N C G such
that G/N ∼
= P . Moreover, such a group G can be taken to satisfy all of the following
conditions:
(i) G is the fundamental group of a compact non-positively curved thin VH-complex;
(ii) G ∈ AVR;
(iii) G is hereditarily conjugacy separable.
The above theorem is essentially due to Haglund and Wise (see [20]). Only the property
(iii) is new, but it follows from (ii) and the fact that torsion-free hyperbolic groups from
the class AVR are hereditarily conjugacy separable, which was proved by the second
author in [27, Cor. 9.11].
Finally, we note that for a given finite presentation of P , a finite presentation for the
group G from Theorem 5.1 can be constructed explicitly (see [20, Thm. 10.1]).

CONJUGACY IN NORMAL SUBGROUPS OF HYPERBOLIC GROUPS

9

6. Constructing non-hereditarily conjugacy separable groups
It is known that if a finitely presented group Q has solvable word problem, then for
any finite group F , any extension P of F by Q also has solvable word problem (cf. [25,
Lemma 4.7]). This group P will also be finitely presented, as is any (finitely presented)by-(finitely presented) group – see [21, Lemma 1]. However, residual finiteness of Q is not
always passed to P . (The reader should recall and contrast with the fact that residual
finiteness is passed to arbitrary subgroups and finite extensions.)
More precisely, our algorithm for constructing (non-hereditarily) conjugacy separable
groups takes as an input a short exact sequence of groups
(6.1)

{1} → F → P → Q → {1},

where F is a finite group, Q is residually finite and P is finitely presented but not residually
finite. The existence of such short exact sequences is non-trivial. We describe two ways
to construct them below.
As observed by J. Corson and T. Ratkovich in [12], if one has a short exact sequence
{1} → M → R → Q → {1} of groups, where M, Q are residually finite, M is finitely
generated and R is not residually finite, then one can find a finite quotient F of M and
an extension P , of F by Q, which is not residually finite.
In the current literature we were able to find two examples of non-(residually finite)
finitely presented (residually finite)-by-(residually finite) groups.
Example 6.1. In [14], P. Deligne proved that for every integer n ≥ 2, there is a central
extension R of the infinite cyclic group hai ∼
= Z by the group of integral symplectic
2
matrices Sp(2n, Z) , such that the element a belongs to the kernel of every homomorphism
^Z) is the inverse image of Sp(2n, Z)
from R to a finite group (more precisely, R = Sp(2n,
in the universal cover of Sp(2n, R)). Consequently, for every m ∈ N, the group Rm :=
R/ham i is a central extension of the cyclic group Z/mZ by Sp(2n, Z).
The group Sp(2n, Z) is finitely presented (since it is an arithmetic subgroup of the
algebraic group Sp(2n, R) – see [31, Ch. 4.4, Thm. 4.2]) and residually finite (as is any
finitely generated subgroup of a linear group, according to Mal’cev’s theorem [23]). Thus,
the group Rm is finitely presented and contains a central cyclic subgroup Cm of order m,
such that Rm /Cm ∼
= Sp(2n, Z). And if m ≥ 3, Rm is not residually finite by the above
theorem of Deligne.
The group R2 may be residually finite, but in this case R4 , mapping onto R2 , contains
a finite index subgroup P that avoids the generator c of the central subgroup C4 . By
Deligne’s result, c2 ∈ P , hence we have a short exact sequence {1} → hc2 i2 → P → Q →
{1}, where Q is a finite index subgroup of Sp(2n, Z) (more precisely, Q is the image of P
in Sp(2n, Z)). Thus Q is residually finite, P is a finitely presented extension of Z/2Z by
Q, and P is not residually finite (because R4 is not).
Example 6.2. More recently, P. Hewitt [22] proved that there exists an extension E of the
free abelian group A := Z3 by SL(3, Z) that is not residually finite (however, no explicit
constructions for E are known so far). It follows (see [12]), that for every sufficiently large

10

ARMANDO MARTINO AND ASHOT MINASYAN

m ∈ N there is a non-(residually finite) extension Em := E/Am of A/Am ∼
= (Z/mZ)3 by
SL(3, Z).
It is well known that SL(3, Z) is finitely presented and residually finite, therefore the
short exact sequence {1} → (Z/mZ)3 → Em → SL(3, Z) → {1} enjoys the required
properties.
Let Bm := A/Am ∼
= (Z/mZ)3 denote the image of A in Em , and let Tm := CEm (Bm ).
Then Bm ≤ Tm and |Em : Tm | < ∞ because Bm is a finite normal subgroup of Em . Thus
Tm is a central extension of Bm by a finite index subgroup of SL(3, Z) (which is the image
of Tm under the epimorphism Em → SL(3, Z)). As before, Tm fails to be residually finite
because it has finite index in the non-(residually finite) group Em . We can now argue
similarly to Example 6.1, to produce, for every q ≥ 2, a central extension of the cyclic
group Cq , of order q, by a finite index subgroup of SL(3, Z), which is not residually finite.
Main construction. Start with the short exact sequence (6.1) such that F is a finite
group, Q is residually finite and P is finitely presented but not residually finite. By
Theorem 5.1 we can find a torsion-free hereditarily conjugacy separable hyperbolic group
G and a finitely generated normal subgroup N C G such that G/N ∼
= P . Thus there is an
epimorphism ψ : G → P with ker(ψ) = N . Let H ≤ G be the full preimage of F under
ψ. We have the following commutative diagram:

(6.2)

N −−−→


y

H −−−→ G




ψ
y
y

{1} −−−→ F −−−→ P −−−→ Q
Then H C G, N ≤ H and H is finitely generated (since H/N ∼
= F is finite). Observe
∼
∼
that G/H = P/F = Q is residually finite, hence H is conjugacy separable according to
Theorem 1.3. On the other hand, G/N ∼
= P is not residually finite, and Theorem 1.3
implies that N is not conjugacy separable. And since N has finite index in H, we see that
the group H is conjugacy separable, but not hereditarily conjugacy separable.
Remark 6.3. The group G in the above construction can be chosen from the class VR.
Therefore the (non-hereditarily) conjugacy separable group H will be a subgroup of some
right angled Artin group A.
Indeed, by Theorem 5.1, the group G from the main construction belongs to the class
AVR. Hence there is a finite index subgroup G1 ≤ G such that G1 ∈ VR. Note that
G1 is hereditarily conjugacy separable, torsion-free and hyperbolic, because all of these
properties are inherited by finite index subgroups. Denote N1 := N ∩ G1 , H1 := H ∩ G1 ,
P1 := ψ(G1 ), F1 := P1 ∩ F C P1 , and let Q1 be the image of P1 in Q. Clearly |P : P1 | < ∞,
therefore P1 cannot be residually finite. And since G1 /N1 ∼
= P1 , G1 /H1 ∼
= Q1 ≤ Q,
Theorem 1.3 yields that H1 is conjugacy separable and N1 is not conjugacy separable.
Finally, we see that |H1 : N1 | = |F1 | ≤ |F | < ∞.

CONJUGACY IN NORMAL SUBGROUPS OF HYPERBOLIC GROUPS

11

Remark 6.4. The groups N and H from the main construction have solvable conjugacy
problem.
This is an immediate consequence of Theorem 1.2, because Q ∼
= G/H and P ∼
= G/N
both have solvable word problem. Indeed, Q is finitely presented and residually finite,
hence the word problem in Q is solvable by Mal’cev’s result [24]. Therefore, P , being an
extension of the finite group F ∼
= H/N by Q, has solvable word problem as well.
7. Conjugacy separable fibre products
Let G be a group. To every normal subgroup N C G one can associate the fibre product
subgroup TN ≤ G × G, defined by TN := {(g1 , g2 ) ∈ G × G | ψ(g1 ) = ψ(g2 )}, where
ψ : G → G/N is the natural epimorphism. It is not difficult to see that TN is the product
of N × N C G × G with the diagonal subgroup {(g1 , g1 ) | g1 ∈ G} ≤ G × G. The following
remarkable “1-2-3 Theorem”, discovered by G. Baumslag, M. Bridson, C. Miller and H.
Short in [2], provides sufficient conditions for finite presentability of the fibre product:
Lemma 7.1. Suppose that N is a normal subgroup of a group G, Q := G/N and TN ≤
G×G is the fibre product associated to N . If N is finitely generated, G is finitely presented
and Q is of type F3 , then TN is finitely presented.
(Recall that a group is said to be of type Fn if it has an Eilenberg-Maclane CW complex
with only finitely many k-cells for each k ≤ n.)
The above criterion together with the hereditarily conjugacy separable version of Rips’s
construction can be used to produce finitely presented (non-hereditarily) conjugacy separable groups. However, before doing this, we need to establish analogues of Propositions
4.1 and 4.2 for fibre products.
If G is a group, H ≤ G and x ∈ G, the H-conjugacy class of x in G is, by definition,
the set xH := {h−1 xh | h ∈ H}.
Lemma 7.2. Suppose H is a finite index subgroup of a group K and x ∈ H. If xH is
closed in PT (H) then xK is closed in PT (K).
F
Proof. Choose g1 , . . . , gk ∈ K so that K = ki=1 Hgi . Since |K : H| < ∞, any subset of
H which is closed in PT (H), is also closed in PT (K) (because any subgroup of finite
index in H also has finite index in K). Therefore, xH is closed in PT (K). Consequently,
S
xK = ki=1 gi−1 xH gi is closed in PT (K) as a finite union of closed sets.

Lemma 7.3. Let G1 and G2 be hereditarily conjugacy separable groups. Then their direct
product G := G1 × G2 is also hereditarily conjugacy separable.
Proof. Consider any finite index subgroup K ≤ G and any x = (x1 , x2 ) ∈ K. Then there
exist finite index normal subgroups Ni C Gi , i = 1, 2, such that N := N1 × N2 ≤ K. Set
H := hxiN ≤ K, then x ∈ H, and H has finite index in K and in G.
Take any element y = (y1 , y2 ) ∈ H such that y ∈
/ xH . Then there is j ∈ {1, 2} such
Nj
Nj
Hj
that yj ∈
/ xj . Observe that xj = xj , where Hj := hxj iNj is the image of H under

12

ARMANDO MARTINO AND ASHOT MINASYAN
H

the canonical projection ρj : G → Gj . Thus xj , yj ∈ Hj and yj ∈
/ xj j . Now, since
|Gj : Hj | ≤ |Gj : Nj | < ∞, Hj is conjugacy separable by the assumptions. Hence there is
a finite group Q and a homomorphism ψ : Hj → Q such that ψ(yj ) ∈
/ ψ(xj )Q . Define the
homomorphism ϕ : H → Q by ϕ := ψ ◦ ρj . Evidently, ϕ(y) = ψ(yj ) ∈
/ ψ(xj )Q = ϕ(x)Q .
Thus we have shown that xH is closed in PT (H). Therefore, by Lemma 7.2, xK is
closed in PT (K) for every x ∈ K. And we can conclude that K is conjugacy separable,
as required.

The next statement is proved in [27, Cor. 11.2].
Lemma 7.4. Let G be a hereditarily conjugacy separable group. Suppose that H is a
subgroup of G such that the double coset CG (h)H is separable in G for every h ∈ H.
Then H is conjugacy separable.
A group G is said to be cyclic subgroup separable if for every g ∈ G the cyclic subgroup
hgi ≤ G is closed in PT (G).
Proposition 7.5. Let H be a normal subgroup of a torsion-free hyperbolic group G.
If G is hereditarily conjugacy separable and G/H is cyclic subgroup separable, then the
corresponding fibre product TH ≤ G × G is conjugacy separable.
Proof. Denote Q := G/H, let ψ : G → Q be the natural epimorphism, and let η : G×G →
Q×Q be the homomorphism defined by η(g1 , g2 ) := (ψ(g1 ), ψ(g2 )) for all (g1 , g2 ) ∈ G×G.
Consider any element x = (x1 , x2 ) ∈ TH . We will show that the double coset CG×G (x)TH
is separable in G × G, and then Lemma 7.4 will allow us to conclude that TH is conjugacy
separable.
If x1 = 1 (or x2 = 1) in G, then (G, 1) ≤ CG (x) ((1, G) ≤ CG (x)), and since TH contains
the diagonal subgroup of G × G, we have CG (x)TH = G × G. Thus, in this case the double
coset CG (x)TH is separable in G × G.
So, we can suppose that both x1 and x2 are infinite order elements in G. Then |CG (xi ) :
hxi i| < ∞ for i = 1, 2, and since CG×G (x) = CG (x1 ) × CG (x2 ) in G × G, we see that
|CG×G (x) : hx1 i × hx2F
i| < ∞. Consequently, there exist elements z1 , . . . , zn ∈ CG×G (x)
such that CG×G (x) = ni=1 zi (hx1 i × hx2 i).
Note that hx1 i × hx2 i = h(x1 , 1)ih(x1 , x2 )i in G × G. Therefore, since x = (x1 , x2 ) ∈ TH ,
we have (hx1 i × hx2 i) TH = h(x1 , 1)iTH . It is easy to see that η(TH ) = D, where D :=
{(q, q) | q ∈ Q} is the diagonal subgroup of Q × Q, and TH = η −1 (D) is the full preimage
of D in G × G. Hence h(x1 , 1)iTH = η −1 (haiD), where a := η((x1 , 1)) = (a1 , 1) ∈ Q × Q,
a1 := ψ(x1 ).
Observe that (q1 , q2 ) ∈ haiD in Q × Q if and only if q1 q2−1 ∈ ha1 i in Q. Therefore, if
(q1 , q2 ) ∈
/ haiD, we can use the assumption that Q is cyclic subgroup separable to find a
finite index normal subgroup M C Q with q1 q2−1 ∈
/ ha1 iM . Hence (q1 , q2 ) ∈
/ haiD(M × M )
in Q×Q, and M ×M has finite index in Q×Q. Thus we have shown that the double coset
haiD is closed in PT (Q × Q). Since η : G × G → Q × Q is a continuous map (with respect

CONJUGACY IN NORMAL SUBGROUPS OF HYPERBOLIC GROUPS

13

to the corresponding profinite topologies), we can conclude that h(x1 , 1)iTH = η −1 (haiD)
is closed in PT (G × G).

S
S
In G×G we have CG×G (x)TH = ni=1 zi (hx1 i × hx2 i) TH = ni=1 zi h(x1 , 1)iTH . Which
implies that CG×G (x)TH is closed in PT (G × G) as a finite union of closed sets.
Finally, since G × G is hereditarily conjugacy separable by Lemma 7.3, we can apply
Lemma 7.4 to conclude that TH is conjugacy separable.

We now turn to an analogue of Proposition 4.2.
Proposition 7.6. Let H be a finitely generated non-elementary normal subgroup of a
hyperbolic group G, with EG (H) = {1}. If the fibre product TH ≤ G × G, associated to
H, is conjugacy separable, then G/H is residually finite.
Proof. Since H is non-elementary and EG (H) = {1}, there is an infinite order element
h1 ∈ H such that EG (h1 ) = hh1 i (see [29, Lemma 3.4]). In particular, CG (h1 ) = hh1 i ≤ H
in G.
Consider any element g1 ∈ G \ H, and set g := (g1 , 1) ∈ G × G, h := (h1 , h1 ) ∈ G × G.
Note that g ∈
/ TH (as g1 ∈
/ H), therefore the elements h, f := hg ∈ H × H ≤ TH are
not conjugate in TH because CG×G (h) = hh1 i × hh1 i ≤ TH . The group TH is conjugacy
separable by the assumptions, hence there exist a finite group F and a homomorphism
ζ : TH → F such that ζ(f ) ∈
/ ζ(h)F . Denote by ϕ : H × H → F the restriction of ζ to
H × H; then ϕ(f ) ∈
/ ϕ(h)F .
Since H × H is finitely generated, we can find a finite index subgroup N of H × H such
that N ≤ ker(ϕ) and N C G × G. Define M := (H × H)/N , and let α : H × H → M be
the natural epimorphism. Observe that, by definition, ϕ factors through α, hence
(7.1)

α(f ) ∈
/ α(h)M in M .

Define the map ξ : G → Aut(M ) by ξ(x1 )(y) := α((x1 y1 x−1
1 , y2 )) for all x1 ∈ G
and all y ∈ M , where (y1 , y2 ) ∈ H × H is any element satisfying y = α((y1 , y2 )). Note
−1
that ξ is a well-defined homomorphism because (x1 y1 x−1
and
1 , y2 ) = (x1 , 1)(y1 , y2 )(x1 , 1)
(x1 , 1)N (x1 , 1)−1 = N . Evidently ξ(H) ≤ Inn(M ), therefore ξ canonically gives rise to a
homomorphism ξ¯ : G/H → Out(M ), where Out(M ) := Aut(M )/Inn(M ) is the group of
outer automorphisms of M .
Finally, we have ξ(g1 )(α(h)) = α(f ), which together with (7.1) implies that ξ(g1 ) ∈
/
¯ 1 H) 6= 1 in the finite group Out(M ). Since we started with an arbitrary
Inn(M ). Thus ξ(g
element g1 ∈ G \ H, we can conclude that G/H is residually finite.

Remark 7.7. A careful reader might note here that Propositions 4.1 and 4.2 could be
proved similarly to Propositions 7.5 and 7.6. However, we decided to present somewhat
different proofs for the former two statements, to make the argument in Proposition 4.1
self-contained (independent of Lemma 7.4), and the argument in Proposition 4.2 more
conceptual and less technical.

14

ARMANDO MARTINO AND ASHOT MINASYAN

Corollary 7.8. Suppose that G is a torsion-free residually finite hyperbolic group, H C G
is a finitely generated normal subgroup, and TH ≤ G × G is the associated fibre product.
If G/H is not residually finite, then TH is not conjugacy separable.
Proof. As we have already shown in the proof of Theorem 1.3, if H were elementary, then
G/H would be residually finite. Therefore H is non-elementary. And since G is torsionfree, it does not contain any non-trivial finite subgroups. Hence EG (H) = {1}, and the
claim follows from Proposition 7.6.

We finish this section with two remarks concerning the conjugacy problem in fibre
products. Let G be a finitely generated group. We will say that the membership problem
to cyclic subgroups (MPCS) is uniformly decidable in G, if there is an algorithm, which
takes on input any two elements x, y ∈ G and determines whether or not y ∈ hxi in
G. Clearly, the latter property is a natural “algorithmic” analogue of cyclic subgroup
separability (indeed, for any finitely presented cyclic subgroup separable group G, MPCS
will be uniformly decidable by Mal’cev’s result [24]).
We can now formulate the corresponding counterparts of Propositions 3.1 and 3.3.
Proposition 7.9. Let H be a normal subgroup of a torsion-free hyperbolic group G. If
the quotient G/H has uniformly decidable MPCS, then the corresponding fibre product
TH ≤ G × G has solvable conjugacy problem.
Proof. We leave this as an exercise for the reader. It can be easily derived from the proofs
of Proposition 3.1 and Proposition 7.5.

The proof of the next statement can be extracted from [2, Thm. A0 , Lemma 3.3].
Proposition 7.10. Suppose that G is a torsion-free hyperbolic group, H C G is a finitely
generated normal subgroup, and TH ≤ G × G is the associated fibre product. If TH has
solvable conjugacy problem then G/H has solvable word problem.
Proof. Again this is an exercise in view of the proofs of Propositions 3.3 and 7.6.



8. Finitely presented examples
In this section we construct examples of finitely presented (non-hereditarily) conjugacy
separable groups. However, before proceeding we need one more auxiliary statement.
Lemma 8.1. Suppose N and H are normal subgroups of a group G such that N ≤ H and
|H : N | < ∞. Let TN , TH ≤ G × G be the corresponding fibre products. Then TN ≤ TH
and |TH : TN | = |H : N |.
Proof. The inclusion of TN in TH is an immediate consequence of the definition of a fibre
product. Set P := G/N and let η : G × G → P × P be the natural epimorphism with
ker(η) = N × N . Then η(TN ) is the diagonal subgroup D of P × P , and η(TH ) =
η(H × H)D = η((H, 1))D, where (H, 1) := {(h1 , 1) | h1 ∈ H} C G × G.

CONJUGACY IN NORMAL SUBGROUPS OF HYPERBOLIC GROUPS

15

And since η((H, 1)) ∩ D = {1} in P × P , η(TH ) is a semidirect product of η((H, 1))
and D. Therefore |η(TH ) : η(TN )| = |η(TH ) : D| = |η((H, 1))| = |H : N |. Recall that
ker(η) = N × N ≤ TN ≤ TH , hence TN and TH are the full η-preimages of η(TN ) and
η(TH ) in G × G respectively. Thus we can conclude that |TH : TN | = |η(TH ) : η(TN )| =
|H : N |.

To produce the example, establishing Theorem 1.1, we need to start with a short exact
sequence of groups
{1} → F → P → Q → {1},

(8.1)
such that
(i)
(ii)
(iii)
(iv)

|F | = m < ∞;
Q is of type F3 ;
Q is cyclic subgroup separable;
P is not residually finite.

Observe that the sequences given in Examples 6.1 and 6.2 possess all these properties.
Indeed, the groups Q, arising there, are finite index subgroups of Sp(2n, Z) or SL(3, Z).
By a theorem A. Borel and J.-P. Serre [4] such Q is of type Fn for every n ∈ N. On the
other hand, Q is cyclic subgroup separable because Q ≤ GL(m, Z) for some m ∈ N, and
GL(m, Z) is cyclic subgroup separable (see [33, Thm. 5, p. 61]).
Now we can use Theorem 5.1 to find a hereditarily conjugacy separable torsion-free
hyperbolic group G and a finitely generated normal subgroup N C G such that G/N ∼
= P.
Let ψ : G → P be the natural epimorphism with ker(ψ) = N . Set H := ψ −1 (F ) C G;
then we have the same commutative diagram (6.2) as before.
Let TN , TH ≤ G × G be the fibre products associated to N and H respectively. Note
that |H : N | = |F | < ∞, hence H is also finitely generated. The group G is finitely
presented, as any hyperbolic group, and G/H ∼
= Q is of type F3 . Therefore Lemma 7.1
allows us to conclude that the group TH is finitely presented.
Finally, TH is conjugacy separable by Proposition 7.5, and TN is not conjugacy separable
by Corollary 7.8. And, according to Lemma 8.1, TN ≤ TH and |TH : TN | = |H : N | =
|F | = m. Thus the group TH is a finitely presented (non-hereditarily) conjugacy separable
group.
To achieve the first additional claim of Theorem 1.1, first assume that m is a prime
number. Apply the above algorithm to find the groups F , P , Q, G, N and H as before.
According to Theorem 5.1, there is a finite index subgroup G1 ≤ G with G1 ∈ VR.
Observe that P1 := ψ(G1 ) has finite index in P , hence it cannot be residually finite,
implying that P1 ∩ F 6= {1}. But since |F | = m is a prime, we can conclude that F ≤ P1 .
Consequently, after setting N1 := N ∩ G1 and H1 := H ∩ G1 , we see that N1 , H1 C G1
and |H1 : N1 | = |F | = m.
Since the class of right angled Artin groups is closed under taking direct products, the
group G1 × G1 will be a subgroup of some right angled Artin group. Let TN1 , TH1 ≤
G1 × G1 be the fibre products associated to N1 and H1 respectively. As we showed above,

16

ARMANDO MARTINO AND ASHOT MINASYAN

TH1 is finitely presented and conjugacy separable, TN1 is not conjugacy separable, and
|TH1 : TN1 | = m.
Now, if m is a composite number, write m = m1 m2 · · · ml , where mj is a prime for
every j = 1, . . . , l. Apply the above construction to each mj , finding a finitely presented
conjugacy separable group Tj , which is a subgroup of some right angled Artin group Aj ,
and contains a non-(conjugacy separable) subgroup Sj of index mj . Define the direct
Q
Q
products T := lj=1 Tj and S := lj=1 Sj ≤ T . Then T is a finitely presented subgroup
Q
of the right angled Artin group A := lj=1 Aj and |T : S| = m1 · · · ml = m. It is easy
to see that direct products of conjugacy separable groups are conjugacy separable, hence
T is conjugacy separable. On the other hand, S cannot be conjugacy separable, because
S1 is not conjugacy separable (and any retract of a conjugacy separable group is itself
conjugacy separable – see [27, Lemma 9.3]).
We thus obtain
Corollary 8.2. There exists finitely presented subgroups of right angled Artin groups that
are conjugacy separable but not hereditarily conjugacy separable.
A group G, generated by a set X, is said to have solvable order problem if there is an
algorithm which, given any word W over X ±1 , outputs n ∈ N as long as the order of the
element of G represented by W is n or 0 if this element has infinite order. Note that if G
has solvable word problem and is virtually torsion-free (so that there is a bound on the
possible finite orders of its elements), then it has solvable order problem.
It is not difficult to show that if a finitely presented group Q has uniformly decidable
MPCS and solvable order problem, then for any finite group F , any extension P of F by Q
also has uniformly decidable MPCS. Therefore, Proposition 7.9 (together with Mal’cev’s
theorem mentioned right before it and Selberg’s Lemma [34, Cor. 4.8], stating that finitely
generated subgroups of GL(m, Z) are virtually torsion-free) yields the second additional
claim of Theorem 1.1:
Corollary 8.3. Both of the groups T and S above have solvable conjugacy problem.
References
[1] J.M. Alonso, et al., Notes on word hyperbolic groups. Edited by H. Short. Group theory from a
geometrical viewpoint (Trieste, 1990), 3–63, World Sci. Publ., River Edge, NJ, 1991.
[2] G. Baumslag, M.R. Bridson, C.F. Miller III, H. Short, Fibre products, non-positive curvature, and
decision problems. Comment. Math. Helv. 75 (2000), no. 3, 457–477.
[3] O. Bogopolski, A. Martino, E. Ventura, Orbit decidability and the conjugacy problem for some extensions of groups. Preprint, 2007. arXiv:0712.3104
[4] A. Borel, J.-P. Serre, Cohomologie d’immeubles et de groupes S-arithmétiques. Topology 15 (1976),
no. 3, 211–232.
[5] M.R. Bridson, Direct factors of profinite completions and decidability. J. Group Theory 12 (2009),
no. 1, 151–156.
[6] M.R. Bridson, On the existence of flat planes in spaces of nonpositive curvature. Proc. Amer. Math.
Soc. 123 (1995), no. 1, 223–235.
[7] M.R. Bridson, On the subgroups of semihyperbolic groups. Essays on geometry and related topics,
Vol. 1, 2, 85–111, Monogr. Enseign. Math., 38, Enseignement Math., Geneva, 2001.

CONJUGACY IN NORMAL SUBGROUPS OF HYPERBOLIC GROUPS

17

[8] M.R. Bridson, F. Grunewald, Grothendieck’s problems concerning profinite completions and representations of groups. Annals of Mathematics. Second Series, 160 (2004), no.1, 359–373.
[9] M.R. Bridson, A. Haefliger, Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 319. Springer-Verlag,
Berlin, 1999. xxii+643 pp.
[10] S.C. Chagas, P.A. Zalesskii, Finite index subgroups of conjugacy separable groups. Forum Mathematicum 21 (2009), no. 2, 347–353.
[11] D.J. Collins, C.F. Miller III, The conjugacy problem and subgroups of finite index. Proc. London
Math. Soc. (3) (1977) vol. 34, no. 3, 535–556.
[12] J.M. Corson, T.J. Ratkovich, A strong form of residual finiteness for groups. J. Group Theory 9
(2006), no. 4, 497–505.
[13] O. Cotton-Barratt, H. Wilton, Conjugacy separability of 1-acylindrical graphs of free groups.
Preprint, 2009. arXiv:0906.0101
[14] P. Deligne, Extensions centrales non résiduellement finies de groupes arithmétiques. C. R. Acad. Sci.
Paris Sér. A-B 287 (1978), no. 4, A203–A208.
[15] É. Ghys and P. de la Harpe, eds., Sur les groupes hyperboliques d’après Mikhael Gromov. Progress
in Mathematics, 83. Birkhäuser Boston, Inc., Boston, MA, 1990. xii+285 pp.
[16] A.V. Goryaga, Example of a finite extension of an FAC-group that is not an FAC-group (Russian).
Sibirsk. Mat. Zh. 27 (1986), no. 3, 203–205.
[17] A.V. Gorjaga, A.S. Kirkinskiı̆, The decidability of the conjugacy problem cannot be transferred to
finite extensions of groups (Russian). Algebra i Logika 14 (1975), no. 4, 393–406.
[18] M. Gromov, Hyperbolic groups. Essays in group theory, 75–263, Math. Sci. Res. Inst. Publ., 8,
Springer, New York, 1987.
[19] E.K. Grossman, On the residual finiteness of certain mapping class groups. J. London Math. Soc.
(2) 9 (1974/75), 160–164.
[20] F. Haglund, D.T. Wise, Special cube complexes. Geom. Funct. Anal. 17 (2008), no. 5, 1551–1620.
[21] P. Hall, Finiteness conditions for soluble groups. Proc. London Math. Soc. (3) 4 (1954), 419–436.
[22] P.R. Hewitt, Extensions of residually finite groups. J. Algebra 163 (1994), no. 3, 757–772.
[23] A.I. Malcev, On faithful representations of infinite groups by matrices (Russian). Mat. Sb. 8 (1940)
405–422. English transl. in Amer. Math. Soc. Transl. Ser. 2 45 (1965) 1–18.
[24] A.I. Mal’cev, On homormorphisms onto finite groups (Russian). Uchen. Zap. Ivanovskogo Gos. Ped.
Inst. 18 (1958), 49–60.
[25] C.F. Miller III, Decision problems for groups—survey and reflections. Algorithms and classification
in combinatorial group theory (Berkeley, CA, 1989), 1–59, Math. Sci. Res. Inst. Publ., 23, Springer,
New York, 1992.
[26] A. Minasyan, Groups with finitely many conjugacy classes and their automorphisms. Comm. Math.
Helv. 84 (2009), No. 2, pp. 259–296.
[27] A. Minasyan, Hereditary conjugacy separability of right angled Artin groups and its applications.
Preprint, 2009. arXiv:0905.1282
[28] A. Minasyan, D. Osin, Normal automorphisms of relatively hyperbolic groups. Trans. of the AMS, to
appear. arXiv:0809.2408
[29] A.Yu. Olshanskii,On residualing homomorphisms and G-subgroups of hyperbolic groups. Internat. J.
Algebra Comput. 3 (1993), no. 4, 365–409.
[30] D.V. Osin, Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic
problems. Mem. Amer. Math. Soc. 179 (2006), no. 843.
[31] V. Platonov, A. Rapinchuk, Algebraic groups and number theory. Translated from the 1991 Russian
original by Rachel Rowen. Pure and Applied Mathematics, 139. Academic Press, Inc., Boston, MA,
1994. xii+614 pp.
[32] E. Rips, Subgroups of small cancellation groups. Bull. London Math. Soc. 14 (1982), no. 1, 45–47.
[33] D. Segal, Polycyclic groups. Cambridge Tracts in Mathematics, 82. Cambridge University Press,
Cambridge, 1983. xiv+289 pp.

18

ARMANDO MARTINO AND ASHOT MINASYAN

[34] B.A.F. Wehrfritz, Infinite linear groups. An account of the group-theoretic properties of infinite
groups of matrices. Ergebnisse der Matematik und ihrer Grenzgebiete, Band 76. Springer-Verlag,
New York-Heidelberg, 1973. xiv+229 pp.
[35] D.T. Wise, A residually finite version of Rips’s construction. Bull. London Math. Soc. 35 (2003),
no. 1, 23–29.
[36] D.T. Wise, Incoherent negatively curved groups. Proc. Amer. Math. Soc. 126 (1998), no. 4, 957–964.
[37] D.T. Wise, The residual finiteness of negatively curved polygons of finite groups. Invent. Math. 149
(2002), no. 3, 579–617.
School of Mathematics, University of Southampton, Highfield, Southampton, SO17
1BJ, United Kingdom.
E-mail address: A.Martino@soton.ac.uk
E-mail address: aminasyan@gmail.com

