THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF
BRANCH GROUPS

arXiv:1709.08218v1 [math.GR] 24 Sep 2017

RACHEL SKIPPER
Abstract. We construct a family of groups which generalize the Hanoi towers group
and study the congruence subgroup problem for the groups in this family. We show that
unlike the Hanoi towers group, the groups in this generalization are just infinite and have
trivial rigid kernel. We also put strict bounds on the branch kernel. Additionally, we show
that these groups have subgroups of finite index with non-trivial rigid kernel. The only
previously known group where this kernel is non-trivial is the Hanoi towers group and so
this adds infinitely many new examples. Finally, we show that the topological closures of
these groups have Hausdorff dimension arbitrarily close to 1.

Introduction
Branch groups, and more generally groups acting on rooted trees, have been well-studied
in recent years as a result of the exotic properties groups in this class can possess. A primary
example of this is the Grigorchuk group which was the group shown to be amenable but not
elementary amenable group and also the first group shown to have intermediate growth, answering longstanding open questions. Additionally, the Grigorchuk group, followed shortly
thereafter by the Gupta-Sidki p-groups, provided explicit examples of Burnside groups, i.e.
finitely generated infinite torsion groups. Branch groups also arise in the classification of
just infinite groups which serve as the analogue of simple groups for the class of profinite
groups.
A group G acting on a rooted tree has the congruence subgroup property if each subgroup
of finite index contains the point wise stabilizer of a level of the tree, a subgroup naturally
arising from the tree structure. This property parallels the classical property of the same
name for subgroups of SL(n, Z). Since the full automorphism group of the tree, Aut(T ),
b
is itself a profinite group, this question amounts to comparing the profinite completion G
to the topological closure G as a subgroup of Aut(T ) and determining if the congruence
b ։ G, is trivial. This kernel serves as a the
kernel, the kernel of the natural surjection G
measure of the error in studying the group by looking only at the finite quotients coming
from the level stabilizers as opposed to considering all finite quotients.
For branch groups, there exists another naturally occurring family of finite index subgroups, namely the rigid stabilizers defined in Section 1. This additional family of subgroups reduces the congruence subgroup problem to separately determining the branch
Date: February 20, 2018.

2

RACHEL SKIPPER

b ։ G,
e and the rigid kernel, the kernel of the map G
e ։ G,
kernel, the kernel of the map G
e is the topological completion of the G with respect to the rigid stabilizers.
where G

Many of the most studied branch groups have been shown to have trivial congruence
kernel, including the Fabrykowsky-Gupta group and the Gupta-Sidki groups ([BGŠ03],
[Gar16a]), the Grigorchuk group and an infinite family of generalizations of the FabrykowskyGupta group ([Gri00]), and GGS-groups with non-constant accompanying vectors ([Per07],
[FAGUA17]).
Pervova ([Per07]) constructed the first branch groups without the congruence subgroup
property. Nevertheless, the groups in her infinite family, periodic EGS groups with nonsymmetric accompanying vector, have non-trivial branch kernel but trivial rigid kernel.
Likewise, the twisted twin of the Grigorchuk group was found to have non-trivial branch
kernel but trivial rigid kernel ([BS09]).

Despite the existence of infinite families of groups having either trivial branch and trivial
rigid kernel or non-trivial branch kernel but trivial rigid kernel, only one group appearing
in the literature has been shown to have non-trivial rigid kernel. It is the Hanoi towers
group on three pegs ([BSZ12], [Ski16]), which we refer to as G3 . In this paper, we study a
family of generalizations of the Hanoi towers group, {Gn | n ≥ 3}, and show that unlike G3 ,
Gn has trivial rigid kernel when n ≥ 4. We compute the rigid stabilizers, level stabilizers,
and fully compute the congruence kernel for many n, placing strict bounds on the kernel
for the remaining n. Some of the results are proved in three parts since the structure of
Gn partially depends on n.
We remark that the group G4 was studied briefly in [Sie09], but a subtle overgeneralization in the hypotheses of earlier theorems led to some incorrect conclusions.
We show the following main theorems.
Theorem (3.12, 3.15, 3.17). The rigid kernel for Gn is trivial if and only if n 6= 3.
Theorem (3.19). For n 6= 3, the branch kernel, and thus the congruence kernel, for Gn is
the inverse limit
lim Mnm
←−
m≥1

where Mn is a finite abelian group. When n ≥ 5 is even, Mn is cyclic of order (n − 1) and
when n = 4 or n ≥ 5 is odd, Mn has exponent bounded between (n − 1) and 2(n − 1).
A main tool in proving these theorems is understanding the abelianization of the rigid
stabilizers. This knowledge also allows us to prove:
Theorem (3.22). Gn is just infinite if and only if n 6= 3.
We show that the triviality of the rigid kernel is not necessarily inherited by finite
index subgroups, even if they are maximal. In doing so, we produce infinitely many new
examples of branch groups with non-trivial rigid kernel which add to the only currently

THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF BRANCH GROUPS

3

known example of the Hanoi towers group. In Section 2, we put a function ǫ on Gn which
is used in the next theorem.
Theorem (4.1). For n ≥ 4, let 1 6= d > 2 be such that d | (n − 1) and let Hn,d be the set
of elements g of Gn with ǫ(g) ≡ 0 mod d. The Hn,d is a subgroup of index d in Gn and is
a branch group with non-trivial rigid kernel.
The work leading up to the theorems in Section 3 makes the Hausdorff dimension for
the topological closure of Gn straightforward to compute.
Theorem (5.1). For n ≥ 3, the Hausdorff dimension for Gn is

log(48)

1 − log(331776)
if n = 4



log(2)
if n ≥ 5 is even
dimH (Gn ) = 1 − log(n!)



1 − log(2)
if n is odd
n log(n!)

The paper is outlined as follows. In Section 1, we make precise the congruence subgroup
problem for branch groups, describe the generalization of the Hanoi towers group to the
n-ary trees, and prove basic properties of the groups. In Section 2, we outline a solution
to the word problem that aids in computing the abelianization. In Section 3, we compute
the level and rigid stabilizers for Gn and use this to prove the first three main results. In
Section 4, we study some subgroups of finite index in Gn . And finally in Section 5, we
compute the Hausdorff dimension for Gn .

