ENGEL ELEMENTS IN SOME FRACTAL GROUPS

arXiv:1801.04595v2 [] 31 Mar 2018

GUSTAVO A. FERNÁNDEZ-ALCOBER, ALBERT GARRETA,
AND MARIALAURA NOCE
Abstract. Let p be a prime and let G be a subgroup of a Sylow pro-p
subgroup of the group of automorphisms of the p-adic tree. We prove that if
G is fractal and |G′ : stG (1)′ | = ∞, then the set L(G) of left Engel elements
of G is trivial. This result applies to fractal nonabelian groups with torsionfree abelianization, for example the Basilica group, the Brunner-Sidki-Vieira
group, and also to the GGS-group with constant defining vector.
We further provide two examples showing that neither of the requirements
|G′ : stG (1)′ | = ∞ and being fractal can be dropped.

1. Introduction
In this paper we prove that certain fractal groups have no nontrivial Engel
elements. These include the Basilica group, the Brunner-Sidki-Vieira group, and
the GGS-group with constant defining vector. The complete family is described
in Theorem A.
An element g of a group G is called left Engel if for every x ∈ G there exists
an integer n = n(g, x) ≥ 1 such that [x, g, . n. ., g] = 1. The set of all left Engel
elements of G is denoted by L(G), and if L(G) = G we say that the group G is
an Engel group. Major areas of interest in Engel theory stem from the following
questions:
(1) If G is an Engel group, is G locally nilpotent?
(2) Is L(G) a subgroup of G?
Question 1 was considered by Burnside in the same paper of 1902 where he
posed the famous Burnside problem. In general, the answer to Question 1 is
negative: the Golod-Safarevich groups are Engel, but not locally nilpotent. The
latter are the only known finitely generated example with this property. On the
other hand, Question 1 has a positive answer for some families of groups such
as: finite groups (Zorn, 1936), groups that have the max property (Baer, 1957),
soluble groups (Gruenberg, 1959), and compact groups (Medvedev, 2003).
Notice that some Golod-Safarevich groups provide also a negative answer to
the Burnside problem, i.e. they are infinite finitely generated groups all of whose
elements have finite order. Other examples of groups with these properties are
given by many fractal branch groups such as the first Grigorchuk group G and
2010 Mathematics Subject Classification. 20E08, 20F45.
Key words and phrases. Fractal groups, Engel elements.
All three authors are supported by the Spanish Government grant MTM2017-86802-P and
by the Basque Government grant IT974-16. The first author is also supported by the Spanish
Government grant MTM2014-53810-C2-2-P, the second author by the ERC grant 336983, and
the third author by the “National Group for Algebraic and Geometric Structures, and their
Applications” (GNSAGA - INdAM).
1

2

G.A. FERNÁNDEZ-ALCOBER, A. GARRETA, AND M. NOCE

the Gupta-Sidki group G. One may ask if these groups constitute a negative
answer to the “Engel problem” as well (i.e. to Question 1). Bartholdi [2] showed
in 2016 that this is not the case for G and G. More precisely, he proved that
L(G) = {g ∈ G | g 2 = 1} and L(G) = 1. Observe that Bartholdi’s result for
G answers Question 2 negatively. We remark that Bludov provided a similar
(unpublished) example in 2005 (see [14]). It is also noticeable that there exists
an automaton group where determining if an element is left Engel is undecidable
[9].
Likewise considerations can be made for right Engel elements and bounded
right or left Engel elements (see the end of this introduction). We refer to the
surveys [1, 16] for further general information. See also [7, 15] for recent results
on right and bounded Engel elements in some types of branch groups.
The paper is organized as follows. In Section 2, we introduce some basic
terminology regarding (strongly) fractal groups G of automorphisms of the dadic tree. We prove that, for such groups, L(G) ⊆ stG (1) implies that L(G) = 1.
In Section 3, we consider group actions G y H. In this context, we use a
more general notion of commutator. This is achieved by defining [h, g] = h−1 hg ,
where hg is the action of g on h, and h ∈ H, g ∈ G. One then denotes by
L(G y H) the set of all g ∈ G such that for all h ∈ H, we have [h, g, . n. ., g] = 1
for some n.
We start by showing that if F y A is an Engel action of a finite group F on
a finitely generated abelian group A, then h[A, F ]i is finite. Then, we prove the
main result of the paper, which we state below. By Γ we denote the standard
Sylow pro-p subgroup of Aut Tp (see Definition 1).
Theorem A. Let G ≤ Γ be a fractal group such that |G′ : stG (1)′ | = ∞. Then
L(G) = 1.
The main idea of the proof is the following: denote by ¯ the projection of G
onto G/ stG (1)′ . The conjugation G y stG (1) induces an action G y stG (1).
Since stG (1) is abelian, the latter yields an action
(1)

