## On the residual finiteness of outer automorphisms of hyperbolic groups

### November 27, 2006

Abstract
We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable hyperbolic group is residually finite.
As a result, we are able to prove that the group of outer automorphisms of every finitely generated Fuchsian group and of every free-by-finite group is residually finite.

1 Introduction

The mapping class group of a compact connected, possibly with boundary, surface $S$  , $Mo{d}_{S}$  , is defined as the group of isotopy classes of homeomorphisms $S\to S$  . The algebraic investigation of that group goes as far back as Dehn and Nielsen, who first showed that the mapping class group of an orientable surface is embedded into the group of outer automorphisms of the fundamental group of $S$  , $Out\left({\pi }_{1}\left(S\right)\right)$  . This embedding was later extended to a wider class of 2-orbifolds. Maclachlan and Harvey [9proved that $Mo{d}_{S}\le Out\left({\pi }_{1}\left(S\right)\right)$  for a surface $S$  obtained from a compact surface of genus $k$  by deleting $s$  points, $t$  discs and $r$  marked points. Recently, Fujiwara [5extended the above embedding to the case of hyperbolic 2-orbifolds (orientable or non-orientable) with finite volume.
Grossman [6was the first to show that if ${S}_{k}$  is a compact orientable surface of genus $k$  , then $Mo{d}_{{S}_{k}}$  is residually finite. Recently, Allenby, Kim and Tang [1extended the result of Grossman for non-orientable closed surfaces. The proofs of both results are using combinatorial group theory arguments. One of the key ingredients of both results is the fact that the group of conjugating automorphisms of the fundamental group of the surface coincides with the group of its inner automorphisms. If $G$  is a group, then an automorphism $f$  of $G$  is called a conjugating automorphism if $f\left(g\right)$  is a conjugate of $g$  for every $g\in G$  . The conjugating automorphisms of a group $G$  form a subgroup of the group of automorphisms of $G$  , $Aut\left(G\right)$  , which we denote by $Conj\left(G\right)$  . Moreover, $Conj\left(G\right)$  is normal in $Aut\left(G\right)$  and contains the subgroup of inner automorphisms of $G$  , $Inn\left(G\right)$  .
In the present note we investigate the residual finiteness of $Out\left(G\right)$  for hyperbolic groups $G$  . Our study is, as well, based on the investigation of the group of conjugating automorphisms of $G$  . In fact, using the powerful geometric ideas developed by Paulin [12and Bestvina [2in the context of ultralimits of metric spaces, we show that in a hyperbolic group $G$  , the quotient group $Conj\left(G\right)/Inn\left(G\right)$  is always finite. The main theorem shows that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable, hyperbolic group is residually finite.
As a result, we obtain the residual finiteness of the outer automorphism group of finitely generated Fuchsian groups and of free-by-finite groups.
Consequently the mapping class groups of hyperbolic 2-orbifolds with finite volume are residually finite. Hence, we retrieve the results of Grossman and of Allenby, Kim and Tang as special cases of our corollaries.

2 Main Results

The next lemma is what really proved in [6,Theorem1. We reproduce here the proof for the reader's convenience.
Lemma 2.1. Let $G$  be a finitely generated, conjugacy separable group. Then the quotient group $Aut\left(G\right)/Conj\left(G\right)$  is residually finite.
• Proof. Since $G$  is finitely generated, we can find a family $\left({K}_{i}{\right)}_{i\in I}$  of characteristics subgroups of finite index in $G$  such that for each normal subgroup $N$  of finite index in $G$  there is a subgroup ${K}_{i}$  in the above family, contained in $N$  . Every automorphism $f$  of $G$  induces an automorphism ${f}_{i}$  of $G/{K}_{i}$  which acts as a permutation on the conjugacy classes of $G/{K}_{i}$  . Therefore, for each $i\in I$  we have a homomorphism ${\pi }_{i}:Aut\left(G\right)\to {S}_{i}$  , where ${S}_{i}$  denotes the permutation group on the set of conjugacy classes of the finite group $G/{K}_{i}$  . Since each conjugating automorphism preserves conjugacy classes, the group $Conj\left(G\right)$  is contained in the intersection ${\cap }_{i\in I}Ker\left({\pi }_{i}\right)$  of the kernels of the ${\pi }_{i}$  's. Now let $f\in {\cap }_{i\in I}Ker\left({\pi }_{i}\right)$  . Then for every $g\in G$  , the elements $f\left(g\right)$  and $g$  are conjugate in each quotient $G/{K}_{i}$  . In particular, the elements $f\left(g\right)$  and $g$  are conjugate in each finite quotient of $G$  and thus they are conjugate in $G$  , by the conjugacy separability of $G$  . This means that $f$  is a conjugating automorphism of $G$  and hence $Conj\left(G\right)={\cap }_{i\in I}Ker\left({\pi }_{i}\right)$  .
The following material on ultralimits of metric spaces can be found in detail in the paper of Kapovich and Leeb [8.
A $\text{filter}$  on the set of natural numbers $\mathbb{N}$  is a non-empty set $\omega$  of subsets of $\mathbb{N}$  with the following properties:
• 1. The empty set is not contained in $\omega$  .
• 2. $\omega$  is closed under finite intersections.
• 3. If $A\in \omega$  and $A\subseteq B$  , then $B\in \omega$  .
A filter $\omega$  is called $\text{ultrafilter}$  if it is maximal. An ultrafilter is called non-principal if it contains the complements of the finite subsets of $\mathbb{N}$  . Let $\omega$  be an ultrafilter on $\mathbb{N}$  and $a:\mathbb{N}\to \left[0,\infty \right)$  a sequence of non-negative real numbers. Then there is a unique point $l$  , which we denote by ${\text{lim}}_{\omega }{a}_{i}$  , in the one-point compactification $\left[0,\infty \right]$  of $\left[0,\infty \right)$  such that for each neighborhood $U$  of $l$  , the inverse image ${a}^{-1}\left(U\right)$  of $U$  under $a$  is contained in $\omega$  .
Let $\left({X}_{i},{d}_{i},{x}_{i}^{0}{\right)}_{i\in \mathbb{N}}$  be a sequence of based metric spaces and let $\omega$  be an ultrafilter on $\mathbb{N}$  . On the subspace $Y$  of ${\prod }_{i\in \mathbb{N}}{X}_{i}$  consisting of all sequences $\left({x}_{i}\right)$  for which ${\text{lim}}_{\omega }{d}_{i}\left({x}_{i},{x}_{i}^{0}\right)<\infty$  , we define a pseudo-metric ${d}_{\omega }$  by ${d}_{\omega }\left(\left({x}_{i}\right),\left({y}_{i}\right)\right)={\text{lim}}_{\omega }\left({d}_{i}\left({x}_{i},{y}_{i}\right)\right)$  . The based ultralimit $\left({X}_{\omega },{d}_{\omega },{x}_{\omega }\right)$  , where ${x}_{\omega }=\left({x}_{i}^{0}{\right)}_{i\in \mathbb{N}}$  , is the associated metric space.
In the next lemma we use various results concerning the actions of groups on $\mathbb{R}$  -trees. For details, we refer the reader to the paper of Morgan and Shalen [11.
Lemma 2.2. Let $G$  be a hyperbolic group. Then the group $Inn\left(G\right)$  of inner automorphisms of $G$  is of finite index in $Conj\left(G\right)$  .
• Proof. Suppose to the contrary that $Inn\left(G\right)$  is of infinite index in $Conj\left(G\right)$  .
Fix an infinite sequence ${f}_{1},{f}_{2},...,{f}_{n},...$  of conjugating automorphisms of $G$  representing pairwise distinct cosets of $Inn\left(G\right)$  in $Conj\left(G\right)$  . We apply the method of Bestvina and Paulin, using ultrafilters, to construct an $\mathbb{R}$  -tree on which $G$  acts by isometries.
Let $X=X\left(G,S\right)$  be the Cayley graph of $G$  with respect to a finite generating set $S$  closed under inverses. Then $X$  is a $\delta$  -hyperbolic metric space for some $\delta >0$  . Each ${f}_{i}$  gives an action ${\rho }_{i}$  by isometries of $G$  on $X$  by ${\rho }_{i}\left(g,x\right)={f}_{i}\left(g\right)x$  . The outer automorphism group of a virtually cyclic group is finite. Thus, we may assume that $G$  is non-elementary. In that case the action of $G$  on the boundary $\partial X$  of $X$  is non-trivial and Lemma 2.1 in [12applies to any action ${\rho }_{i}$  , yielding a sequence ${x}_{i}^{0}$  of elements of $X$  such that  $\begin{array}{c}\text{max}g\in Sd\left({x}_{i}^{0},{f}_{i}\left(g\right){x}_{i}^{0}\right)\le \text{max}g\in Sd\left(x,{f}_{i}\left(g\right)x\right)\end{array}$ (1)
for all $x$  in $X$  . Let ${\lambda }_{i}=\text{max}g\in Sd\left({x}_{i}^{0},{f}_{i}\left(g\right){x}_{i}^{0}\right)$  . Then  $\begin{array}{c}d\left({x}_{i}^{0},{f}_{i}\left(g\right){x}_{i}^{0}\right)\le {\lambda }_{i}\parallel g\parallel \end{array}$ (2)
for all $g$  in $G$  , where $\parallel g\parallel$  denotes the word-length of $g$  with respect to $S$  . If the sequence $\left({\lambda }_{i}\right)$  contains a bounded subsequence, then the argument in [12,Case1,p.338shows that there are indices $i$  and $j$  with $i\ne j$  such that the automorphisms ${f}_{i}$  and ${f}_{j}$  differ by an inner automorphism of $G$  and consequently they give rise to the same coset of $Inn\left(G\right)$  , contradicting the choice of the ${f}_{i}$  . It follows that $\text{lim}i\to \infty {\lambda }_{i}=\infty$  . We consider the sequence $\left({X}_{i},{d}_{i},{x}_{i}^{0}\right)$  of based metric spaces, where ${X}_{i}=X$  and ${d}_{i}=\frac{d}{{\lambda }_{i}}$  . Note that the space $\left({X}_{i},{d}_{i},{x}_{i}^{0}\right)$  is $\frac{\delta }{{\lambda }_{i}}$  -hyperbolic for all $i$  . For any non-principal ultrafilter $\omega$  on $\mathbb{N}$  , let $\left({X}_{\omega },{d}_{\omega },{x}_{\omega }\right)$  be the corresponding based ultralimit. The fact that the distance ${d}_{\omega }\left(x,y\right)$  of two points $x=\left({x}_{i}\right)$  and $y=\left({y}_{i}\right)$  of ${X}_{\omega }$  is approximated by the distances ${d}_{i}\left({x}_{i},{y}_{i}\right)$  for infinitely many $i$  , implies that ${X}_{\omega }$  is a $0$  -hyperbolic space (i.e., an $\mathbb{R}$  -tree), since $\text{lim}i\to \infty \frac{\delta }{{\lambda }_{i}}=0$  . The action of $G$  on ${X}_{\omega }$  is given by $g\cdot \left({x}_{i}\right)=\left({f}_{i}\left(g\right){x}_{i}\right)$  . Inequality (2 ) ensures that the action is well-defined. We will show that the action of $G$  on ${X}_{\omega }$  is trivial (i.e. there is a global fixed point).
Let $g$  be an element of $G$  which acts as a hyperbolic isometry on ${X}_{\omega }$  , and let ${\tau }_{\omega }\left(g\right)$  denote its translation length. Fix $x=\left({x}_{i}\right)\in {X}_{\omega }$  such that $x$  lies on the axis of $g$  . Then ${\tau }_{\omega }\left(g\right)={d}_{\omega }\left(gx,x\right)=\left({\text{lim}}_{\omega }\frac{d\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)}{{\lambda }_{i}}=\right)\frac{{d}_{\omega }\left({g}^{n}x,x\right)}{n}$  for all positive integers $n$  . In particular, ${d}_{\omega }\left(gx,x\right)=\frac{{d}_{\omega }\left({g}^{2}x,x\right)}{2}$  and thus  $\begin{array}{c}{\text{lim}}_{\omega }\left(2{d}_{i}\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)-{d}_{i}\left({f}_{i}\left(g{\right)}^{2}{x}_{i},{x}_{i}\right)\right)=0.\end{array}$ (3)
For each $i$  , we fix an element ${y}_{i}$  of $X$  on which the displacement function of ${f}_{i}\left(g\right)$  attains its minimum $\tau \left({f}_{i}\left(g\right)\right)$  , i.e. $\tau \left({f}_{i}\left(g\right)\right)=d\left({f}_{i}\left(g\right){y}_{i},{y}_{i}\right)=\text{inf}\left\{d\left({f}_{i}\left(g\right)y,y\right)|y\in X\right\}$  . $\text{1}$  Since $X$  is a $\delta$  -hyperbolic space, there is a positive constant $K\left(\delta \right)$  depending only on $\delta$  such that  $\begin{array}{c}d\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)\ge 2d\left({x}_{i},{y}_{i}\right)+\tau \left({f}_{i}\left(g\right)\right)-K\left(\delta \right).\end{array}$ (4)
Then,  $\begin{array}{c}\begin{array}{ccc}A& =& 2d\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)-d\left({f}_{i}\left(g{\right)}^{2}{x}_{i},{x}_{i}\right)\\ & \ge & 4d\left({x}_{i},{y}_{i}\right)+2\tau \left({f}_{i}\left(g\right)\right)-2K\left(\delta \right)-d\left({f}_{i}\left(g{\right)}^{2}{x}_{i},{x}_{i}\right)\\ & \ge & 4d\left({x}_{i},{y}_{i}\right)+2\tau \left({f}_{i}\left(g\right)\right)-2K\left(\delta \right)-2d\left({x}_{i},{y}_{i}\right)-2\tau \left({f}_{i}\left(g\right)\right)\\ & =& 2d\left({x}_{i},{y}_{i}\right)-2K\left(\delta \right),\end{array}\end{array}$ (5)
where the second inequality follows from the triangle one. Working in a similar way, we see that  $\begin{array}{c}2d\left({x}_{i},{y}_{i}\right)-K\left(\delta \right)\le d\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)-\tau \left({f}_{i}\left(g\right)\right)\le 2d\left({x}_{i},{y}_{i}\right)\end{array}$ (6)
and hence we can say that  $\begin{array}{c}|d\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)-\tau \left({f}_{i}\left(g\right)\right)|\le 2d\left({x}_{i},{y}_{i}\right)+K\left(\delta \right).\end{array}$ (7)
Consequently,  $\begin{array}{ccc}|{\tau }_{\omega }\left(g\right)-\frac{\tau \left({f}_{i}\left(g\right)\right)}{{\lambda }_{i}}|& \le & |{\tau }_{\omega }\left(g\right)-{d}_{i}\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)|+|{d}_{i}\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)-\frac{\tau \left({f}_{i}\left(g\right)\right)}{{\lambda }_{i}}|\end{array}$
 $\begin{array}{ccc}& \le & |{\tau }_{\omega }\left(g\right)-{d}_{i}\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)|+2\frac{d\left({x}_{i},{y}_{i}\right)}{{\lambda }_{i}}+\frac{K\left(\delta \right)}{{\lambda }_{i}}\end{array}$
 $\begin{array}{ccc}& \le & |{\tau }_{\omega }\left(g\right)-{d}_{i}\left({f}_{i}\left(g\right){x}_{i},{x}_{i}\right)|+\frac{|A|}{{\lambda }_{i}}+3\frac{K\left(\delta \right)}{{\lambda }_{i}},\end{array}$
 $\begin{array}{}\end{array}$
where the second inequality follows from (7 ) and the third one from (5 ).
The $\omega$  -limit of each term in the right-hand side of the above inequality is $0$  (for the second term see (3 )). Therefore ${\tau }_{\omega }\left(g\right)={\text{lim}}_{\omega }\frac{\tau \left({f}_{i}\left(g\right)\right)}{{\lambda }_{i}}=0,$  since $\tau \left({f}_{i}\left(g\right)\right)=\tau \left(g\right)$  for all $i$  ( ${f}_{i}$  being a conjugating automorphism).
Hence, each element $g$  of the finitely generated group $G$  acts as an elliptic isometry on ${X}_{\omega }$  . This means that the action of $G$  on ${X}_{\omega }$  has a global fixed point, say $z=\left({z}_{i}\right)$  . It follows that for every $\varepsilon >0$  and every finite subset $F$  of $G$  , there is an $\Omega \in \omega$  such that ${d}_{i}\left({z}_{i},{f}_{i}\left(g\right){z}_{i}\right)=\frac{d\left({z}_{i},{f}_{i}\left(g\right){z}_{i}\right)}{{\lambda }_{i}}<\varepsilon ,$  for all $i\in \Omega$  and $g\in F$  . This contradicts to the minimality of ${\lambda }_{i}$  (see (1 )).
We should mention here that this is the best possible result in that generality. Indeed, as shown by Burnside [3and subsequently by several other authors (see also Sah [13), there are finite groups that posses non-trivial outer conjugating automorphisms (known also as outer, class preserving automorphisms). Therefore one can easily construct free-by-finite groups with outer conjugating automorphisms by considering the direct product of the above mentioned finite groups by free groups.
We are now able to show our main theorem.
Theorem 2.3. Let $G$  be a conjugacy separable, hyperbolic group.
Then each virtually torsion-free subgroup of the outer automorphism group $Out\left(G\right)$  of $G$  is residually finite.
• Proof. It suffices to show that each torsion-free subgroup $H$  of $Out\left(G\right)$  is residually finite. We consider the following short exact sequence $1\to Conj\left(G\right)/Inn\left(G\right)\stackrel{i}{\to }Aut\left(G\right)/Inn\left(G\right)\stackrel{\pi }{\to }Aut\left(G\right)/Conj\left(G\right)\to 1.$  By Lemma 2.2 the first term is finite. This implies that the restriction of $\pi$  on $H$  is a monomorphism. It follows that $H$  is residually finite being isomorphic to a subgroup of $Aut\left(G\right)/Conj\left(G\right)$  , which is residually finite by Lemma 2.1 .
In view of the above theorem, given a group $G$  it is natural to seek conditions under which the outer automorphism group $Out\left(G\right)$  of $G$  is virtually torsion-free. Recently, Guirardel and Levitt [7have shown that the outer automorphism group of a hyperbolic group $G$  is virtually torsion-free, provided that $G$  is virtually torsion-free. Thus, by Theorem 2.3 , the outer automorphism group of a conjugacy separable virtually torsion free hyperbolic group is residually finite.
The next lemma is more or less known (see [7, 10).
Lemma 2.4. Let $G$  be a finitely generated group containing a normal subgroup $N$  of finite index whose center is trivial. If $Out\left(N\right)$  is virtually torsion-free, then so is $Out\left(G\right)$  .
• Proof. Let $Au{t}_{N}\left(G\right)$  denote the subgroup of $Aut\left(G\right)$  consisting of those automorphisms of $G$  which fix $N$  and induce the identity on $G/N$  . The restriction map $\phi :Au{t}_{N}\left(G\right)\to Aut\left(N\right)$  is an injection. Indeed, let $g\in G$  and $f\in Au{t}_{N}\left(G\right)$  . Then $f\left(g\right)=g{h}_{g}$  for some ${h}_{g}\in N$  . Suppose now that $f$  is in the kernel of the restriction map. Then for each $h$  in $N$  we have $gh{g}^{-1}=f\left(gh{g}^{-1}\right)=g{h}_{g}h{h}_{g}^{-1}{g}^{-1}$  . This implies that ${h}_{g}$  is in the center of $N$  , which is trivial, and therefore $f$  is the identity. From the injectivity of $\phi$  we get $\phi \left(In{n}_{N}\left(G\right)\right)=Inn\left(G\right)$  , where $In{n}_{N}\left(G\right)$  denotes the (normal) subgroup of $Inn\left(G\right)$  consisting of all inner automorphisms of $G$  induced by elements of $N$  . We conclude that the quotient group $Au{t}_{N}\left(G\right)/In{n}_{N}\left(G\right)$  embeds into $Out\left(N\right)$  . In particular, $Au{t}_{N}\left(G\right)/In{n}_{N}\left(G\right)$  is virtually torsion-free.
Now the restriction of the natural projection $\pi :Aut\left(G\right)\to Out\left(G\right)$  to $Au{t}_{N}\left(G\right)$  induces a map $\stackrel{~}{\pi }:Au{t}_{N}\left(G\right)/In{n}_{N}\left(G\right)\to Out\left(G\right)$  . The kernel of $\stackrel{~}{\pi }$  (which is equal to $Inn\left(G\right)/In{n}_{N}\left(G\right)$  ) is finite, since $N$  is of finite index in $G$  , while its image has finite index in $Out\left(G\right)$  , since $Au{t}_{N}\left(G\right)$  is of finite index in $Aut\left(G\right)$  , by [10,Lemma1. It follows that each finite-index, torsion-free subgroup of $Au{t}_{N}\left(G\right)/In{n}_{N}\left(G\right)$  embeds as a subgroup of finite index in $Out\left(G\right)$  , which proves the lemma.
Corollary 2.5. The outer automorphism group of a finitely generated, free-by-finite group is residually finite.
• Proof. It is well-known that every finitely generated, free-by-finite group $G$  is hyperbolic. Furthermore, $G$  is conjugacy separable by [4. Therefore Theorem 2.3 applies to $G$  . On the other hand, it is also known that the outer automorphism group of a free group is virtually torsion-free. If $G$  is virtually infinite cyclic, then $Out\left(G\right)$  is finite. In the case where $G$  is not virtually cyclic, the center of a free subgroup of finite index in $G$  is trivial, and the result follows from Lemma 2.4 .
Recall that a Fuchsian group is a discrete group of the group of isometries of the hyperbolic plane ${\mathbb{H}}^{2}$  .
Corollary 2.6. The outer automorphism group of a finitely generated, Fuchsian group is residually finite.
• Proof. Every finitely generated Fuchsian group $G$  contains a normal torsion-free subgroup of finite index, say $N$  , which is either a free group or the fundamental group of an orientable surface group of genus $g\ge 2$  . So $N$  is hyperbolic since it is either free or quasi-isometric to ${\mathbb{H}}^{2}$  . Moreover $N$  is conjugacy separable [14,Theorem3.3and its outer automorphism group $Out\left(N\right)$  is virtually torsion-free and so $N$  satisfies the hypotheses of Theorem 2.3 .
Hence, $Out\left(N\right)$  is residually finite.
If $N$  is cyclic then $G$  is virtually cyclic and so $Out\left(G\right)$  is finite. In all other cases, $N$  is a normal subgroup of finite index in $G$  with trivial centre (since it is a non-cyclic torsion-free hyperbolic group) and so from the proof of Lemma 2.4 we have that $Au{t}_{N}\left(G\right)/In{n}_{N}\left(G\right)$  is a subgroup of $Out\left(N\right)$  . Hence, every subgroup of $Au{t}_{N}\left(G\right)/In{n}_{N}\left(G\right)$  is residually finite.
But, again from the proof of Lemma 2.4 , there is a torsion-free subgroup of $Au{t}_{N}\left(G\right)/In{n}_{N}\left(G\right)$  that embeds as a finite index subgroup in $Out\left(G\right)$  .
Therefore, $Out\left(G\right)$  is residually finite.
The corollary below generalizes the results of Grossman [6and of Allenby, Kim and Tang [1. Notice that for the exceptional cases of the Torus and the Klein bottle it is easily verified that the result still holds.
Corollary 2.7. The mapping class group $Mo{d}_{S}$  of a hyperbolic 2-orbifold $S$  with finite volume is residually finite.
• Proof. The fundamental group of a hyperbolic 2-orbifold with finite volume is a finitely generated Fuchsian group. Hence, the proof in an immediate consequence of the results of Fujiwara [5, the above corollaries and the fact that subgroups of residually finite groups are residually finite.
References

1. R.B.J.T. Allenby, G. Kim and C.Y. Tang, Residual finiteness of outer automorphism groups of certain pinched 1-relator groups. J. Algebra 246, 849–858 (2001).
2. M. Bestvina, Degenerations of the hyperbolic space. Duke Math. J. (1) 56, 143–161 (1988).
3. W. Burnside, The theory of groups of finite order, 2nd ed. Dover, New York, 1955.
4. J. Dyer, Separating conjugates in free-by-finite groups. J. London Math. Soc. (2) 20, 215–221 (1979).
5. K. Fujiwara, On the outer automorphism group of a hyperbolic group. Israel J. Math. 131, 277–284 (2002).
6. E. K. Grossman. On the residual finiteness of certain mapping class groups. J. London Math. Soc. 2, 160-164 (1974).
7. V. Guirardel and G. Levitt, The outer space of a free product, preprint.
8. M. Kapovich and B. Leeb, On asymptotic cones and quasi-isometry classes of fundamental groups of 3-manifolds. Geom. Funct. Anal. (3) 5, 582–603 (1995).
9. C. Maclachlan and W.J. Harvey, On mapping-class groups and Teichmüler spaces. Proc. London Math. Soc. (3) 30, 496–512 (1975).
10. J. McCool, The automorphism groups of finite extensions of free groups. Bull. London Math. Soc. 20, 131-135 (1988).
11. J. Morgan and P.B. Shalen, Valuations, trees and degenerations of hyperbolic structures. I. Ann. Math. 120, 401–476 (1984).
12. F. Paulin, Outer automorphisms of hyperbolic groups and small actions on $\mathbb{R}$  -trees. In: Arboreal group theory (Berkeley, CA, 1988), 331–343, Math. Sci. Res. Inst. Publ. 19, Springer, New York, 1991.
13. C-H. Sah, Automorphisms of finite groups. J. Algebra 10, 47–68 (1968).
14. P.F. Stebe, Conjugacy separability of certain Fuchsian groups. Trans. Amer. Math. Soc. 163, 173–188 (1972).

Department of Mathematics, University of the Aegean, Karlovassi, 832 00 Samos, Greece email: vmet@aegean.gr Amalthias 18, 412 22 Larissa Greece email: msikiot@cc.uoa.gr

$\text{}$  2000 Mathematics Subject Classification. 20E05, 57A05, 20E07, 20E08, 57M60