arXiv:1403.0026v2 [] 22 Feb 2016

COMMENSURATIONS AND METRIC PROPERTIES
OF HOUGHTON’S GROUPS
JOSÉ BURILLO, SEAN CLEARY, ARMANDO MARTINO,
AND CLAAS E. RÖVER
Abstract. We describe the automorphism groups and the abstract commensurators of Houghton’s groups. Then we give sharp
estimates for the word metric of these groups and deduce that
the commensurators embed into the corresponding quasi-isometry
groups. As a further consequence, we obtain that the Houghton
group on two rays is at least quadratically distorted in those with
three or more rays.

Introduction
The family of Houghton groups Hn was introduced by Houghton [7].
These groups serve as an interesting family of groups, studied by Brown
[2], who described their homological finiteness properties, by Röver
[10], who showed that these groups are all subgroups of Thompson’s
group V , and by Lehnert [9] who described the metric for H2 . Lee [8]
described isoperimetric bounds, and de Cornulier, Guyot, and Pitsch
[4] showed that they are isolated points in the space of groups.
Here, we classify automorphisms and determine the abstract commensurator of Hn . We also give sharp estimates for the word metric
which are sufficient to show that the map from the abstract commensurator to the group of quasi-isometries of Hn is an injection.
1. Definitions and background
Let N be the set of natural numbers (positive integers) and n ≥ 1 be
an integer. We write Zn for the integers modulo n with addition and
put Rn = Zn × N. We interpret Rn as the graph of n pairwise disjoint
Date: March 20, 2018.
The authors would like to thank Charles Cox for his remarks in an earlier version
of this paper. The authors are also grateful for the hospitality of NUI Galway. The
first author acknowledges support from MEC grant #MTM2011-25955. The second
author acknowledges support from the National Science Foundation and that this
work was partially supported by a grant from the Simons Foundation (#234548 to
Sean Cleary).
1

2

BURILLO, CLEARY, MARTINO, AND RÖVER

rays; each vertex (i, k) is connected to (i, k + 1). We denote by Symn ,
FSymn and FAltn , or simply Sym, FSym and FAlt if n is understood, the
full symmetric group, the finitary symmetric group and the finitary
alternating group on the set Rn , respectively.
The Houghton group Hn is the subgroup of Sym consisting of those
permutations that are eventually translations (of each of the rays). In
other words, the permutation σ of the set Rn is in Hn if there exist
integers N ≥ 0 and ti = ti (σ) for i ∈ Zn such that for all k ≥ N,
(i, k)σ = (i, k + ti ); throughout we will use right actions.
Note that necessarily the sum of the translations ti must be zero
because the permutation needs of course to be a bijection. This implies
that H1 ∼
= FSym.
For i, j ∈ Zn with i 6= j let gij ∈ Hn be the element which translates
the line obtained by joining rays i and j, given by
(i, n)gij = (i, n − 1) if n > 1,
(i, 1)gij = (j, 1),
(j, n)gij = (j, n + 1) if n ≥ 1 and
(k, n)gij = (k, n) if k ∈
/ {i, j}.
We also write gi instead of gi i+1 . It is easy to see that {gi | i ∈ Zn }, as
well as {gij | i, j ∈ Zn , i 6= j}, are generating sets for Hn if n ≥ 3 as we
can simply check that the commutator [g0 , g1] = g0−1g1−1 g0 g1 transposes
(1, 1) and (2, 1). In the special case of H2 , g1 is redundant as g1 = g0−1.
Further, an additional generator to g0 is required to generate the group;
we choose τ which fixes all points except for transposing (0, 1) and
(1, 1).
It is now clear that the commutator subgroup of Hn is given by

FAlt, if n ≤ 2
′
Hn =
FSym, if n ≥ 3
For n ≥ 3, we thus have a short exact sequence
(1)

π

1 −→ FSym −→ Hn −→ Zn−1 −→ 1

where π(σ) = (t0 (σ), . . . , tn−2 (σ)) is the abelianization homomorphism.
We note that as the sum of all the eventual translations must be zero,
we have the last translation is determined by the preceding ones:

(2)

tn−1 (σ) = −

n−2
X
i=0

ti (σ).

METRIC PROPERTIES OF HOUGHTON’S GROUPS

3