G/stG (1) y stG (1).

Note that G/stG (1) ∼
= Cp . Using our previous results, we conclude that either
the action (1) is Engel and then |G′ : stG (1)′ | < ∞, or else it is trivial and
L(G) ⊆ stG (1), in which case L(G) = 1.
In Section 4, we apply Theorem A to a certain class of fractal groups, and we
obtain the following results.
Theorem B. Let G ≤ Γ be a fractal group with torsion-free abelianization.
Then L(G) = 1.
Theorem C. The following groups have no nontrivial left Engel elements: the
Basilica group, the Brunner-Sidki-Vieira group, and the GGS-group with constant defining vector G.
Theorem B can be applied directly to the Basilica and the Brunner-SidkiVieira group. This is not the case with G. Instead, we reduce the study of L(G)
to a subgroup K that meets (up to conjugation in Aut Tp ) the requirements of
Theorem B.

ENGEL ELEMENTS IN SOME FRACTAL GROUPS

3

In Section 5 we finish the paper by showing that none of the conditions
: stG (1)′ | = ∞ and being fractal can be omitted in Theorem A.
We end this introduction by pointing out that if L(G) = 1 for some group
G, then L(G) = R(G) = R(G) = 1. This is due to the following inclusions
(proved in [12]): R(G)−1 , L(G), R(G)−1 ⊆ L(G). Here, R(G) stands for the set
of right Engel elements, and the bars indicate that the elements are bounded
left or right Engel, respectively (see [1, 16]).
|G′

2. Engel elements in strongly fractal groups
Throughout the paper we will use the following standard notation: [x,n y] =
[x, y, . n. .y] = [[x,n−1 , y], y] for n ≥ 2, and [x,1 y] = [x, y] = x−1 y −1 xy. We also
let [x,0 y] = x.
We start this section by fixing some terminology regarding groups G of automorphisms of rooted d-adic trees (see [3] or [13] for a detailed discussion on this
topic). Afterwards, we prove that if G is strongly fractal, then L(G) ⊆ stG (1)
implies that L(G) = 1 (Corollary 4).
Let d be a positive integer, and Td (or T ) the rooted d-adic tree. The group
of automorphisms of T is denoted by Aut T . We let Ln be the n-th level of
T . The n-th level stabilizer of Aut T is the subgroup of Aut T that fixes every
vertex of Ln . We will denote it by st(n). More generally, if G ≤ Aut T , we
define the n-th level stabilizer of G as stG (n) = st(n) ∩ G. Notice that these
stabilizers are normal subgroups of the corresponding group. We let ψ be the
isomorphism
d

ψ : st(1) −→ Aut T × · · · × Aut T
g 7−→ (gu )u∈L1 ,
where gu is the section of g at the vertex u, i.e. the action of g on the subtree
Tu that hangs from the vertex u. An automorphism s ∈ Aut T is called rooted
if there exists a permutation σ ∈ Sd such that s rigidly permutes the trees
{Tu | u ∈ L1 } according to the permutation σ. We will identify s and σ. Notice
that if g ∈ st(1) with ψ(g) = (g1 , . . . , gd ), and σ is a rooted automorphism, then,

(2)
ψ(gσ ) = gσ−1 (1) , . . . , gσ−1 (d) .
Any element g of a group of automorphisms G ≤ Aut T can be written uniquely
in the form g = g0 σ, where g0 ∈ st(1) and σ is a rooted automorphism. The
group G ≤ Aut T is said to be self-similar if
d

ψ(g0 ) ∈ G × · · · × G
for all g ∈ G (thus for example Aut T is self-similar).
The decomposition g = g0 σ above applied to the elements of Aut Td , together
with the action (2), yields isomorphisms

