arXiv:1606.00772v2 [math.GR] 29 Nov 2017

A CONSTRUCTIVE PROOF THAT THE HANOI TOWERS
GROUP HAS NON-TRIVIAL RIGID KERNEL
RACHEL SKIPPER
Abstract. In 2012, Bartholdi, Siegenthaler, and Zalesskii computed
the rigid kernel for the only known group for which it is non-trivial, the
Hanoi towers group. There they determined the kernel was the Klein
four-group. In this note, we present a simpler proof of this theorem. In
the course of the proof, we also compute the rigid stabilizers and present
proofs that this group is a self-similar, self-replicating, regular branch
group.

1. Introduction
Since the construction of the first Grigorchuk group in 1980, the study of
branch groups has developed into an important area in group theory. Branch
groups derive their value from the unusual properties that groups in this
class can exhibit. Amenable but not elementary amenable groups, groups of
finite width, groups with intermediate growth, and finitely generated infinite
torsion groups are a few of the types that can arise. As a result, these groups
have been heavily studied in recent years [BGS̆03].
Showing that these groups have interesting properties and understanding
why are equally important tasks as the latter can be used to gain a deeper
understanding of these groups and eventually used to construct groups with
additional noteworthy properties. For this reason, constructive proofs using
the underlying geometry and properties of the group as opposed to more
abstract techniques are essential.
In this note we give a short proof of the theorem of [BSZ12], namely that
the rigid kernel for the Hanoi Towers Group is the Klein four-group. Along
the way we establish various other properties of that group. Since this is the
only branch group thus far shown to have non-trivial rigid kernel, acquiring
a deeper understanding of the Hanoi towers group is desirable, a task we
seek to achieve here.
In section 2, we describe various properties of branch groups as well as
provide the necessary terminology and notation for the rest of the paper. In
section 3, we present the congruence subgroup problem for branch groups.
In section 4, we describe the “Towers of Hanoi” game and present the Hanoi
towers group which models this game for any number of disks. And finally,
The author is grateful to Marcin Mazur for his helpful discussions in preparation of
this paper.
1

2

RACHEL SKIPPER

in section 5, we prove a number of properties of this group along with the
main theorem.
2. Branch groups
Branch groups are defined in terms of their actions on trees, so for this
reason we introduce some initial vocabulary and notation to aid in the discussion of groups of this type.
For any vertex u in a rooted tree, its level will be defined as the length
of the geodesic from the root to u and denoted |u|. The tree is called
spherically homogeneous if every vertex on a given level has the same
valency.
An infinite, spherically homogeneous, rooted tree is fully determined by
a sequence of integers m “ pm1 , m2 , . . . q where each vertex of level n ´ 1
has mn adjacent vertices of level n. Tm will denote the tree with defining sequence m. The tree is called regular when the defining sequence is constant,
d :“ m1 “ m2 “ ¨ ¨ ¨ . Such a tree is referred to as a d-ary tree. When the
defining sequence is either arbitrary or clear from the context, the subscript
will be dropped. With this notation, we will write H for the root and we will
identify a vertex u of level n with a sequence of integers u “ pu1 , u2 , . . . , un q
where 1 ď ui ď mi and where the prefixes of the sequence correspond to
the vertices on the geodesic between u and H. Then the set of vertices of
level n in T can be ordered linearly using the lexicographical ordering. Thus
when convenient, we will number the vertices of level n by the indexing set
t1, 2, . . . , m1 ¨ ¨ ¨ mn u.
When we wish to indicate that the tree is a d-ary tree, an alternate
notation will be used. We will use X for the set t1, 2, . . . , du, X n for for
sequences of length n in X (the vertices of level n in the tree), and X ˚ for
the infinite d-ary tree.
V pTm q will denote the set of vertices of Tm . The automorphism group
of Tm , denoted AutpTm q, consists of bijections from V pTm q to V pTm q that
preserve the root and preserve edge incidences. Thus, vertices of the same
level in Tm can only be permuted among themselves. Because of this, an
element g in AutpTm q can be regarded as a labeling of the vertices of Tm
by permutations, tgpvquvPV pTm q , where if |v| “ n then gpvq P Smn , the
symmetric group on mn letters. Then for a vertex u “ pu1 , u2 , . . . , un q, the
action of g is computed as
gpHq

ug :“ pu1

gpu1 q

, u2

, . . . , ungpu1 ,...,un´1 q q.