We will use the following facts freely throughout this paper, see
Dixon and Mortimer [5] or Scott [11].
Lemma 1.1. The group FAlt is simple and equal to the commutator
subgroup of FSym, and Aut(FAlt) = Aut(FSym) = Sym.
2. Automorphisms of Hn
Here we determine the automorphism group of Hn . First we establish
that we have to look no further than Sym. We let NG (H) denote the
normalizer, in G, of the subgroup H of G.
Proposition 2.1. Every automorphism of Hn , n ≥ 1, is given by
conjugation by an element of Sym, that is to say Aut(Hn ) = NSym (Hn ).
Proof. From the above, the finitary alternating group FAlt is the second derived subgroup of Hn , and hence characteristic in Hn . So every automorphism of Hn restricts to an automorphism of FAlt. Since
Aut(FAlt) = Sym, this restriction yields a homomorphism Aut(Hn ) −→
Sym and we need to show that it is injective with image equal to
NSym (Hn ).
In order to see this let ψ ∈ Aut(Hn ) be an automorphism. Compose
this with an inner automorphism (of Sym) so that the result is an
(injective) homomorphism α : Hn → Sym whose restriction to FAlt is
trivial. We let k ∈ N and consider the following six consecutive points
aℓ = (i, k + ℓ) of Rn for ℓ ∈ {0, 1, . . . , 5}.
We denote by giα the image of gi under α, and by (x y z) the 3-cycle
of the points x, y and z. Using the identities
gi−1 (a1 a2 a3 )gi = (a0 a1 a2 ) and gi−1 (a3 a4 a5 )gi = (a2 a3 a4 )
and applying α, which is trivial on FAlt, we get
(giα )−1 (a1 a2 a3 )giα = (a0 a1 a2 ) and (giα)−1 (a3 a4 a5 )giα = (a2 a3 a4 ).
Hence, we must have that giα maps {a1 , a2 , a3 } to {a0 , a1 , a2 }, and then
also {a3 , a4 , a5 } to {a2 , a3 , a4 }. The conclusion is that it maps a3 to a2 .
Applying a similar argument to all points in the branches i and i + 1,
it follows that giα = gi , and since i was arbitrary, this means that α is
the identity map.

With Lemma 1.1 in mind we now present the complete description
of Aut(Hn ).
Theorem 2.2. For n ≥ 2, the automorphism group Aut(Hn ) of the
Houghton group Hn is isomorphic to the semidirect product Hn ⋊ Sn ,
where Sn is the symmetric group that permutes the n rays.

4

BURILLO, CLEARY, MARTINO, AND RÖVER

Proof. By the proposition, it suffices to prove that every α ∈ Sym which
normalizes Hn must map (i, k + m) to (j, l + m) for some k, l ≥ 1 and
all m ≥ 0.
To this end, we pick α ∈ NSym (Hn ) and σ ∈ Hn . Since σ α (= α−1 σα)
is in Hn and maps the point xα to (xσ)α, these two points must lie on
the same ray for all but finitely many x ∈ Rn . Similarly, x and xσ lie
on the same ray for all but finitely many x ∈ Rn , as σ ∈ Hn . In fact,
given a ray, we can choose σ so that whenever x lies on that ray, then
x and xσ are successors on the same ray. Combining these facts, we
see that α maps all but finitely many points of ray i to one and the
same ray, say ray j. This defines a homomorphism from Aut(Hn ) onto
Sn , which is obviously split, since given a permutation of the n rays, it
clearly defines an automorphism of Hn .
So assume that α is now in the kernel of that map, so it does not
permute the rays, and take σ a gji generator of Hn , i.e., an infinite cycle
inside Sym. Then, since conjugating inside Sym preserves cycle types,
the element σ α ∈ Hn is also a single infinite cycle. This means that σ α
has nonzero translations in only two rays, and these translations are 1
and −1. For all points in the support of σ, we have that σ k sends this
point into the i-th ray for all sufficiently large k. Therefore, as α sends
almost all points in the i-th ray into the i-th ray, the same is true for
ασ . Hence ti (σ α ) is positive, so it must be ti (σ α ) = 1. It is quite clear
now that α translates by an integer in the ray i, sufficiently far out.
This finishes the proof since this could be done for any i, and hence
α ∈ Hn .