Aut Td ∼
= st(1) ⋊ Sd ∼
= Aut Td × . d. . × Aut Td ⋊ Sd
(3)
∼
= Aut Td ≀ Sd ∼
= ((· · · ≀ Sd ) ≀ Sd ) ≀ Sd .
Definition 1. Let p be a prime and let σ be the rooted automorphism of Aut Tp
corresponding to the cycle (1 . . . p). The Sylow pro-p subgroup of Aut Tp induced
by σ is the subgroup Γ ≤ Aut Tp that is mapped to ((· · · ≀ hσi) ≀ hσi) ≀ hσi =

4

G.A. FERNÁNDEZ-ALCOBER, A. GARRETA, AND M. NOCE

((· · · ≀ Cp ) ≀ Cp ) ≀ Cp under the isomorphism (3). Note that if p = 2 we have
Γ = Aut T2 .
In this paper we will mostly study self-similar groups G ≤ Aut Tp such that
G ≤ Γ. In this case, every element g ∈ G can be written in the form g = hσ t ,
for some t ∈ Z and h ∈ st(1) such that ψ(h) ∈ G × · · · × G.
A self-similar group G is called strongly fractal if πi (stG (1)) = G for all
i = 1, . . . , d, where πi is the projection onto the i-th component of G × . d. . × G.
If G ≤ Γ, then this is equivalent to saying that G is fractal, by Lemma 2.5 of
[17].
We now study the set of left Engel elements of strongly fractal groups G ≤
Aut Td . We will use the following identity
(4)

ψ ([h,n g]) = ([h1 ,n g1 ], . . . , [hd ,n gd ]) ,

which holds for any two elements h, g ∈ st(1). Here the hi ’s and gi ’s are the
components of ψ(g) and ψ(h).
Lemma 2. Let G ≤ Aut Td be a strongly fractal group. Then

L(G) ∩ stG (1) = h ∈ stG (1) | ψ(h) ∈ L(G) × . d. . × L(G) .
Proof. Let g ∈ L(G) ∩ stG (1), and write ψ(g) = (g1 , . . . , gd ). We show that
each gi is left Engel. Assume for contradiction that there exists h ∈ G be
such that [h,n gi ] 6= 1 for all n. Since G is strongly fractal, there exists an
element s ∈ stG (1) such that ψ(s) = (h1 , . . . , hi−1 , h, hi+1 , . . . , hd ), for some
h1 , . . . , hi−1 , hi+1 , . . . , hd ∈ G. Then, by (4),
ψ ([s,n g]) = ([h1 ,n g1 ], . . . , [hi−1 ,n gi−1 ], [h,n gi ], [hi+1 ,n gi+1 ], . . . , [hd ,n gd ]) .
This element is nontrivial because [h,n gi ] 6= 1 for all n, and so [s,n g] 6= 1 for all
n, contradicting the fact that g ∈ L(G).
To prove the reverse inclusion, let h ∈ stG (1) be such that all components
of ψ(h) are left Engel, and let g be any element of G. Then, since stG (1) is
normal in G, we have [g, h] ∈ stG (1). It follows now from the equality (4) that
[g,n h] = 1 for some n, as required.

The following constitutes a key observation.
Proposition 3. Let S be a subset of Aut Td . Suppose that S ⊆ st(1) and that
ψ(S) ⊆ S × . d. . × S. Then S = 1.
Proof. Suppose that S 6= 1. Then there exists a maximum n such that S ⊆ st(n),
but S 6⊆ st(n + 1). Let s ∈ S. In particular, s ∈ st(1), and the components
s1 , . . . , sd of ψ(s) belong to S by hypothesis. Since S ⊆ st(n), each si stabilizes
the first n levels of Td , and hence s ∈ st(n + 1). This occurs with all s ∈ S,
yielding the contradictory inclusion S ⊆ st(n + 1). Therefore S = 1.

The following is an immediate consequence of Lemma 2 and Proposition 3.
Corollary 4. Let G ≤ Aut Td be a strongly fractal group such that L(G) ⊆
stG (1). Then L(G) = 1.

ENGEL ELEMENTS IN SOME FRACTAL GROUPS

5