0.1. Notation. For two group elements g and h we will write g h to indicate h−1 gh and
[g, h] for g −1 h−1 gh. Additionally, for any group G and any subset S ⊆ G, hhSii will denote
the normal closure of S in G.
1. The groups
For notational purposes, we focus here on groups acting on regular rooted trees. A fuller
discussion in the more general case of rooted spherically homogeneous trees can be found
in [BSZ12], [Gar16b], or [Ski16].
Let n ≥ 2 and let X be a set of size n called an alphabet, X m the set of words of length
m in X, and X ∗ the set of all finite words over X including the empty word denoted by
∅. Then a regular rooted n-ary tree, T , is the Cayley graph of the free monoid on the set
X, see Figure 1. For a vertex u ∈ X ∗ , define the length of u, |u|, to be the length of the
word in X ∗ corresponding to u.
An automorphism of T is a bijection from X ∗ to X ∗ which fixes the root and preserves
edge incidences. Such a bijection g can be described by a labeling of the elements of X ∗ by
permutations in Sn , the symmetric group on n letters, {g(u) | u ∈ X ∗ }, where for a vertex
u = x1 x2 . . . xm ∈ X ∗ , the action of g on u is described by
g(∅) g(x1 ) g(x1 x2 )
x2 x3

ug = x1

g(x1 ···xm−1 )
· · · xm
.

4

RACHEL SKIPPER

∅

0

00

1

01

10

11

Figure 1. X = {0, 1}, binary tree
This gives the isomorphism Aut(T ) ∼
= (· · · (· · · ≀ Sn ) ≀ Sn ) ≀ Sn , the infinitely iterated
wreath product of Sn , and in particular induces the identification

Aut(T ) ∼
= Aut(T ) ≀ Sn = Aut(T ) × · · · × Aut(T ) ⋊ Sn

where the action of Sn is to permute the coordinates in the product. An element g ∈ Aut(T )
can be decomposed under this isomorphism as
g = (g1 , . . . , gn )σ
where σ ∈ Sn and gi is the restriction of the permutation labeling of g to the i-th subtree
rooted at the first level (canonically identified with the original tree T ) and is referred to
as the state of g at the i-th vertex. Iterating this decomposition, for each u ∈ X ∗ we obtain
gu , the state of g at the vertex u.
Definition 1.1. A group G ≤ Aut(T ) is called self similar if for each g = (g1 , . . . , gn )σ ∈ G
and for each i, gi ∈ G.
For any subgroup G of Aut(T ), four families of subgroups arise naturally from the
structure of T .
Definition 1.2. For a vertex u ∈ X ∗ , the vertex stabilizer of u, StabG (u), is the set of
elements in G which fix the vertex u.
In terms of the labeling of the vertices by elements in a symmetric group, this consists of
the elements that necessarily have trivial labeling on all vertices on the geodesic connecting
u and ∅, except possibly at u.
Definition 1.3. For
\ a non-negative integer m, the m-th level stabilizer, StabG (m), is the
normal subgroup
StabG (u).
|u|=m

In terms of the labelings, this consists of the elements of G with trivial labeling on all
vertices v where |v| ≤ m − 1. Thus an element g ∈ StabG (m) will be defined by |X|m tuple

THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF BRANCH GROUPS

5

(g1 , · · · , gnm )m where each gi is the state of g at the corresponding vertex on the m-th level.
Note that StabG (m) has finite index in G for all m.
Definition 1.4. The rigid stabilizer of a vertex u, RistG (u), consists of the elements of G
which act trivially outside of the subtree rooted at u.
In terms of the labeling, this consists of elements that have trivial labeling on all vertices
outside of Tu , the subtree rooted at u. If G acts transitively on all the levels of T , then for
any two vertices u and v such that |u| = |v|, RistG (u) ∼
= RistG (v) (and in fact they are
conjugate in G). Notationally, for an element g in RistG (u), we will write g = u ∗ g̃ where
g̃ = gu , the stateQ
of g at u. Similarly, for a subgroup K of Aut(T ), v ∗ K := {v ∗ k | k ∈ K}
m
and X ∗ K := |v|=m v ∗ K.
Definition 1.5. For a non-negative integer m, the
Ym-th level rigid stabilizer is the normal
subgroup RistG (m) = hRistG (u) | |u| = mi =
RistG (u), the internal direct product
|u|=m

of the rigid stabilizers of the vertices of level m.

For any group G acting on T , RistG (m) ≤ StabG (m). Moreover, StabG (m) sits inside
the direct product of nm copies of Aut(T ) and with this interpretation, RistG (m) is the
largest subgroup of StabG (m) which decomposes as a direct product.
Definition 1.6. A group G ≤ Aut(T ) is said to be level transitive if it acts transitively
on every level of T .
Our primary interest here will be in subgroups of Aut(T ) which are branch groups.
Definition 1.7. A group G ≤ Aut(T ) is said to be a branch group if it is level transitive
and for all m ≥ 1, RistG (m) has finite index in G. It is said to be regular branch if it is
level transitive and there is a subgroup K with finite index in G such that v ∗ K ≤ K for
all v ∈ X ∗ and such that X m ∗ K has finite index in G for all m. In this case, K is called
a branching subgroup.
If a group is regular branch then it is also branch as X m ∗K ≤ RistG (m). As an example,
the Hanoi towers group is a regular branch group with maximal branching subgroup G′3 ,
the derived subgroup of G3 ([Ski16]).
The main focus of this paper is a particular family of groups. For a fixed n ≥ 3, let
σi = (1, 2, . . . , i − 1, i + 1, . . . , n − 1, n), a permutation in Sn . Let ai be the automorphism
of the n-ary tree defined recursively as follows:
ai = (1, . . . , 1, ai , 1, . . . , 1)σi
where on the right side of the equation ai appears in the i-th coordinate.
Definition 1.8. The group Gn is the group generated by {a1 , . . . , an }.

6

RACHEL SKIPPER

As mentioned previously, the group G3 is the well-studied Hanoi towers group ([GŠ06],
[GŠ07], [BGŠ03], [Ski16]) whose generators appear in Figure 2. Our primary focus herein
will be on Gn , n ≥ 4. We will recall facts about the Hanoi towers group as they are
necessary.

σ1
σ1

1

σ1

1

1

1

1

σ3

σ2

σ1
1

1

σ2

1

1

σ2

1

1

σ2

1

1

1
1

σ3
1

σ3

1

1

σ3

Figure 2. The generators a1 , a2 , and a3 of the Hanoi towers group G3
Lemma 1.9. For n ≥ 3, hσi | 1 ≤ i ≤ ni is the alternating group on n letters, An , when
n is even and the symmetric group on n letters, Sn , when n is odd.
−1
Proof. For all i, when n is even σi ∈ An and when n is odd σi ∈
/ An . Further, σi+1
σi =
(i, i + 1, i + 2) for 1 ≤ i ≤ n − 2. Since {(i, i + 1, i + 2) | 1 ≤ i ≤ n − 2} is a generating set
of An , the result follows.


