Published in: Duke Math. J. Volume 166,
Number 15 (2017), 2965-2999.
doi:10.1215/00127094-2017-0022

A PRODUCT FOR PERMUTATION GROUPS AND
TOPOLOGICAL GROUPS

arXiv:1407.5697v3 [] 23 Jan 2018

SIMON M. SMITH

Abstract. We introduce a new product for permutation groups. It takes
as input two permutation groups, M and N , and produces an infinite group
M  N which carries many of the permutational properties of M . Under mild
conditions on M and N the group M  N is simple.
As a permutational product, its most significant property is the following:
M  N is primitive if and only if M is primitive but not regular, and N
is transitive. Despite this remarkable similarity with the wreath product in
product action, M  N and M Wr N are thoroughly dissimilar.
The product provides a general way to build exotic examples of non-discrete,
simple, totally disconnected, locally compact, compactly generated topological
groups from discrete groups.
We use this to obtain the first construction of uncountably many pairwise
non-isomorphic simple topological groups that are totally disconnected, locally
compact, compactly generated and non-discrete. The groups we construct all
contain the same compact open subgroup. The analogous result for discrete
groups was proved in 1953 by Ruth Camm.
To build the product, we describe a group U(M, N ) that acts on a biregular
tree T . This group has a natural universal property and is a generalisation of
the iconic universal group construction of Marc Burger and Shahar Mozes for
locally finite regular trees.

1. Introduction
We introduce a new product for permutation groups, which we call the box
product, and describe some of its striking properties. Our new product is nonassociative. It takes two permutation groups M ≤ Sym (X) and N ≤ Sym (Y )
such that |X|, |Y | > 1, and yields an infinite permutation group M  N . The group
M  N is simple under very mild conditions on M and N (see Theorem 23), and
it enjoys a universal property (see Theorem 6(iii)).
The group M  N inherits permutational properties from M . For example,
consider the important permutational property of primitivity. Because primitive
actions are minimal, products typically do not preserve primitivity. The iconic
exception to this is the wreath product in its product action:
• M Wr N is primitive in its product action on X Y if and only if M is
primitive and not regular on X, and N is transitive and finite.
Because of this property, the wreath product is the primary tool for building new
primitive groups from other primitive groups. It is fundamental to the classification
of the finite primitive permutation groups (the O’Nan–Scott Theorem). Compare
the above with the following remarkable result for the box product:
• M  N is primitive in its natural action if and only if M is primitive and
not regular on X, and N is transitive (see Theorem 26).
This research was partially supported by an Australian Research Council Discovery Early
Career Researcher Award (project number DE130101521).
1

2

A product for permutation groups

The groups M Wr N and M  N are thoroughly dissimilar (for example, S3 Wr S2
has order 72 and S3  S2 has order 2ℵ0 ).
In their groundbreaking work on locally compact groups acting on trees [4], Marc
Burger and Shahar Mozes introduce a construction that is now commonly referred
to as a universal group with prescribed local action. Given F ≤ Sym (X), a regular
tree T whose vertices all have valency |X|, and a subgroup H ≤ Aut T , we say
that the local action of H is F , or that H is locally-F , if for every vertex v the
permutation group induced by the stabiliser Hv on the vertices adjacent to v in T
is permutation isomorphic to F .
Burger and Mozes’ construction (see [4, Section 3.2]) is a group U (F ) ≤ Aut T
that has local action F . Moreover, if F is transitive, then the group U (F ) contains
a permutationally isomorphic copy of every vertex transitive locally-F subgroup of
Aut T (see [4, Proposition 3.2.2]), and so it is the universal locally-F group. The
group U (F ) is a vertex transitive subgroup of Aut T , which is a totally disconnected
group under the topology of pointwise convergence. Burger and Mozes’ paper only
considers the case where F has finite degree (that is, when X is finite), but the above
also holds if F is infinite. If the degree of F is finite then T is locally finite and U (F )
is closed and locally compact, and U (F ) has a simple subgroup of index 2 whenever
F is transitive and generated by point stabilisers ([4, Proposition 3.2.1]). These
simple subgroups form an important family of examples of compactly generated,
totally disconnected, locally compact, simple, non-discrete groups.
To prove the existence of the box product, we generalise Burger and Mozes’ iconic
universal group construction, from regular trees to biregular trees. We construct
a group U(M, N ) which acts on a biregular tree T which need not have finite
valency. The action of U(M, N ) on T is locally-(M, N ); that is, the stabiliser of
any vertex v induces either M or N on the neighbours of v. When M and N
are transitive, the group U(M, N ) contains a permutationally isomorphic copy of
every other locally-(M, N ) group, and so it is the universal locally-(M, N ) group.
The groups U (F ) then arise as a special case of this construction, with U (F ) and
U(F, Sym (2)) isomorphic as topological groups (see Remark 4). Our results then
imply that for F nontrivial and closed (in its permutation topology), U (F ) is locally
compact (in its permutation topology) if and only if every point stabiliser in F is
compact. Moreover, if these conditions hold, then U (F ) is compactly generated
whenever F is compactly generated and transitive.
The group M  N is the permutation group induced by U(M, N ) in its (faithful)
action on one of the parts of the bipartition of the vertices of the biregular tree
T . As topological groups under the permutation topology, M  N is topologically
isomorphic to U(M, N ). If M and N are also thought of as topological groups
under their respective permutation topologies, the box product of M and N inherits
topological properties from M but, importantly, it does not inherit discreteness. Its
main topological properties are established in Theorems 6, 23 and 30–32, and can
be summarised as follows.
Theorem 1. Suppose M ≤ Sym (X) and N ≤ Sym (Y ) are permutation groups
such that |X|, |Y | > 1, with M or N nontrivial. Then the following hold.
(i) U(M, N ) ≤ Aut T is locally-(M ,N );
(ii) If M and N are transitive and H ≤ Aut T is locally-(M ,N ), then H is
conjugate in Aut T to some subgroup of U(M, N );
(iii) If M and N are closed then U(M, N ) is closed;
(iv) If M and N are generated by point stabilisers, then U(M, N ) is simple if
and only if M or N is transitive;

A product for permutation groups

3

(v) If M and N are closed then U(M, N ) is locally compact if and only if all
point stabilisers in M and N are compact;
(vi) If M and N are closed and compactly generated with compact point stabilisers and only finitely many orbits, and M or N is transitive, then U(M, N )
is compactly generated;
(vii) U(M, N ) is discrete if and only if M and N are semi-regular.
In the final section of the paper, we turn our attention to the class S of nondiscrete, totally disconnected, locally compact, topologically simple groups.1
We use the box product to construct a family F of abstractly simple groups.
This family contains 2ℵ0 pairwise non-isomorphic examples of compactly generated
groups in S, and hence gives an affirmative answer to the following question: do
there exist uncountably many pairwise non-isomorphic compactly generated groups
in S?
This question is highlighted in a paper by Pierre-Emmanuel Caprace and Tom
De Medts ([6]). The analogous result for discrete groups is due to Ruth Camm ([5]),
who proved in 1953 that there is a continuum of non-isomorphic simple 2-generated
groups.
The set of compactly generated groups in S is known to contain at most 2ℵ0
topological group isomorphism types (because all groups in S are Polish groups),
and so it follows that there are precisely 2ℵ0 topological group isomorphism types
of compactly generated groups in S.
In [6], Pierre-Emmanuel Caprace and Tom De Medts introduce a concept called
Lie-reminiscent. Two groups are locally isomorphic if they contain isomorphic compact open subgroups, and a group G in S is Lie-reminiscent if, for any topologically
simple group H in S which is locally isomorphic to G, we have that H is isomorphic to G. In [6], the authors find some sufficient conditions for G ∈ S to fail to be
Lie-reminiscent. This article demonstrates a dramatic failure of the Lie-reminiscent
property: F contains 2ℵ0 groups in S that all share a common compact open subgroup.
In Remark 40 we outline a general method for using the box product to construct
exotic examples of compactly generated groups in S. For example, one can take M
to be a finitely generated simple group (with some additional properties) and N to
be finite, and the resulting box product of M and N inherits many of the properties
of M but is not discrete. Since the class of finitely generated simple groups is
known to contain many unusual groups (see [16, Theorem C], [17, Theorem 28.7]
or [18, Theorem 1.1] for example) we see, for the first time, that the class of simple,
totally disconnected, locally compact, compactly generated and non-discrete groups
is similarly broad.
The results in this paper demonstrate that, for a systematic study of S, the
isomorphism relation is too fine. Perhaps the relation of local isomorphism is more
suitable. The following question arises naturally at this point: Do there exist
uncountably many local isomorphism types of compactly generated groups in S?
2. Preliminaries
2.1. Permutation groups. Let V be a non-empty set, and suppose G acts on V .
If x ∈ V and g ∈ G, we denote the image of x under g by gx, thus following the
convention that our permutations act from the left. This notation extends naturally
to sets, so if Φ ⊆ V then gΦ is the image {gx : x ∈ Φ}. The setwise stabiliser of Φ
1 The definition of S given here corresponds to that given in [6]. Readers should note that

some authors use S to denote the class of compactly generated, non-discrete, totally disconnected,
locally compact, topologically simple groups.

4

A product for permutation groups

is the group G{Φ} := {g ∈ G : gΦ = Φ}, and the pointwise stabiliser is the group
G(Φ) := {g ∈ G : gx = x, ∀x ∈ Φ}. If Λ consists of a single element x, then the
setwise and pointwise stabilisers of Λ coincide; this group is called the stabiliser of
x and is denoted by Gx . The set Gx := {gx : g ∈ G} denotes the orbit of x (under
G), and G is said to be transitive if V consists of a single orbit. If Φ is an orbit of
G, then G induces a subgroup of Sym (Φ) which we denote by G Φ . The orbits of
point stabilisers in G are called suborbits of G.
The action of G gives rise to a homomorphism from G to the group Sym (V ) of
all permutations of V . If this homomorphism is injective, then G is said to be acting
faithfully; when this occurs we will often consider G to be a subgroup of Sym (V ),
identifying G with its image in Sym (V ). Two permutation groups G ≤ Sym (V )
and H ≤ Sym (∆) are permutation isomorphic if there exists a bijection φ : V → ∆
such that the map g 7→ φgφ−1 is an isomorphism from G to H. The degree of
G ≤ Sym (V ) is |V |; we say that G is of nontrivial degree if |V | > 1.
A transitive group G ≤ Sym (V ) is primitive on V if the only G-invariant equivalence relations on V are the trivial relation (each element in V is related only to
itself) and the universal relation (each element in V is related to every element in
V ). If G is transitive, then it is primitive if and only if every point-stabiliser Gx
is a maximal subgroup of G. A permutation group is semi-regular if every point
stabiliser is trivial; a regular permutation group is transitive and semi-regular.
2.2. Graphs. In this paper a graph Γ consists of a set V Γ and a set EΓ of twoelement subsets of V Γ. The elements in V Γ are called the vertices of Γ, and the
elements of EΓ the edges. The graph is nontrivial if EΓ is non-empty. If two distinct
vertices v and w belong to the same edge, they are said to be adjacent. An arc in
Γ is an ordered pair of adjacent vertices, and the set of all arcs is denoted by AΓ.
Thus, our graphs contain no loops or multiple edges, and between any two adjacent
vertices there are two arcs, one in each direction. We denote the automorphism
group of Γ by Aut Γ.
If a ∈ AΓ, we denote by o(a) and t(a) the vertices such that a = (o(a), t(a)),
and by a the arc (t(a), o(a)). We will sometimes write the edge {o(a), t(a)} as
{a, a}. If v is a vertex in Γ, then A(v) := {a ∈ AΓ : o(a) = v} denotes those
arcs originating from v, while A(v) := {a ∈ AΓ : t(a) = v} denotes those arcs
that terminate at v. We denote the set of vertices adjacent to v by B(v). These
notational conventions extend to sets of vertices, so for example if W ⊆ V Γ then
A(W ) := {a ∈ AΓ : o(a) ∈ W }.
The valency of v is the cardinal |B(v)|; if all valencies are finite the graph is
locally finite. A graph path is a series of distinct vertices v0 v1 . . . vn such that
vi ∈ B(vi−1 ) for all integers i satisfying 1 ≤ i ≤ n; the length of this graph path
is n. A graph path that consists of a single vertex is called trivial or sometimes
empty. Two vertices are connected if there is a graph path between them, and the
distance between two connected vertices v, w, which we denote by d(v, w), is the
length of the shortest graph path between them; if two vertices are not connected
then their distance is infinite. A graph path between vertices v, w that is of length
d(v, w) is called a geodesic. A graph is connected if the distance between any two
vertices is finite. A cycle is a series of vertices v0 v1 . . . vn v0 such that n > 1 and
v0 v1 . . . vn and v1 . . . vn v0 are nontrivial graph paths. A tree is a connected graph
that contains no cycles. In a tree T , there is a unique graph path between any two
vertices v, w ∈ V T which we denote by [v, w]T . Note that a graph path in a tree is
necessarily a geodesic. If we wish to exclude w, we write [v, w)T := [v, w]T \ {w}.
If W is a set of vertices in a graph Γ, we denote by Γ \ W the subgraph of Γ
induced on V Γ \ W . On the other hand, if W is a set of edges of Γ, then Γ \ W
denotes the graph on V Γ with edge set EΓ \ W . If Γ is connected, and Γ \ {v}