3. Commensurations of Hn
First, we recall that a commensuration of a group G is an isomorφ
phism A −→ B, where A and B are subgroups of finite index in G.
Two commensurations φ and ψ of G are equivalent if there exists a
subgroup A of finite index in G, such that the restrictions of φ and ψ
to A are equal. The set of all commensurations of G modulo this equivalence relation forms a group, known as the (abstract) commensurator
of G, and is denoted Com(G). In this section we will determine the
commensurator of Hn .
For a moment, we let H be a subgroup of a group G. The relative
commensurator of H in G is denoted ComG (H) and consists of those
g ∈ G such that H ∩ H g has finite index in both H and H g . Similar to
the homomorphism from NG (H) to Aut(H), there is a homomorphism
from ComG (H) to Com(H); Its kernel consists of those elements of G
that centralize a finite index subgroup of H.

METRIC PROPERTIES OF HOUGHTON’S GROUPS

5

In order to pin down Com(Hn ), we first establish that every commensuration of Hn can be seen as conjugation by an element of Sym,
and then characterize ComSym (Hn ).
Since a commensuration φ and its restriction to a subgroup of finite
index in its domain are equivalent, we can restrict our attention to the
following family of subgroups of finite index in Hn , in order to exhibit
Com(Hn ). For every integer p ≥ 1, we define the subgroup Up of Hn
by
Up = hFAlt, gip | i ∈ Zn i.
We collect some useful properties of these subgroup first, where
A ⊂f B means that A is a subgroup of finite index in B.
Lemma 3.1. Let n ≥ 3.
(i) For every p, the group Up coincides with Hnp , the subgroup generated by all pth powers in Hn , and hence is characteristic in
Hn .

 n−1
2p , p even
FAlt, p even
′
.
and |Hn : Up | =
(ii) Up =
pn−1 , p odd
FSym, p odd
(iii) For every finite index subgroup U of Hn , there exists a p ≥ 1
with FAlt = Up′ ⊂ Up ⊂f U ⊂f Hn .
The same is essentially true for the case n = 2, except that Up′ is
always equal to FAlt in this case, with the appropriate change in the
index.
Proof. First we establish (ii). We know that [gi , gj ] is either trivial,
when j ∈
/ {i − 1, i + 1}, or an odd permutation. So the commutator
identities [ab, c] = [a, c]b [b, c] and [a, bc] = [a, c][a, b]c imply the first
part, and the second part follows immediately using the short exact
sequence (1) from Section 1.
Part (i) is now an exercise, using that FAltp = FAlt.
In order to show (iii), let U be a subgroup of finite index in Hn . The
facts that FAlt is simple and U contains a normal finite index subgroup
of Hn , imply that FAlt ⊂ U. Let p be the smallest even integer such
that (pZ)n−1 is contained in the image of U in the abelianisation of Hn .
It is now clear that Up is contained in U.

Noting that Com(H1 ) = Aut(H1 ) = Sym, we now characterize the
commensurators of Houghton’s groups.
Theorem 3.2. Let n ≥ 2. Every commensuration of Hn normalizes
Up for some even integer p. The group Np = NSym (Up ) is isomorphic

6

BURILLO, CLEARY, MARTINO, AND RÖVER