For g ∈ Aut(T ), let πu be the projection g → gu . When the domain of πu is restricted
to subgroups stabilizing the vertex u, πu is a homomorphism.
Definition 1.10. A self-similar group G is called self-replicating if πu (StabG (u)) = G for
all u.
If G is both self-replicating and acts transitively on the first level of the tree, then G is
level transitive.
Lemma 1.11. For all n, Gn is self-replicating.
Proof. If a vertex v is a descendant of u (i.e. v = uw for some w ∈ X ∗ ), then
πv (StabG (v)) = πw (πu (StabG (v))).
Thus G is self-replicating if and only if πu (StabG (u)) = G for every vertex u of level 1.
Suppose u is in the i-th coordinate. Then for each aj and ak where k 6= i, there exists a
m
am
σm
number m such that j σk = i. Moreover, σj k fixes i. Therefore, aj k is in StabGn (u) and
am
πu (aj k ) = aj .

Corollary 1.12. For all n, Gn is level transitive.

THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF BRANCH GROUPS

7

2. Word problem and abelianization
We remark that Gn is an example of an automaton group and as such there exists an
algorithm in exponential time that solves the word problem ([Zuk12]). Here we outline an
alternative algorithm for Gn which also allows for the computation of the abelianization.
Let Fn be a free group with basis {s1 , . . . , sn }. For a freely reduced word w(s1 , . . . , sn ) =
sri11 sri22 · · · srikk , define the length of w to be |w| = k. Let γ : Fn ֒→ Fn ≀ Sn be the map
defined by γ(si ) = (1, . . . , 1, si , 1, . . . 1)σi where si is in the i-th coordinate and σi =
(1, . . . i − 1, i + 1, . . . , n) as before. In other words, γ mimics the recursive definition of ai .
Proposition 2.1. Let w(s1 , . . . , sn ) be an element of Fn and suppose γ(w) = (w1 , . . . , wn )θ.
Then for all i, |wi | ≤ |w|+1
.
2
Proof. If w is of length 1, then w is of the form sri so γ(w) = (1, . . . , 1, sri , 1, . . . , 1)σir and
the claim is true.
Likewise if w = sri11 sri22 where i1 6= i2 then σir11 is a permutation of {1, . . . , n}\{i1 }. In
particular, γ(w) is of the form
(1, . . . , sri11 , 1, . . . , 1, sri22 , 1, . . . , 1)σir11 σir22
r

r

σi 1

σi 1

where sri22 is in the i2 1 coordinate and i2 1 6= i1 . Again the claim holds.
Now suppose w = sri11 sri22 · · · srikk has length k for some k ≥ 3 and γ(w) = (w1 , . . . , wn )θ.
Then for m = ⌈ k2 ⌉, w can be written as u1 · · · um where |ui | ≤ 2 for each i. In this case,
γ(ui ) = (ui1 , ui2 , . . . , uin )θi
for some θi ∈ Sn and where for all i between 1 and m and all j between 1 and n, |uij | is either
. 
0 or 1. Therefore each wi is a product of m words of length 0 or 1 and |wi | ≤ ⌈ k2 ⌉ ≤ k+1
2
φ0

Now let 1 → Rn → Fn → Gn → 1 be a presentation for Gn where φ0 (si ) = ai . Since γ
mimics the recursive definition of the generators of Gn , the following diagram commutes:
Fn

γ

φ0

Im(γ)
φ1

Gn
where φ1 ((1, . . . , 1, si , 1, . . . 1)σi ) = ai .
This fact along with Proposition 2.1 provide tools for solving the word problem. Indeed, let w(s1 , . . . , sn ) be in Fn . If |w| = 1, then w(a1 , . . . , an ) is trivial if and only
r(n−1)
if w(s1 , . . . , sn ) = si
for some i and r. If |w| ≥ 2, then we can apply γ to w to
obtain γ(w) = (w1 , . . . , wn )θ where |wj | < |w|. If θ is a non-trivial permutation then
w(a1 , . . . , an ) 6= 1 and we are done. Similarly, if θ is trivial and each wj has length 0 or

8

RACHEL SKIPPER

1, then w(a1 , . . . , an ) = 1 if
remaining possibility is that
wj is at least 2. In this case
a non-trivial permutation or
r(n−1)
si
.

r (n−1)

and only if each wj (s1 , . . . , sn ) is of the form sijj
. The
θ is the trivial permutation and for some wj , the length of
repeat the above process to the each wj until either we find
each obtained word has length at most 1 and is of the form

As a result of the word problem algorithm, the abelianization of Gn is straightforward
to compute. First, observe that the generators of Gn have order (n − 1) and so Gn /G′n
is a quotient of (Z/(n − 1)Z)n . Now for a word w(s1 , . . . , sn ), let ǫsi be the sum of the
exponents on the si terms in w. Consider now γ(w) = (w1 , . . . , wn )θ. By the way γ is
defined
n
X
ǫsi (w(s1, . . . , sn )) =
ǫsi (wj (s1 , . . . , sn ))
j=1

The algorithm states that if a word w(s1 , . . . , sn ) produces a trivial word in Gn , then
after some number of iterations, the sum of the exponents of the si ’s over all the states
on a given level is equal to 0 modulo n − 1. But this is the same as ǫsi (w). In other
words, if w(a1 , . . . , an ) = 1 then ǫsi (w(s1 , . . . , sn )) ≡ 0 mod (n − 1) for all i. Thus Rn ≤
hFn′ , s1n−1 , . . . , snn−1 i and Gn surjects onto (Z/(n − 1)Z)n .
Proposition 2.2. The abelianization of Gn , Gn /G′n , is (Z/(n − 1)Z)n .
A similar property to what is described in Proposition 2.1 is frequently studied in the
setting of self-similar groups.
Definition 2.3. A self similar group G is called contracting if there exists a finite set
N ⊂ G such that for every g ∈ G, there exists k ∈ N such that gv ∈ N for all words v ∈ X ∗
of length greater than or equal to k. The minimal set N with this property is called the
nucleus of the self-similar action.
Since the generators of Gn have order (n − 1). Since the generators of Gn have finite
order every element of Gn can be expressed as a positive word. Now the next result follows
immediately from Proposition 2.1.
Corollary 2.4. Gn is contracting with nucleus
N = {1, a1, . . . , a1n−2 , . . . , an , . . . , ann−2 }.
The abelianization also allows us to put some functions on Gn which will be of use to
us later.
Definition 2.5. Let g be an element of Gn . Let w(s1, . . . , sn ) = sri11 sri22 · · · srikk be a word in
s1 , s2 , . . . , sn such that w(a1 , . . . , an ) = g, then
ǫ(g) = (

k
X
j=1

ri ) mod (n − 1).

THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF BRANCH GROUPS

9