3. Engel elements, group actions, and fractal groups
In this section, we generalize the notion of commutator and of left Engel
element to the context of group actions G y H. We will use exponential
notation to refer to the action of a group G on another group H, so that h·g = hg
for all g ∈ G, h ∈ H.
Given an action of groups G y H, one may define commutators by letting
[h, g] = h−1 hg , for g ∈ G and h ∈ H. Then, [h,n g] is defined similarly as before.
Of course, if H is a normal subgroup of G and the action G y H is the standard
conjugation, then [h, g] is the usual commutator h−1 g−1 hg. An element g ∈ G
is called left Engel with respect to G y H if for all h ∈ H there exists n ≥ 1 such
that [h,n g] = 1. The set of left Engel elements of G with respect to G y H
will be denoted L(G y H). If L(G y H) = G, then G y H is called an Engel
action. Given S ⊆ H, and T ⊆ G, we denote h[S, T ]i = h[s, t] | s ∈ S, t ∈ T i.
We start by proving a key fact regarding how periodic groups can act on
finitely generated abelian groups.
Proposition 5. Let G y A be an Engel action of a finite group G on a finitely
generated abelian group A. Then h[A, G]i is finite. As a consequence, if A is
free abelian, then the action G y A is trivial.
Proof. Let ℓ be the order of G, and take two elements a ∈ A, and g ∈ G. We
n−1
= 1. We argue by induction
claim that if [a,n g] = 1 for some n, then [a, g]ℓ
on n, the case n = 1 being obvious. Let n > 1, and suppose [a,n g] = 1. If
we denote s = [a,n−2 g], we have [s, g, g] = 1. One can then prove by induction
that [s, gk ] = [s, g]k for all k ∈ Z. Then [a,n−1 g]ℓ = [s, g]ℓ = [s, gℓ ] = 1. Write
K = h[a,n−1 g]h | h ∈ Gi, A = A/K, and consider the Engel action G y A,
which is still an Engel action of a finite group on a finitely generated abelian
n−2
= 1. Thus,
group. Then, [ā,n−1 g] = [a,n−1 g] = 1 and, by induction, [ā, g]ℓ
n−1
n−2
ℓ
ℓ
= 1 because K is abelian generated by elements
∈ K, and so [a, g]
[a, g]
of order dividing ℓ. This completes the proof of the claim.
We have proved that each element of the generator set [A, G] of h[A, G]i has
finite order. Since h[A, G]i is finitely generated and abelian, we conclude that
h[A, G]i is finite. The last part of the lemma immediately follows.

Now we can proceed to the proof of our main theorem.
Theorem 6. Let G ≤ Γ be a fractal group such that |G′ : stG (1)′ | = ∞. Then
L(G) = 1.
Proof. Write S for stG (1). We claim that L(G) ⊆ S, from which L(G) = 1
follows by using Corollary 4 and the fact that subgroups of Γ are strongly fractal
if and only if they are fractal (Lemma 2.5 of [17]). By way of contradiction, we
assume that L(G) 6⊆ S. Since G ≤ Γ, this implies that |G : S| = p and also the
factor group G/S ′ is soluble. By a result of Gruenberg (Theorems 2 and 4 of
[11]), L(G/S ′ ) is a subgroup of G/S ′ .
Since S/S ′ is an abelian normal subgroup of G/S ′ , we have S/S ′ ⊆ L(G/S ′ )
and then either L(G/S ′ ) = S/S ′ or G/S ′ . In the former case, we have L(G) ⊆ S,
which is a contradiction. In the latter, G/S ′ is an Engel group. Since S/S ′ is
abelian, the action of G on S by conjugation induces an action of G/S on S/S ′ ,
by which we have [sS ′ , gS] = [s, g]S ′ for all s ∈ S and g ∈ G. Thus this action

6

G.A. FERNÁNDEZ-ALCOBER, A. GARRETA, AND M. NOCE