We say a vertex v P V pTm q is a descendant of u if the geodesic from v
to ∅ includes the geodesic from u to ∅. The set of descendants of u forms
the subtree rooted at u, denoted Tu . If Tm is a spherically homogeneous,
rooted tree then for any n, each subtree of Tm rooted at a vertex of level n
is canonically isomorphic to Tψn pmq , where ψ n pmq “ pmn`1 , mn`2 , . . . q. As
a result, there is a natural isomorphism AutpTm q – AutpTψn pmq q ≀ Mn “

A CONSTRUCTIVE PROOF

3

ś
p AutpTψn pmq qq ¸ Mn where Mn “ p¨ ¨ ¨ pSmn ≀ Smn´1 q ≀ ¨ ¨ ¨ q ≀ Sm1 with Sk
signifying the symmetric group on k letters. The iterated wreath product
Mn is the automorphism group of the finite subtree of Tm consisting of
vertices of level less than or equal to n. When the tree is a regular dary tree, then the subtree rooted at any vertex is isomorphic to the full
tree and we get the natural isomorphism AutpX ˚ q – AutpX ˚ q ≀ Mn with
Mn “ p¨ ¨ ¨ pSd ≀ Sd q ≀ ¨ ¨ ¨ q ≀ Sd .
Following the notation of [BSZ12], for g PAutpTm q and for u a vertex
of level n, we will denote by g@u the uth coordinate of g in the canonical
identification AutpTm q – pAutpTψn pmq q ˆ ¨ ¨ ¨ AutpTψn pmq qq ≀ Mn , and we will
call it the state of g at u. Any element g PAutpTm q, can be described as
g “ pg1 , . . . , gm1 qσ where σ the permutation labeling at the root and gi ,
1 ď i ď m1 , is the state of g at the ith subtree rooted at the first level.
In the case of the d-ary tree, for g P AutpX ˚ q, the states of g are also in
Aut(X ˚ ).
For any subgroup G of AutpTm q, four families of subgroups arise naturally.
For a vertex u P V pTm q, the vertex stabilizer of u, StabG puq, 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 path between u and ∅,
except possibly at u. For a non-negative
č integer n, the nth level stabilizer,
StabG pnq, is the normal subgroup
StabG puq. In terms of the labelings,
|u|“n