Lemma 2.6. ǫ : Gn → Z/(n − 1)Z is a well defined, surjective homomorphism.
Proof. Since Gn /G′n ∼
= (Z/(n − 1)Z)n , ǫ is the composition of the abelianization map
n
[Ab] : Gn → (Z/(n −
with the map ψ : (Z/(n − 1)Z)n → Z/(n − 1)Z defined by
P1)Z)
n
ψ : (s1 , s2 , . . . sn ) 7→ i=1 si . Clearly, this map is well defined and as both [Ab] and ψ are
surjective, ǫ is surjective.

Definition 2.7. Let g = (g1 , . . . , gn )σ ∈ Gn where gi ∈ Gn for all i. Define
ǫ1 (g) =

n
X

ǫ(gi ) mod (n − 1).

i=0

Lemma 2.8. For an element g ∈ Gn , ǫ(g) = ǫ1 (g).
Proof. This follows from the discussion preceding Proposition 2.2.



3. The congruence subgroup problem
Definition 3.1. A group G acting on a regular rooted tree has the congruence subgroup
property if every subgroup of finite index contains a level stabilizer.
In the setting of branch groups, this is equivalent to every subgroup of finite index
containing a rigid stabilizer and every rigid stabilizer containing a level stabilizer. Since
StabG (m) has finite index in G for all m and since this collection forms a descending collection of normal subgroups, taking {StabG (m) | m ∈ N} as a basis for the neighborhoods
of {1} produces a profinite topology on G (see section 3.1 [RZ10]), called the congruence
topology. Likewise RistG (m) has finite index for all m, and in the same way produces a
profinite topology called the branch topology. Further, G has a third natural topology, the
full profinite topology where N = {N E G | |G : N| < ∞} is taken as a basis for the
neighborhoods of {1}. The congruence topology is weaker than the branch topology which
is weaker than the full profinite topology. We can complete G in terms of these topologies
and obtain three profinite groups:
G = lim G/StabG (m)
←−

the congruence completion

e = lim G/RistG (m)
G
←−

the branch completion

m≥1

m≥1

b = lim G/N
G
←−

the profinite completion

N ∈N

e and G.
b
Since ∩m≥1 StabG (m) = {1}, G is residually finite and embeds into G, G,

10

RACHEL SKIPPER