is Engel. By Proposition 5, the subgroup h[G/S, S/S ′ ]i is finite, i.e. h[G, S]i/S ′
is finite. Now since G/S is cyclic, it follows that G′ = h[G, S]i and we conclude
that G′ /S ′ is finite. This contradiction completes the proof of the theorem. 
4. Applications to specific fractal groups
In this section we apply our main result to a family of fractal groups. Since
−1
R(G)−1 , L(G), R (G) ⊆ L(G) for any group G, by proving that L(G) = 1 one
automatically obtains that each one of these sets is also trivial. We will omit
this observation in the statement of the subsequent results.
Theorem 7. Let G ≤ Γ be a nonabelian fractal group with torsion-free abelianization. Then L(G) = 1.
Proof. Denote S = stG (1). By Theorem 6, it suffices to prove that |G′ : S ′ | =
∞. Suppose towards contradiction that this is not the case. Let πi be the
projection of G × . p. . × G onto its i-th component. Notice the chain of inclusions
S ′ ≤ G′ ≤ S ≤ G. Since G is strongly fractal, πi (ψ(S ′ )) = G′ for all i = 1, . . . , p.
By assumption |G′ : S ′ | < ∞, hence |ψ(G′ ) : ψ(S ′ )| < ∞ and |πi (ψ(G′ )) :
πi (ψ(S ′ ))| < ∞, for all i = 1, . . . , p. Thus, πi (ψ(G′ ))/G′ is a finite subgroup of
G/G′ . Since G/G′ is torsion-free, it follows that πi (ψ(G′ )) = G′ for all i. This
implies that ψ(G′ ) ≤ G′ × . p. . × G′ . In this case, by Proposition 3, we have
G′ = 1, which is a contradiction.

4.1. The Basilica group and the Brunner-Sidki-Vieira group. The Basilica group B is the subgroup of Aut T2 generated by the two automorphisms a
and b defined as:
a = (1, b),
b = (1, a)σ,
where σ is the rooted automorphism of T2 that corresponds to the permutation
(12). Here we make the abuse of notation of writing a = (1, b) instead of
ψ(a) = (1, b), and similarly for the element (1, a).
The Brunner-Sidki-Vieira group S is the group of automorphisms of T2 generated by
c = (1, c−1 )σ,
d = (1, d)σ,
where σ is the rooted automorphism of T2 corresponding to the cycle (12).
Again, we have omitted the map ψ in the definition of c and d.
In [10] and [4] it is proved that B and S have torsion-free abelianization.
Then, the following holds.
Theorem 8. The Basilica group and the Brunner-Sidki-Vieira group have no
nontrivial left Engel elements.
4.2. The GGS-group with constant defining vector. Let p be an odd
prime, and e = (e1 , . . . , ep−1 ) a vector such that ei ∈ {0, . . . , p − 1} and such
that not all the ei are 0. The GGS-group Ge , named after Grigorchuk, Gupta,
and Sidki, is the group generated by the two automorphisms a, b ∈ Aut Tp , where
a is the rooted automorphism corresponding to the cycle (1 . . . p), and b ∈ st(1)
is:
b = (ae1 , . . . , aep−1 , b).

ENGEL ELEMENTS IN SOME FRACTAL GROUPS

7

The group Ge is fractal for any vector e, but other properties depend on the
choice of e (see [6]). For instance, Ge is just infinite if and only if e is not
constant. In this paper we consider only the case when e is constant: i.e. e1 =
· · · = ep−1 = n for some nonzero n. Since proportional nonzero vectors define
the same GGS-group, we may assume that n = 1. Throughout this section we
let G denote G(1,...,1) .
According to Lemma 4.2 of [6], G has a normal subgroup K of index p such
that G is weakly regular branch over K ′ . Moreover, if ¯ denotes the projection
G → G/K ′ , then by Proposition 3.4 of [5], we have G = K ⋉ hai, with K ∼
=
p−1
∼
C∞ × . . . × C∞ , and hai = Cp .
Our goal is to prove that L(G) = 1. We first show that L(G) ⊆ L(K) by
studying L(G), and then we prove that L(K) = 1.
Lemma 9. We have L(G) = K. As a consequence, L(G) ⊆ L(K).
Proof. Since G is soluble, L(G) is a subgroup of G, and since K is abelian, we
have K ≤ L(G). Thus either L(G) = K or G. In the latter case, the action of hai
on K is Engel and, since K is free abelian, this action is trivial, by Proposition 5.
Hence G is abelian and G ′ = K ′ , which is a contradiction, since |G : G ′ | = p2 is
finite by Theorem 2.1 of [6]. It follows that L(G) = K and, since L(G) ⊆ L(G),
we get L(G) ⊆ L(K).

We now proceed to prove that L(K) = 1. Unfortunately, K is not self-similar.
This can be fixed by appropriately conjugating K in Aut Tp .
Lemma 10 ([8]). Let h ∈ st(1) be such that ψ(h) = (ah, a2 h, . . . , ap−1 h, h).
Then K h is strongly fractal.
i