A product for permutation groups

5

is disconnected for some v ∈ V Γ, then Γ is said to have connectivity one and v is
called a cut vertex. The connected subgraphs of Γ that are maximal subject to the
condition that they do not have connectivity one are called lobes.
If Γ is vertex transitive, has connectivity one and is not a tree, then every vertex
is a cut vertex and there is a tree TΓ , called the block-cut-vertex tree of Γ, which
determines the structure of Γ. The block-cut-vertex tree is defined as follows. Let
L be a set in bijective correspondence with the set of lobes of Γ. Since Aut Γ acts
on the set of lobes of Γ, there is an induced action of Aut Γ on L. The vertex set
of TΓ is the union L ∪ V Γ, and v ∈ V TΓ and ` ∈ L are adjacent in TΓ if and only
if v lies in the lobe associated with `. The action of Aut Γ on V ∪ L preserves this
relation, and so Aut Γ acts on TΓ . This action is easily seen to be faithful, and we
will frequently consider Aut Γ to be a subgroup of Aut TΓ . Figure 1 shows a graph
with connectivity one and its block-cut-vertex tree.
The following result is a special case of a theorem about directed graphs, and
will be useful to us in Section 5.
Theorem 2 ([20, Theorem 2.5]). Let G be a vertex-transitive group of automorphisms of a connectivity-one graph Γ, whose lobes have at least three vertices, and
let T be the block-cut-vertex tree of Γ. If there exist distinct vertices v, w ∈ V Γ such
that, for some vertex x in the T -geodesic (v, w)T ,
Gv,x = Gw,x ,
then G does not act primitively on V Γ.
A ray (also called a half-line) in Γ is a sequence of distinct vertices R = {vi }i∈N
such that for any n ∈ N we have v1 v2 . . . vn is a graph path in Γ; thus a ray is a
one-way infinite graph path. The vertex v1 is often called root of R. The ends of Γ
are equivalence classes of rays: two rays R1 and R2 lie in the same end if there is
a third ray R3 that contains infinitely many vertices from both R1 and R2 . In the
special case of an infinite tree T , the ends of T are particularly easy to picture: for
a fixed vertex x ∈ V T , each end  contains precisely one ray whose root is x, and
we denote this ray by [x, )T .
Let m, n be non-zero cardinal numbers. A tree T is m-regular, or sometimes
regular, if the valency of every vertex equals m. There is a natural bipartition of
any tree T , in which any pair of vertices whose distance is even lie in the same part
of the partition. If all vertices in one part of this bipartition have valency m, and
all vertices in the other part have valency n, we say that T is (m, n)-biregular. If
a ∈ AT is an arc in T and both connected components of T \ {a, a} are infinite,
then each connected component is called a half-tree of T . We denote the half-tree
of T \ {a, a} containing o(a) by Ta , so the other connected component of T \ {a, a}
is Ta .
Given a permutation group G ≤ Sym (V ) and distinct elements v, w ∈ V , one
can construct a graph whose vertex set is V and whose edges are the elements of
the orbit G{v, w}. Such a graph is called an orbital graph of G.
2.3. Permutation groups as topological groups. For a thorough introduction
see [15] and [24]. If V is any non-empty set, then Sym (V ) can be given a natural
topology, that of pointwise convergence, under which Sym (V ) is a Hausdorff topological group. A basis of neighbourhoods of the identity is given by point stabilisers
of finite subsets of V , and so an open set in Sym (V ) is a union of cosets of point
stabilisers of finite subsets of V . Under this topology, if G ≤ Sym (V ) then a subgroup of G is open in G if and only if it contains the pointwise stabiliser (in G)
of some finite subset of V . We will often refer to this topology as the permutation
topology.

6

A product for permutation groups

For any finite subset Φ, the pointwise stabiliser (Sym (V ))(Φ) is both open and
closed in Sym (V ), so with this topology Sym (V ) is totally disconnected. Convergence in Sym (V ) is natural: a set W ⊆ Sym (V ) has a limit point h ∈ Sym (V ) if
and only if, for all finite subsets Φ ⊆ V , there exists g ∈ W distinct from h such
that gh−1 ∈ Sym (V )(Φ) .
Let G be a subgroup of Sym (V ). The group G is closed if and only if some
point stabiliser is closed, which holds if and only if all point stabilisers in G are
closed. The group G is compact if and only if G is closed and all G-orbits on V
are finite. A closed subgroup G is locally compact if and only if G(Φ) is compact
for some finite Φ ⊆ V (see [10, Lemma 3.1] for example). In particular, if Γ is a
connected locally finite graph, then any closed subgroup G of Aut Γ will be totally
disconnected and locally compact.
A topological space in which every subset is open is called discrete, and so the
permutation topology is discrete on G if and only if there is a finite subset Φ ⊆ V
such that G(Φ) is trivial. If the permutation topology is discrete on G we say G is
a discrete permutation group.
3. Groups acting on trees without inversion: a universal group
Throughout, X and Y will be disjoint sets, each containing at least two elements,
and M ≤ Sym (X) and N ≤ Sym (Y ) will be permutation groups. Let T denote
the (|X|, |Y |)-biregular tree. Let VX and VY denote the two parts of the natural
bipartition of the vertices of T , such that all vertices in VX have valency |X| in T ,
and all vertices in VY have valency |Y | in T . A function L : AT → X ∪ Y is called
a legal colouring with X and Y if it satisfies:
(i) for all v ∈ VX , the restriction L A(v) : A(v) → X is a bijection;
(ii) for all v ∈ VY , the restriction L
(iii) for all v ∈ V T , the map L

A(v)

A(v)

: A(v) → Y is a bijection; and

is constant.