to Hnp ⋊ (Sp ≀ Sn ), and Com(Hn ) is the direct limit of Np with even p
under the natural embeddings Np −→ Npq for q ∈ N.
Proof. Let φ ∈ Com(Hn ). By Lemma 3.1, we can assume that Up is
contained in the domain of both φ and φ−1 for some even p. Let V
be the image of Up under φ. Then V has finite index in Hn and so
contains FAlt, by Lemma 3.1. However, the set of elements of finite
order in V equals [V, V ], whence [V, V ] = FAlt, as FAlt and FSym are
not isomorphic. This means that the restriction of φ to FAlt is an
automorphism of FAlt, and hence yields a homomorphism
ι : Com(Hn ) −→ Sym.
That ι is an injective homomorphism to ComSym (Hn ) follows from a
similar argument to the one in Proposition 2.1 applied to gi p and six
points of the form aℓ = (i, k + pℓ) with ℓ ∈ {0, 1, . . . , 5}. Since the
centralizer in Sym of FAlt, and hence of any finite index subgroup of Hn ,
is trivial, the natural homomorphism from ComSym (Hn ) to Com(Hn )
mentioned above is also injective, and we conclude that Com(Hn ) is
isomorphic to ComSym (Hn ), and that ι is the isomorphism:
ι : Com(Hn ) −→ ComSym (Hn ).
From now on, we assume that φ ∈ ComSym (Hn ). In particular, the
action of φ is given by conjugation, and our hypothesis is that Upφ ⊂ Hn .
Now we can apply the argument from the proof of Theorem 2.2 to
σ ∈ U and σ φ (instead of σ α ). Namely, consider the ith ray, and choose
p
a σ = gji
∈ Up . So we have ti (σ) = p, tj (σ) = −p and zero translation
elsewhere. Now, except for finitely many points, σ φ preserves the rays
and sends xφ to xσφ. Thus there is an infinite subset of the ith ray
which is sent to the same ray by φ, say ray k. The infinite subset
should be thought of as a union of congruence classes modulo p, except
for finitely many points. We claim that no infinite subset of ray j
can be mapped by φ to ray k. This is because, if it were, the infinite
subset would contain a congruence class modulo p (except for finitely
many points) from which we would be able to produce two points, x, y,
in the support of σ φ such that all sufficiently large positive powers of
σ φ send x into ray k and all sufficiently large negative powers of σ φ
send y into ray k, and this is not possible for an element of Hn . This
means that φ maps an infinite subset of ray i onto almost all of ray k
(observe that ray k is almost contained in the support of σ φ so must
be almost contained in the image of the unions of rays i and j). Now
applying similar arguments to φ−1 we get that φ is a bijection between
rays i and k except for finitely many points. In fact, φ must induce

METRIC PROPERTIES OF HOUGHTON’S GROUPS

7

bijections between the congruence classes modulo p (except for finitely
many points) inside the two ray systems.
Thus φ induces a permutation of the ray system. Again, looking at
large positive powers we deduce that tk (σ φ ) > 0 and since the support
of σ φ is almost equal to the union of two rays, we must have that
tk (σ φ ) = p, as σ and hence σ φ have exactly p orbits. In particular, we
may deduce that φ normalises Up . So Upφ = Up .
In order to proceed, it will be useful to change the ray system. Specifically, each ray can be split into p rays, preserving the order. This
realises Up as a (normal) subgroup of Hnp . We say two of these new
rays are equivalent if they came from the same old ray. Thus there are
n equivalence classes, each having p elements. The group Up acts on
this new ray system as the subgroup of Hnp consisting of all σ ∈ Hnp
such that ti (σ) = tj (σ) whenever the ith and j th rays are equivalent.
Note that because we have split the rays, these translation amounts
can be arbitrary in Up (as a subgroup of Hnp ) and not just multiples
of p. In particular, we have that Up = Upφ ⊂ Hnp and the previous
arguments imply that φ induces a bijection on the new ray system and
sends equivalent rays to equivalent rays (since it is actually permuting the old ray system). Since φ permutes the rays, but must preserve
equivalence classes, we get a homomorphism from NSym (Up ) to the subgroup of Snp which preserves the equivalence classes - this is easily seen
to be (Sp ≀ Sn ) and the above homomorphism is split.
As in Theorem 2.2 we now conclude that the kernel of this homomorphism is Hnp and hence we get that Np = NSym (Up ) is Hnp ⋊(Sp ≀Sn ). 
We note that Com(Hn ) is not finitely generated, for if it were, it
would lie in some maximal Np .

4. Metric estimates for Hn
In this section we will give sharp estimates for the word length of
elements of Houghton’s groups. This makes no sense for H1 which is
not finitely generated. As mentioned in the introduction, the metric in
H2 was described by Lehnert [9]. In order to deal with Hn for n ≥ 3,
we introduce the following measure of complexity of an element.
Given σ ∈ Hn , we define pi (σ), for i ∈ Zn , to be the largest integer
such that (i, pi (σ))σ 6= (i, pi (σ) + ti (σ)). Note that if ti (σ) < 0, then
necessarily pi (σ) ≥ |ti (σ)|, as the first element in each ray is numbered
1.

8

BURILLO, CLEARY, MARTINO, AND RÖVER

The complexity of σ ∈ Hn is the natural number P (σ), defined by
X
pi (σ).
P (σ) =
i∈Zn

And the translation amount of σ is
1X
T (σ) =
|ti (σ)|.
2 i∈Z
n