Proof. As shown in Lemma 4.2 of [6], K is generated by y0 = ba−1 , and yi = y0a
(i = 1, . . . , p − 1). Write
z1 = (z1 , 1, . . . , 1)a−1 , z2 = (1, z2 , 1, . . . , 1)a−1 , . . . , zp = (1, . . . , 1, zp )a−1 .

By making computations, one may check that yih = zi for all i (reading the
subindices modulo p). Hence, K h is generated by the zi . It is now clear that
K h is self-similar, and strong-fractalness of K h is a consequence of the identity
zip = (zi , . . . , zi ), which holds for all i.

Theorem 11. The GGS-group with constant defining vector has no nontrivial
Engel elements.
Proof. By Lemma 9, it suffices to show that L(K) = 1. Let h be the element of
Lemma 10. Since K ∼
= K h , one has that L(K) = 1 if and only if L(K h ) = 1. To
prove the latter we will use Theorem 7. Lemma 10 states that K h is fractal, and
clearly K h is a subgroup of the Sylow pro-p subgroup Γ. On the other hand,
(K h )/(K h )′ ∼
= K/K ′ is torsion-free. Hence, by Theorem 7, we have L(K h ) = 1,
and we conclude that L(G) = 1.

5. The lamplighter group and the adding machine: examples
Theorem 6 states that L(G) = 1 for any fractal group G such that G ≤ Γ ≤
Aut Tp and |G′ : stG (1)′ | = ∞. In this section we show that if |G : G′ | = ∞ and

8

G.A. FERNÁNDEZ-ALCOBER, A. GARRETA, AND M. NOCE

|G′ : stG (1)′ | < ∞ this is no longer true. We also prove that the condition of
being fractal cannot be dropped.
Recall that the lamplighter group L is the metabelian group C2 ≀ C∞ . It is
well known that L can also be seen as the group of automorphisms of the binary
tree T2 generated by a = (a, aσ) and the rooted automorphism σ corresponding
to the cycle (12).
Proposition 12. The lamplighter group L satisfies the following properties:
L ≤ Γ = Aut T2 , |L : L′ | = ∞, L is fractal, |L′ : stL (1)′ | is finite, and L(L) 6= 1.
Proof. The first property is trivially satisfied. To see that the group L is fractal,
notice that the first components of a and aσ generate L, since a = (a, aσ) and
aσ = (aσ, a). The same holds for the second components. It is also well known
that the abelianization of L is isomorphic to C2 × C∞ with hσL′ i ∼
= C2 and
haL′ i ∼
= C∞ .
We now prove that the index of stL (1)′ in L′ is finite. Let us write S = stL (1).
Notice that S ′ ⊆ L′ ⊆ S ⊆ L. One can compute that S = ha, aσ i. Now, letting
c = [a, σ],
(5)

S/S ′ = haS ′ , aσ S ′ i = haS ′ , acS ′ i = haS ′ , cS ′ i.

We claim that L′ /S ′ = hcS ′ i. Indeed, let y ∈ L′ /S ′ . In particular, y ∈ S/S ′ ,
and by (5), y = an cm S ′ , for some m and n. Then, an S ′ ∈ L′ /S ′ and thus n = 0,
because haL′ i ∼
= C∞ . It follows that L′ /S ′ ≤ hcS ′ i, and so L′ /S ′ = hcS ′ i. Notice
that c has order 2 because c = [a, σ] = a−1 aσ = (σ, σ). Then, |L′ : S ′ | ≤ 2 (in
fact, |L′ : S ′ | = 2 by Proposition 3).
Finally, since the base group of L is abelian and normal, it is contained in
L(L) and L(L) 6= 1.