b and G coincide and the
Thus G has the congruence subgroup property if and only if G
b ։ G), is trivial. The congruence subgroup problem for branch
congruence kernel, ker(G
groups asks not only whether a branch group has the congruence subgroup property but
also to quantitatively describe the congruence kernel. Since there is a third topology at
play, namely the branch topology, we can instead study two pieces of the congruence kernel,
b ։ G),
e and the rigid kernel, ker(G
e ։ G). Although a group may
the branch kernel, ker(G
have many realizations as a branch group, each of these kernels are invariants of the group
and are not dependent on the choice of realization ([Gar16b]).
The kernels for G3 are calculated in [BSZ12].
c3 → G
f3 is free profinite abelian. The
Theorem ([BSZ12], Theorem 3.11). The kernel of G
f3 → G3 is a Klein group of order 4. The kernel of G
c3 → G3 is metabelian and
kernel of G
torsion-free, but is not nilpotent.
A second, more constructive proof for the rigid kernel calculation in the last theorem
can be found in [Ski16].

The first step in computing the kernels for the groups Gn , n ≥ 4, is to understand their
rigid stabilizers and level stabilizers.
First we make the following observation.
Observation 3.2. For any vertex v, conjugating any element h ∈ RistAut(T ) (v) by an
automorphism g of T works as follows:
Let |v| = m and suppose
h = (1, . . . , 1, hv , 1, . . . , 1)m
where hv is in the v-th coordinate. Let g decompose as
(g1 , . . . , gnm )σ
where σ is in the m-fold iterated wreath product of Sn . Suppose σ sends the vertex v to the
vertex u. Then
hg = (1, . . . , 1, hgvu , 1, . . . , 1)m
where hgvu is in the u-th coordinate.
For a level transitive, self-replicating groups, this significantly reduces the calculations
for rigid stabilizers as illustrated by Proposition 3.3.
Proposition 3.3. Suppose G is a level transitive, self-replicating group. Then if v ∗ g ∈ G,
then
u ∗ hhgii ≤ RistG (u)
for all u such that |u| = |v|.
Proof. Suppose v ∗ g ∈ G and that G is a level transitive, self-replicating group. Let g h be
a conjugate of g in G. Since G is level transitive, for any vertex u on the same level as v

THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF BRANCH GROUPS

11

there exists h̃1 ∈ G such that h̃1 takes v to u. Then by Observation 3.2, (v ∗ g)h̃1 = u ∗ g h1
for some h1 ∈ G. Since G is self-replicating there exists h̃ ∈ StabG (u) such that the state
h̃1 h̃
of h̃ at u is h−1
= u ∗ g h.

1 h. Then (v ∗ g)
Additionally, for the groups Gn there is another simplification that comes from the
symmetry of the generators.
Observation 3.4. Let ω be the permutation (1, 2, · · · , n) and let λ be the automorphism
of n-ary tree defined recursively by
λ = (λ, λ, . . . , λ)ω.
Then conjugation by λ is an automorphism of the group Gn which takes an 7→ a1 and
ai 7→ ai+1 for 1 ≤ i ≤ n − 1. Further, if
g = (g1 , g2 , . . . , gn )σ,
then
λ
g λ = (gnλ , g1λ, . . . , gn−1
)σ ω .

Theorem 3.5. For all n, Gn is a regular branch group with branching subgroup G′n .
Proof. By Lemma 1.11 and Corollary 1.12, Gn is level transitive and self-replicating. Therefore, by Proposition 3.3, it suffices to find v ∗ g for each g in some normal generating set
and for some v ∈ X. And finally, by Observation 3.4, it suffices to find a conjugate of
v ∗ [a1 , ai ] for each i between 1 and 1 + ⌊ n2 ⌋ and for some v ∈ X.
The case when n = 3 is dealt with in [Ski16].
When n = 4, we have the following elements:
−a2
−1
3
a2
1
[a−a
3 , a3 ](a2 a1 ) = (1, 1, [a1 , a2 ] , 1)1
a−1

[a21 , aa23 ](a1 a3 )−3 = (1, [a1 , a3 ]−a3 , 1, 1)1
−1

When n = 5, we have the following elements:
2
−1 2
[(a1 a−1
4 ) , (a2 a4 ) ] = ([a1 , a2 ], 1, 1, 1, 1)1
2
−1 2
[(a−1
3 a1 ) , (a3 a1 ) ] = (1, [a1 , a3 ], 1, 1, 1)1

When n = 6, we have he following elements:
2
−1 2
[(a1 a−1
4 ) , (a2 a4 ) ] = ([a1 , a2 ], 1, 1, 1, 1, 1)1
2
−1 2
[(a−1
3 a1 ) , (a3 a1 ) ] = (1, [a1 , a3 ], 1, 1, 1, 1)1
−1 a3
−1 −1
[(a−1
6 a1 a2 a1 ) , (a4 a5 a4 a3 )] = (1, 1, 1, [a1 , a4 ], 1, 1)1

For the remaining n, fix i, 1 ≤ i ≤ 1 + ⌊ n2 ⌋ and let j = i + 2 ≥ 4. Then
−(i−2)

2
−1 2 aj
[(a1 a−1
j ) , ((ai aj ) )

] = ([a1 , ai ], 1, . . . , 1)1 .

Since G′n has finite index in Gn and we obtain the result.



12

RACHEL SKIPPER

Remark 3.6. Note that G′n is not the maximal branching subgroup for n ≥ 4. The
maximal branching subgroup for Gn , which depends on the size of n and whether n is even
or odd, will be computed in Thoerems 3.12, 3.15, and 3.17.
Definition 3.7. Let In be the collection of elements of the form
(1, . . . , 1, g, 1, . . . , 1, . . . , 1, g −1, 1, . . . , 1)1
where g ranges over all elements of Gn and the coordinates in which g and g −1 appear
ranges over the set {1, . . . , n}.
Proposition 3.8. When n ≥ 4, In is contained in G′n .
Proof. First, we observe that if g = (g1 , . . . , gn )1 is an element in StabGn (1) and h =
(h1 , . . . , hn )σ is an element of Gn , then g h = (g1hσ1 , . . . , gnhσn )1 which is equivalent to (g1σ , 1, . . . , gnσ )1
modulo G′n by Theorem 3.5.
Consider the element
2 −1
−1
2 −1
′
[aa12 , a3 ] = (1, a−1
2 , [a1 , a3 ], a2 , a2 , 1, . . . , 1)1 ≡ (1, a2 , 1, a2 , a2 , 1, . . . , 1)1 mod Gn
2 −1
where the equivalence is again by Theorem 3.5. Letting δ = (1, a−1
2 , 1, a2 , a2 , 1, . . . , 1)1 ,
we see that
a−1

−1
′
3
δδ −a1 a3 = (1, a−1
2 , a2 , 1, . . . , 1)1 ≡ (1, a2 , a2 , 1, . . . , 1)1 mod Gn .
−1

Since Gn acts as either An or Sn on the first level, by our first observation all elements of
−1
the form (1, a2 , 1, . . . , 1, a−1
2 , 1, . . . , 1)1 with the a2 and a2 in any coordinate are contained
in G′n . Similarly, by Observation 3.2 all elements of the form (1, ai , 1, . . . , 1, a−1
i , 1, . . . , 1)1
for 1 ≤ i ≤ n are likewise in G′n .
mi

m

Finally suppose g = ai1 i1 · · · aik k . Then,
mik

m

i1
(1, . . . , 1, ai1 , 1, . . . , 1, a−1
· · · (1, . . . , 1, aik , 1, . . . , 1, a−1
i1 , 1, . . . , 1)1
ik , 1, . . . , 1)1

−mi1

= (1, . . . , 1, g, 1, . . . , 1, ai1

−mik

· · · aik

, 1, . . . , 1)1

and
−mi1

(1, . . . , 1, g, 1, . . . , 1, ai1

−mik

· · · aik

, 1, . . . , 1)1 ≡ (1, . . . , 1, g, 1, . . . , 1, g −1, 1, . . . , 1)1 mod G′n .


Remark 3.9. Proposition 3.8 is explicitly not true when n = 3 which can be seen from the
generators for StabG3 (1) obtained in [Ski16]. This significantly contributes to the change
in the rigid kernels for Gn starting at n = 4 described in Theorem 3.19.
Corollary 3.10. For n ≥ 4, (g1 , . . . , gn )1 is in StabGn (1) if and only if
(1, . . . , 1, g1θ · · · gnθ , 1, . . . 1)1
is in RistGn (1) for every permutation θ of {1, . . . , n}.

THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF BRANCH GROUPS

13

3.1. Rigid kernels. Since by Lemma 1.9,

(
Sn
ha1 (∅), a2 (∅), . . . , an (∅)i =
An

n is odd
n is even

and since the normal subgroup structure of the alternating and symmetric groups changes
starting at n = 5, we will split the next computations into 3 settings, when n = 4, when
n ≥ 5 is odd, and when n ≥ 5 is even.
−1
′
Proposition 3.11. StabG4 (1) = ha1 a3 a24 , a2 a1 a3 a−1
1 , a1 a3 a4 a3 , X ∗ G4 , I4 i.

Proof. This is done by using the Reidemeister-Schreier method and eliminating redundant
generators.

−1
′
Let K4 := ha1 a3 a24 , a2 a1 a3 a−1
1 , a1 a3 a4 a3 , G4 i, a subgroup of index 3 in G4 .

Theorem 3.12. K4 = hha1 a2 , a2 a3 , a3 a4 , a4 a1 ii and K4 is the maximal branching branching
subgroup of G4 . In particular, X m ∗ K4 = RistG4 (m) for all m. Consequently,
StabG4 (m + 1) = X m ∗ StabG4 (1) ≤ RistG4 (m)
for all m and G4 has trivial rigid kernel.
′
Proof. Since G′n ≤ K4 , K4 is a normal subgroup. Moreover, a2 a1 a3 a−1
1 ≡ a2 a3 mod Gn and
−1
′
similarly a1 a3 a4 a3 ≡ a4 a1 mod Gn . Further, a3 a4 and a1 a2 can be written as a product of
f4 = hha1 a2 , a2 a3 , a3 a4 , a4 a1 ii. Now clearly
the generators of K4 and their conjugates. Let K
f4 ≤ K4 and G4 /K4 ∼
f4 = K4 it suffices
K
= Z/3Z by Proposition 2.2, hence to check that K
f4 has order at most three. This is immediate from the fact that
to show that G4 /K

and that each ai has order 3.

−1
f
a1 ≡ a−1
2 ≡ a3 ≡ a4 mod K4

Now to show that K4 is a branching subgroup, by self-similarity it is only necessary to
show that K4 ≥ X ∗ K4 = RistG4 (1). First observe that K4 has by index 3 in G4 by
Proposition 2.2 and therefore is a maximal subgroup. Now consider the elements
a1 a3 a24 = (a1 , a3 , 1, a24 )1 ,
−1
a2 a1 a3 a−1
1 = (a1 , a2 a3 , 1, a1 )1 ,
−1
a1 a−1
3 a4 a3 = (a1 a4 , a3 , a3 )1 .
−1
Thus by Corollary 3.10, (a1 a3 a24 , 1, 1)1, (a2 a1 a3 a−1
1 )1 , and (a1 a3 a4 a3 , 1, 1)1 are in K4
(since only elements in the commutator subgroup are required to shift the coordinates).

To show that K4 is the maximal branching subgroup, observe that the generators obtained in Proposition 3.11 for StabG4 (1) generate a subgroup of index 3 in X ∗ G4 and so
in particular, for each vertex v on the first level RistG4 (v) must be a proper subgroup of
v ∗ G4 .

14

RACHEL SKIPPER

By Theorem 3.5, Proposition 3.8, and Proposition 3.11, StabG4 (1) ≤ K4 and the rest
follows from self-similarity.

Now we move to odd n ≥ 5.
Proposition 3.13. For odd n ≥P
5, if g ∈ Gn is in StabGn (1), then ǫ(g) ≡ 0 mod 2.
Likewise, if g1 , . . . , gn is such that ni=1 ǫ(gi ) ≡ 0 mod 2, then (g1 , . . . , gn )1 ∈ StabGn (1).

Proof. First observe that since the ai (∅) is an element in Sn \An for all i, if a word in
a1 , . . . , an produces an element g in StabGn (1), then it necessarily has even exponent sum.
In particular, ǫ(g) ≡ 0 mod 2.

Recall that In is the set of all elements of the form (g, 1, . . . , g −1 , 1, . . . , 1)1 and that
In ⊆ StabGn (1). Define Hn = hIn , X ∗ G′n i E Gn . Observe that Gn /X ∗ G′n is isomorphic to
a subgroup of

(Z/(n − 1)Z)n ≀ Sn = (Z/(n − 1)Z)n × · · · × (Z/(n − 1)Z)n ⋊ Sn .
and hence Gn /Hn isomorphic to a subgroup of (Z/(n − 1)Z)n × Sn . We claim that in fact
Gn /Hn is a subdirect product of (Z/(n − 1)Z)n × Sn . Indeed, Hn is contained in the kernel
of ǫ1 , a surjective homomorphism onto (Z/(n − 1)Z)n , and Gn surjects onto Sn .

Let π1 : Gn /Hn ։ Sn and let π2 : Gn /Hn ։ (Z/(n − 1)Z)n . By Goursat’s Lemma,
(Z/(n − 1)Z)n / ker(π1 ) ∼
= Sn / ker(π2 ). Since the only non-trivial abelian quotient of Sn has
n
order 2, (Z/(n − 1)Z) / ker(π1 ) is either trivial or order 2. But since a word in a1 , . . . , an
has trivial permutation only if it has even exponent sum, ker(π1 ) is a proper subgroup of
(Z/(n − 1)Z)n . Therefore,
StabGn (1) = {(g1 , . . . , gn )1 |

n
X

ǫ(gi ) ≡ 0 mod 2}.

i=1



Definition 3.14. For odd n, define Kn := {g ∈ Gn | ǫ(g) ≡ 0 mod 2} ≤ Gn .
Theorem 3.15. For odd n ≥ 5, Kn is the maximal branching subgroup for Gn . In particular, RistGn (m) = X m ∗ Kn for all m. Consequently,
StabGn (m + 1) = X m ∗ StabGn (1) ≤ RistGn (m)
for all m and Gn has trivial rigid kernel.
Proof. Again, it suffices to show that Kn ≥ X ∗ Kn = RistGn (1). By Proposition 3.13,
(1, . . . , 1, g, 1, . . . , 1)1 ∈ Gn if and only if ǫ(g) ≡ 0 mod 2 which is if and only if g ∈ Kn .
Moreover, by Lemma 2.8 such an (1, . . . , 1, g, 1, . . . , 1)1 is in Kn . By Lemma 2.8 and

Proposition 3.13, StabGn (1) ≤ Kn and the rest follows from the above work.
Now, we work with the remaining groups: Gn where n ≥ 5 is even.

THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF BRANCH GROUPS

15

Definition 3.16. A group G ≤ Aut(T ) is called layered if G contains the direct product
of |X| copies of G each acting on one of the subtrees of T rooted at the first level, i.e.
X ∗ G ≤ G.
Theorem 3.17. For even n ≥ 5, StabGn (m) = RistGn (m) = X m ∗ Gn . In particular, Gn
is layered and consequently Gn has trivial rigid kernel.
Proof. It suffices to show for m = 1. Let Hn be as in the proof of Proposition 3.13. By
the same arguments presented there, for even n ≥ 5, Gn /Hn isomorphic to a subgroup of
(Z/(n − 1)Z)n × An (since the root permutations generate An by Lemma 1.9). This time,
Gn /Hn is a subdirect product of (Z/(n − 1)Z)n × An as Hn is again contained in the kernel
of ǫ1 and Gn surjects onto An .
Let π1 : Gn /Hn ։ An and let π2 : Gn /Hn ։ (Z/(n − 1)Z)n . By Goursat’s Lemma,
(Z/(n − 1)Z)n / ker(π1 ) ∼
= An / ker(π2 ). Since the only non-trivial abelian quotient of An
is the trivial group, (Z/(n − 1)Z)n / ker(π1 ) is trivial and so StabGn (1) = X ∗ Gn . Since
X ∗ Gn is in fact a direct product, it is also RistGn (1). Moreover, as X ∗ Gn ≤ Gn , for any
m we have X m ∗ Gn ≤ Gn . Since the group is self similar, the result follows.

Note that Theorem 3.17 tells us that for even n ≥ 5, Gn = Gn ≀ An . In particular, this
implies the following corollary.
Corollary 3.18. For even n ≥ 5, Gn = (· · · An ≀ An ) ≀ An ) ≀ · · · An ), the infinitely iterated
wreath product of An .
3.2. Branch kernels. The combination of Theorems 3.12, 3.15, and 3.17 show that unlike
when n = 3, when n ≥ 4 the congruence kernel for Gn is the same as the branch kernel.
The following is extracted from the proof of Theorem 2.7 in [BSZ12].
Theorem ([BSZ12]). Let G be a branch group. Then the branch kernel is
lim RistG (m)/RistG (m)′ RistG (m)e
←−