The above remark combined with (2) immediately implies P (σ) ≥
T (σ). It is easy to see that an element with complexity zero is trivial,
and only the generators gij have complexity one.
Theorem 4.1. Let n ≥ 3 and σ ∈ Hn , with complexity P = P (σ) ≥ 2.
Then the word length |σ| of σ with respect to any finite generating set
satisfies
P/C ≤ |σ| ≤ KP log P,
where the constants C and K only depend on the choice of generating
set.
Proof. Since the word length with respect to two different finite generating sets differs only by a multiplicative constant, we can and will
choose { gij | i, j ∈ Zn , i 6= j} as generating set to work with, and show
that the statement holds with C = 1 and K = 7.
The lower bound is established by examining how multiplication by
a generator can change the complexity. Suppose σ has complexity P
and consider σgij . It is not difficult to see that

p (σ) + 1, if k = i and (i, pi (σ) + 1)σ = (i, 1)


 k
pk (σ) − 1, if k = j, (j, pj (σ) + 1)σ = (j, 1) and
(3) pk (σgij ) =
(j, pj (σ))σ = (i, 1)


 p (σ),
otherwise
k

where the first two cases are mutually exclusive, as i 6= j. Thus
|P (σgij ) − P (σ)| ≤ 1, which establishes the lower bound.
The upper bound is obtained as follows. Suppose σ ∈ Hn has complexity P . First we show by induction on T = T (σ) that there is a
word ρ of length at most T ≤ P such that the complexity of σρ is P̄
with P̄ ≤ P and T (σρ) = 0. The case T = 0 is trivial. If T > 0, then
there are i, j ∈ Zn with ti (σ) > 0 and tj (σ) < 0. So T (σgij ) = T − 1.
Moreover, P (σgij ) ≤ P , because the first case of (3) is excluded, as
it implies that ti (σ) = −pi (σ) ≤ 0, contrary to our assumption. This
completes the induction step.
We are now in the situation that σρ ∈ FSym and loosely speaking
we proceed as follows.

METRIC PROPERTIES OF HOUGHTON’S GROUPS

9

Q
(1) We push all irregularities into ray 0, i.e. multiply by gi0 pi(σρ) .
(2) We push all points back into the ray to which they belong,
except for those from ray 0 which we mix into ray 1, say.
(3) We push out of ray 1 separating the points belonging to rays 0
and 1 into ray 0 and any other ray, say ray 2, respectively.
(4) We push the points belonging to ray 1 back from ray 2 into it.
These four steps can be achieved by multiplying by an element µ
of length at most 4P̄ , such that σρµ is an element which, for each i,
permutes an initial segment Ii of ray i. Notice that σρµ is now an
element of Hn which maps each ray to itself, and hence ti (σρµ) = 0 for
all i.
It is clear
Pthat µ can be chosen so that the total length of the moved
intervals,
|Ii | ≤ P̄ . Finally, we sort each of these intervals using a
recursive procedure, modeled on standard merge sort.
In order to sort the interval I = I2 say, we push each of its points
out of ray 2 and into either ray 0 if it belongs to the lower half, or to
ray 1 if it belongs to the upper half of I. If each of the two halves
occurs in the correct order, then we only have to push them back into
ray 2 and are done, having used 2|I| generators. If the two halves are
not yet sorted, then we use the same “separate the upper and lower
halves” approach on each of them recursively in order to sort them. In
total this takes at most 2|I| log2 |I| steps.
Altogether we have used at most
X
|Ii | log2 |Ii | ≤ 7P log2 P
P + 4P̄ + 2
i∈Zn

generators to represent the inverse of σ; we used the hypothesis P ≥ 2
in the last inequality.

We note that because there are many permutations, the fraction
of elements which are close to the lower bound goes to zero in much
the same way as shown for Thompson’s group V by Birget [1] and its
generalization nV by Burillo and Cleary [3].
Lemma 4.2. Let n ≥ 3. For Hn take the generating set g1 , . . . , gn−1
with n − 1 elements. Consider the following sets:
• Bk is the ball of radius k,
• Ck is the set of elements in Hn which have complexity P = k,
• Dk ⊂ Ck is the set of elements of Ck which have word length at
most k log2n−2 k
Then, we have that
|Dk |
lim
=0
k→∞ |Ck |

10