One may easily verify that it is always possible to construct a legal colouring with
X and Y .
If M ≤ Sym (X) and N ≤ Sym (Y ), and L is a legal colouring with X and Y ,
define
(
)
(
M for all v ∈ VX
−1
.
UL (M, N ) := g ∈ (Aut T ){VX } : L A(gv) g A(v) L A(v) ∈
N for all v ∈ VY
Verifying that UL (M, N ) is a subgroup of Aut T is tedious but not difficult. To
simplify our exposition we introduce the following notation (which depends on the
choice of a legal colouring function L):
θ(g, v) := L

A(gv)

g

A(v)

L

−1
.
A(v)

The first construction of the group UL (M, N ) was inspired by [21, Section 2.2],
and UL (M, N ) can be constructed using refinements of the arguments in [21] (which
use relational structures), so long as M and N are closed (in their respective permutation topologies). The group acts on a biregular tree that may have infinite
valencies, and is a generalisation of Burger and Mozes’ universal group U (F ), which
acts on a regular tree.
Since UL (M, N ) preserves the parts VX and VY , it induces a subgroup of Sym (VY ).
This motivates the following definition.
Definition 3. The box product of M and N , denoted M L N , is the subgroup
of Sym (VY ) that is induced by UL (M, N ). As we shall see in Proposition 11, for
two legal colourings L, L0 the groups M L N and M L0 N are permutationally

A product for permutation groups

7

isomorphic, and so we write M  N instead of M L N when there is no chance of
ambiguity.
The group Aut T can be viewed as a permutation group in a number of natural
ways. Throughout this paper, when Aut T is referred to as a permutation group,
we will always mean as a group of permutations of the vertices of T . This applies
also to UL (M, N ) and to the Burger–Mozes universal group U (F ).
Remark 4. As permutation groups, UL (M, N ) and M L N are not permutation
isomorphic in general. However, when bestowed with their respective permutation
topologies, the two groups are isomorphic as topological groups. This is not difficult
to see, because for each finite subset Φ of V T , one can find finite subsets ΦX ⊆ VX
and ΦY ⊆ VY such that the pointwise stabilisers (Aut T )(ΦX ) and (Aut T )(ΦY ) fix
Φ pointwise.
Although UL (M, N ) and M L N are isomorphic as topological groups, we will
typically use the notation UL (M, N ) in statements concerning the topological properties of the box product, and M L N in statements concerning the permutational
properties of the box product. This is because the topological properties of the box
product are typically symmetric in M and N , while the permutational properties
are not.
Given a group F of permutations of a set of cardinality n ≥ 3, the Burger–Mozes
universal group U (F ) acts on the regular tree Tn , and this induces an action on
T2,n , the barycentric subdivision of Tn . The universal group U(S2 , F ) also acts on
T2,n and (for an appropriate choice of legal colouring L) it is not difficult to see that
U (F ) and S2 L F are permutation isomorphic, where S2 denotes the symmetric
group of degree 2. Hence, if ∼ denotes the existence of a topological isomorphism
we have: U (F ) ∼ S2  F ∼ U(S2 , F ) = U(F, S2 ) ∼ F  S2 . It follows that our
universal construction is a generalisation of the Burger–Mozes universal group.
Remark 5. It is not difficult to see that UL (M, N ) enjoys the following monotonicity property: if M1 ≤ M2 and N1 ≤ N2 , then UL (M1 , N1 ) ≤ UL (M2 , N2 ) for
any legal colouring L.
At this juncture it might be instructive for the reader to consider that if M
and N are both transitive, then UL (h1i, N ) ≤ UL (M, N ) is transitive on VX and
UL (M, h1i) ≤ UL (M, N ) is transitive on VY . In fact the orbits of UL (M, N ) are
completely determined by the orbits of its local actions M and N , as we shall see
in Proposition 10.
Let us say that a group H ≤ Aut T is locally-(M, N ) if H fixes setwise the parts
VX and VY , and for all vertices v of T the group Hv B(v) ≤ Sym (B(v)) induced by
the vertex stabiliser Hv is permutation isomorphic to M if v ∈ VX and N if v ∈ VY .
As a subgroup of Aut T , the group UL (M, N ) has the following properties.
Theorem 6. Suppose X, Y are disjoint sets of cardinality at least two, and T is
the (|X|, |Y |)-biregular tree. Given permutation groups M ≤ Sym (X) and N ≤
Sym (Y ), and a legal colouring L of T ,

(i) ∆ ⊆ X ∪ Y is an orbit of M or N if and only if t L−1 ∆ is an orbit of
UL (M, N );
(ii) given legal colourings L, L0 , the groups UL (M, N ) and UL0 (M, N ) are conjugate in Aut T ;
(iii) if M and N are transitive, and H ≤ Aut T is locally-(M, N ), then H is
edge-transitive and for some legal colouring L we have
H ≤ UL (M, N );
(iv) UL (M, N ) is locally-(M, N );

8

A product for permutation groups

(v) if M and N are closed, then UL (M, N ) is a closed subgroup of Aut T .
Thus, when M and N are transitive, UL (M, N ) is the universal locally-(M, N )
group, in that it contains a permutationally isomorphic copy of every locally-(M, N )
group acting on the biregular tree T . Theorem 6 follows from Lemma 9, Propositions 10–12 and Lemmas 13–14.
Our arguments in this section rely on manipulating sequences of bijections and
restrictions of functions. Although these manipulations can look rather daunting,
they are in fact very simple and involve only three basic steps which are given in
the following lemma.
Lemma 7. If g, h ∈ (Aut T ){VX } , then for all w ∈ V T ,
(i) g
(ii) g

−1
A(w)

= g −1

A(hw)

h

;

A(gw)
−1
g
A(w)
A(gw)



0

0

(iii) if L = L g, then L

= ghg −1

A(w)

=L

A(gw)

g

A(gw)

; and

A(w)

and L

−1
A(w)

= g −1

A(gw)

L0

−1
.
A(gw)

Moreover, for a fixed w ∈ V T , the map g 7→ θ(g, w) is continuous.
Proof. Statements (i)–(iii) are obviously true. Suppose w ∈ VX and let G :=
(Aut T ){VX } . We will show that the map χw : G → Sym (X) given by g 7→ θ(g, w)
is continuous, where G and Sym (X) have their respective permutation topologies.
Clearly χw is surjective. Fix some open set W ⊆ Sym (X) and choose any g
in the preimage χ−1
w (W ). Then χw (g) lies in the open set W so there exists some
−1
finite subset Z ⊆ X such that χw (g) Sym (X)(Z) ⊆ W . Since L A(w) (Z) is a finite
set of arcs, we can find a finite set Φ of vertices such that w ∈ Φ and G(Φ) fixes
−1

individually each arc in L A(w) (Z).
If h ∈ G(Φ) , then A(ghw) = A(gw) and A(hw) = A(w), and so:
χw (gh) = L

A(gw)

g

A(w)

L

−1
−1
L A(w) h A(w) L A(w)
A(w)

= χw (g)χw (h).

Furthermore, one may easily verify that χw (h) fixes Z pointwise. Hence χw (gG(Φ) ) ⊆
χw (g) Sym (X)(Z) ⊆ W . Now gG(Φ) contains g and is open in G, and we have
−1
shown that gG(Φ) ⊆ χ−1
w (W ). Hence χw (W ) is open and χw must therefore be
continuous.
If w ∈ VY , then a symmetric argument shows that the map χw : G → Sym (Y )
is continuous.

Remark 8. For a given legal colouring L, the continuous maps χw : (Aut T ){VX } →
Sym (X) and χw : (Aut T ){VX } → Sym (Y ) given by g 7→ θ(g, w) for, respectively,
w ∈ VX and w ∈ VY , provide an alternate description of UL (M, N ) as the intersection over all vertices w ∈ V T of the preimages of M and N under the maps θ(·, w).
That is,
!
!
\
\
UL (M, N ) =
χ−1
χ−1
w (M ) ∩
w (N ) .
w∈VX

w∈VY

0

In what follows, L and L are arbitrary legal colourings with X and Y . To
simplify notation, we associate each constant function L A(w) with its image in
X ∪ Y , so for all w ∈ V T we have L A(w) ∈ X ∪ Y . We now present a lemma that
underpins most results in this section.
Lemma 9. If the distance between v, v 0 ∈ V T is even, then there exists σ ∈
Sym (X ∪ Y ){X} satisfying σL0 A(v0 ) = L A(v) , and for all such σ there exists a
unique automorphism g ∈ (Aut T ){VX } such that gv = v 0 and L = σL0 g.

9

A product for permutation groups

Proof. Since L and L0 are legal colourings, we can always find σ ∈ Sym (X ∪ Y ){X}
satisfying σL0 A(v0 ) = L A(v) . For each integer n ≥ 0, let Bn (resp. Bn0 ) be the
subtree of T induced by those vertices whose distance in T from v (resp. v 0 ) is at
most n. Because d(v, v 0 ) is even, v and v 0 belong to the same part of the bipartition
of T .
Let g0 : B0 → B00 be the map taking v to v 0 . Our proof that an appropriate
element g ∈ Aut T exists relies on an easy induction argument with the following
induction hypothesis: for all integers n ≥ 1, there exists a graph isomorphism
gn : Bn → Bn0 such that σL0 B 0 gn = L Bn and gn Bn−1 = gn−1 . The base case is
−1

n

true because L0 A(v0 ) σ −1 L A(v) is a bijection from A(v) to A(v 0 ), and so it induces
a graph isomorphism g1 : B1 → B10 with g1 v = v 0 .
Suppose, for some n ≥ 1, that our induction hypothesis holds. If w is a vertex
in Bn \ Bn−1 , then there is a unique arc a in Bn whose origin is w, and gn a is
0 −1
the unique arc in Bn0 whose origin is gn w. Now L A(gn w) σ −1 L A(w) maps a to gn a
and so it induces a bijection hw : B(w) \ V Bn → B(gn w) \ V Bn0 . Let gn+1 be
gn extended by all these hw , for w ∈ Bn \ Bn−1 , and note that gn+1 is a graph
0
isomorphism from Bn+1 to Bn+1
with gn+1 Bn = gn . It remains to show that
0
σL B 0 gn+1 = L Bn+1 . We need only consider arcs in Bn+1 \ Bn . If a is such
n+1

an arc, then either t(a) ∈ V Bn or o(a) ∈ V Bn . If t(a) ∈ V Bn , chose an arc b in
Bn with t(b) = t(a). Since t(b) = t(a) and t(gn+1 a) = t(gn+1 b) we have Lb = La
and L0 gn+1 b = L0 gn+1 a. Moreover, σL0 gn+1 b = Lb by the induction hypothesis,
and so La = Lb = σL0 gn+1 b = σL0 gn+1 a. On the other hand, if w := o(a) ∈ V Bn
then gn+1 w = gn w and gn+1 t(a) = hw t(a). Hence (by definition of hw ) we have
σL0 gn+1 a = La. Thus, our induction hypothesis is true for all integers n ≥ 1.
We now construct an element g ∈ (Aut T ){VX } that satisfies σL0 g = L and
gv = v 0 . For each vertex w ∈ V T \ {v} there is a unique n(x) ∈ N such that
w ∈ Bn(x) \ Bn(x)−1 . Define g : V T → V T to be such that gv := v 0 and for all
w ∈ V T \ {v} set gx := gn(x) x. One may easily verify that g ∈ (Aut T ){VY } .
Moreover, for all a = (w, w0 ) ∈ AT , there exists an m such that a ∈ ABm . Then
ga = (gn(w) w, gn(w0 ) w0 ) = (gm w, gm w0 ) = gm a. Hence σL0 ga = σL0 gm a = La.
It remains to prove that g is unique. Suppose h ∈ Aut T with σL0 h = L and
hv = v 0 . We claim that if gh−1 w = w for some w ∈ V T , then gh−1 fixes B(w)
pointwise. Indeed, if a ∈ A(w) then gh−1 a ∈ A(w), and σL0 gh−1 a = Lh−1 a =
σL0 hh−1 a = σL0 a. Our claim follows immediately because L0 A(w) is a bijection.
Since hv = v 0 , we have gh−1 v 0 = v 0 , and our claim tells us that gh−1 fixes B(v 0 )
pointwise. Since T is connected, gh−1 fixes V T pointwise, and is therefore the
identity.

The orbits of UL (M, N ) relate naturally to those of M and N .
Proposition 10. Vertices v, v 0 in VX (resp. VY ) lie in the same orbit of UL (M, N )
if and only if L A(v) and L A(v0 ) lie in the same orbit of N (resp. M ).
Proof. Suppose v, v 0 ∈ VX (a symmetric argument holds for v, v 0 ∈ VY ). If there
exists σ ∈ N such that σL A(v) = L A(v0 ) , let σ̂ be the element in Sym (X ∪ Y ){Y }
that is σ on Y and trivial on X. By Lemma 9, there exists a unique g ∈ (Aut T ){VX }
−1

such that gv = v 0 and L = σ̂Lg. If w ∈ VX , then θ(g, w) = (Lg) A(w) L A(w) =

−1
σ̂ −1 L A(w) L A(w) = σ̂ −1 X ∈ M , and if w ∈ VY then a similar argument shows
θ(g, w) ∈ N . Hence g ∈ UL (M, N ).

10

A product for permutation groups

Conversely, if gv = v 0 for some g ∈ UL (M, N ), fix (w, v) ∈ A(v) and define
σ := θ(g, w) ∈ N . Then σL(w, v) = L(gw, v 0 ). By the definition of L, we have
L A(v) = L(w, v) and L A(v0 ) = L(gw, v 0 ). Hence σL A(v) = L A(v0 ) .

Any two legal colourings give rise to essentially the same permutation group.
Proposition 11. The groups UL (M, N ) and UL0 (M, N ) are conjugate in Aut T .
Proof. Choose vertices v, v 0 ∈ V T such that L A(v) and L0 A(v0 ) are equal. By
Lemma 9, there is a unique element g ∈ (Aut T ){VX } such that gv = v 0 and
L = L0 g. Choose h ∈ (Aut T ){VX } , and set h0 := ghg −1 . If w0 ∈ V T , then
w := g −1 w0 and w0 must both lie in VX , or both lie in VY , and
L0

A(h0 w0 )

h0

A(w0 )

L0

−1
A(w0 )

= L0
=L

A(ghw)
A(hw)

h

g

h

A(hw) A(w)
−1
L A(w) .
A(w)

Hence h0 ∈ UL0 (M, N ) if and only if h ∈ UL (M, N ).

g −1

A(gw)

L0

−1
A(gw)



If M and N are transitive, then UL (M, N ) contains an isomorphic copy of every
locally-(M, N ) group.
Proposition 12. If M and N are transitive, and H ≤ Aut T is locally-(M, N ),
then H ≤ UL (M, N ) for some legal colouring L of T .
Proof. Suppose M and N are transitive, and H ≤ Aut T is locally-(M, N ), so H
has precisely two orbits on V T , acting transitively on VX and VY . Fix adjacent
vertices p ∈ VX and q ∈ VY . Since Hp B(p) is permutation isomorphic to M there
exists a bijection φ : B(p) → X such that φHp

B(p)
−1

φ−1 = M . Similarly, there exists

a bijection ψ : B(q) → Y such that ψHq B(q) ψ = N . For each integer n ≥ 0, let
S
Sn be the set of vertices in T whose distance from p is precisely n. For v ∈ i≥2 Si ,
there is a unique graph path [p, v]T in T between p and v; denote the unique vertex
in B(v) ∩ [p, v]T by v1 and the unique vertex in B(v1 ) ∩ [p, v1 ]T by v2 .
We inductively construct a subset J := {hv : v ∈ V T } of H that we will use to
define a legal colouring L such that H ≤ UL (M, N ). Each element hv ∈ J will have
the property that hv p = v if v ∈ VX and hv q = v if v ∈ VY .
Let hp be the identity, and for each v ∈ S1 , choose hv ∈ Hp such that hv q = v.
Notice that for all v ∈ ∪1i=0 S
Sin, hv p = v if v ∈ VX and hv q = v if v ∈ VY . Let n ∈ N,
and suppose, for each v ∈ i=0 Si , we have chosen an element hv ∈ H such that
hv p = v if v ∈ VX and hv q = v if v ∈ VY . For v ∈ Sn+1 , choose h ∈ Hv1 such that
hv2 = v (which we can do because Hv1 is transitive on B(v1 )) and set hv := hhv2 .
If v ∈ VX , then S
v2 ∈ VX and hv p = v, and similarly if v ∈ VY then hv q = v. Note
that for all v ∈ i≥2 Si we have hv2 h−1
v = h ∈ Hv1 , and for all v, w ∈ S1 we have
−1
hw , hv ∈ Hp , so hw hv ∈ Hp .
We now describe a colouring L, and show that it is a legal colouring. Define
L : AT :→ X ∪ Y as follows: for v ∈ VX let L A(v) : A(v) → X be a 7→ φh−1
v t(a),
and for v ∈ VY let L
v ∈ V T the map L

A(v)

A(v)

: A(v) → Y be a 7→ ψh−1
v t(a). It is clear that for all

is a bijection, so it remains to show that condition (iii) of

the definition holds; that is, the image of L A(v) has cardinality one for all v ∈ V T .
S
We show this first for p, then for all v ∈ S1 , and finally for all v ∈ n≥2 Sn .
If (w, p) is any arc in A(p), then w ∈ VY and L A(p) (w, p) = L A(w) (w, p) =
ψh−1
w p = ψp (because w ∈ S1 so hw ∈ Hp ). Therefore the cardinality of the image
of L A(p) is one.

11

A product for permutation groups

L

If v ∈ S1 and (w, v) ∈ A(v), then either w = p, or w ∈ S2 ⊆ VX . If w = p then
(w, v) = φv. On the other hand, if w ∈ S2 then w1 = v and w2 = p. Hence
A(v)

L

A(v)

(w, v) = L

A(w)

(w, v) = φh−1
w v and hw ∈ Hw1 hw2 = Hv hp = Hv . Thus

L A(v) (w, v) = φv. Therefore, if v ∈ S1 then the cardinality of the image of L A(v)
is always one.
Suppose that v ∈ Sn , for some n ≥ 2. Choose (w, v) ∈ A(v) such that w 6=
v1 ; then v = w1 and v1 = w2 . If v ∈ VX , then w ∈ VY and L A(v) (w, v) =
L

−1
−1
−1
(w, v) = ψh−1
w v = ψhw w1 . Since hw ∈ hw2 Hw1 , we have L

A(w)
ψh−1
w2 w1

A(v)

(w, v) =

ψh−1
v1 v

=
= L A(v) (v1 , v). Hence, the cardinality of the image of L A(v) is
one. A symmetric argument shows that the same is true if v is instead chosen from
VY . We have thus demonstrated that L is a legal colouring.
Finally, we show H ≤ UL (M, N ). Choose g ∈ H and v ∈ V T . First, let
us suppose that v ∈ VX . Then gv ∈ VX , and by construction, hv p = v and
−1
hgv p = gv. Hence h−1
gv ghv ∈ Hp , and therefore σ := (hgv ghv ) B(p) ∈ Hp B(p) . Now
σ = h−1
gv

B(ghv p)

g

h
B(hv p) v B(p)
σ = hgv

= hgv

−1
g
h
;
B(p) B(v) v B(p)

−1
−1
t
g
t
h
.
B(p) A(gv) A(v) A(v) v B(p)

Moreover, by our choice of legal colouring we have



L A(v) = φ h−1
t
=
φ
hv
v B(hv p)
A(v)
and
L

A(gv)


= φ h−1
gv

therefore


B(hgv p)

t

A(gv)

−1
B(p)


= φ hgv



−1
B(p)

(1)

t


A(v)

t

,

(2)

A(gv)

.

(3)

Using (1), (2) and (3) one can easily verify that θ(g, v) = φσφ−1 . Hence θ(g, v) ∈
φHp B(p) φ−1 = M . Now, let us suppose instead that v ∈ VY . A similar argument
gives us that gv ∈ VY and h−1
gv ghv ∈ Hq , so θ(g, v) ∈ ψHq
g ∈ UL (M, N ).

B(q)

ψ −1 = N . Therefore


In the proposition above, the requirement that M and N be transitive is essential.
For example, if G is the automorphism group of the graph Γ pictured in Figure 1,
then G is transitive on the vertices of Γ and induces a faithful action on its blockcut-vertex tree TΓ . In its action on TΓ , it is easily seen that the group G has two
orbits: one orbit consists of the TΓ -vertices corresponding to the vertices of Γ, and
the other consists of those TΓ -vertices that correspond to the lobes of Γ. Choose
any pair v and w of adjacent vertices in TΓ , and let M denote Gv B(v) and N
denote Gw B(w) . If it were possible to find a legal colouring L of TΓ such that
G ≤ UL (M, N ), then this would contradict Proposition 10, because neither M nor
N are transitive. Another example is the following: if C2 denotes the cyclic group
of order 2 acting on three points, and T3 denotes the trivalent tree, then for any
end ξ of T3 the end stabiliser (Aut T3 )ξ has C2 as its local action but (Aut T3 )ξ is
clearly not conjugate to a subgroup of the Burger–Mozes group U (C2 ) ≤ Aut T3 .
Lemma 13. UL (M, N ) is locally-(M, N ).
Proof. Fix v ∈ V T . If v ∈ VX (resp. v ∈ VY ) we claim the map g

A(v)

7→ θ(g, v)

is an isomorphism from (UL (M, N ))v A(v) to M (resp. N ). We prove this only for
v ∈ VX since a similar argument works for v ∈ VY .
It is clear this map is a monomorphism. Fix σ ∈ M , and let σ̂ ∈ Sym (X ∪ Y )
be the permutation that equals σ on X and is the identity on Y . Now σ̂L is
a legal colouring, and Lemma 9 guarantees that there exists a unique element
g ∈ (Aut T ){VX } such that gv = v and Lg = σ̂L. Hence, for all w ∈ V T we have

12

A product for permutation groups

C031

C011

C011

C013B01C012

C013B01C012

C01
C014

C021

C031

C01
C014

C021

C033B03 C03
B0
C02 B02C022
C032
C023
C034
C024
C04
C041
C043B04C042

C033B03 C03
B0
C02 B02C022
C032
C023
C034
C024
C04
C041
C043B04C042

C044

C044

Figure 1. An infinite vertex-transitive graph Γ (left) and its
block-cut-vertex tree TΓ (right)
θ(g, w) = σ̂ L(A(w)) , and from this it follows that g ∈ (UL (M, N ))v and θ(g, v) = σ.
Finally, we observe that the permutation groups induced by (UL (M, N ))v on A(v)
and B(v) are permutation isomorphic.

Lemma 14. If M is a closed subgroup of Sym (X) and N is a closed subgroup of
Sym (Y ), then UL (M, N ) is a closed subgroup of Aut T .
Proof. One may easily verify that A := (Aut T ){VX } is a closed subgroup of Aut T .
Suppose M and N are closed. The two maps χw : (Aut T ){VX } → Sym (X) and
χw : (Aut T ){VX } → Sym (Y ) given by g 7→ θ(g, w) for, respectively, w ∈ VX and
w ∈ VY , are continuous by Lemma 7. Therefore the preimages χ−1
w (M ) for w ∈ VX
(N
)
for
w
∈
V
are
closed.
In
Remark
8,
it
is
noted
that
UL (M, N ) can
and χ−1
Y
w
be written as the intersection over all vertices w ∈ V T of these preimages. Thus
UL (M, N ), being the intersection of closed sets, is closed.

We next prove that UL (M, N ) has a subgroup isomorphic to M and a subgroup
isomorphic to N . These subgroups are contained in point stabilisers in UL (M, N ).
If we are given µ ∈ M , let µ̂ ∈ Sym (X ∪ Y ) be such that µ̂ X = µ and µ̂ Y = 1N .
By Lemma 9, for each vertex v ∈ VX there is a unique automorphism gµ,v ∈
(Aut T ){VX } such that gµ,v v = v and L = µ̂Lgµ,v . One may quickly verify that
gµ,v ∈ UL (M, N ). For v ∈ VY and µ ∈ N define gµ,v similarly.
Proposition 15. If v ∈ VX and w ∈ VY , then M̂ (v) := {gµ,v : µ ∈ M } is a
subgroup of UL (M, N )v and N̂ (w) := {gτ,w : τ ∈ N } is a subgroup of UL (M, N )w .
Moreover, M̂ (v) is isomorphic to M , and N̂ (w) is isomorphic to N .
Proof. Suppose v ∈ VX . If µ, τ ∈ M , then gµ,v gτ,v v = v = gτ µ,v v and τ̂ µ̂Lgτ µ,v =
L = τ̂ (µ̂Lgµ,v )gτ,v . Since τ̂ µ̂ fixes Y pointwise, we have τ̂ µ̂L A(v) = L A(v) . It
follows immediately from Lemma 9 that gτ µ,v = gµ,v gτ,v . Similarly, it follows from
Lemma 9 that if e denotes the identity in M , then ge,v = 1 ∈ UL (M, N ). Finally,
−1
we have gµ,v gµ−1 ,v = gµ−1 µ,v = ge,v = 1 ∈ UL (M, N ), so gµ,v
= gµ−1 ,v . Hence
M̂ (v) ≤ UL (M, N )v . A similar argument holds for w ∈ VY and N̂ (w).
Since µ, τ ∈ M , we have gµ,v = gτ,v if and only if µ = τ . Indeed, if µ = τ , then
τ̂ Lgτ,v = L = µ̂Lgµ,v = τ̂ Lgµ,v , and so gτ,v = gµ,v by Lemma 9. On the other hand,
−1
if gτ,v = gµ,v then 1 = gµ,v gτ,v
= gτ −1 µ,v . Hence L = τ̂ −1 µ̂Lgτ −1 µ,v = τ̂ −1 µ̂L, so τ
and µ must be equal.
Let ϕ : M̂ (v) → M be given by gµ,v 7→ µ−1 . This map is obviously surjective,
and we have shown it to be well-defined and injective. For µ, τ ∈ M we have

A product for permutation groups

13

gµ,v gτ,v = gτ µ,v , so ϕ is a homomorphism. A symmetric argument shows that
N̂ (w) is isomorphic to N .

We now give two lemmas, presented without proof, which will be used in the
following sections. The first lemma is an immediate consequence of Proposition 10
and Lemma 13.
Lemma 16. Suppose v1 , v2 ∈ VX and w1 , w2 ∈ VY . Edges {v1 , w1 } and {v2 , w2 }
in T lie in the same orbit of UL (M, N ) if and only if v1 , v2 lie in the same orbit of
UL (M, N ) and w1 , w2 lie in the same orbit of UL (M, N ).

Recall that Ta and Ta are the two half-trees of T \ {a, a}. To prove the following
lemma, simply check that the obvious choice for g ∈ Aut T lies in UL (M, N ).
Lemma 17. If a is any arc in T , then for all h ∈ UL (M, N )a there exists g ∈

UL (M, N ) such that g fixes Ta pointwise and g Ta = h Ta .
For a permutation group H ≤ Sym (Ω) together with some H-invariant subset
∆ ⊆ Ω, it is not true in general that the quotient group H/H(∆) , viewed as a
topological group under the quotient topology, is topologically isomorphic to the
induced permutation group H ∆ under its permutation topology. However, for our
universal groups we have the following.
Proposition 18. Suppose M and N are closed, with G := UL (M, N ). If v ∈
VX (resp. v ∈ VY ) then Gv /G(B(v)) under the quotient topology is topologically
isomorphic to M (resp. N ) under its permutation topology.
Proof. We show that H := Gv B(v) is topologically isomorphic to Gv /G(B(v)) ; the
result then follows from Lemma 13. If π : Gv → Gv /G(B(v)) denotes the quotient
map, then the map Θ : Gv /G(B(v)) → H given by π(g) 7→ g B(v) is an abstract
isomorphism, and it is a routine exercise to check that Θ is continuous. To prove
that Θ−1 is continuous, it is sufficient to show that for all finite sets F ⊆ V T , there
is a finite set F 0 ⊆ B(v) such that (Gv )(F ) B(v) = (Gv B(v) )(F 0 ) .
Given F ⊆ V T , let F 0 be the (possibly empty) set consisting of all vertices in
B(v) that lie on a geodesic between v and some vertex in F . Let C be the connected
component of T \ F 0 containing v. Clearly, (Gv )(F ) B(v) ≤ (Gv B(v) )(F 0 ) . On the
other hand, if g 0 B(v) ∈ (Gv B(v) )(F 0 ) , then g 0 fixes C setwise, and so there exists
an automorphism g of T such that g and g 0 agree on C and g fixes T \ C pointwise.

One may easily verify that g ∈ (Gv )(F ) and g B(v) = g 0 B(v) .
4. Simplicity
In his influential paper [22], Jacques Tits introduced the following property (P),
which is sometimes known as Tits’ independence property. Let G act on a (not
necessarily locally-finite) tree T . If P is a non-empty finite or infinite graph path
in T , for each vertex v in T there is a unique vertex πP (v) in P that is closest to v.
This gives rise to a well-defined map on V T , in which each vertex v is mapped to
−1
πP (v). For each vertex q in P, the set πP
(q) of vertices in T that are mapped to q
by πP is the vertex set of a subtree of T . The pointwise stabiliser G(P) of P leaves
each of these subtrees invariant, and so we can define Gq(P) to be the subgroup of
−1
Sym (πP
(q)) induced by G(P) . Thus, we have homomorphisms ϕq : G(P) → Gq(P)
for each q ∈ V P from which we obtain the natural homomorphism,
Y q
ϕ : G(P) →
G(P) .
(4)
q∈V P

14

A product for permutation groups

The group G is said to have property (P) if the homomorphism (4) is an isomorphism for every possible choice of P. Intuitively, property (P) means that G(P)
acts independently on each of the subtrees branching from P.
Theorem 19 ([22, Théorème 4.5]). Suppose T is a tree. If G ≤ Aut T satisfies
property (P), no proper non-empty subtree of T is invariant under G, and no end
of T is fixed by G, then the group G+ := hG(v,w) : {v, w} ∈ ET i is simple (and
possibly trivial).

Theorem 20. Let X and Y be finite or infinite sets whose cardinality is at least
two. Suppose M ≤ Sym (X) and N ≤ Sym (Y ) are two permutation groups, and
let T be the (|X|, |Y |)-biregular tree. If L is a legal colouring with X and Y , then
UL (M, N ) satisfies Tits’ independence property (P).
Proof. Let P be any non-empty graph path in T and let G denote UL (M, N ).
Suppose we are given g ∈ G(P) and p ∈ V P. Note that B(p) contains either one or
two vertices in P, so we may write B(p) ∩ V P = {q, q 0 }, where q, q 0 could be equal.
By Lemma 17 there exists g 0 ∈ G such that g 0 fixes T(q,p) pointwise and agrees with
g on T(p,q) . The element g 0 fixes P pointwise, and so in particular it lies in G(p,q0 ) ,
and so we may apply the lemma again to deduce the existence of gp ∈ G such that
gp fixes T(q0 ,p) pointwise and agrees with g 0 on T(p,q0 ) . The element gp therefore
fixes V T \ π −1 (p) pointwise, agrees with g on π −1 (p), and satisfies gp π−1 (p) ∈ Gp(P) .
Q
Q
Now g = p∈V P gp , and so the map given by g 7→ p∈V P gp π−1 (p) is a hoQ
momorphism from G(P) to p∈V P Gp(P) . It is easily verified that this map is an
isomorphism, from which it follows that G has property (P).

There are many mild conditions under which UL (M, N ) leaves invariant no
proper non-empty subtree of T and fixes no end of T . For example: M and N
contain no fixed points.
We will presently cite a result in Jean-Pierre Serre’s book [19], but we must
do so with care since Serre’s definition of a graph differs from ours in that loops
(arcs a that satisfy o(a) = t(a)) and multiple arcs (distinct arcs a, a0 that satisfy
o(a) = o(a0 ) and t(a) = t(a0 )) are permitted. Trees in [19] cannot contain loops
nor multiple arcs, and so we may use the term tree without ambiguity (see [19, pp.
13–17]).
A group G acts on a tree T without inversion if there is no edge {v, w} ∈ T for
which (v, w) lies in the orbit G(w, v). Suppose T is a tree and G acts on T without
inversion. Following [19, pp. 25], G\T consists of a set of vertices and a set of
edges. The vertices (resp. edges) are the orbits of G on the vertices (resp. edges)
of T . Notions like adjacency and arcs extend naturally to G\T . Note that G\T
may not be a graph (according to our definition), since there may be more than
one edge between two given vertices.
Theorem 21 ([19, Corollary 1 in Section 5.4]). Suppose T is a tree, and let G be
a group acting on T without inversion. Let R be the group generated by all vertex
stabilisers Gv , v ∈ V T . Then R is a normal subgroup of G, and G/R is isomorphic
to the fundamental group of G\T .

It is an immediate consequence of this theorem that G = R if and only if G\T
is a tree which holds if and only if G is generated by the vertex groups of G\T (see
[19, Exercise 2 in Section 5.4], for example).
As before, let X and Y be finite or infinite sets with cardinality at least two,
M ≤ Sym (X) and N ≤ Sym (Y ), denote the (|X|, |Y |)-biregular tree by T and
choose some legal colouring L. Our next lemma follows from Proposition 10 and

A product for permutation groups

15

Lemma 16. In particular, we have that UL (M, N )\T contains no loops or multiple
edges.
Lemma 22. If m (resp. n) denotes the number of orbits of M (resp. N ), then
UL (M, N )\T is the complete bipartite graph Km,n .

If M and N are transitive, then Lemma 22 and [19, Section 4.1, Theorem 6]
imply that G := UL (M, N ) has an amalgamated free product structure,
G = Gu ∗G(u,w) Gv ,
where u and v are any two adjacent vertices in T .
Recall that M  N is the subgroup of Sym (VY ) that is induced by U(M, N )
acting on V T , and M  N ∼
= U(M, N ) as topological groups. Following [13], we
say a permutation group G ≤ Sym (V ) is generated by point stabilisers if G = hGv :
v ∈ V i.
Theorem 23. Suppose M and N are permutation groups of (not necessarily finite)
degree at least two, both groups are generated by point stabilisers and at least one
group is nontrivial. Then U(M, N ) is simple if and only if M or N is transitive.
Proof. Suppose M is a subgroup of Sym (X) and N is a subgroup of Sym (Y ); let
T and L be as above. Write G := UL (M, N ), recall G+ := hG(v,w) : {v, w} ∈ ET i,
and denote the stabiliser of v ∈ V T in G+ by G+
v.
We claim that G+
v = Gv for all v ∈ V T . Given v ∈ V T , it follows from
Lemma 13 that the group Gv B(v) is generated by point stabilisers. Moreover,
+
G(v,w) B(v) ≤ G+
v B(v) for all w ∈ B(v). Hence Gv B(v) = Gv B(v) . In particular,
+
Gv and Gv both have the same orbits on B(v). Since G(v,w) ≤ G+
v for all w ∈ B(v),
our claim follows.
Hence R := hGv : v ∈ V T i ≤ G+ . Since M or N is nontrivial, R is nontrivial.
Moreover, by Theorem 21, R is a normal subgroup of G, and G = R if and only if
G\T is a tree.
If M and N are intransitive, then G\T is not a tree by Lemma 22, and so R is
a nontrivial proper normal subgroup of G.
Conversely, suppose M or N is transitive. Then G\T is a tree, and so G = R =
G+ . Let  be an end in T , and suppose T 0 is some non-empty proper subtree of T .
Now Gv B(v) is transitive for all v in one part of the bipartition of T , and so we
may choose such a vertex v from V T \ V T 0 . Clearly Gv does not fix , nor does Gv
leave T 0 invariant. Thus, by Theorems 19 and 20, G = G+ is simple.


Since point stabilisers are maximal in primitive permutation groups, all nonregular primitive permutation groups are generated by any two distinct point stabilisers.
Corollary 24. If M and N are non-regular primitive permutation groups, then
U(M, N ) is simple.

Remark 25. For a nontrivial permutation group M ≤ Sym (X), the Burger–Mozes
group U (M ) is permutation isomorphic to S2  M (as noted in Remark 4), and
so both groups can be thought of as groups of automorphisms of the |X|-regular
tree T . Recall that for H ≤ Aut T the group H + is generated by all the pointwise
stabilisers of edges in T , and it is easy to see that H + E H. Of course (S2  M )+
and U (M )+ are also isomorphic as permutation groups.
If Id denotes the trivial subgroup of S2 , and M is transitive and generated
by point stabilisers, then Theorem 23 implies that Id  M is simple, and hence
(Id  M)+ = Id  M. For each edge {v, w} ∈ ET we have (S2  M )(v,w) ≤ Id  M,

16

A product for permutation groups

∼ (S2  M )+ = Id  M. Hence U (M )+ is simple
and so it follows that U (M )+ =
when M is nontrivial, transitive and generated by point stabilisers. This fact was
already known for finite M (see [4, Proposition 3.2.1]).
5. Permutational properties
Recall the famous primitivity conditions for the unrestricted wreath product
M WrY N in its product action on the set X Y of functions from Y to X (see [8,
Lemma 2.7A] for example).
(i) M WrY N is transitive if and only if M is transitive; and
(ii) M WrY N is primitive if and only if M is primitive but not regular, and
N is transitive and finite.
Because of these criteria, the wreath product can be used to easily build new
primitive groups from other primitive groups. It features prominently in the seminal
O’Nan–Scott Theorem, which classifies the finite primitive permutation groups (see
[12], for example).
Compare the primitivity criteria for the wreath product above with the following
remarkable result for the box product.
Theorem 26. Given permutation groups M ≤ Sym (X) and N ≤ Sym (Y ) of
nontrivial degree, the permutation group M  N ≤ Sym (VY ) satisfies:
(i) M  N is transitive if and only if M is transitive; and
(ii) M  N is primitive if and only if M is primitive but not regular, and N
is transitive.
Despite the striking similarity between these two sets of conditions, M WrY N
and M  N distort the actions of M and N in opposite ways. This is most apparent when M is subdegree-finite and primitive but not regular and N is finite and
transitive. All nontrivial orbital graphs of M  N are tree-like: they are locally
finite, connected and have infinitely many ends; on the other hand nontrivial orbital
graphs of M WrY N ≤ Sym (X Y ) are locally finite and connected but with at most
one end (see [21, Theorem 2.4]). Figure 2 shows (left) an orbital graph of S3  S2
(which is necessarily infinite) and (right) an orbital graph of S3 Wr S2 (which is
necessarily finite).

Figure 2. An orbital graph of S3  S2 (left) and of S3 Wr S2 (right)
Proof of Theorem 26. Part (i) is Theorem 6 (i). Write G := UL (M, N ) for some
legal colouring with X and Y , let T be the (|X|, |Y |)-biregular tree.
We show first that if G is primitive on VY , then M is primitive but not regular
and N is transitive. Suppose that N is not transitive on Y . Fix v ∈ VX and distinct

A product for permutation groups

17

vertices w, w0 ∈ B(v) ⊆ VY . Choose v 0 ∈ B(w) such that L(w, v) and L(w, v 0 ) lie
in distinct orbits of N . By Proposition 10, the vertex v 0 does not lie in the orbit
Gv. Let Γ be the orbital graph whose vertex set is VY and edge set is the orbit
G{w, w0 }. Notice that if two vertices in Γ are adjacent, then their distance in T is
two. Therefore, if x ∈ VY lies in the connected component of T \ {w} that contains
v 0 , then any graph path in Γ from x to w must contain an edge (in Γ) between w and
some vertex w00 ∈ B(v 0 ). But this implies that {w, w00 } lies in the orbit G{w, w0 },
which requires that v 0 ∈ Gv, and we already have that v 0 6∈ Gv. Hence G has a
nontrivial orbital graph on VY that is not connected. The connected components of
this graph give rise to a G-invariant equivalence relation on VY , and so the action
of G on VY is not primitive.
Suppose M is not primitive on X. If M is not transitive then G is not transitive
(and therefore not primitive) on VY by Proposition 10. Suppose then that M is
imprimitive. By D. G. Higman’s Theorem ([11, 1.12]), there exists an orbital graph
of M that is nontrivial and not connected. Choose a vertex v ∈ VX . By Lemma 13,
some nontrivial orbital graph ∆ of Gv B(v) on B(v) is not connected; let {w, w0 } be
an edge in ∆. Now take Γ to be the orbital graph whose vertex set is VY and whose
edge set is the orbit G{w, w0 }. We claim that Γ is not connected. Indeed, any pair
of adjacent vertices in Γ are at distance 2 in the tree T . Therefore any graph path
in Γ between distinct vertices in B(v) contains only vertices in B(v) = V ∆. It
follows that Γ is not connected, and thus that G is not primitive on VY .
Suppose that M is regular. Let Γ be a new graph on VY , in which vertices are
adjacent if and only if their distance in T is two. Thus Γ is has connectivity one. If
|X| = 2, then Γ is a regular tree and the bipartition of Γ is a system of imprimitivity
for G on VY so the action of G on VY is not primitive. If |X| ≥ 3, then the lobes
of Γ contain at least three vertices, G V ≤ Aut Γ acts vertex transitively, and the
Y
block-cut-vertex tree of Γ is T . Choose any vertex v ∈ VX , and distinct vertices
w, w0 ∈ B(v) ⊆ VY . Because M is regular, Gw,v = Gw0 ,v . By Theorem 2, the
action of G on V Γ = VY is not primitive.
We have shown that if G is primitive on VY , then M is primitive but not regular
and N is transitive; let us turn our attention to the converse. Suppose that M is
primitive and not regular, and N is transitive. Let ∼ be a nontrivial G-invariant
equivalence relation on VY . Choose distinct w, w0 ∈ VY with w ∼ w0 . Let v denote
the vertex adjacent to w0 in the geodesic [w, w0 ]T , and let w00 denote the vertex
adjacent to v in [w, w0 )T . Since Gv B(v) is permutation isomorphic to M , it is
primitive and not regular on B(v), and so there is an element h ∈ Gv,w00 that does
not fix w0 . By Lemma 17, there exists g ∈ G such that g fixes the half-tree T(w00 ,v)
pointwise (so in particular g fixes w) and gw0 = hw0 . Hence w0 ∼ w = gw ∼ gw0 ,
and dT (w0 , gw0 ) = 2. However, Gv B(v) is primitive, so ∼ must be a universal
relation on B(v). Since N is transitive, it follows that ∼ is universal on VY . Hence
there are no proper nontrivial G-invariant equivalence relations on VY , so the action
of G on VY is primitive.

Recall that a permutation group is subdegree-finite if any point stabiliser has
only orbits of finite length.
Proposition 27. Suppose M and N are permutation groups of nontrivial degree.
Then M  N is subdegree-finite if and only if M is subdegree-finite and all orbits
of N are finite.
Proof. Let G := UL (M, N ). Suppose M is subdegree-finite and all orbits of N are
finite. Choose distinct w, w0 ∈ VY and let w0 w1 · · · wn denote the geodesic [w, w0 ]T .

18

A product for permutation groups

Since Gw,w0 = Gw0 ,...,wn we have
|Gw w0 | = |Gw0 : Gw0 ,...,wn | ≤ |Gw0 w1 | ·

n−1
Y

|Gwi−1 ,wi wi+1 |.

i=1

Now |Gw0 w1 | is finite because N has only finite obits, and each |Gwi−1 ,wi wi+1 | is
finite because both M and N are subdegree-finite. Hence the action of G on VY is
subdegree-finite.
On the other hand, if M is not subdegree-finite, then for all v ∈ VX there exist
w, w0 ∈ B(v) ⊆ VY such that Gw,v w0 is infinite. Hence Gw w0 is not finite. If N has
an infinite orbit, then for all w ∈ VY there exists v ∈ B(w) ⊆ VX such that Gw v is
infinite. Hence for any w0 ∈ B(v) \ {w}, the orbit Gw w0 is infinite.

6. Topological properties of the product
If we bestow Sym (X) and Sym (Y ) with their respective permutation topologies,
then the box product of M and N (under its usual permutation topology) preserves
some topological properties of M and N but does not preserve discreteness. In this
section, all topological statements are with respect to the permutation topology,
which is described in Section 2.3.
Lemma 28. Let T be a tree with no vertex of valence one, and consider Aut T as
a topological group under its permutation topology. Suppose G ≤ Aut T is closed
and fixes setwise the two parts V1 , V2 of the bipartition of T . Then G V is closed
i
in Sym (Vi ) for i = 1, 2, and if Gv B(v) is closed for all v ∈ V T then the following
are equivalent:
(i) for all v ∈ V1 and w ∈ V2 , all point stabilisers in Gv B(v) are compact and
Gw

B(w)

is compact;

(ii) all point stabilisers in G

V2

are compact.

Proof. Let A := (Aut T ){V1 } and let ϕ : A → A V be the map taking g ∈ A to
1
g V ∈ A V . Since the tree T contains no vertices of valency one, the kernel of this
1
1
map is trivial and ϕ is an isomorphism. Moreover, ϕ is a topological isomorphism.
This is not difficult to see, because for each finite subset Φ ⊆ V T , one can find finite
subsets Φ1 ⊆ V1 and Φ2 ⊆ V2 such that the pointwise stabilisers A(Φ1 ) and A(Φ2 )
fix Φ pointwise. It follows that G
shows that G
V2

V1

is closed in Sym (V1 ). A symmetric argument

is closed in Sym (V2 ).

Now suppose Gv

B(v)

is closed for all v ∈ V T . Note that (i) is true if and only

if for all v ∈ V1 and w ∈ V2 we have that all orbits of Gw
suborbits of Gv

B(v)

B(w)

are finite and all

are finite. On the other hand (ii) is true if and only if G

is
V2

subdegree-finite. An argument similar to that used in the proof of Proposition 27
can therefore be used to show that (i) and (ii) are equivalent.

Henceforth in this section, T is the (|X|, |Y |)-biregular tree, L is a legal colouring
of T with X and Y , and we bipartition the vertices of T into sets VX and VY in
the usual way.
Theorem 29. Suppose M ≤ Sym (X) and N ≤ Sym (Y ) are closed with nontrivial
degree. Then M  N is closed in Sym (VY ) and the following are equivalent:
(i) every point stabiliser in M  N is compact in Sym (VY );
(ii) for all w ∈ VY the point stabiliser (U(M, N ))w is compact in Aut T ;
(iii) N is compact and every point stabiliser in M is compact.

A product for permutation groups

19

Proof. The result follows immediately from Lemma 14, Lemma 28 and the fact that
M  N and U(M, N ) are isomorphic as topological groups.

Theorem 30. Suppose M ≤ Sym (X) and N ≤ Sym (Y ) are closed with nontrivial
degree. Then the following are equivalent:
(i) U(M, N ) is locally compact;
(ii) all point stabilisers in M and all point stabilisers in N are compact; and
(iii) the stabiliser in U(M, N ) of any edge in T is compact.
Proof. It is obvious that (iii) implies (i). Suppose G := UL (M, N ) is locally compact. Then there exists some finite set Φ of vertices such that G(Φ) has all orbits
finite. Fix x ∈ X and recall the definition of the function πP for graph path P in T
from Section 4. Now V T \Φ contains infinitely many vertices v such that L A(v) = x
−1
and therefore there is an edge P := {v, w} in T such that Φ is contained in πP
(v)
and L A(v) = x. Note that w ∈ VX . By Theorem 20, G has Tits’ independence
property (P) and so the pointwise stabilisers G(π−1 (v)) and G(v,w) induce the same
P
permutation group on B(w), and this induced group is permutation isomorphic to
Mx . Now G(π−1 (v)) ≤ G(Φ) and all orbits of G(Φ) are finite, so it follows that all
P
orbits of Mx are finite. For y ∈ Y , a symmetric argument shows that all orbits of
Ny are finite. Hence Mx and Ny are compact and we have shown that (i) implies
(ii).
Now suppose that all point stabilisers in M and N are compact; in particular
this means that all orbits of point stabilisers in M and in N are finite. Choose two
adjacent vertices v, w ∈ V T . We claim that G(v,w) has only orbits of finite length,
from which it follows that G(v,w) is compact. Fix some vertex u ∈ V T \ {v, w} and
note that either u is closest to v, or u is closest to w. Without loss of generality, let
us suppose that u is closest to w; then the unique geodesic from v to u contains w.
Let y0 , y1 , y2 , . . . , yn denote this geodesic, with y0 = v, y1 = w and yn = u. Now

|G(v,w) u| = |G(y0 ,y1 ) : G(y0 ,y1 ,y2 ,...,yn ) | ≤

n−2
Y

|G(yi ,yi+1 ) yi+2 |,

i=0

and each orbit |G(yi ,yi+1 ) yi+2 | in the product is finite because yi , yi+2 ∈ B(yi+1 )
and G(yi ,yi+1 ) B(yi+1 ) is permutation isomorphic to a point stabiliser in M or a
point stabiliser in N . We have established our claim, and have thus shown that (ii)
implies (iii).

An example of a closed subgroup M ≤ Sym (X) that is locally compact with
non-compact point stabilisers is provided by any sharply 2-transitive group of permutations of a countably infinite set.
Theorem 31. Suppose M ≤ Sym (X) and N ≤ Sym (Y ) have nontrivial degree
and, under the permutation topology, both groups are closed with compact point
stabilisers. Then all point stabilisers in U(M, N ) are compactly generated if and
only if M and N are both compactly generated.
Moreover, if M and N are both compactly generated with only finitely many
orbits, and M or N is transitive, then U(M, N ) is compactly generated.
Proof. Write G := UL (M, N ). Since M and N are closed with compact point
stabilisers, G is locally compact and all edge stabilisers in G are compact by Theorem 30.
Let v be a vertex in T , and suppose that Gv is compactly generated. Fix
some
vertex w adjacent to v in T . If S is a compact generating set for Gv , then
S
sG
(v,w) is an open cover of S, and therefore one can find a finite subset
s∈S

20

A product for permutation groups

{s1 , . . . sr } of S such that Gv = hG(v,w) , s1 , . . . , sr i. If v ∈ VX then Gv B(v) is permutationally isomorphic to M by Lemma 13, and under this isomorphism it is clear
that Gv,w is mapped to a point stabiliser in M (which is compact by assumption).
Hence M is compactly generated. If v ∈ VY then a symmetric argument shows that
N is compactly generated.
Now assume instead that M and N are compactly generated. Suppose v ∈
VX , choose w ∈ B(v), and set x := L(v, w) ∈ X. The stabiliser Mx is compact
and open. If S is a compact generating set for M , then there exists some finite
subset {s1 , . . . , sr } ⊆ S such that M = hMx , s1 , . . . , sr i. By Lemma 13, Gv B(v)
is permutationally isomorphic to M and under this isomorphism G(v,w) B(v) is
mapped to Mx . It follows that there exists {g1 , . . . , gr } ⊆ Gv such that H :=
hG(v,w) , g1 , . . . , gr i and Gv induce the same permutation group on B(v). Hence, for
any g ∈ Gv there exists some h ∈ H such that wg = wh , and so gh−1 ∈ G(v,w) ≤ H.
Thus Gv is equal to H, and therefore Gv is compactly generated. A symmetric
argument shows that if v ∈ VY , then Gv is compactly generated.
Finally we note that if M and N have only finitely many orbits and either M or
N (or both) is transitive, then by Lemma 22, the quotient G\T is a finite tree, and
so G is generated by the vertex groups of G\T . It follows that there exists a finite
set Φ ⊆ V T such that G = hGv : v ∈ Φi. Since Φ is finite and Gv is compactly
generated for all v ∈ Φ, we have that G is compactly generated.

Recall that a permutation group is semi-regular if every point stabiliser is trivial.
A semi-regular action is also called a free action.
Theorem 32. Suppose M ≤ Sym (X) and N ≤ Sym (Y ) have nontrivial degree.
Then the following are equivalent: (i) U(M, N ) is discrete; (ii) M and N are semiregular; and (iii) U(M, N ) acts semi-regularly on the edges of T .
Proof. Let G := UL (M, N ). Suppose M and N are both semi-regular. If w, w0 ∈ VY
are at distance two in T , there is a unique element v ∈ VX that is adjacent to both
vertices, and Gw,w0 = Gw,v,w0 . By Lemma 13, Gw,v fixes B(w) and B(v) pointwise,
and, since T is connected, Gw,v must therefore fix V T pointwise; it is thus trivial.
Hence U(M, N ) is discrete.
Let Φ ⊆ VY be any finite set. Suppose M is not semi-regular, and choose
x ∈ X such that Mx is nontrivial. For each w0 ∈ V T , the connected components of
T \ B(w0 ) each contain infinitely many vertices w ∈ VY such that L A(w) = x, so we
may choose a pair of adjacent vertices v ∈ VX , w ∈ VY such that L(v, w) = x and Φ
is contained in the half-tree T(w,v) . Choose σ ∈ Mx \h1i. By Lemma 13, there exists
h ∈ Gv such that L

A(v)

h

A(v)

L

−1
A(v)

= σ. Hence h ∈ Gv,w and h 6∈ G(B(v)) . By

Lemma 17, there exists g ∈ Gv,w such that g T
is trivial and g T
=hT
.
(w,v)
(v,w)
(v,w)
Hence g ∈ G(Φ) is nontrivial. A similar argument shows that if N is not semiregular, then G(Φ) is nontrivial. It follows that if M or N is not semi-regular, then
U(M, N ) is not discrete.

Corollary 33. Suppose X and Y are countable, and M ≤ Sym (X) and N ≤
Sym (Y ) are closed. Then
|M  N | ≤ ℵ0

or

|M  N | = 2ℵ0 ,

with the former holding if and only if M and N are semi-regular.
Proof. By Theorem 29, the group G := M  N is a closed group of permutations of
the countably infinite set VY . Since the trivial group h1i is closed, we may deduce
from a theorem of David M. Evans ([9, Theorem 1.1]) that either |G| = 2ℵ0 or the
pointwise stabiliser (in G) of some finite subset of VY is trivial. But the pointwise

A product for permutation groups

21

stabiliser of some finite subset of VY is trivial if and only if G is discrete. The
corollary now follows from Theorem 32.

7. An uncountable set of compactly generated simple groups
In [6], S is defined to be the set of non-discrete, topologically simple, totally disconnected, locally compact groups. Pierre-Emmanuel Caprace and Tom De Medts
remark that they do not know whether S contains uncountably many pairwise nonisomorphic compactly generated groups. In this section we prove that S contains
uncountably many isomorphism classes by constructing the first uncountable set of
pairwise non-isomorphic simple groups that are non-discrete, compactly generated,
totally disconnected and locally compact. In fact, we construct 2ℵ0 such groups.
All the simple groups constructed in this paper have compact open subgroups
that split nontrivially as direct products. The paper [7] provides general results that
apply to all compactly generated groups in S that enjoy the latter property; for
example, they are all abstractly simple and non-amenable. Examples of compactly
generated groups in S that are structurally similar to the groups we describe here
are due to Marc Burger and Shahar Mozes ([4]), Rögnvaldur G. Möller and Jan
Vonk ([13]), and Christopher Banks, Murray Elder and George A. Willis ([1]).
Recall from [19, pp. 58] the definition of Serre’s property (FA). Suppose G is a
group acting on a tree T without inversion. Let FixG (T ) be the set of vertices of
T that are fixed by all elements in G. A group G has property (FA) if FixG (T ) is
non-empty for any tree T on which G acts without inversion. There is a topological
version of (FA), which we denote here by (FAt ), whereby a topological group G has
property (FAt ) if every continuous action of G on a tree has either a fixed vertex or
a (setwise) fixed edge (see [3, Definition 2.3.4], for example). Compact topological
groups obviously satisfy (FAt ), and it is also clear that a topological group G with
a closed normal subgroup N such that N and G/N both have (FAt ), itself enjoys
(FAt ).
A particularly rich class of discrete groups that all have property (FA) is the
class of finitely generated torsion groups.
Proposition 34 ([19, Example 6.3.1]). A finitely generated torsion group has property (FA).

Theorem 35 ([17, Theorem 28.7]). For every sufficiently large prime number p,
there is a continuum of pairwise non-isomorphic infinite groups of exponent p all
of whose proper nontrivial subgroups have order p.

In [17, pp. 304] Ol’shanskiı̆ notes that taking p > 1075 in the above theorem is
sufficient; let us now fix such a prime p. The groups whose existence is guaranteed
by Theorem 35 we shall call Tarski–Ol’shanskiı̆ Monsters.
Let Q be a Tarski–Ol’shanskiı̆ Monster. It is 2-generated and torsion, so by
Proposition 34 it has property (FA). It is easily seen to be simple, since if N is
a proper normal subgroup of Q, then Q/N is infinite and torsion so it contains a
nontrivial finite subgroup H/N , with N < H < Q.
Determining whether or not two box products are isomorphic can be difficult; it
will be explored in detail in subsequent papers. For our purposes in this paper, we
note two elementary results: Lemma 36 and Lemma 37.
Lemma 36. Let M1 , M2 , N1 , N2 be permutation groups of nontrivial degree, with
M1 nontrivial. Suppose M1 has property (FA), and no nontrivial quotient of M1 is
isomorphic to any subgroup of M2 or N2 . Then U(M1 , N1 ) and U(M2 , N2 ) are not
(abstractly) isomorphic.

22

A product for permutation groups

Proof. For i = 1, 2, suppose Mi ≤ Sym (Xi ) and Ni ≤ Sym (Yi ) and let Ti denote
the (|Xi |, |Yi |)-biregular tree. Let Li be a legal colouring with Xi and Yi , and write
G := UL1 (M1 , N1 ) and H := UL2 (M2 , N2 ).
Let us suppose, for a contradiction, that G and H are isomorphic. By Proposition 15, G contains a subgroup that is isomorphic to M1 , and so M1 is isomorphic
to some subgroup K of H.
On one hand, K cannot fix any vertex in T2 . Indeed, if K fixes some vertex
v ∈ T2 , then K/K(B(v)) ∼
= K B(v) ≤ Hv B(v) . Since Hv B(v) is isomorphic to M2
or N2 , this is only possible if the quotient K/K(B(v)) is trivial; that is, if K fixes
B(v) pointwise. But if this is so, then we can repeat this argument, since K now
fixes w ∈ B(v). Since T2 is connected, it follows that K must be trivial, which is
absurd.
On the other hand, K must fix a vertex in T2 , since K acts on T2 without
inversion and has property (FA).

Lemma 37. Let M1 , M2 , N1 , N2 be closed permutation groups of nontrivial degree
such that, under the permutation topology, Ni and all point stabilisers of Mi are
compact for i = 1, 2. Suppose each Mi is transitive, has the topological property
(FAt ) and admits no nontrivial compact normal subgroups. If M1 and M2 are
not topologically isomorphic, then U(M1 , N1 ) and U(M2 , N2 ) are not topologically
isomorphic.
Proof. We adopt the notation used in the first paragraph of the proof of Lemma 36.
For i = 1, 2, fix vi ∈ VXi ⊆ V Ti , and note that by Theorem 30, G(B(v1 )) and H(B(v2 ))
are proper compact and normal subgroups of (respectively) the non-compact groups
Gv1 and Hv2 .
A compact normal subgroup K of Gv1 has only orbits of finite length; the closure
of K B(v1 ) in Sym (B(v1 )) is thus compact and normal in M1 , and so by assumption
it is trivial. Hence every compact normal subgroup of Gv1 is contained in G(B(v1 )) .
A symmetric argument holds for Hv2 and H(B(v2 )) .
Suppose ϕ : G → H is a topological isomorphism. The compact group G(B(v1 ))
has (FAt ) and Gv1 /G(B(v1 )) (which is topologically isomorphic to M1 by Proposition 18) also has (FAt ). By this, and a symmetric argument for H, we see that all
point stabilisers in G and H have (FAt ).
Now ϕ and ϕ−1 are continuous actions of G and H respectively, so there exists
v1∗ ∈ V T2 and v1∗∗ ∈ V T1 such that ϕ(Gv1 ) ≤ Hv1∗ ≤ ϕ(Gv1∗∗ ). Since M1 is
transitive, Gv1 fixes no vertex in T1 \ {v1 } so we must have that v1 = v1∗∗ . Hence
ϕ(Gv1 ) = Hv1∗ . Since Gv1 is not compact, Theorem 29 implies that v1∗ ∈ VX2 . Let
v2 := v1∗ ∈ VX2 and note that ϕ(Gv1 ) = Hv2 .
Now ϕ(G(B(v1 )) ) is a compact normal subgroup of Hv2 so it is contained in
H(B(v2 )) , and ϕ−1 (H(B(v2 )) ) is a compact normal subgroup of Gv1 so it is contained
in G(B(v1 )) . Hence ϕ(G(B(v1 )) ) = H(B(v2 )) . It follows then that Gv1 /G(B(v1 )) and
Hv2 /H(B(v2 )) are isomorphic as topological groups. The result now follows immediately from Proposition 18.

Note that the converse to Lemma 37 is clearly false, as one should expect in light
of Theorem 32. Indeed, a countably infinite simple group G with a finite nontrivial
subgroup has two different transitive permutation representations in Sym (N), one
with all stabilisers trivial which we denote by M1 , and another with all stabilisers
finite and nontrivial which we denote by M2 . Both M1 and M2 are discrete under the permutation topology and are therefore isomorphic as topological groups.
However, if N is a semi-regular permutation group of degree at least two, then the
group U(M1 , N ) is discrete but U(M2 , N ) is not.

A product for permutation groups

23

Let Q be a Tarski–Ol’shanskiı̆ Monster group and fix a nontrivial proper subgroup H ≤ Q. The group Q is simple and it acts faithfully and transitively on
the coset space X := (Q : H). We call the permutation group induced by Q on
X a Tarski–Ol’shanskiı̆ Monster permutation group. By Theorem 35, there are
2ℵ0 pairwise (abstractly) non-isomorphic Tarski–Ol’shanskiı̆ Monster permutation
groups.
For the following theorem, note that the trivial subgroup of a permutation group
of nontrivial degree is generated by point stabilisers, as is any non-regular primitive
permutation group.
Theorem 38. There are 2ℵ0 (abstractly) non-isomorphic groups of the form U(Q, N ),
where Q is a Tarski–Ol’shanskiı̆ Monster permutation group and N is a finite permutation group of nontrivial degree that is generated by point stabilisers. Furthermore, each such group U(Q, N ) under its permutation topology is totally disconnected, locally compact, compactly generated, simple and not discrete.
Proof. Let Q ≤ Sym (X) be a Tarski–Ol’shanskiı̆ Monster permutation group and
let N ≤ Sym (Y ) be a finite permutation group of nontrivial degree d that is
generated by point stabilisers. We think of Q as a topological group under its
permutation topology. Note that Q is transitive. Point stabilisers in Q are finite, so
Q is totally disconnected and locally compact, with compact stabilisers. Moreover,
Q is finitely generated, so it is compactly generated.
Let T be the (ℵ0 , d)-biregular tree, and bipartition the vertices of T into sets
VX and VY in the usual way. The group U(Q, N ) is a subgroup of Aut T . Under
the permutation topology it inherits from Aut T , the group U(Q, N ) is totally
disconnected because its action is faithful. It is locally compact by Theorem 30, it
is compactly generated by Theorem 31, and it is non-discrete by Theorem 32.
Any point stabiliser in Q is a maximal subgroup, so Q is generated by point
stabilisers; so too is N . Hence, by Theorem 23, the group U(Q, N ) is simple.
If Q0 is another Tarski–Ol’shanskiı̆ Monster that is not isomorphic to Q, then
U(Q, N ) and U(Q0 , N ) are not isomorphic by Lemma 36. The theorem now follows
immediately from Theorem 35.

Recall that S denotes the class of non-discrete, totally disconnected, locally
compact, topologically simple groups. Because all compactly generated groups
in S are Polish groups, and it is well-known that there are precisely 2ℵ0 many
topological isomorphism classes of Polish groups, we have the following corollary.
Corollary 39. There are precisely 2ℵ0 topological group isomorphism types of compactly generated groups in S.

Remark 40. Of course, the construction described above works for many groups
that are not Tarski–Ol’shanskiı̆ Monsters. The following is a general method for
constructing examples of non-discrete abstractly simple groups that are totally
disconnected, locally compact, and compactly generated.
(i) Choose M ≤ Sym (X) to be closed transitive and non-regular, with all
point stabilisers compact, such that M is compactly generated and generated by point stabilisers. Note that we do not require M to be non-discrete.
Example: Take M be any compactly generated totally disconnected
locally compact group and U be a nontrivial compact open subgroup of
M , properly contained in M , such that M is generated by the union of the
conjugacy class of U and U has trivial core in M . One may then set X to
be the coset space (M : U ) and view M as a closed subgroup of Sym (X)
via the action by left multiplication.

24

A product for permutation groups

Example: Take M ≤ Sym (X) to be a closed subdegree-finite nonregular primitive permutation group of degree at least three.
(ii) Choose any finite permutation group N ≤ Sym (Y ) of degree at least two,
that is generated by point stabilisers. For example, one could take N be be
any finite primitive non-regular permutation group of degree at least three.
In the permutation topology, such a group will be totally disconnected and
compact.
(iii) Choose any legal colouring L of the (|X|, |Y |)-biregular tree T , and let VY
be a part of the bipartition of T whose elements have valence |Y |.
(iv) The group U(M, N ) ≤ Aut T is simple (by Theorem 23), and with the
permutation topology it is totally disconnected (because it is faithful),
locally compact (by Theorem 29), compactly generated (by Theorem 31)
and non-discrete (by Theorem 32). Point stabilisers of vertices in VY are
compact.
Remark 41. In [23, Problem 4.3], George A. Willis asks the following. Let G1 ,
G2 be (non-discrete) topologically simple (or simple) totally disconnected locally
compact groups. Suppose that there are compact open subgroups Ui ≤ Gi (i = 1, 2)
that are isomorphic. Does it follow that G1 and G2 are isomorphic? It is known
(see [2] and [6]) that the answer to this question is no. However, only countably
many pairs (G1 , G2 ) demonstrating this have been found. Using the box product,
it is easy to construct an uncountable set of such groups {Gi : i ∈ I}, in which
each group Gi contains a compact open subgroup Ui ≤ Gi such that for all i, j ∈ I
the groups Ui and Uj are isomorphic as topological groups but Gi and Gj are
non-isomorphic.
Indeed, for two groups G := U(Q, S3 ) and H := U(Q0 , S3 ) taken from the proof of
Theorem 38, any point stabiliser in G of a vertex v ∈ VY is permutation isomorphic
to any point stabiliser in H. This is easy to see if you consider the induced actions
of G and H on the (ℵ0 , 3)-biregular tree T .
Thus, if Q and Q0 are non-isomorphic, then G and H are non-isomorphic, nondiscrete, simple, totally disconnected locally compact groups and moreover G and
H have compact open subgroups, Gv and Hv respectively, which are isomorphic as
topological groups.
Acknowledgments The author would like to thank Rögnvaldur G. Möller for
providing him with an English translation of Tits’ paper ([22]). The author would
also like to thank the anonymous referees for their thoughtful comments and suggestions.
References
[1] Christopher Banks, Murray Elder and George A. Willis, Simple groups of automorphisms of
trees determined by their actions on finite subtrees, J. Group Th. 18 (2015) 235–261.
[2] Yiftach Barnea, Mikhail Ershov and Thomas Weigel, Abstract commensurators of profinite
groups, Trans. Amer. Math. Soc. 363 (2011) 5381–5417.
[3] Bachir Bekka, Pierre de la Harpe and Alain Valette, Kazhdan’s Property T, New Mathematical Monographs 11 (Cambridge University Press, Cambridge, 2008).
[4] Marc Burger and Shahar Mozes, Groups acting on trees: from local to global structure,
Publications mathé de l’I.H.É.S. tome 92 (2000) 113–150.
[5] Ruth Camm, Simple free products, J. London Math. Soc. 28 (1953) 66–76.
[6] Pierre-Emmanuel Caprace and Tom De Medts, Simple locally compact groups acting on trees
and their germs of automorphisms, Transformation Groups, 16 (2011) 375–411.
[7] Pierre-Emmanuel Caprace, Colin D. Reid and George A. Willis, Locally normal subgroups
of totally disconnected groups. Part II: Compactly generated simple groups, Preprint (2013)
arXiv:1401.3142

25

[8] John D. Dixon and Brian Mortimer, Permutation groups, Graduate Texts in Mathematics
163 (Springer-Verlag, New York, 1996).
[9] David M. Evans, A note on automorphism groups of countably infinite structures, Arch.
Math. 49 (1987) 479–483.
[10] David M. Evans, An infinite highly arc-transitive digraph, Europ. J. Combinatorics 18 (1997)
281–286.
[11] D. G. Higman, Intersection matrices for finite permutation groups, J. Algebra 6 (1967) 22–42.
[12] Martin W. Liebeck, Cheryl E. Praeger, and Jan Saxl, On the O’Nan–Scott Theorem for finite
primitive permutation groups, J. Austral. Math. Soc. 44 (1988) 389–396.
[13] Rögnvaldur G. Möller and Jan Vonk, Normal subgroups of groups acting on trees and automorphism groups of graphs, J. Group Th. 15 (2012) 831–850.
[14] Rögnvaldur G. Möller, FC− -elements in totally disconnected groups and automorphisms of
infinite graphs, Math. Scand. 92 (2003) 261–268.
[15] Rögnvaldur G. Möller, Structure theory of totally disconnected locally compact groups via
graphs and permutations, Canad. J. Math. 54 (2002) 795–827.
[16] Viatcheslav N. Obraztsov, Embedding into groups with well-described lattices of subgroups,
Bull. Aust. Math. Soc. 54 (1996) 221–240.
[17] A. Yu. Ol’shanskiı̆, Geometry of defining relations in groups, Mathematics and its Applications (Soviet Series) 70 (Kluwer Acad. Publ., Dordrecht, 1991).
[18] Denis Osin, Small cancellations over relatively hyperbolic groups and embedding theorems,
Ann. of Math. 172 (2010) 1–39.
[19] Jean-Pierre Serre, Trees, Springer-Verlag, 2003.
[20] Simon M. Smith Infinite primitive directed graphs, J. Algebr. Comb. 31 (2010) 131–141.
[21] Simon M. Smith, Subdegree growth rates of infinite primitive permutation groups, J. London
Math. Soc. 82 (2010) 526–548.
[22] Jacques Tits, Sur le groupe des automorphismes d’un arbre in Essays on Topology and Related Topics: Mémoires dédiés à Georges de Rham, A. Haefliger, R. Narasimhan (eds), Berlin
and New York, Springer–Verlag (1970) 188–211.
[23] George A. Willis, Compact open subgroups in simple totally disconnected groups, J. Algebra
312 (2007) 405–417.
[24] Wolfgang Woess, Topological groups and infinite graphs, Discrete Math. 95 (1991) 373–384.
School of Mathematics and Physics, University of Lincoln, Lincoln, Lincolnshire,
U.K.
E-mail address: SiSmith@lincoln.ac.uk