e≥1
m≥1

Theorem 3.19. For n 6= 3, the branch kernel, and thus the congruence kernel, for Gn is
the inverse limit
lim Mnm
←−
m≥1

where Mn is a finite abelian group. When n ≥ 5 is even, Mn is cyclic of order n − 1 and
when n = 4 or n ≥ 5 is odd, Mn has exponent bounded between (n − 1) and 2(n − 1).
Proof. For n = 4, RistG4 (m)/RistG4 (m)′ ∼
= (K4 )4 /(K4′ )4 = (K4 /K4′ )4 . Now K4 is
′
a subgroup of index 3 containing G4 and hence surjects onto a subgroup of index 3 in
G4 /G′4 = (Z/3Z)4 . The image of K4 is then an abelian group of exponent 3 and so K4 /K4′
has exponent at least 3. It is easy to check that the normal generators of K4 given by
Theorem 3.12 have order 6. Since conjugating does not change the order of an element,
m

m

m

16

RACHEL SKIPPER

K4 has a generating set consisting of elements of order 6 and so K4 /K4′ has exponent at
most 6. Now since K4 has finite index in a finitely generated group, it is finitely generated.
Therefore K4 /K4′ is a finite abelian group with exponent between 3 and 6.
m
m
m
For odd n ≥ 5, RistGn (m)/RistGn (m)′ ∼
= (Kn )n /(Kn′ )n = (Kn /Kn′ )n . Now Kn is
a subgroup of index 2 containing G′n and as such surjects onto a subgroup of index 2 in
Gn /G′n = (Z/(n − 1)Z)n . Since n ≥ 5, the image of Kn is an abelian group of exponent
(n − 1) and so Kn /Kn′ has exponent at least (n − 1). Moreover, since n is odd, a generating
set for Kn is {an−1 a1 , an a2 , ai ai+2 | 1 ≤ i ≤ n − 2}. It is easy to check that each of these
elements has order 2(n − 1). Thus Kn /Kn′ has exponent at most 2(n − 1).
For even n ≥ 5,
m
m
m
RistGn (m)/RistGn (m)′ ∼
= (Gn )n /(G′n )n = (Gn /G′n )n = (Z/(n − 1)Z)n