BURILLO, CLEARY, MARTINO, AND RÖVER

An element of complexity P , according to the metric estimates proved
above, has word length between P and P log P . What this lemma
means is that most elements with complexity P will have word length
closer to P log P than to P .
Proof. Observe that
|Dk |
|Bk log2n−2 k |

≤1

because it is a subset. Now, introduce the Ck as
|Ck |
|Dk |
|Ck | |Bk log2n−2 k |
and the proof will be complete if we show that
lim

k→∞

|Ck |
|Bk log2n−2 k |

= ∞.

In Ck there are at least (nk − 2)! elements. This is because we can
take a transposition involving a point at distance k down one of the
rays, with another point. Since this already ensures P = k, we are
free to choose any permutation of the other nk − 2 points which are
at one of the first k positions in each ray. And inside |Bk log2n−2 k |,
counting grossly according to the number of generators, there are at
most (2n − 2)k log2n−2 k = k k elements. Now the limit becomes
(nk − 2)!
k→∞
kk
which is easily seen that it approaches infinity using Stirling’s formula
and the fact that n ≥ 3.

lim

Consequentially, these estimates give an easy way to see that the
group has exponential growth. We note that exponential growth also
follows easily from the fact that g01 and g02 generate a free subsemigroup.
Proposition 4.3. Let n ≥ 3. Then Hn has exponential growth.
Proof. Consider a finitary permutation of complexity P , and observe
that there are at least P ! of those. By the metric estimate, its word
length is at most KP log P . Using again as in the previous lemma the
notation Bk for a ball, we will have that the group has exponential
growth if
log |Bk |
lim
> 0.
k→∞
k

METRIC PROPERTIES OF HOUGHTON’S GROUPS

11

In our case, this amounts to
log |BKP log P |
log P !
1
≥ lim
= .
P →∞
P →∞ KP log P
KP log P
K
lim


5. Subgroup embeddings
We note that each Hn is a subgroup of Hm for n < m and that our
estimates together with work of Lehnert are enough to give at least
quadratic distortion for some of these embeddings.
Theorem 5.1. The group H2 is at least quadratically distorted in Hm
for m ≥ 3.
Proof. We consider the element σn of H2 which has T (σn ) = 0 and
transposes (0, k) and (1, k) for all k ≤ n. Then σn corresponds to the
word gn defined in Theorem 8 of [9], where it is shown to have length of
the order of n2 with respect to the generators of H2 in Lemma 10 there,
which are exactly the generators for H2 given in the introduction. One
easily checks that σn = g02 n g12 n g02 −n g12 −n in H3 . Thus a family of
words of quadratically growing length in H2 has linearly growing length
in H3 , which proves the theorem.

A natural, but seemingly difficult, question is whether Hn is distorted
in Hm for 3 ≤ n < m. Another question, which also seems difficult,
is to ask whether Hn is distorted in Thompson’s group V , under the
embeddings mentioned in the introduction, [10].
6. Some quasi-isometries of Hn
Commensurations give rise to quasi-isometries and are often a rich
source of examples of quasi-isometries. Here we show that the natural
map from the commensurator of Hn to the quasi-isometry group of
Hn , which we denote by QI(Hn ), is an injection. That is, we show that
each commensuration is not within a bounded distance of the identity.
That this is an injection also follows from the more general argument
of Whyte which appears as Proposition 7.5 in Farb-Mosher [6].
Theorem 6.1. The natural homomorphism from Com(Hn ) to QI(Hn )
is an embedding for n ≥ 2.
Proof. We will show that for each non-trivial φ ∈ Com(Hn ) and every
N ∈ N we can find a σ ∈ Hn such that d(σ, σ φ ) ≥ N, so none of
the non-trivial images are within a bounded distance of the identity.

12

BURILLO, CLEARY, MARTINO, AND RÖVER