this consists of the elements of G with trivial labeling on all vertices v where
|v| ď n ´ 1. Note that for all n, StabG pnq has finite index in G.
When g P StabG pnq, it can be defined by g “ pg1 , . . . , gm1 ¨¨¨mn qn where
each gi , 1 ď i ď m1 ¨ ¨ ¨ mn , describes the state of g at the ith subtree rooted
at the nth level. In addition, we can canonically identify StabG pnq{StabG pn`
1q with a subgroup of pSmn`1 qm1 ¨¨¨mn . Hence elements in this quotient will
be described by a m1 ¨ ¨ ¨ mn -tuple of permutations.
Next, the rigid stabilizer of a vertex u, RistG puq, 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 . If G acts transitively on all the levels of Tm , then
for any two vertices u and v such that |u| “ |v|, RistG puq – RistG pvq
(and in fact are conjugate in G). And finally, for a non-negative integer n, the nth level rigid
ź stabilizer is the normal subgroup RistG pnq “
xRistG puq| |u| “ ny “
RistG puq, the internal direct product of the rigid
|u|“n

stabilizers of the vertices of level n. For any group G acting faithfully on
Tm , RistG pnq ď StabG pnq.
A subgroup G of Aut(T q is said to be a branch group if G acts transitively on each level of T and for all n, RistG pnq has finite index in G.

4

RACHEL SKIPPER

3. The congruence subgroup problem for branch groups
The congruence subgroup property for branch groups derives its name
from the congruence subgroup problem for SLpn, Zq which asks if every
subgroup of finite index in SLpn, Zq contains a principal congruence subgroup, the kernel of the map SLpn, Zq Ñ SLpn, Z{mZq for some m. This
is false for n “ 2 but was answered affirmatively for n ě 3 in [BLS64].
Similarly, we say that a branch group G has the congruence subgroup
property if every subgroup of finite index contains the nth level stabilizer
for some n. We can restate this in terms of profinite completions as follows.
Since StabG pnq has finite index in G for all n and since this collection
forms a descending collection of normal subgroups, taking tStabG pnq|n P Nu
as a basis for the neighborhoods of t1u produces a profinite topology on
G (see Section 3.1 [RZ10]) called the congruence topology. Likewise
RistG pnq has finite index for all n, 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 “ tN E G | |G : N | ă 8u
is taken as a basis for the neighborhoods of t1u. Observe that 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 pnq

the congruence completion

r “ lim G{RistG pnq
G
ÐÝ

the branch completion

ně1

ně1

p “ lim G{N
G
ÐÝ

the profinite completion

N PN

Ş
As G is a subgroup of AutpT q, we see ně1 StabG pnq “ t1u, G is residur and G.
p
ally finite and embeds into G, G,
Thus G has the congruence subgroup property if and only if the conp Ñ Gq, is trivial. The congruence subgroup
gruence kernel, kerpG
problem for branch 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, namely
p Ñ Gq,
r and the rigid kernel, kerpG
r Ñ Gq. Althe branch kernel, kerpG
though a group may 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 [Gar16].
Many of the most studied branch groups have been shown to have a
trivial congruence kernel, including the Fabrykowsky-Gupta group and the
Gupta-Sidki group [BGS̆03], the Grigorchuk group and an infinite family of

A CONSTRUCTIVE PROOF

5

generalizations of the Fabrykowsky-Gupta group [Gri00], and GGS-groups
with non-constant accompanying vectors [Per07], [FGU17].
Pervova [Per07] constructed the first branch groups without the congruence subgroup property. Nevertheless, the groups in her infinite family,
periodic EGS groups with non-symmetric accompanying vector, have nontrivial 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].
For this reason, we explore the various properties of the Hanoi towers group.
Remark 1. Since the writing of this paper, the author has constructed new
examples of branch groups with non-trivial rigid kernel. They appear as
finite index subgroups of a generalization of the Hanoi towers group [Ski17].
4. The game and the group
The Hanoi towers group Γ was first introduced by Grigorchuk and S̆uniḱ
[GS̆06]. The action of Γ on the first n levels of the tree models the “Towers
of Hanoi” game with n disks, hence the name. We start by describing the
game.
The “Towers of Hanoi” game for three pegs and n disks works as follows.
It begins with 3 pegs and n disks each of varying size organized from largest
to smallest on the first peg. Figure 1 shows this initial game state for n “ 6.
The goal of the game is to move each of the disks from the first peg to the
third peg through a series of moves. Each move consists of taking the top
disk from one peg and placing it atop another peg with the restriction that
at no point can a disk be on top of a smaller disk.

Figure 1. The beginning game state for the “Towers of Hanoi”.
The restriction on the moves in the game limits a player’s options to
three possibilities. The first move, which will be called move a, transfers
the smallest disk on pegs 2 and 3 between them. Likewise, move b transfers
the smallest disk on pegs 1 and 3 between them and move c transfers the
smallest disk on pegs 1 and 2 between them.

6

RACHEL SKIPPER

Any sequence of moves yields a game state which consists of the disks
distributed across the three pegs such that on each peg, starting at the
bottom and working up, the disks decrease in size. Thus, every game state
in the n-disk game can be encoded as a sequence of n integers between 1
and 3 in the following way: the first integer indicates the location of the
smallest disk, the second integer indicates the location of the next smallest
disk and so forth until the final integer indicates the location of the largest
disk. For example, the Figure 2 shows a possible game state for the 6-disk
game corresponding to the sequence p2, 1, 3, 2, 2, 1q.

Figure 2. The game state corresponding to p2, 1, 3, 2, 2, 1q.
Integer sequences of length n where the integers are between 1 and 3 can
also be thought of as a vertex on the nth level in a rooted ternary tree as
described in Section ?? and as seen in Figure 3.
∅

2

1
2

1

1

2

3

1 2

3

3

1

2

2

1

3 1

2

3

3

1 2

3

3

1

2

2

1

3

1

2

3

1

2

3

3 1

2

3

Figure 3. The rooted ternary tree
Since any move in the game takes one game state to another game state,
i.e. takes one vertex on the nth level in the tree to another vertex on the
nth level, each move can be thought of as an automorphism of the rooted
ternary tree. Move a should search for the first time a 2 or 3 appears in
the path, and then switch them. Moves b and c should act similarly but
instead with the numbers 1 and 3 and the numbers 1 and 2 respectively.
For example, move b takes the sequence p2, 1, 3, 2, 2, 1q to p2, 3, 3, 2, 2, 1q.
In the same way we can define elements a, b and c acting on the whole
ternary tree X ˚ . They are as follows:
a :“ pa, 1, 1qσ23

b :“ p1, b, 1qσ13

c :“ p1, 1, cqσ12

A CONSTRUCTIVE PROOF

σ23

σ23

1

σ23

1

1

1

1

σ12

σ13

σ23

1

7

1

σ13

1

1

σ13

1

1

σ13

1

1

1

σ12

1

1

σ12

1

1

σ12

Figure 4. The generators a, b, and c of the Hanoi towers group
where we are using the isomorphism AutpX ˚ q – AutpX ˚ q ≀ S3 .
Figure 4 shows the labeling of the vertices by elements in S3 for a, b, and
c respectively. Then the Hanoi towers group is Γ :“ xa, b, cy. In [BSZ12] a
full presentation for Γ is obtained. It is:
(1)

Γ “ xa, b, c|a2 , b2 , c2 , τ n pw1 q, τ n pw2 q, τ n pw3 q, τ n pw4 q for all n ě 0y

where τ is an endomorphism of Γ defined by the substitution
a ÞÑ a

b ÞÑ bc

c ÞÑ cb

and where
w1 “ rb, asrb, csrc, asra, csb ra, bsc rc, bs
w2 “ rb, csa rc, bsrb, asrc, asra, bsra, csb
w3 “ rc, bsra, bsrb, csa rc, bs2 rb, asrb, csa rb, csa
w4 “ rb, csa ra.bsc rb, as2 ra, csra, bsc rc, asrc, bs.
5. Properties of the Hanoi towers group and the proof of the
main result
In this section we compute the rigid kernel for Γ. For any branch group
G, the rigid kernel is
r Ñ Gq “ lim StabG pnq{RistG pnq
kerpG
ÐÝ
ně1

where the maps ρn,n`k : StabG pn ` kq{RistG pn ` kq Ñ StabG pnq{RistG pnq
come from the natural inclusions StabG pn ` kq ãÑ StabG pnq and
r
Rist
G pn ` kq ãÑ RistG pnq. This is because, by definition, G is the subgroup
ź
of
G{RistG pnq consisting of sequences pgn RistG pnqqně1 where
ně1

gn`1 RistG pnq “ gn RistG pnq
ź
for all n. Likewise, G is the subgroup of
G{StabG pnq consisting of tuples
ně1

phn StabG pnqqně1 where
hn`1 StabG pnq “ hn StabG pnq

8

RACHEL SKIPPER

r Ñ G is precisely those sequences
for all n. Thus the kernel of the map G
pgn RistG pnqqně1 where for all n, gn P StabG pnq, i.e. Ð
lim
Ý StabG pnq{RistG pnq.
ně1

Note that the maps ρn,n`k are far from being surjective and most of our
work in computing the rigid kernel for Γ will be in determining the image
ρn,n`k pStabΓ pn ` kq{RistΓ pn ` kqq for all n and k.
First we observe that since each generator of Γ has order 2, any element
in Γ can be expressed as a word in a, b, and c using only the positive
alphabet. Further, since each relator in (1) can be written as a product of
commutators, Γ{Γ1 – pC2 q3 where C2 is a cyclic group of order 2. Thus a
word in a, b, and c is in Γ1 if and only if the sum of the exponents on each
letter is congruent to 0 modulo 2.
Using the Reidemeister-Schreier method, we obtain a generating set for
StabΓ p1q:
α :“ acab “ pa, cb, aq1

β :“ abac “ pa, a, bcq1

δ :“ bcba “ pca, b, bq1
γ :“ babc “ pb, b, acq1 .
A group G ďAutpT q is level transitive if it acts transitively on each
level of AutpT q. If T “ X ˚ , the infinite d-ary tree, then G ď AutpX ˚ q is
called self-replicating if StabG puq@u “ G for any vertex u. If G is both
self-replicating and acts transitively on the first level of the tree, then G is
level transitive.
As Γ{StabΓ p1q “ S3 , Γ clearly acts transitively on the first level of the
ternary tree. Thus to show it is level transitive, it is sufficient to show it is
self-replicating.
Lemma 2. Γ is self-replicating.
Proof. From the generators obtained for StabΓ p1q above we see
StabΓ puq@u “ Γ for any vertex u of level 1. Now suppose for any vertex
v of level n, StabΓ pvq@v “ Γ and let w be an immediate descendant of v.
Then let p, q, r, and s be the elements in StabΓ pvq that act as α, β, δ, and
γ on the subtree rooted at v. Then, p, q, r, and s are in StabΓ pwq and p@w,
q@w, r@w, and s@w generate Γ. Thus, StabΓ pwq@w “ Γ.

G ď AutpX ˚ q is said to be self-similar if G@u is contained in G for any
u P V pX ˚ q.
For a vertex u P V pX ˚ q and for an element g P AutpX ˚ q, u˚g will be used
to denote the automorphism of X ˚ described by p1, . . . , 1, g, 1, . . . , 1qn where
n “ |u| and g is in the uth coordinate; in other words u ˚ g acts as g on the
subtree rooted at u and acts trivially outside this subtree. For a subgroup
K ď AutpX ˚ q, u ˚ K :“ tu ˚ k|k P Ku. Further, as X n represents
źthe set
n
of vertices of level n in the tree, X ˚ K will be used to denote
u˚K
|u|“n

AutpX ˚ q.

AutpX ˚ q

where K ď
A group G ď
is said to be regular branch
if it is level transitive and there is a subgroup K with finite index in G such
that u ˚ K ď K for all u P V pX ˚ q and such that X n ˚ K has finite index in

A CONSTRUCTIVE PROOF

9

G for all n. In this case, K is called a branching subgoup. If a group is
regular branch then it is also branch as X n ˚ K ď RistG pnq.
An important observation that will be used frequently in the remainder
of the paper is that if X n ˚ H ď G, then
(2)

StabG pn ` mq X X n ˚ H “ X n ˚ StabH pmq.

This is because X n ˚ H describes a disjoint action on each subtree rooted
at the nth level, and so on each of these subtrees StabG pn ` mq X X n ˚ H
describes the collection of elements that are contained in H and stabilize
the mth level.
Lemma 3. Γ is a self-similar, regular branch group with branching subgroup
Γ1 .
Proof. The definition of the generators of Γ easily implies that Γ is selfsimilar. We will show by induction that X n ˚ Γ1 ď Γ1 . For n “ 1, observe
that
pacbcq2 “ pabab, 1, 1q1 “ pra, bs, 1, 1q1
pabcbq2 “ pacac, 1, 1q1 “ pra, cs, 1, 1q1
cpbacaq2 c “ pbcbc, 1, 1q1 “ prb, cs, 1, 1q1
and pacbcq2 , pabcbq2 , and cpbacaq2 c are all in Γ1 since Γ{Γ1 is an elementary
abelian 2-group.
From the description of the generators for StabΓ p1q, we see that for all
g P Γ there is an element g̃ P StabΓ p1q whose state in the first coordinate is
g. Conjugating pacbcq2 by g̃ produces the element pra, bsg , 1, 1q1 . Likewise,
we can obtain the element that has any conjugate of ra, cs or rb, cs in the
first coordinate and 1 in the second and third coordinates. As Γ is transitive
on all levels of T , we obtain X ˚ Γ1 ď Γ1 .
Now assume for some n ě 1, that X n ˚ Γ1 ď Γ1 . By the base case, each
copy of Γ1 contains a copy of X ˚ Γ1 . Therefore, X n ˚ pX ˚ Γ1 q ď X n ˚ Γ1 ď Γ1 .
But X n ˚ pX ˚ Γ1 q “ X n`1 ˚ Γ1 .

Lemma 4. For all n ě 1, RistΓ pnq “ X n ˚ Γ1 .
Proof. The proof is by induction on the level. By Lemma 3, X ˚ Γ1 ď
RistΓ p1q ď StabΓ p1q ď X ˚ Γ. Note that pX ˚ Γq{pX ˚ Γ1 q – pΓ{Γ1 q3 –
rpZ{2Zq3 s3 – pZ{2Zq9 . Consider H, the rigid stabilizer of the first vertex of
level 1. The image H in pZ{2Zq9 is contained in the subspace W consisting
of vectors which have 0 in the ith coordinate for i ě 4. On the other hand,
the image U of StabΓ p1q in pZ{2Zq9 is spanned by the images of α, β, δ, and
γ which are
α
r “ p1, 0, 0, 0, 1, 1, 1, 0, 0q
βr “ p1, 0, 0, 1, 0, 0, 0, 1, 1q
δr “ p1, 0, 1, 0, 1, 0, 0, 1, 0q
γ
r “ p0, 1, 0, 0, 1, 0, 1, 0, 1q.

10

RACHEL SKIPPER

It is a simple exercise to see that W X U “ t0u. It follows that H ď X ˚ Γ1
and thus RistΓ p1q “ X ˚ Γ1 .
Now assume for some n ě 1 that RistΓ pnq “ X n ˚ Γ1 . Then, again, by
Lemma 3, X n`1 ˚Γ1 ď RistΓ pn`1q “ RistΓ pn`1qXX n ˚Γ1 “ X n ˚RistΓ1 p1q ď
X n ˚ RistΓ p1q “ X n`1 ˚ Γ1 , giving X n`1 ˚ Γ1 “ RistΓ pn ` 1q.

n

Corollary 5. For all n, RistΓ pnqStabΓ pn ` 1q{StabΓ pn ` 1q “ pA3 q3 where
A3 is the alternating group on 3 letters.
Proof. The projection Γ Ñ Γ{StabΓ p1q – S3 takes Γ1 onto A3 , hence Γ1 {StabΓ1 p1q –
A3 . Further,
RistΓ pnqStabΓ pn ` 1q{StabΓ pn ` 1q – X n ˚ Γ1 {rpX n ˚ Γ1 q X StabΓ pn ` 1qs
n

n

– X n ˚ Γ1 {X n ˚ StabΓ1 p1q – pΓ1 {StabΓ1 p1qq3 – pA3 q3 .

Corollary 6. The rigid kernel for Γ is an elementary abelian 2-group.
Proof. Since StabΓ pnq ď X n ˚ Γ, we have
StabΓ pnq{RistΓ pnq “ StabΓ pnq{X n ˚ Γ1
n

is a subspace of X n ˚ Γ{X n ˚ Γ1 – pΓ{Γ1 q3 which is an elementary abelian
2-group. An inverse limit of elementary abelian 2-groups is an elementary
abelian 2-group.

Corollary 7. |StabΓ p1q{RistΓ p1q| “ 16 and |StabΓ1 p1q{RistΓ1 p1q| “ 4.
Proof. We have seen in the proof of Lemma 4 that StabΓ p1q{RistΓ p1q “
StabΓ p1q{X ˚ Γ1 “ U is a four dimensional vector space over F2 (the images
of α, β, δ, and γ form a basis). Hence U has 16 elements.
Now, by Lemmas 3 and 4, we see that RistΓ pnq “ RistΓ1 pnq “ X n ˚ Γ1 .
This gives StabΓ1 p1q{RistΓ1 p1q “ pStabΓ p1qXΓ1 q{RistΓ p1q “ U X pΓ1 {RistΓ p1qq.
Moreover, since a word in a, b, and c is in Γ1 if and only if each generator
appears in it an even number of times, a word in α, β, δ, and γ is in Γ1 if
and only if the number of appearances of α and β have the same parity and
the number of appearances of δ and γ have the same parity. It follows that
U X pΓ1 {RistΓ p1qq is the two dimensional subspace spanned by α
r ` βr and
r
δ`r
γ.

As Γ is self-replicating, if g P StabΓ puq, then g@u must also be an element
of Γ. Corollary 7 and the following lemma serve to elucidate the action of
Γ on the top levels of T .

Lemma 8.
(a) Γ{StabΓ p1q – S3 , the symmetric group on three letters.
(b) StabΓ p1q{StabΓ p2q considered as a subgroup of pS3 q3 is the kernel of
the homomorphism φ : pS3 q3 Ñ C2 where φ sums the signs of the
permutation in each coordinate. This quotient has order 22 ¨ 33 .

A CONSTRUCTIVE PROOF

11

Proof. a) We have already observed that Γ{StabΓ p1q – S3 .
b) The images of α, β, δ, and γ in StabΓ p1q{StabΓ p2q are
α “ pσ23 , σ123 , σ23 q

β “ pσ23 , σ23 , σ132 q

δ “ pσ123 , σ13 , σ13 q

γ “ pσ13 , σ13 , σ132 q.
2

Thus α, β, δ, and γ are in kerpφq. Further δ “ pσ132 , 1, 1q and, by spherical transitivity, this implies that pA3 q3 ď StabΓ p1q{StabΓ p2q. Also, αβ “
p1, σ13 , σ13 q and δγ “ pσ23 , 1, σ23 q. Collectively, these elements generate
kerpφq.

Now we apply our knowledge of the permutations appearing on the top
levels of the tree to gain an understanding of action on subtrees rooted at
the lower levels.
Lemma 9. For n ě 1, we have isomorphisms StabΓ1 pnq{StabΓ1 pn ` 1q –
StabΓ pnq{StabΓ pn ` 1q – X n´1 ˚ StabΓ p1q{X n´1 ˚ StabΓ p2q. In particular,
n
n´1
¨ 33 .
all three groups have order 22¨3
Proof. Since
StabΓ1 pnq{StabΓ1 pn ` 1q “ StabΓ1 pnq{pStabΓ1 pnq X StabΓ pn ` 1qq,
the group StabΓ1 pnq{StabΓ1 pn ` 1q can be considered as a subgroup of
StabΓ pnq{StabΓ pn ` 1q. By self-similarity, StabΓ pnq{StabΓ pn ` 1q can be
considered as a subgroup of pX n´1 ˚ StabΓ p1qq{pX n´1 ˚ StabΓ p2qq, a group
n
n´1
¨ 33 . Therefore it suffices to prove that
of order 22¨3
n´1

|StabΓ1 pnq{StabΓ1 pn ` 1q| ě 22¨3

n

¨ 33 .

Observe that Γ1 {StabΓ1 p1q – A3 , generated by the image of ra, bs “
pab, a, bqσ123 and recall that RistΓ pnq “ X n ˚ Γ1 ď Γ1 . It follows that
StabΓ1 pnq{StabΓ1 pn ` 1q contains pX n ˚ Γ1 qStabΓ1 pn ` 1q{StabΓ1 pn ` 1q. Note
that
pX n ˚ Γ1 qStabΓ1 pn ` 1q{StabΓ1 pn ` 1q – X n ˚ Γ1 {pStabΓ1 pn ` 1q X X n ˚ Γ1 q
n

n

“ X n ˚ Γ1 {X n ˚ StabΓ1 p1q – pΓ1 {StabΓ1 p1qq3 – pA3 q3 .
n

Therefore, StabΓ1 pnq{StabΓ1 pn ` 1q has a subgroup of order 33 .
Now, StabΓ1 pnq{StabΓ1 pn ` 1q also contains a subgroup isomorphic to
pX n´1 ˚ Γ1 X StabΓ1 pnqq{pX n´1 ˚ Γ1 X StabΓ1 pn ` 1qq. Moreover, by (2) this
n´1
n´1
which has order 22¨3
subgroup is isomorphic to pStabΓ1 p1q{StabΓ1 p2qq3
by Corollary 7.

Now, we have all the tools needed to prove the main theorem.
r Ñ Γq is the Klein four-group.
Theorem 10. The rigid kernel kerpΓ

12

RACHEL SKIPPER

Proof. By Corollary 6, the rigid kernel is an elementary abelian 2-group, so
we only need to show that it has order 4.
For notational simplicity, for all n ě 1, define Γn :“ StabΓ pnq{RistΓ pnq.
Further, under the natural map from Γn`k to Γn , let Hn,n`k be the image
of Γn`k in Γn , let Kn,n`k be the kernel of this map, and let Qn,n`k be the
cokernel of this map (note that Hn,n`k E Γn ).
Recall that the rigid kernel is Ð
lim
Ý Γn . We will show that for all n, Hn,n`1 “
ně1

Hn,n`2 and that both have order 4. This implies that for each n, the maps
Hn`1,n`2 Ñ Hn,n`1 are isomorphisms and hence lim
ÐÝ Hn,n`1 also
ÐÝ Γn “ lim
ně1

ně1

has order 4, completing the proof.
The first step in doing this is to determine Hn,n`1 . We have the exact
sequence
1 Ñ Kn,n`1 Ñ Γn`1 Ñ Γn Ñ Qn,n`1 Ñ 1.

(3)
Now

Kn,n`1 “ pStabΓ pn ` 1q X RistΓ pnqq{RistΓ pn ` 1q
“ pStabΓ pn ` 1q X X n ˚ Γ1 q{X n`1 ˚ Γ1 “ X n ˚ StabΓ1 p1q{X n`1 ˚ Γ1
n

– pStabΓ1 p1q{RistΓ1 p1qq3 ,
n
hence |Kn,n`1 | “ 22¨3 from Corollary 7.
n´1
elements by
Also, Qn,n`1 “ StabΓ pnq{RistΓ pnqStabΓ pn ` 1q has 22¨3
Lemma 9 and Corollary 5.
|Kn,n`1 |
|
4¨3n´1 . Further, by
“ |Qn,n`1
Since sequence (3) is exact, |Γ|Γn`1
| “ 2
n|
Corollary 7, |Γ1 | “ 16. Collectively, we obtain
n
ź
n´1
i´2
4
24¨3 “ 22¨p3 `1q
|Γn | “ 2
i“2
|Γn`1 |
|Kn,n`1 |

2p3n `1q

and the size of Hn,n`1 is
“ 2 22¨3n “ 4.
Now it remains to show that Qn,n`2 “ Qn,n`1 as this would imply
Hn,n`2 “ Hn,n`1 and moreover that Hn`1,n`2 maps isomorphically to
Hn,n`1 for all n.
Now
Qn,n`i “ StabΓ pnq{pX n ˚ Γ1 qStabΓ pn ` iq.
Thus showing Qn,n`1 “ Qn,n`2 is the same as showing
pX n ˚ Γ1 qStabΓ pn ` 1q “ pX n ˚ Γ1 qStabΓ pn ` 2q.
By Lemma 9,
StabΓ pn ` 1q{StabΓ pn ` 2q – X n ˚ StabΓ p1q{X n ˚ StabΓ p2q
– X n ˚ StabΓ1 p1q{X n ˚ StabΓ1 p2q.
Hence, StabΓ pn ` 1q “ StabΓ pn ` 2qpX n ˚ StabΓ1 p1qq and we obtain
pX n ˚ Γ1 qStabΓ pn ` 1q “ pX n ˚ Γ1 qpX n ˚ StabΓ1 p1qqStabΓ pn ` 2q

A CONSTRUCTIVE PROOF

13

“ pX n ˚ Γ1 qStabΓ pn ` 2q.

References
[BGS̆03] Bartholdi, Laurent; Grigorchuk, Rostislav I.; S̆uniḱ, Zoran. Branch
groups. Handbook of Algebra, 3 (2003), North-Holland, Amsterdam, 9891112.
[BS09] Bartholdi, Laurent; Siegenthaler, Olivier. The twisted twin of the
Grigorchuk group, Internat. J. Algebra Comput. 20 (2010), no. 4, 465488.
[BSZ12] Bartholdi, Laurent; Siegenthaler, Olivier; Zalesskii, Pavel. The congruence subgroup problem for branch groups, Israel J. Math. 187 (2012),
419450.
[BLS64] Bass, H.; Lazard, M.; Serre, J.P. Sous-groupes d’indice fini dans
SLpn, Zq, Bull. Amer. Math. Soc. 70 (1964), 385-392.
[FGU17] Fernández-Alcober, Gustavo A.; Garrido, Alejandra; Uria-Albizuri,
Jone. On the congruence subgroup property for GGS-groups, Proc. Amer.
Math. Soc. 8 (2017), no. 8, 3311-3322.
[Gar16] Garrido, Alejandra. On the congruence subgroup problem for
branch groups, Israel J. Math., 216 (2016), no. 1, 1-13.
[Gri80] Grigorchuk, Rostislav I. On Burnside’s problem on periodic groups,
(Russian) Funktsional. Anal. i Prilozhen, 14 (1980), no. 1, 5354, English translation: Functional Anal. Appl. 14(1980), 4143.
[Gri00] Grigorchuk, Rostislav I. Just infinite branch groups, New horizons
in Pro-p groups, Progr. Math., 184, Birkhuser Boston, Boston, MA, 2000,
121179.
[GS̆06] Grigorchuk, Rostislav I.;S̆uniḱ, Zoran. Asymptotic aspects of Schreier
graphs and Hanoi Towers groups.(English, French summary) C. R. Math. Acad.
Sci. Paris 342 (2006), no. 8, 545550.
[Per07] Pervova, Ekaterina. Profinite completions of some groups acting on trees, J.
Algebra, 310 (2007), no. 2, 858879.
[RZ10] Ribes, Luis; Zalesskii, Pavel, Profinite groups, Second Edition,
Springer-Verlag, Berlin (2010).
[Ski17] Skipper, Rachel, The congruence subgroup problem for a family of branch
groups, arXiv:1709.08218.
Department of Mathematics, Binghamton University, P.O. Box 6000, Binghamton, NY 13902-6000, USA
E-mail address: skipper@math.binghamton.edu