nm

.

Now since for all n ≥ 4, RistGn (m)/RistGn (m)′ has finite exponent, the collection
{RistGn (m)/RistGn (m)′ } is cofinal with {RistGn (m)/RistGn (m)′ RistGn (m)e }. Further,
since

RistGn (m)/RistGn (m + 1) =

(

m

(Gn /G′n )n
m
(Kn /Kn′ )n

if n ≥ 5 is even
if n = 4 or n ≥ 5 is odd

we see that similarly {(Gn /G′n )m } and {(Kn /Kn′ )m } respectively also form cofinal sets.
In particular, the branch kernel is
lim Mnm
←−
m≥1

where

(
Gn /G′n
Mn =
Kn /Kn′

if n ≥ 5 is even
if n = 4 or n ≥ 5 is odd


Remark 3.20. Our techniques only put bounds on the exponent of Kn /Kn′ for n = 4 and
odd n ≥ 5. It would be desirable to precisely understand this group.
3.3. Just Infinite-ness.
Definition 3.21. A group is said to be just infinite if it is infinite but every proper quotient
is finite.
In [Gri00] Theorem 4, a criterion for determining when a branch group is just infinite is
posed.
Theorem ([Gri00]). A branch group G is just infinite if and only if for each m ≥ 1, the
index of RistG (m)′ in RistG (m) is finite.

THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF BRANCH GROUPS

17

In [BSZ12], it is shown the G3 /G′′3 is an infinite group and so G3 is not just infinite. For
n ≥ 4, the proof of Theorem 3.19 shows RistGn (m)/RistGn (m)′ is finite. Thus we obtain
the following result.
Theorem 3.22. Gn is just infinite if and only if n 6= 3.
4. Maximal subgroups
In this final section, we present examples to show that triviality of rigid kernel is not
necessarily preserved when moving to subgroups of finite index, even if they are maximal.
In doing so, we present new examples of branch groups with non-trivial rigid kernel, adding
to the only currently known example of the Hanoi Towers group.
Theorem 4.1. For n ≥ 4, let 1 6= d > 2 be such that d | (n − 1) and let Hn,d be the set of
elements g of Gn with ǫ(g) ≡ 0 mod d. The Hn,d is a subgroup of index d in Gn and is a
branch group with non-trivial rigid kernel.
Proof. For any n and d as in the theorem, Hn,d is a subgroup of Gn of index d by Lemma
2.6. Let β = a1 a2 · · · an . We will construct explicit elements that are in StabHn,d (m) but
not in RistHn,d (k) for all k ≤ m.
If n ≥ 4 is odd, then
β = (a1 a3 · · · an , 1, . . . , 1, a2a4 · · · an−1 )(1, n)
and
β 2 = (a1 a3 · · · an a2 a4 · · · an−1 , 1, . . . , 1, a2 a4 · · · an−1 a1 a3 · · · an )1 .
Clearly, β 2 has exponent sum 2n and is not an element of Hn,d . But Hn,d does contains
G′n and therefore also X ∗ G′n and all elements of the form (g, 1, . . . , 1, g −1)1 for g ∈
Gn . Combining these elements we get that β 2 ≡ (β 2 , 1, . . . , 1)1 mod Hn,d and so likewise
(β 2 , 1, . . . , 1)1 is not contained in Hn,d . Inductively we get for any m,
β 2 ≡ (β 2 , 1, . . . , 1)m mod Hn,d
and so (β 2 , 1, . . . , 1)m is not contained in Hn,d .
But again, since Hn,d contains all elements of the form (g, 1, . . . , 1, g −1)1 , the element
(β , 1, . . . , 1, β −2)1 ∈ StabHn,d (1) and again inductively for all m, (β 2 , 1, . . . , 1, β −2)m ∈
StabHn,d (m). But (β 2 , 1, . . . , 1, β −2)m ∈
/ RistHn,d (k) for any k, otherwise (β 2 , 1, . . . , 1)m−k
would be in the group Hn,d , a contradiction.
2

Now if n ≥ 4 is even, then
β = (a1 a3 · · · an−1 , 1, . . . , 1, a2 a4 · · · an )1
and so by the same discussion above β ∈
/ Hn,d and for all m
β ≡ (β, 1, . . . , 1)m mod Hn,d
so (β, 1, . . . , 1)m is not an element of Hn,d but (β, 1, . . . , 1, β −1)m is. The same arguments
show that (β, 1, . . . , 1, β −1)m is not in RistHn,d (k) for any k.


18

RACHEL SKIPPER

5. Hausdorff Dimension
For a closed subgroup H of Aut(T ), the Hausdorff dimension of H can be calculated
([BS97]) by
log |H/StabH (m)|
dimH (H) = lim inf
.
(5.1)
m→∞ log |Aut(T )/StabAut(T ) (m)|
Abért and Virág showed that with probability 1 the closure of the subgroup generated
by three random automorphisms of a binary tree has Hausdorff dimension 1 ([AV05]).
Siegenthaler then constructed the first explicit examples of topologically finitely generated
groups of Hausdorff dimension 1 ([Sie08]).
As a consequence of the work in previous sections, we show that Gn has Hausdorff
dimension arbitrarily close to 1.
Theorem 5.1. For n ≥ 3, the Hausdorff dimension for Gn is

log(48)

1 − log(331776)
if n = 4



log(2)
if n ≥ 5 is even
dimH (Gn ) = 1 − log(n!)



1 − log(2)
if n is odd
n log(n!)

Proof. For n = 4, |G4 /StabG4 (1)| = |A4 | = 4!2 by Lemma 1.9. It can easily be checked from
the generators of Proposition 3.11 that StabG4 (1)/StabG4 (2) is an index 3 subgroup of A4 ×
4!4
A4 × A4 × A4 , so |StabG4 (1)/StabG4 (2)| = 3·2
4 . For m ≥ 2, |StabG4 (m − 1)/StabG4 (m)| =
4m−2
|StabG4 (1)/StabG4 (2)|
by Theorem 3.12. Hence equation 5.1 yields

dimH (G4 ) = lim inf
m→∞

= lim inf
m→∞

log

m−1

4!1+4+···+4
21+4+···4m−1 31+4+···4m−2
log(4!1+4+···4m−1 )

log(4!

4m −1
3

) − log(2

4m −1
3



) − log(3

4m−1 −1
3

)

4m −1
3

)
log(4!
m−1
log(2)
(4
− 1) log(3)
= lim inf 1 −
−
m
m→∞
log(4!)
(4 − 1) log(4!)
log(3)
log(2)
−
=1−
log(4!) 4 log(4!)
log(48)
=1−
.
log(331776)
For even n ≥ 5, Gn /StabGn (1) = An and StabGn (m − 1)/StabGn (m) = (An )n
Lemma 1.9 and Theorem 3.17. Therefore

m−1

by

THE CONGRUENCE SUBGROUP PROBLEM FOR A FAMILY OF BRANCH GROUPS

dimH (Gn ) =

m−1



19

n!1+n+···n
21+n+···nm−1
log(n!1+n+···nm−1 )

log

= lim inf

log((n!)

m→∞

=1−

nm −1
n−1

) − log(2

log(n!

nm −1
n−1

nm −1
n−1

)

)

log(2)
.
log(n!)

Finally, when n is odd |Gn /StabGn (1)| = |Sn | = n! by Lemma 1.9. Additionally,
n
|StabGn (1)/StabGn (2)| = n!2 by Proposition 3.13 and Lemma 5.7 in [Ski16]. Moreover,
m−2

|StabGn (m − 1)/StabGn (m)| = |StabGn (1)/StabGn (2)|4
Lemma 5.8 in [Ski16]. Thus

dimH (Gn ) =

m−1

=

m−1

n!n
2nm−2

by Theorem 3.17 and



n!1+n+···n
21+n+···nm−2
lim inf
m−1
m→∞ log(n!1+n+···n
)

log

= lim inf

log(n!

nm −1
n−1

m→∞

) − log(2

nm−1 −1
n−1

)

nm −1
n−1

log(n!
)
(nm−1 − 1) log(2)
= lim inf 1 −
m→∞
(nm − 1) log(n!)
log(2)
.
=1−
n log(n)

Corollary 5.2. For all ǫ > 0, there exists n such that dimH (Gn ) > 1 − ǫ.
References
[AV05]

Miklós Abért and Bálint Virág. Dimension and randomness in groups acting on rooted trees.
J. Amer. Math. Soc., 18(1):157–192, 2005.
[BGŠ03]
Laurent Bartholdi, Rostislav I. Grigorchuk, and Zoran Šunik. Branch groups. Handbook of
Algebra, 3:989–1112, 2003.
[BS97]
Yiftach Barnea and Aner Shalev. Hausdorff dimension, pro-p groups, and Kac-Moody algebras.
Trans. Amer. Math. Soc., 349(12):5073–5091, 1997.
[BS09]
Laurent Bartholdi and Olivier Siegenthaler. The Twisted Twin of the Grigorchuk Group.
International Journal of Algebra and Computation, 20(4), 2009.
[BSZ12]
Laurent Bartholdi, Olivier Siegenthaler, and Pavel Zalesskii. The congruence subgroup problem for branch groups. Israel Journal of Mathematics, 187(1):419–450, 2012.
[FAGUA17] Gustavo A. Fernández-Alcober, Alejandra Garrido, and Jone Uria-Albizuri. On the congruence subgroup property for GGS-groups. Proceedings of the American Mathematical Society,
2017.

20

RACHEL SKIPPER

[Gar16a]
[Gar16b]
[Gri00]

[GŠ06]
[GŠ07]

[Per07]
[RZ10]
[Sie08]
[Sie09]
[Ski16]
[Zuk12]

Alejandra Garrido. Abstract commensurability and the Gupta-Sidki group. Groups Geom.
Dyn., 10(2):523–543, 2016.
Alejandra Garrido. On the congruence subgroup problem for branch groups. Israel Journal
of Mathematics, 216(1):1–13, 2016.
Rostislav I. Grigorchuk. Just infinite branch groups. In Marcus du Sautoy, Dan Segal, and
Aner Shalev, editors, New Horizons in pro-p groups, chapter 4, pages 121–179. Birkhäuser
Boston, Boston, MA, 2000.
Rostislav I. Grigorchuk and Zoran Šunik. Asymptotic aspects of Schreier graphs and Hanoi
Towers groups. Comptes Rendus Mathematique, 342(8):545–550, 2006.
Rostislav Grigorchuk and Zoran Šunić. Self-similarity and branching in group theory. In
Groups St. Andrews 2005. Vol. 1, volume 339 of London Math. Soc. Lecture Note Ser., pages
36–95. Cambridge Univ. Press, Cambridge, 2007.
Ekaterina Pervova. Profinite completions of some groups acting on trees. Journal of Algebra,
310(2):858–879, 2007.
Luis Ribes and Pavel Zalesskii. Profinite Groups. Ergebnisse der Mathematik und ihrer Grenzgebiete, 40:1–464, 2010.
Olivier Siegenthaler. Hausdorff dimension of some groups acting on the binary tree. J. Group
Theory, 11(4):555–567, 2008.
Olivier Siegenthaler. Discrete and profinite groups acting on regular rooted trees. 2009. Thesis
(Ph.D.)–Georg-August-Universtät Göttingen.
Rachel Skipper. A constructive proof that the Hanoi towers group has non-trivial rigid kernel.
2016.
Andrzej Zuk. Automata groups. In Topics in noncommutative geometry, volume 16 of Clay
Math. Proc., pages 165–196. Amer. Math. Soc., Providence, RI, 2012.

Department of Mathematical Sciences, Binghamton University, Binghamton, NY 13902
E-mail address: skipper@math.binghamton.edu