We next show that the requirement of being fractal is necessary in Theorem 6.
Let H be the subgroup of Aut T2 generated by σ and x, where σ is again the
rooted automorphism corresponding to the cycle (12), and x = (1, x)σ is the
so-called adding machine.
Proposition 13. The group H ≤ Γ = Aut T2 is not fractal, |H ′ : stH (1)′ | = ∞,
and L(H) = stH (1).
Proof. Let b = xσ and note that b ∈ st(1) and b2 = (x, x). Then both elements
x and b have infinite order. By easy computations, one can see that stH (1) =
hb, bσ i. Since b = (1, x) and bσ = (x, 1), we have stH (1) ∼
= C∞ × C∞ . In
particular, stH (1)′ = 1. Moreover H ′ = h[σ, b]iH = h(x−1 , x)iH = {(x±n , x∓n ) |
n ∈ Z}, and it follows that |H ′ : stH (1)′ | = ∞. Note also that H is not fractal
because b = (1, x) and bσ = (x, 1).
We now prove that L(H) = stH (1). One inclusion is obvious, since stH (1)
is abelian and normal in H. Since H is soluble, it follows that L(H) = stH (1)
or H. In the latter case, the action of H/ stH (1) on stH (1) is Engel and, by
Proposition 5, this action must be trivial. This implies that H ′ = [H, stH (1)] =
1, which is a contradiction.

Acknowledgements. We thank Alejandra Garrido and Jone Uria-Albizuri for
communicating Lemma 10 to us.

ENGEL ELEMENTS IN SOME FRACTAL GROUPS

9

References
[1] A. Abdollahi, Engel elements in groups, Groups St Andrews 2009 in Bath, Volume 1,
Cambridge University Press, 2011, pp. 94–117.
[2] L. Bartholdi, Algorithmic decidability of Engel’s property for automaton groups, Computer
Science – Theory and Applications, Lecture Notes in Computer Science, Volume 9691,
Springer, 2016, pp. 29–40.
[3] L. Bartholdi, R. I. Grigorchuk, and Z. Sunik, Branch groups, Handbook of Algebra, Volume 3, North-Holland, 2003, pp. 989–1112.
[4] A. M. Brunner, S. Sidki, and A. C. Vieira, A just-nonsolvable torsion-free group defined
on the binary tree, Journal of Algebra 211 (1999), no. 1, 99–114.
[5] G. A. Fernández-Alcober, A. Garrido, and J. Uria-Albizuri, On the congruence subgroup
property for GGS-groups, Proceedings of the American Mathematical Society 145 (2017),
3311–3322.
[6] G. A. Fernández-Alcober and A. Zugadi-Reizabal, GGS-groups: order of congruence quotients and Hausdorff dimension, Transactions of the American Mathematical Society 366
(2013), 1993–2017.
[7] G.A. Fernández-Alcober, M. Noce, and A. Tortora, Engel elements in strongly fractal
groups, preprint (2017).
[8] A. Garrido and J. Uria-Albizuri, private communication.
[9] P. Gillibert, An automaton group with undecidable order and Engel problems, Journal of
Algebra 497 (2018), 363–392.
[10] R. I. Grigorchuk and A. Zuk, On a torsion-free weakly branch group defined by a three
state automaton, International Journal of Algebra and Computation 12 (2002), 223–245.
[11] K. W. Gruenberg, The Engel elements of a soluble group, Illinois Journal of Mathematics
3 (1959), no. 2, 151–168.
[12] H. Heineken, Eine Bemerkung über Engelsche Element, Archiv der Mathematik 11 (1960),
321.
[13] V. Nekrashevych, Self-similar groups, Mathematical Surveys and Monographs, American
Mathematical Society, 2005.
[14] M. Noce, The first Grigorchuk group, Master Thesis, University of Salerno, 2016.
[15] M. Noce and A. Tortora, A note on Engel elements in the first Grigorchuk group, ArXiv
e-prints (February 2018), available at 1802.09032[].
[16] G. Traustason, Engel groups, Groups St Andrews 2009 in Bath, Volume 2, Cambridge
University Press, 2011, pp. 520–550.
[17] J. Uria-Albizuri, On the concept of fractality for groups of automorphisms of a regular
rooted tree, Reports@SCM 2 (2016), 33–44.
Department of Mathematics, University of the Basque Country UPV/EHU,
48080 Bilbao, Spain
E-mail address: gustavo.fernandez@ehu.eus
Department of Mathematics, University of the Basque Country UPV/EHU,
48080 Bilbao, Spain
E-mail address: albert.garreta@ehu.eus
Dipartimento di Matematica, Università di Salerno, Via Giovanni Paolo II, 132,
84084 Fisciano (SA), Italy – Department of Mathematics, University of the Basque
Country UPV/EHU, 48080 Bilbao, Spain
E-mail address: mnoce@unisa.it