By Theorem 3.2, we can and will view φ as a non-trivial element of
Np ⊂ Sym for some even p.
If φ eventually translates a ray i non-trivially to a possibly different
ray j, then we let σ = ((i, N) (i, N + 1)), a transposition in the translated ray. The image of σ under conjugation by φ is the transposition
((j, N + t), (j, N + t′ + 1)), and the distance d(σ, σ φ ) is the length of
σ −1 σ φ , which is at least N since it moves at least one point at distance
N down one of the rays.
If φ does not eventually translate a ray but eventually non-trivially
permutes ray i with another ray j, then we can show boundedness away
from the identity by taking σ = ((j, N) (j, N + 1)). The point (i, N) is
fixed by σ but is moved to (i, N + 1) under σ φ ensuring that the length
of σ −1 σ φ is at least N.
Finally, if φ does not have the preceding two properties, then φ
is a non-trivial finitary permutation. Since Houghton’s group is ktransitive, for every k, we can find a σ ∈ Hn such that φσ has support
disjoint from that of φ, and at distance at least N down one of the
rays. Hence σ −1 φ−1 σφ = σ −1 σ φ has length at least N.

7. Co-Hopficity
Houghton’s groups are long known to be Hopfian although they are
not residually finite, see [4]. In this section we will prove that Hn is not
co-Hopfian, by exhibiting a map which is injective but not surjective.
The map is the following:
f : Hn −→ Hn
s 7→ f (s)
defined by: if (i, n)s = (j, m), then:
(i, 2n − 1)f (s) = (j, 2m − 1)

and

(i, 2n)f (s) = (j, 2m).

It is straightforward to show that f is a homomorphism. It is injective, because if s is not the identity with (i, n)s 6= (i, n), then
(i, 2n)f (s) 6= (i, 2n). And clearly the map is not surjective, because
the permutation always sends adjacent points (i, 2n − 1), (i, 2n) to adjacent points, and a permutation which does not do this cannot be in
the image.
In fact, Hn has many proper subgroups isomorphic to the whole
group. The following argument was pointed out to us by Peter Kropholler.
One can well-order the ray system by taking a lexicographic order.
The group Hn is then the group of all almost order preserving bijections
of the well-ordered ray system. It is then clear that the ray system

METRIC PROPERTIES OF HOUGHTON’S GROUPS

13

minus a point is order isomorphic to the original ray system, which
demonstrates that a point stabiliser is a subgroup isomorphic to Hn .
Theorem 7.1. Houghton’s groups Hn are not co-Hopfian.
References
[1] Jean-Camille Birget. The groups of Richard Thompson and complexity. Internat. J. Algebra Comput., 14(5-6):569–626, 2004. International Conference on
Semigroups and Groups in honor of the 65th birthday of Prof. John Rhodes.
[2] Kenneth S. Brown. Finiteness properties of groups. In Proceedings of the Northwestern conference on cohomology of groups (Evanston, Ill., 1985), volume 44,
pages 45–75, 1987.
[3] José Burillo and Sean Cleary. Metric properties of higher-dimensional Thompson’s groups. Pacific J. Math., 248(1):49–62, 2010.
[4] Yves de Cornulier, Luc Guyot, and Wolfgang Pitsch. On the isolated points in
the space of groups. J. Algebra, 307(1):254–277, 2007.
[5] John D. Dixon and Brian Mortimer. Permutation groups, volume 163 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1996.
[6] B. Farb and L. Mosher. The geometry of surface-by-free groups. Geom. Funct.
Anal., 12(5):915–963, 2002.
[7] C. H. Houghton. The first cohomology of a group with permutation module
coefficients. Arch. Math. (Basel), 31(3):254–258, 1978/79.
[8] Sang Rae Lee. Geometry of Houghton’s groups, 2012. arXiv:1212.0257.
[9] Jörg Lehnert. Some remarks on depth of dead ends in groups. Internat. J.
Algebra Comput., 19(4):585–594, 2009.
[10] Claas E. Röver. Subgroups of finitely presented simple groups. PhD thesis,
University of Oxford, 1999.
[11] W. R. Scott. Group theory. Dover Publications Inc., New York, second edition,
1987.
Departament de Matemàtica Aplicada IV, EETAC – UPC, Esteve
Terrades 5, 08860 Castelldefels (Barcelona), Spain
E-mail address: burillo@ma4.upc.edu
Department of Mathematics R8133, The City College of New York,
Convent Ave & 138th, New York, NY 10031, USA
E-mail address: scleary@ccny.cuny.edu
Mathematics, University of Southampton, Highfield, Southampton,
SO17 1BJ, England
E-mail address: A.Martino@soton.ac.uk
Department of Mathematics, National University of Ireland, Galway, University Road, Galway, Ireland
E-mail address: claas.roever@nuigalway.ie

