arXiv:1612.06499v2 [] 21 Dec 2016

Invariable generation of certain groups of piecewise linear
homeomorphisms of the interval
Yoshifumi Matsuda and Shigenori Matsumoto

Abstract. Let P be the group of all the orientation preserving piecewise
linear homeomorphisms of the interval [0, 1]. Given any a > 1, let P a be the
subgroup of P consisting of all the elements with slopes in aZ , and let P Q
be the subgroup of P consisting of all the elements with slopes and breaks in
Q. We show that the groups P , P a , P Q , as well as Thompson group F , are
invariably generated.

1. Introduction
The concept of invariable generation for a group G was introduced by J.
Wiegold in [9].
Notation 1.1.
we denote:

1

For elements g and h of a group G, and a subgroup H of G,

hg = ghg −1 , hG = {hg | g ∈ G}, H g = {hg | h ∈ H}.
Definition 1.2. (1) A subgroup H of G is called classful if H ∩ g G 6= ∅ for
any g ∈ G, or equivalently,
[
(1.1)
H g = G.
g∈G

(2) A group G is said to be invariably generated if there are no classful subgroups
other than G itself.
Any finite group is invariably generated, as is shown by a counting argument
on (1.1). Much easier is the fact that any abelian group is invariably generated.
In [9], it is shown that the invariable generation is extension closed. Therefore any
virtually solvable group is invariably generated. It is also projection closed. Given
a prime number p > 1075 , an infinite group whose arbitrary proper nontrivial
subgroup is of order p is constructed in [8]. Such groups are necessarily generated
by arbitrary two elements not from the same proper subgroup, and is invariably
2010 Mathematics Subject Classification. Primary 20F65. secondary 20F05.
Key words and phrases. Invariable generation, piecewise linear homeomorphism, Thompson
group.
The first author is partially supported by Grant-in-Aid for Young Scientists (B) No. 25800036,
and the second by Grant-in-Aid for Scientific Research (C) No. 25400096.
1The convention g h is not the same as the customary one.
1

2

YOSHIFUMI MATSUDA AND SHIGENORI MATSUMOTO

generated, provided there are more than one nontrivial conjugacy classes. The
Grigorchuk group [5] is also invariably generated [7].
However the invariable generation is not subgroup closed: an example is given
in [10]. It is also not direct union closed: the group of the permutations of N
with finite support is not invariably generated, since the stabilizer of 1 ∈ N is
classful. Infinite groups with one nontrivial conjugacy class, constructed in [6], are
not invariably generated. Free groups of generators ≥ 2 are not invariably generated
[9]. More generally, nonelementary convergence groups are not invariably generated
[3]. Acylindrically hyperbolic groups are not invariably generated [2]. Invariable
generation of linear groups are discussed in [7].
The current paper is concerned with groups of piecewise linear (PL) homeomorphisms of the interval.
Theorem 1. Thompson group F is invariably generated.
Our method cannot give the finite invariance generation of F obtained in [4].
Denote by P the group formed by all the orientation preserving PL homeomorphisms of the unit interval [0, 1], and by P Q the subgroup of P formed by elements
with slopes and breaks in Q. Fix an arbitrary real number a > 1. Let P a be the
subgroup of P consisting of all the elements with slopes in aZ .
Theorem 2. The group P a is invariably generated.
Theorem 3. The group P is invariably generated.
Theorem 4. The group P Q is invariably generated.
The proofs of the above theorems are quite similar. In Section 2, we summarize
conditions for a subgroup G of P to be invariably generated. In later sections we
show that F , P a , P and P Q satisfy these conditions independently.
2. Conditions for invariable generation
Let G be any subgroup of the group P of all the orientation preserving PL
homeomorphisms of the interval [0, 1]. We shall raise three conditions for G to be
invariably generated. Let X be a dense subset of (0, 1) which is left invariant by G,
and let X ∗ = X ∪ {0, 1}. A closed interval I ⊂ [0, 1] is called an X-interval (resp.
X ∗ -interval) if the endpoints of I are contained in X (resp. X ∗ ).
Definition 2.1. For an X ∗ -interval I, let us denote
G(I) = {g|I | g ∈ G, Supp(g) ⊂ I} and G|I = {g|I | g ∈ G, g(I) = I}.
The first condition is to fix the relation between G and X.
Condition A: (1) The breaks of any g ∈ G are contained in X.
(2) The group G acts on X transitively.
(3) For any X-interval I, G|I = G(I).
(4) For any X ∗ -interval I, there is a PL homeomorphism ψI : [0, 1] → I such
that ψI (X ∗ ) = X ∗ ∩ I and GψI = G(I).
The other two conditions are concerned with an arbitrary classful subgroup H
of G.
Condition B: Any classful subgroup H acts on X transitively.

INVARIABLE GENERATION

3

Definition 2.2. For an X ∗ -interval I, let us denote
H(I) = {h|I | h ∈ H, Supp(h) ⊂ I} and H|I = {h|I | h ∈ H, h(I) = I}.
Condition C: For any classful subgroup H, there is an X-interval I0 such that
H|I0 = G(I0 ).
In this section, we show that if a subgroup G of P satisfies conditions A, B
and C, then G is invariably generated. Henceforth in this section, we assume G
satisfies conditions A, B and C. For f ∈ G, define s(f ) ∈ [0, 1] by
s(f ) = sup{s | f |[0,s] = id}.
By condition A(1), s(f ) is contained in X ∗ . Let H be an arbitrary classful subgroup
of G
Lemma 2.3. For any X ∗ -interval I = [t, 1] ⊂ [0, 1], H(I) is a classful subgroup
of G(I).
Proof: Given any f |I ∈ G(I) where f ∈ G with Supp(f ) ⊂ I, let us show
that there is g ∈ G such that Supp(g) ⊂ I and f g ∈ H. Since H is classful, there
is g1 ∈ G such that f g1 ∈ H. Now s(f g1 ) = g1 (s(f )) ∈ X. Notice that s(f ) ≥ t
since Supp(f ) ⊂ I. By condition B, there is g2 ∈ H such that g2 (g1 (s(f ))) = s(f ).
Then f g2 g1 = (f g1 )g2 is an element in H since f g1 ∈ H and g2 ∈ H. Moreover
f g2 g1 |I belongs to H(I) since it satisfies s(f g2 g1 ) = s(f ) ≥ t. Notice that s(f ) is a
fixed point of g2 g1 . Now by condition A(3), there is an element g ∈ G which is the
identity on [0, s(f )] and is equal to g2 g1 on [s(f ), 1]. Then we have f g = f g2 g1 ∈ H,
as is required.

For any X ∗ -interval I = [t, 1], choose a PL homeomorphism ψI : [0, 1] → I
such that ψI (X) = X ∩ (t, 1) and GψI = G(I) (condition A(4)). Since H(I) is
−1
−1
−1
classful in G(I), H(I)ψ is classful in G(I)ψ = G. By condition B, H(I)ψ acts
transitively on X. Therefore H(I) acts transitively on X ∩ (t, 1). This way we get
the following lemma.
Lemma 2.4. The classful subgroup H acts doubly transitively on X.



By the same argument as Lemma 2.3, applied to the inclusion of an X-interval
I = [t, t′ ] into an X ∗ -interval = [t, 1], we get the following.
Lemma 2.5. For any X-interval I of (0, 1), the group H(I) is a classful subgroup of G(I).

We shall discuss consequences of condition C. Let I0 be an X-interval such that
H|I0 = G(I0 ).
Lemma 2.6. We have H(I0 ) = G(I0 ).
Proof: Choose an arbitrary f |I0 ∈ G(I0 ), where f ∈ G with Supp(f ) ⊂
I0 . Then since H(I0 ) is classful in G(I0 ) (Lemma 2.5), there is g ∈ G such that
Supp(g) ⊂ I0 and f g ∈ H. Since g|I0 ∈ G(I0 ) = H|I0 , there is h ∈ H such that
h(I0 ) = I0 and h|I0 = g|I0 . Then since Supp(f ) ⊂ I0 , we have f g = f h , and hence
−1
f = (f g )h ∈ H. This, together with the assumption Supp(f ) ⊂ I0 , implies that

f |I0 ∈ H(I0 ).
Corollary 2.7. For any X-interval I in (0, 1), we have H(I) = G(I).

4

YOSHIFUMI MATSUDA AND SHIGENORI MATSUMOTO

Proof. By double transitivity of the action of H on X (Lemma 2.4), there is
h ∈ H such that h(I0 ) = I. Now
H(I) = H(I0 )h = G(I0 )h = G(I),
as is required.



Finally we shall prove that H = G. Let
G0 = {g ∈ G | g ′ (0) = g ′ (1) = 1}, H0 = {h ∈ H | h′ (0) = h′ (1) = 1}.
Let {Jn }n∈N be an increasing sequence of X-intervals such that ∪n Jn = (0, 1).
We have
[
[
H0 =
H(Jn ) and G0 =
G(Jn ).
n∈N

n∈N

Since by the previous lemma, H(Jn ) = G(Jn ) for any n ∈ N, we get G0 = H0 .
Now for any f ∈ G, there is g ∈ G such that f g ∈ H. But then f g f −1 =
[g, f ] ∈ G0 ⊂ H, and therefore f ∈ H. This finishes the proof that if G satisfies
conditions A, B and C, then G is invariably generated.
In the rest of the paper, we use the following terminology.
Definition 2.8. For f ∈ P , an interval [0, ǫ] or [1 − ǫ, 1] on which f is linear
is called an end linear zone of f .
.
3. The group F
Let us denote by Z[2 ] ⊂ R the set of dyadic rationals. Thompson group F
is the subgroup of P consisting of all the elements with slopes in 2Z and breaks in
Z[2−1 ]. For F , we define X in the previous section as X = Z[2−1 ] ∩ (0, 1). It is
well known that F satisfies condition A. For A(4), we can take ψI to be any PL
homeomorphism from [0, 1] to I with slopes in 2Z and breaks in Z[2−1 ]. See [1] for
the existence.
−1

Definition 3.1. Define a homomorphisms α : F → Z2 by
α(f ) = (log2 f ′ (0), log2 f ′ (1)).
Notice that f ∈ Ker(α) if and only if Supp(f ) ⊂ (0, 1). It is well known [1]
that Ker(α) = [F, F ]. Of course α is a class function: α(f ) = α(f g ). Let
F1,−1 = {f ∈ F | f (x) > x, ∀x ∈ (0, 1), α(f ) = (1, −1)}.
Given f ∈ F1,−1 , points 2−i from an end linear zone of f at 0 are contained in a
single orbit of the hf i-action. Their images by high iterates of f which lie in an
end linear zone at 1 are of the form 1 − k2−j for some positive odd integer k.
Definition 3.2. Define a map β : F1,−1 → 2N − 1, by setting β(f ) to be the
above odd integer k.
Lemma 3.3. The map β is surjective.

INVARIABLE GENERATION

5

Proof. Let k ∈ 2N − 1 be given. Choose a large integer j, and define g ∈ F
by setting
g(x) = 2x on [0, 2−j ],
g(x) = 2−1 (x − 1) + 1 on [1 − k2−j .1],
and g is a PL homeomorphism with slopes in 2Z and breaks in Z[2−1 ] from the
interval [2−j , 2−j+1 ] to [2−j+1 , 1 − k2−j ]. Then we have β(g) = k.

Lemma 3.4. The map β is class invariant, that is, β(g f ) = β(g) for any
g ∈ F1,−1 and any f ∈ F .
Proof. Assume β(g) = k ∈ 2N − 1 for g ∈ F1,−1 . Then there is an orbit O
of g which contains 2−j and 1 − k2−j for any large j. Choose an arbitrary element
f ∈ F and assume that the slopes of f are 2j0 near 0 and 2j1 near 1. Then f maps
O to an orbit of g f which contains 2−j+j0 and 1 − k2−j+j1 for any large j, showing
that β(g f ) = k.

Let H be an arbitrary classful subgroup of F .
1.

Corollary 3.5. The map β restricted to H ∩ F1,−1 is surjective onto 2N −

The next lemma shows that condition B of Section 2 is satisfied by F .
Lemma 3.6. The classful subgroup H acts transitively on X = Z[2−1 ] ∩ (0, 1).

Proof. By Corollary 3.5, there is an element h0 ∈ H such that β(h0 ) = 1.
Thus for any large j, the points 2−j , as well as 1−2−j , are on one orbit of h0 . Again
by Corollary 3.5, the H orbit of these points contains 1 − ka−j for any k ∈ 2N − 1
and any large j. Applying negative iterates of h0 , we get that the H orbit contains
all the points in X.

We need more in order to establish condition C for F . For n large, let In =
[2−n−1 , 2−n ], Jn = [1 − 2−n , 1 − 2−n−1 ] and let φn : [0, 1] → In , ψn : [0, 1] → Jn be
the orientation preserving surjective linear map of slope 2−n−1 . Let
F1,−1,1 = {g ∈ F1,−1 | β(g) = 1}.
Given any g ∈ F1,−1,1 , if we choose n large enough, some iterate g N maps In onto
Jn . The map ψn−1 ◦ g N ◦ φn is independent of the choice of n. In fact, if k > 0,
g k φn+k = φn and g k ψn = ψn+k . Therefore we have
−1
−1
ψn+k
g N +2k φn+k = (ψn+k
g k )g N (g k φn+k ) = ψn−1 g N φn .

Notice also that ψn−1 g N φn is an element of F .
Definition 3.7. Define a map γ : F1,−1,1 → F by γ(f ) = ψn−1 ◦ g N ◦ φn .
Lemma 3.8. The map γ is surjective.
We shall adopt a bit longer proof, which is applicable also to the group P a in
the next section.
Proof. Choose an arbitrary element g ∈ F1,−1,1 which is linear on [0, 2−n ] and
[1−2−n, 1]. There is N > 0 such that g N maps In onto Jn . Let f0 = ψn−1 g N φn ∈ F .
Any element of F can be written as f f0 for some f ∈ F . The map fˆ = ψn f ψn−1
is a PL homeomorphism of the interval Jn with slopes in 2Z and breaks in Z[2−1 ].

6

YOSHIFUMI MATSUDA AND SHIGENORI MATSUMOTO

Define an element g1 ∈ F1,−1,1 to be equal to fˆg on Jn−1 and equal to g elsewhere.
Notice that fˆg is still linear on [0, 2−n ] and [1 − 2−n , 1]. We also have
ψn−1 g1N φn = ψn−1 fˆg N φn = (ψn−1 fˆψn )(ψn−1 g N φn ) = f f0 .
Since f f0 is an arbitrary element of F , we are done.



Lemma 3.9. The map γ is class invariant. Precisely, if g ∈ F1,−1,1 and f ∈ F ,
then γ(g f ) = γ(g).
Proof. Choose n large enough so that g and f are linear on the intervals
[0, 2−n ] and [1 − 2−n , 1]. Since g ∈ F1,−1,1 , some iterate g N of g maps In to Jn .
Put k = γ(g) = ψn−1 g N φn , and let us show that γ(g f ) = k. We assume f is of slope
2j0 on [0, 2−n ] and of slope 2j1 on [1 − 2−n , 1]. Then g f is linear (of slope 2) on
[0, 2−n+j0 ], and is linear (of slope 2−1 ) on [1 − 2−n+j1 , 1]. The map g f maps In−j0
onto Jn−j1 . Since φn−j0 = f φn and ψn−j1 = f ψn , we have
−1
ψn−j
(g f )N φn−j0 = ψn−1 f −1 (f gf −1 )N f φn = ψn−1 g N φn = k.
1

If n is big enough compared with j0 and j1 , we have φn−j0 = (g f )j0 −j1 φn−j1 .
Therefore
−1
−1
k = ψn−j
(g f )N φn−j0 = ψn−j
(g f )N +j0 −j1 φn−j1 .
1
1

This shows γ(g f ) = k, as is required.



Corollary 3.10. The map γ restricted to H1,−1,1 = H ∩ F1.−1,1 is surjective
onto F .

Fix once and for all an element h0 ∈ H1,−1,1 such that γ(h0 ) = id. Thus there
is n > 0 such that h0 is linear on [0, 2−n ] and [1 − 2−n , 1], that some iterate hN
0
maps In onto Jn and that ψn−1 hN
0 φn = id. The next lemma shows that the group
F satisfies condition C of Section 2.
Lemma 3.11. We have H|In = F (In ).
ˆ
Proof: Choose an arbitrary element fˆ ∈ F (In ) and let f = φ−1
n f φn ∈ F . By
Corollary 3.10, there is h1 ∈ H1,−1,1 such that γ(h1 ) = f . More precisely, for some
−1 N
big m > 0, there is N > 0 such that hN
1 (Im ) = Jm and that ψm h1 φm = f . One
0
can choose m to be greater than n in the lemma. Then some iterate hN
of h0
0
N
−1
0
maps Im onto Jm and ψm h0 φm is still the identity. Thus
−N0 N
−1 N0
−1 N
φ−1
h1 φm = (ψm
h0 φm )−1 (ψm
h1 φm ) = id−1 f = f,
m h0

and since h0n−m φn = φm ,
m−n −N0 N
φ−1
(h0 h1 )h0n−m φn = f.
n h0

But this means
0 N
hm−n
(h−N
h1 )h0n−m |In = fˆ.
0
0

Since fˆ ∈ F (In ) is arbitrary and the LHS is in H|In , we are done.



INVARIABLE GENERATION

7

4. The group P a
Let a > 1 be an arbitrary real number.
Definition 4.1. Given two compact intervals I and J, we denote by P La (I, J)
the space of the PL homeomorphisms from I to J with slopes in aZ . Such a map
is called a P La homeomorphism.
Lemma 4.2. For any compact interval I and J, the space P La (I, J) is nonempty.
Proof. Let I = [p, q] and J = [r, s]. Consider a line L ⊂ R2 of slope an ,
n > 1, passing through the point (p, r), and another line L′ of slope a−m , m > 1,
passing through (q, s). If n and m are sufficiently large, L and L′ intersect at a
point in the open rectangle (p, q) × (r, s), yielding the graph of a desired map in
P La (I, J).

Definition 4.3. Define a group P a by P a = P La ([0, 1], [0, 1]).
We choose X = (0, 1) in condition A. Then the group P a satisfies A(1), A(2)
and A(3) by virtue of Lemma 4.2. For A(4), we just take ψI : [0, 1] → I to be
the orientation preserving linear homeomorphism. Therefore in this section, X ∗ intervals are just closed intervals. In the rest we shall establish conditions B and C
for P a by almost the same method as in Section 3.
Define a homomorphism α : P a → Z2 by
α(f ) = (loga f ′ (0), loga f ′ (1)).
Clearly α is a surjective class function. Let
a
P1,−1
= {g ∈ P a | g(x) > x, ∀x ∈ (0, 1), α(g) = (1, −1)}.
a
Given g ∈ P1,−1
, points a−i for i large are contained in a single orbit of g. Consider
their images by high iterates of g which are near 1. They are of the form 1 − ξa−j
for some number ξ ∈ (a−1 , 1].
a
→ (a−1 , 1], by setting β(g) to be the
Definition 4.4. Define a map β : P1,−1
above number ξ.

Then one can show that the map β is a surjective class function just as Lemmas
a
is surjective
3.3 and 3.4 in Section 3. In particular, the map β restricted to H ∩P1,−1
−1
a
onto (a , 1], where H is an arbitrary classful subgroup of P . Then by the same
method as Lemma 3.6, we get the following lemma, which establishes condition B.
Lemma 4.5. Any classful subgroup H acts transitively on (0, 1).
For a positive integer n, let In = [a−n−1 , a−n ], Jn = [1 − a−n , 1 − a−n−1 ]
and let φn : [0, 1] → In , ψn : [0, 1] → Jn be the orientation preserving linear
homeomorphism of the same slope a−n (1 − a−1 ). Let
a
a
P1,−1,1
= {g ∈ P1,−1
| β(g) = 1}.
a
Given any g ∈ P1,−1,1
, if we choose n large enough, then g is linear on the intervals
−n
a
[0, a ] and [1 − a−n , 1]. By the definition of P1,−1,1
, some iterate g N sends In to
Jn , and the map ψn−1 ◦ g N ◦ φn is independent of the choice of n. Notice also that
ψn−1 g N φn is an element of P a , since φn and ψn are linear homeomorphisms of the
same slope.
a
Definition 4.6. Define a map γ : P1,−1,1
→ P a by γ(f ) = ψn−1 ◦ g N ◦ φn .

8

YOSHIFUMI MATSUDA AND SHIGENORI MATSUMOTO

One can show that the map γ is a surjective class function just as in Lemmas
a
3.8 and 3.9. Fix once and for all an element h0 ∈ H ∩ P1,−1,1
such that γ(h0 ) = id.
−n
Thus there is n > 0 such that h0 is linear on [0, a ] and [1 − a−n , 1], that some
−1 N
iterate hN
0 maps In onto Jn and that ψn h0 φn = id. Just as in Lemma 3.11, we
get the following lemma which establishes condition C.
Lemma 4.7. We have H|In = P a (In ).
5. The groups P and P Q
In this section, we mainly deal with the group P of all the orientation preserving
PL homeomorphisms of [0, 1]. In the last part, we remark one word for necessary
modifications with the group P Q . For P , put X = (0, 1) as in Section 4. Then
condition A is trivially fulfilled. Let H be an arbitrary classful subgroup of P . First
we shall establish conditions B.
Lemma 5.1. The group H acts transitively on (0, 1).
Proof. There is an element h0 ∈ H such that h′0 (0) = 2 and that h(x) > x
for any x ∈ (0, 1). Assume h0 (x) = 2x on the interval [0, 2−n ] for some n > 0.
The interval [2−n−1 , 2−n ] is a fundamental domain of the action of the group hh0 i.
Thus it suffices to show that for any ξ ∈ (2−1 , 1], there is an element of H which
maps 2−n to ξ2−n . Choose an element h1 ∈ H such that h′1 (0) = ξ. Assume h1 is
linear on an interval [0, 2−m ] for some m > n. Then h1 (2−m ) = ξ2−m , and hence
hm−n
h1 h0n−m (2−n ) = ξ2−n , as is required.

0
In the rest of this section, we shall establish condition C by the following lemma.
Lemma 5.2. For some closed interval I0 ⊂ (0, 1), we have H|I0 = P (I0 ).
For any closed interval I ⊂ [0, 1], denote by φI : [0, 1] → I the orientation
preserving bijective linear map. Define
P1,−1 = {g ∈ P | g(x) > x, ∀x ∈ (0, 1), g ′ (0) = 2, g ′ (1) = 2−1 }.
Let I (resp. J) be a fundamental domain of g ∈ P1,−1 contained in an end linear
zone of g (Definition 2.8) at 0 (resp. at 1). Thus I = [a, 2a] for some a > 0 and
J = [1 − 2b, 1 − b] for some b > 0. If there is N > 0 such that g N (I) = J, we say
N
that the pair I and J are monitoring intervals for g. The map f = φ−1
J g φI ∈ P
is called the information of g monitored by I and J. We also say that I and J
monitor the information f .
Definition 5.3. For any g ∈ P1,−1 , denote by I(g) ⊂ P the set of all the
monitored informations of g.
Lemma 5.4. For any f ∈ P , there is g ∈ P1,−1 such that f ∈ I(g).
Proof. The proof is almost the same as Lemma 3.8.



Lemma 5.5. Given g ∈ P1,−1 and f ∈ I(g), the intervals which monitor the
information f can be chosen arbitrarily near 0 and 1.
Proof. If the intervals I and J monitor the information f , and if n > 0, then
clearly the intervals g −n (I) and g n (J) monitor the same information f .

Lemma 5.6. If g ∈ P1,−1 and g1 ∈ P , then I(g g1 ) = I(g).

INVARIABLE GENERATION

9

Proof. Let g and g1 be as in the lemma, and let f ∈ I(g). It suffices to show
that f ∈ I(g g1 ). By Lemma 5.5, one can choose the monitoring intervals I, J of
g which monitor the information f in the end linear zones of g1 . Then g1 (I) and
g1 (J) are monitoring intervals of g g1 , with information f since φg1 (I) = g1 φI and
φg1 (J) = g1 φJ .

Corollary 5.7. For any f ∈ P , there is h ∈ H ∩P1,−1 such that f ∈ I(h).



Choose an element h0 ∈ H ∩ P1,−1 so that id ∈ I(h0 ), and let I0 and J0 be
monitoring intervals of h0 with information id. That is, there is N0 > 0 such that
−1 N0
0
ˆ
hN
0 (I0 ) = J0 and φJ0 h0 φI0 = id. Let f be an arbitrary element of P (I0 ), and let
−1 ˆ
f = φI0 f φI0 ∈ P . By Corollary 5.7, there is h1 ∈ H ∩ P1,−1 such that f ∈ I(h1 ).
1
Let I1 , J1 be the corresponding monitoring intervals: we assume hN
1 (I1 ) = J1 for
−1 N1
some N1 > 0 and φJ1 h1 φI1 = f . Put
I0 = [a, 2a], J0 = [1 − 2b, 1 − b], I1 = [c, 2c] and J1 = [1 − 2d, 1 − d]
for some a, b, c, d > 0. Choose an element h2 ∈ H such that h′2 (0) = c/a and
n
h′2 (1) = d/b. Choose a big n > 0 so that both intervals h−n
0 (I0 ) and h0 (J0 ) are in
−n
the end linear zones of h2 . Direct computation shows that h2 (h0 (I0 )) = h−n
1 (I1 )
and h2 (hn0 (J0 )) = hn1 (J1 ). See the figure.
I0

h0−n (I0 )

hn0

h2
h−n
1 (I1 )

hn0 (J0 )

J0

hn0

0
hN
0

I1

J1

1
hN
1

hn1

h2
hn1 (J1 )

hn1

N0
The equality φ−1
J0 h0 φI0 = id implies (cf. the proof of Lemma 5.5)
N0 +2n
φ−1
φh−n (I0 ) = id.
hn (J0 ) h0
0

0

Likewise we have
N1 +2n
φ−1
φh−n (I1 ) = f.
hn (J1 ) h0
1

1

These equalities show
N1 +2n
φ−1
h−N0 −2n φhn0 (J0 ) φh−1
φh−n (I1 ) = f.
n (J ) h0
1
h−n (I ) 0
0

1

1

0

h−n
0 (I0 )

Since h2 is linear on the intervals
and h2 φhn0 (J0 ) = φhn1 (J1 ) . Therefore

and

hn0 (J0 ),

we have h2 φh−n (I0 ) = φh−n (I1 )
0

1 +2n
φ−1
h−N0 −2n h2−1 hN
h2 φh−n (I0 ) = f.
1
h−n (I ) 0
0

Finally since

hn0 φh−n (I0 )
0

0

0

= φI0 , we get

−N0 −n −1 N1 +2n
h2 h1
h2 h−n
φ−1
0 φI0 = f.
I0 h0

This implies
N1 +2n
ˆ
h0−N0 −n h−1
h2 h−n
2 h1
0 |I0 = f .

1

10

YOSHIFUMI MATSUDA AND SHIGENORI MATSUMOTO

Since fˆ ∈ P (I0 ) is arbitrary, and the map on the LHS is from H|I0 , the proof of
Lemma 5.2 is now complete.
For the subgroup P Q of P consisting of all the elements with slopes and breaks
in Q, we define X = Q ∩ (0, 1). The argument for P Q is the same for P under
necessary modifications.
References
[1] J. M. Belk, Thompson’s group F , Thesis, Cornell University.
[2] M. Bestvina and K. Fujiwara, Handlebody subgroups in a mapping class group, preprint,
arXiv:1412.7847v2.
[3] T. Gelander, Convergence groups are not invariably generated, Int. Math. Res. Notices
19(2014), 9806-9814.
[4] T. Gelander, G. Golan and K. Juschenko, Invariable generation of Thompson groups,
preprint, arXiv:1611.08264v2.
[5] R. I. Grigorchuk, On Burnside’s problem on periodic groups, Funktional Anal. i Prilozhen
14(1980), 53-54.
[6] G. Higman, B. H. Neumann and H. Neumenn, Embedding theorems for groups, J. London
Math. Soc. 24(1949), 247-254.
[7] W. M. Kantor, A. Lubotzky and A. Shalev, Invariance generations on infinite groups, J.
Algebara 421(2015), 296-310.
[8] A. Yu. Ol’shanskii, Groups of bounded period with subgroups of prime order, Algebra i Logika
21(1982), 553-618.
[9] J. Wiegold, Transformation groups with fixed-point-free permutations, Arch. Math. (Basel)
27(1976), 473-475.
[10] J. Wiegold, Transformation groups with fixed-point-free permutations, II, Arch. Math. (Basel)
29(1977), 571-573.
Department of Physics and Mathematics, College of Science and Engineering,
Aoyama Gakuin University, 5-10-1 Fuchinobe, Chuo-ku, Sagamihara-shi, Kanagawa, 2525258
E-mail address: ymatsuda@gem.aoyama.ac.jp
Department of Mathematics, College of Science and Technology, Nihon University, 1-8-14 Kanda-Surugadai, Chiyoda-ku, Tokyo, 101-8308 Japan
E-mail address: matsumo@math.cst.nihon-u.ac.jp

