arXiv:1711.04866v2 [] 20 Nov 2017

Words of Engel type are concise in
residually finite groups
Eloisa Detomi, Marta Morigi, and Pavel Shumyatsky
Abstract. Given a group-word w and a group G, the verbal subgroup w(G) is the one generated by all w-values in G. The word w
is said to be concise if w(G) is finite whenever the set of w-values
in G is finite. In the sixties P. Hall asked whether every word is
concise but later Ivanov answered this question in the negative.
On the other hand, Hall’s question remains wide open in the class
of residually finite groups. In the present article we show that
various generalizations of the Engel word are concise in residually
finite groups.

1. Introduction
Let w = w(x1 , . . . , xk ) be a group-word, that is, a nontrivial element
of the free group F with free generators x1 , x2 , . . . . The verbal subgroup
w(G) of a group G determined by w is the subgroup generated by
the set Gw consisting of all values w(g1, . . . , gk ), where g1 , . . . , gk are
elements of G. A word w is said to be concise if whenever Gw is finite
for a group G, it always follows that w(G) is finite. More generally,
a word w is said to be concise in a class of groups X if whenever Gw
is finite for a group G ∈ X , it always follows that w(G) is finite. P.
Hall asked whether every word is concise, but later Ivanov proved that
this problem has a negative solution in its general form [16] (see also
[19, p. 439]). On the other hand, many relevant words are known to
be concise. In particular, it was shown in [30] that the multilinear
commutator words are concise. Such words are also known under the
2010 Mathematics Subject Classification. Primary 20E26, 20F45, 20F10,
20E10.
Key words and phrases. Words, Conciseness.
This research was partially supported by Università di Padova (Progetto di
Ricerca di Ateneo:“Invariable generation of groups”). The second author was also
supported by GNSAGA (INDAM), and the third author by FAPDF and CNPq.
1

2

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

name of outer commutator words and are precisely the words that can
be written in the form of multilinear Lie monomials. For example
the word [[x1 , x2 , x3 ], [x4 , x5 ]] is a multilinear commutator. Merzlyakov
showed that every word is concise in the class of linear groups [18] while
Turner-Smith proved that every word is concise in the class of residually
finite groups all of whose quotients are again residually finite [29].
There is an open problem whether every word is concise in the class of
residually finite groups (cf. Segal [22, p. 15] or Jaikin-Zapirain [17]).
In recent years several words were shown to be concise in residually
finite groups while their conciseness in the class of all groups remains
unknown. In particular, it was shown in [2] that if w is a multilinear
commutator word and n is a prime-power, then the word w n is concise
in the class of residually finite groups. Further examples of words that
are concise in residually finite groups were discovered in [13].
In the present article we deal with words of Engel type. Set [x, 1 y] =
[x, y] = x−1 y −1 xy and [x, i+1 y] = [[x, i y], y] for i ≥ 1. The word [x, n y] is
called the nth Engel word. Due to [9] and, independently, [1] we know
that the nth Engel word is concise whenever n ≤ 4. It is still unknown
whether the nth Engel word is concise in the case where n ≥ 5. In the
present article we show, among other things, that the Engel words are
concise in residually finite groups. This is an immediate consequence
of the following theorem.
Theorem 1.1. Suppose that w = w(x1 , . . . , xk ) is a multilinear
commutator word. For any n ≥ 1 the word [w, n y] is concise in residually finite groups.
Recall that a word w is a law in a group G if w(G) = 1. A word w is
said to imply virtual nilpotency if every finitely generated metabelian
group where w is a law has a nilpotent subgroup of finite index. Such
words admit several important characterizations (see [4, 5, 11]). It
follows from Gruenberg’s result [12] that the Engel words imply virtual
nilpotency. A word w is boundedly concise in a class of groups X if
for every integer m there exists a number ν = ν(X , w, m) such that
whenever |Gw | ≤ m for a group G ∈ X it always follows that |w(G)| ≤
ν. Fernández-Alcober and Morigi [8] showed that every word which is
concise in the class of all groups is actually boundedly concise. However
it is unclear whether every word which is concise in residually finite
groups is boundedly concise. Our next theorem deals with this question
for words implying virtual nilpotency.
Theorem 1.2. Words implying virtual nilpotency are boundedly
concise in residually finite groups.

WORDS OF ENGEL TYPE

3

Throughout the article we use the left-normed notation for commutators, that is: [b1 , b2 , b3 , . . . , bk ] = [. . . [[b1 , b2 ], b3 ], . . . , bk ]. Recall
that the lower central word [x1 , . . . , xk ] is usually denoted by γk . The
corresponding verbal subgroup γk (G) is the familiar kth term of the
lower central series of the group G. It seems that in the context of the
present article the words γk are the most tractable.
Theorem 1.3. Let k, n and q be positive integers and let w be the
word [x1 , . . . , xk ]q . Both words [y, n w] and [w, n y] are boundedly concise
in residually finite groups.
It was conjectured in [10] that each word that is concise in residually
finite groups is boundedly concise. As of now, the only words for which
the conjecture has not yet been confirmed are those that are dealt
with in Theorem 1.1. In the case where w = [[x1 , x2 ], [x3 , x4 ]] is the
metabelian word an ad-hoc argument enables us to show that the word
[w, n y] is boundedly concise in residually finite groups.
Theorem 1.4. Let w = [[x1 , x2 ], [x3 , x4 ]]. For any n ≥ 1 the word
[w, n y] is boundedly concise in residually finite groups.
It can be easily seen that the problem on conciseness of words in
residually finite groups is equivalent to the same problem in profinite
groups. On the other hand, perhaps the very concept of conciseness in
profinite groups can be broadened. It was conjectured in [7] that if w
is a word and G a profinite group such that the set Gw is countable,
then w(G) is finite. The conjecture was confirmed for various words
w (see [7] for details) but not for Engel words. In view of the results
obtained in the present article the following question seems to be of
interest.
Let w be the n-Engel word with n ≥ 2 and suppose that G is a
profinite group with only countably many w-values. Is w(G) necessarily
finite?
In the next section we describe some important tools developed in
the context of the restricted Burnside problem. Section 3 is a collection
of mostly well-known facts which are used in the proofs of our main
results. Theorem 1.1 is proved in Section 4. Theorems 1.3 and 1.4
are proved in Section 5. Finally, Section 6 is devoted to the proof of
Theorem 1.2.
2. On Engel groups and the restricted Burnside problem
A variety is a class of groups defined by equations. More precisely,
if W is a set of words, the class of all groups satisfying the laws W ≡ 1

4

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

is called the variety determined by W . By a well-known theorem of
Birkhoff [21, 2.3.5], varieties are precisely classes of groups closed with
respect to taking subgroups, quotients and Cartesian products of their
members. Some interesting varieties of groups have been discovered in
the context of the restricted Burnside problem, solved in the affirmative
by Zelmanov [33, 34].
It is well-known that the solution of the restricted Burnside problem
is equivalent to each of the following statements.
(i) The class of locally finite groups of exponent n is a variety.
(ii) The class of locally nilpotent groups of exponent n is a variety.
Recall that a group is said to locally have some property if all
its finitely generated subgroups have that property. A group G is of
finite exponent n if and only if each element of G has order dividing
n. A number of varieties of (locally nilpotent)-by-soluble groups were
presented in [24, 25].
The solution of the restricted Burnside problem strongly impacted
our understanding of Engel groups. An element x ∈ G is called a (left)
Engel element if for any g ∈ G there exists n = n(x, g) ≥ 1 such
that [g,n x] = 1. If n can be chosen independently of g, then x is a
(left) n-Engel element. A group G is called n-Engel if all elements of
G are n-Engel. In [32] Zelmanov made a remark that the eventual
solution of the restricted Burnside problem would imply that the class
of locally nilpotent n-Engel groups is a variety (see also Wilson [31]).
It follows that if G is a finite n-Engel d-generator group, then G is
nilpotent with (d, n)-bounded nilpotency class. Here and throughout
the article we use the expression “(a, b, . . . )-bounded” to mean that
a quantity is bounded by a certain number depending only on the
parameters a, b, . . . . The interested reader is refered to the survey [28]
and references therein for further results on finite and residually finite
Engel groups. Groups with n-Engel word-values were considered in
[3, 27]. In particular, we will require the following result from [27].
Theorem 2.1. Let m, n be positive integers, and w a multilinear
commutator word. The class of all groups G in which the w m -values are
n-Engel and the verbal subgroup w m (G) is locally nilpotent is a variety.
The following proposition is a consequence of Theorem 2.1.
Proposition 2.2. Given positive integers d, m, n and a multilinear
commutator word w, let G be a finite group in which the w m -values are
n-Engel. Suppose that a subgroup H can be generated by d elements
which are w m -values. Then H is nilpotent with (d, m, n, w)-bounded
class.

WORDS OF ENGEL TYPE

5

Proposition 2.2 can be deduced from Theorem 2.1 using standard
arguments. Indeed, assume that the proposition is false. Then there is
an infinite sequence of finite groups G1 , G2 , . . . with subgroups Hi ≤ Gi
satisfying the hypotheses of the proposition and having nilpotency class
tending to infinity. Each subgroup Hi is generated by d elements which
are w m -values, say ai1 , . . . , aid . Now let G be the Cartesian product
of the groups Gi and consider the subgroup H of G generated by d
elements aj = (a1j , a2j , . . . , aij , . . . ) with j = 1, . . . , d. On the one
hand, by Theorem 2.1 the verbal subgroup w m (G) is locally nilpotent.
On the other hand, we see that H is generated by finitely many w m values in G and is not nilpotent. This contradiction completes the
proof of Proposition 2.2.
We will also require a non-quantitative version of this result. A
proof of the next proposition can be found in [3].
Proposition 2.3. Given positive integers m, n and a multilinear
commutator word w, let G be a residually finite group in which the
w m -values are n-Engel. Suppose that a subgroup H can be generated by
finitely many Engel elements. Then H is nilpotent.
The proofs of all results mentioned in this section are based on
Lie-theoretic techniques created by Zelmanov in his solution of the
restricted Burnside problem. This is also the case with the proofs of
the results obtained in the present article. In particular, the following
theorem plays a fundamental role in all our arguments.
Theorem 2.4. Let L = ha1 , . . . , ad i be a finitely generated Lie algebra satisfying a polynomial identity. Assume that all commutators in
the generators a1 , . . . , ad are ad-nilpotent. Then L is nilpotent.
Theorem 2.4 represents the most general form of the Lie-theoretic
part of the solution of the restricted Burnside problem. It was announced in [35] with only a sketch of proof. A detailed proof was
recently published in [36].
3. Preliminaries
Throughout the article we denote by G′ the commutator subgroup
of a group G and by hMi the subgroup generated by a subset M ⊆ G.
As usual, CG (M) denotes the centralizer of a subset M in G. The
preparatory work for the proof of our main theorems requires some
preliminary results. We start this section with some well-known facts
concerning Engel elements in groups.
Lemma 3.1. Let G be a group generated by (left) Engel elements.

6

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

(1) If G is finite, then it is nilpotent.
(2) If G is soluble, then it is locally nilpotent.
Proof. The first statement is well-known Baer’s theorem (see [14,
Satz III.6.15]). The second statement is due to Gruenberg [12].

An element g ∈ G is a right Engel element if for each x ∈ G
there exists a positive integer n such that [g, n x] = 1. If n can be
chosen independently of x, then g is a right n-Engel element. The next
observation is due to Heineken (see [21, 12.3.1]).
g

−1

Lemma 3.2. Let g be a right n-Engel element in a group G. Then
is a left (n + 1)-Engel element.
We will also require the following lemmas.

Lemma 3.3 ([8, Lemma 2.2]). Let w be a multilinear commutator
word. Then Gw is symmetric, that is, x ∈ Gw implies that x−1 ∈ Gw .
Lemma 3.4. Let w be a word and G a group such that the set of
w-values in G is finite with at most m elements. Then the order of the
commutator subgroup w(G)′ is m-bounded.
Proof. The group G acts on the set of w-values by conjugation and
therefore G/CG (w(G)) embeds in the symmetric group on m symbols.
It follows that the order of w(G)/Z(w(G)) is at most m! and the result
follows from Shur’s Theorem (see [20, p. 102]).

Lemma 3.5. Let G = hg, ti be a group such that [g, n t] = 1. Then
the normal closure of the subgroup hgi in the group G is generated by
i
the set {g t |t = 0, . . . , n − 1}.
j

Proof. It is enough to note that hg, g t, . . . , g t i = hg, [g, t], . . . , [g, j t]i
for each natural number j.

The following lemma is taken from [26].
Lemma 3.6. Let G be a group generated by m elements which are
n-Engel. Suppose that G is soluble with derived length s. Then G is
nilpotent with (m, n, s)-bounded class.
Lemma 3.7. Let G be a group. Assume that A is a normal abelian
subgroup of G and let t ∈ G. Then [ab, n t] = [a, n t][b, n t] for every
a, b ∈ A and for every n ≥ 1.
Proof. This is an easy induction on n, using the well-known commutator identity [xy, z] = [x, z]y [y, z].


WORDS OF ENGEL TYPE

7

For a subgroup A of a group G, an element x ∈ G and a positive
integer n, we write [A, n x] to denote the subgroup generated by all
elements [a, n x], with a ∈ A. The following lemma is due to Casolo.
Lemma 3.8 ([6, Lemma 6]). Let A be an abelian group, and let x
be an automorphism of A such that [A, n x] = 1 for some n ≥ 1. If x
n−1
has finite order q, then [Aq , x] = 1.
Lemma 3.9. Let G = Uhti be a group that is a product of a normal
subgroup U and a cyclic subgroup hti. Assume that U is nilpotent of
class c and there exists a generating set A of U such that [a, n t] = 1 for
every a ∈ A. Then G is nilpotent of (c, n)-bounded class.
Proof. The proof is by induction on the nilpotency class of U. If
U is abelian, we have [uv, n t] = [u, n t][v, n t] for each u, v ∈ U. Since
U = hAi, we conclude that [U, n t] = 1 and so G is nilpotent with class
at most n.
If U is not abelian, note that G/U ′ is nilpotent with class at most
n. Taking into account that U is nilpotent of class c, the result follows
from P. Hall’s criterion for nilpotency [21, 5.2.10].

4. Theorem 1.1
Let F be the free group, and let Fi denote the ith term of the lower
central series of F . We say that a word w has degree j if w ∈ Fj and
w 6∈ Fj+1 .
Lemma 4.1. Let p be a prime and let w = w(x1 , x2 , . . . , xk ) be a
word of degree j. Let G = ha1 , a2 , . . . , ak i be a nilpotent group of class
c generated by k elements a1 , a2 , . . . , ak . Denote by X the set of all
conjugates in G of elements of the form w(ai1 , ai2 , . . . , aik ), where i is an
integer not divisible by p, and assume that |X| ≤ m for some integer
m. Then |hXi| is (c, m)-bounded.
Proof. Let W = hXi. As in Lemma 3.4, the order of W ′ is mbounded. Thus we can pass to the quotient G/W ′ and assume that W
is abelian.
If j ≥ c+1, then W = 1 and there is nothing to prove. Therefore we
assume that j ≤ c and use induction on c−j. In the free group, modulo
Fj+1, the word w is a product of γj -words in x1 , . . . , xk . Therefore for
any s we have
j

w(xs1 , xs2 , . . . , xsk ) = w(x1 , x2 , . . . , xk )s ws (x1 , x2 , . . . , xk ),
where ws (x1 , x2 , . . . , xk ) is a word of degree at least j + 1 (see for
example [22, Lemma 1.3.3]). Here the word ws depends on s. For this

8

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

word, if s is chosen coprime to p, there are at most m2 conjugates of
elements of the form ws (ai1 , ai2 , . . . , aik ), where (i, p) = 1. Indeed, we
have
j

is
is
ws (ai1 , ai2 , . . . , aik ) = (w(ai1 , ai2 , . . . , aik )s )−1 w(ais
1 , a2 , . . . , ak ).

In the group G there are at most m conjugates of elements of the form
is
is
w(ai1 , ai2 , . . . , aik ) and as many of the form w(ais
1 , a2 , . . . , ak ). Hence,
2
i
there are at most m conjugates of elements of the form ws (a1 , ai2 , . . . , aik ).
Since ws ∈ Fj+1 , we can use induction and conclude that the
subgroup generated by the conjugates in G of elements of the form
ws (ai1 , ai2 , . . . , aik ), where (i, p) = 1, has (c, m)-bounded order B. We
emphasize that B does not depend on s. Recall that W is an abelian
subgroup with at most m generators. The product U of all subgroups
of order at most B contained in W has order bounded in terms of B
and m only. Thus, we can pass to the quotient over U and assume that
w(as1 , as2 , . . . , ask ) = w(a1 , a2 , . . . , ak )s

j

whenever (s, p) = 1.
Here, by the hypothesis, the left-hand side of the equality can take
at most m different values while s can be any integer coprime to p. Note
that the number of positive integers coprime to p and smaller than or
equal to 2m + 1 is bigger than m. Thus, there exist two integers s1 and
s2 , smaller than or equal to 2m + 1, such that
j

j

w(a1 , a2 , . . . , ak )s1 = w(a1 , a2 , . . . , ak )s2 .
In particular, the order of w(a1 , a2 , . . . , ak ) is at most (2m+1)j . We conclude that w(a1 , a2 , . . . , ak ) has finite (c, m)-bounded order. The equalj
ity w(as1 , as2 , . . . , ask ) = w(a1 , a2 , . . . , ak )s further shows that for each s
the element w(as1 , as2 , . . . , ask ) has order dividing that of w(a1 , a2 , . . . , ak ).
Thus, W is an abelian subgroup with at most m generators, each of
(c, m)-bounded order. Therefore the order of W is (c, m)-bounded. 
Important properties of the verbal subgroup corresponding to a
multilinear commutator word in a soluble group are presented in the
following proposition.
Proposition 4.2 ([8, Theorem B]). Let w be a multilinear commutator word, and let G be a soluble group. There exists a series of
subgroups
w(G) = K1 ≥ · · · ≥ Kl = 1
such that:
(1) All subgroups Ki are normal in G.

WORDS OF ENGEL TYPE

9

(2) The length l of the series is bounded in terms of w and the
derived length of G.
(3) Every section Ki /Ki+1 is abelian and can be generated by wvalues in G/Ki+1 all of whose powers are also w-values.
The next lemma supplies the proof of Theorem 1.1 in the particular
case where the group G is soluble. The result holds for any q ≥ 1 but
we will need it only in the case q = 1. Note that G here is not required
to be residually finite.
Lemma 4.3. Let m, n, q, s be positive integers. Suppose that w =
w(x1 , . . . , xk ) is a multilinear commutator word and v = [w q , n y]. Assume that G is a soluble group of derived length s such that v has at
most m values in G. Then the order of v(G) is (v, m, s)-bounded.
Proof. In view of Lemma 3.4 we may assume that v(G) is abelian.
Consider a series in w(G) as in Proposition 4.2. We will use induction
on the length of this series, the case w(G) = 1 being trivial. Let
L be the last nontrivial term of the series. By induction we assume
that the image of v(G) in G/L has finite (v, m, s)-bounded order. Set
K = v(G) ∩ L. It follows that the index of K in v(G) is (v, m, s)bounded.
The subgroup L is generated by w-values all of whose powers are
w-values. Let g ∈ L be one of those w-values. Then for every positive
integer i the element [g iq , n t] is a v-value. As L is abelian, it follows
that [g iq , n t] = [g q , n t]i . Therefore there are two different integers i1 , i2
with 0 ≤ i1 < i2 ≤ m such that [g q , n t]i1 = [g q , n t]i2 . It follows that
[g q , n t] has order at most m, and consequently [g, n t] has order at most
mq. Let T1 be the subgroup of v(G) generated by all elements of order
at most mq. As v(G) is abelian with at most m generators, T1 is finite
with (m, q)-bounded oder. Thus, we can pass to the quotient G/T1 and
assume that [g, n t] = 1 for every generator g of L chosen as above and
for every t ∈ G. As L is abelian, it follows that [L, n t] = 1 for every
t ∈ G. In particular, [K, n t] = 1 for every t ∈ G.
Since the index of CG (v(G)) in G is m-bounded, conjugation by an
arbitrary element t ∈ G induces an automorphism of K of m-bounded
n−1
order, say r. Lemma 3.8 tells us that [K r , t] = 1. As K is abelian, it
follows that [K, t] has exponent dividing r n−1 , which is (m, n)-bounded.
Let T2 be the subgroup of v(G) generated by all elements of order at
most r n−1 . We can pass to the quotient G/T2 and without loss of
generality assume that [K, t] = 1 for every t ∈ G. Therefore K is
contained in the center of the group G. Further, note that Khtr i is a
central subgroup of v(G)hti and has (v, m, s)-bounded index in v(G)hti.

10

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

So by Shur’s Theorem the derived subgroup of v(G)hti has (v, m, s)bounded order, which does not depend on the choice of t. Arguing
as before and factoring out an appropriate small subgroup of v(G),
we may assume that [v(G), t] = 1 for every t ∈ G, that is, v(G) is
contained in the center of G.
In particular, [g q , n+1 t] = 1 for every g ∈ Gw and every t ∈ G.
So every w q -value is right (n + 1)-Engel in G. Thus, by Lemma 3.2
combined with Lemma 3.3, every w q -value is left (n+2)-Engel. Lemma
3.1 now says that w q (G) is locally nilpotent.
Choose again g ∈ Gw and t ∈ G. It follows from Lemma 3.5 that the
normal closure U of the subgroup hg q i in the group hg, ti is generated
i
by the set A = {(g q )t |i = 0, . . . , n} whose elements are left (n + 2)Engel. Lemma 3.6 now tells us that U is nilpotent with (n, s)-bounded
class. As [a, n+1 t] = 1 for every a ∈ A, Lemma 3.9 shows that Uhti is
nilpotent of (v, m, s)-bounded class.
Hence, we are in a position where Lemma 4.1 can be applied (with
just an arbitrary p). Note that
q

q

[g q , n t] = [(t−1 )g t , n−1 t] = [t−g , n−1 t]t ,
and so [g q , n t] is a value of the word ṽ = [x1 ,n−1 x2 ] in the subgroup
q
q
−i
ht−g , ti of Uhti. As ṽ((t−g )i , ti ) = [g q , n ti ]t ∈ Gv , the set of all
q
q
conjugates in ht−g , ti of elements of the form ṽ((t−g )i , ti ), where i is
an integer, has at most m elements. Therefore it follows from Lemma
4.1 that the cyclic subgroup generated by [g q , n t] has (v, m, s)-bounded
order.
Thus, we have shown that v(G) is an abelian group of rank at most
m generated by elements of (v, m, s)-bounded order. Hence, the order
of v(G) is (v, m, s)-bounded. The proof is complete.

An important family of multilinear commutator words is formed by
the derived words δk , on 2k variables, which are defined recursively by
δ0 = x1 ,

δk = [δk−1 (x1 , . . . , x2k−1 ), δk−1 (x2k−1 +1 , . . . , x2k )].

Of course δk (G) = G(k) , the k-th derived subgroup of G. We will need
the following well-known result (see for example [23, Lemma 4.1]).
Lemma 4.4. Let G be a group and let w be a multilinear commutator
word on k variables. Then each δk -value is a w-value.
Now we are ready to embark on the proof of Theorem 1.1.
Proof of Theorem 1.1. Recall that w = w(x1 , . . . , xk ) is a multilinear commutator word. We wish to prove that the word v = [w, n y]
is concise in residually finite groups. Thus, let G be a residually finite

WORDS OF ENGEL TYPE

11

group in which the word v has only finitely many values. We need to
show that v(G) is finite.
In view of Lemma 3.4 we may assume that v(G) is abelian. Since
v(G) is finitely generated, it is clear that elements of finite order in
v(G) form a finite normal subgroup. We pass to the quotient over this
subgroup and without loss of generality assume that v(G) is torsionfree. Let Ḡ be any finite quotient of G. Since v(Ḡ) is abelian and the
image of w(Ḡ) in Ḡ/v(Ḡ) consists of right Engel elements, we conclude
that Ḡ is soluble. Thus, our group G is residually soluble. Taking into
account that CG (v(G)) has finite index in G, we deduce that some term
of the derived series of G, say G(l) , is contained in CG (v(G)). Let j be
the maximum of the numbers k and l. Then G(j) centralizes v(G) and,
by Lemma 4.4, every δj -value is also a w-value.
Let x, y ∈ G with y being a δj -value. Using the formula [x, y, y] =
[y −x , y]y and taking into account that y −1 is a w-value (Lemma 3.3), we
deduce that the commutator [x, n+1 y] is a v-value and therefore, since
[v(G), y] = 1, we have [x, n+2 y] = 1. We just have shown that each
δj -value is (n + 2)-Engel in G. In view of Proposition 2.3 any subgroup
of G generated by finitely many δj -values is nilpotent and so G(j) is
locally nilpotent.
Choose δ2j -values y1 , . . . , yf ∈ G and for each i = 1, . . . , f write
yi = δk (gi1 , . . . , gi2j ), where each gii′ is a δj -value. Further, choose an
arbitrary element t ∈ G and let H be the minimal t-invariant subgroup
of G containing all these elements gii′ . Since the image of t in G/v(G)
acts on each gii′ as an Engel element, Lemma 3.5 tells us that the image
of H in G/v(G) is generated by finitely many δj -values. Therefore the
image of H is nilpotent and, since v(G) is abelian, we conclude that
Hhti is soluble. Now Proposition 4.3 tells us that v(Hhti) is finite.
Since v(G) is torsion-free, v(Hhti) = 1. In particular, [yi , n t] = 1
for each i = 1, . . . , f . We now invoke Lemma 3.9 and conclude that
ht, y1, . . . , yf i is nilpotent. This happens for any choice of δ2j -values
y1 , . . . , yf ∈ G and t ∈ G. Therefore hG(2j) , ti is locally nilpotent for
each t ∈ G.
As v(G) ∩ G(2j) is a finitely generated abelian group, for each t ∈ G
there exists an integer s such that [v(G)∩G(2j) , s t] = 1. Since the index
of CG (v(G)) in G is finite, the conjugation by t is an automorphism of
v(G) ∩ G(2j) of finite order, say r. In view of Lemma 3.8 we obtain that
s−1
[(v(G) ∩ G(2j) )r , t] = 1. As v(G) ∩ G(2j) is abelian, it follows that
[v(G) ∩ G(2j) , t] has finite exponent at most r s−1 . Taking into account
that v(G) is torsion-free, we conclude that [v(G)∩G(2j) , t] = 1 for every

12

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

t ∈ G. Therefore v(G) ∩ G(2j) is contained in the center of the group
G.
Since G/G(2j) is soluble, Proposition 4.3 guarantees that the image
of v(G) in G/G(2j) is finite. In other words, v(G)∩G(2j) has finite index
in v(G). Note that (v(G) ∩ G(2j) )htr i is a central subgroup of finite
index in v(G)hti. So by Schur’s Theorem the commutator subgroup of
v(G)hti is finite. Since the commutator subgroup is contained in v(G),
which is torsion-free, it follows that [v(G), t] = 1 for every t ∈ G, that
is, v(G) is contained in the center of G. In particular, [g, n+1t] = 1 for
every g ∈ Gw and every t ∈ G. Thus, every w-value is right (n + 1)Engel in G, whence by Lemma 3.2 combined with Lemma 3.3 every
w-value is left (n + 2)-Engel.
Let g ∈ Gw and t ∈ G. It follows from Lemma 3.5 that the normal
closure U of the subgroup hgi in the group hg, ti is generated by the
i
set A = {(g)t |t = 0, . . . , n} whose elements are left (n + 2)-Engel.
Therefore, by Proposition 2.3, U is nilpotent. Hence, by Lemma 3.9
the subgroup hg, ti is nilpotent, too.
Now we are in a situation where Lemma 4.1 can be applied. Note
that [g, n t] = [(t−1 )gt , n−1 t] = [t−g , n−1 t]t . Thus [g, n t] is a value of
the word ṽ = [x1 ,n−1 x2 ] in the group ht−g , ti. Since ṽ((t−g )i , ti ) =
−i
[g, n ti ]t ∈ Gv , the set of all conjugates in ht−g , ti of elements of the
form ṽ((t−g )i , ti ), where i is an integer, is finite. So it follows from
Lemma 4.1 that [g, n t] has finite order.
Thus, an arbitrary v-value in G has finite order. Since v(G) is
torsion-free, we conclude that v(G) = 1. The theorem is established.


5. Proofs of Theorems 1.3 and 1.4
In the present section Theorems 1.3 and 1.4 will be proved. We
start with the general remark that a word w is boundedly concise in
residually finite groups if and only if the order of w(G) is bounded in
terms of w and |Gw | for each finite group G. It follows that Theorems
1.3 and 1.4 are essentially about finite groups and their proofs will deal
with corresponding questions for finite groups.
An important concept required in this section is that of weakly
rational words. Following [13] we say that a word w is weakly rational
if for every finite group G and for every integer e relatively prime to
|G|, the set Gw is closed under taking e-th powers of its elements. By
[13, Lemma 1], the word w is weakly rational if and only if for every
finite group G and g ∈ Gw , the power g e belongs to Gw whenever e is

WORDS OF ENGEL TYPE

13

relatively prime to |g|. It was shown in [13, Theorem 3] that for every
positive integers k and q the word w = [x1 , . . . , xk ]q is weakly rational.
Let w be the word [x1 , . . . , xk ]q . Theorem 1.3 states that both words
[y, n w] and [w, n y] are boundedly concise in residually finite groups. We
will treat the two words separately. Proposition 5.1 deals with the word
[y, n w] while Proposition 5.3 with the word [w, n y].
Proposition 5.1. Let k, q and n be positive integers, and let w =
[x1 , . . . , xk ]q . The word [y, n w] is boundedly concise in residually finite
groups.
Proof. Let G be a finite group with at most m values of the word
v = [y, nw]. It is sufficient to prove that the order of v(G) is (k, m, n, q)bounded. In view of Lemma 3.4 we may assume that v(G) is abelian.
Since v(G) is an abelian m-generated group, for every integer r the
order of the subgroup of v(G) generated by all elements of order at
most r is (r, m)-bounded.
Using that v(G) is abelian we deduce that
[hi , n g] = [h, n g]i
for every integer i and elements h ∈ v(G), g ∈ G. Note that in the
case where g ∈ Gw we have [hi , n g] ∈ Gv . Therefore every power of the
v-value [h, n g] is a v-value. Since Gv has at most m elements, it follows
that
[h, n g]i = [h, n g]j
for some 0 ≤ i 6= j ≤ m. Hence, the order of [h, n g] is at most m. Let
M1 be the subgroup of v(G) generated by all elements of order at most
m. Since M1 has m-bounded order, we can pass to the quotient G/M1
and thus assume that [h, n g] = 1 for every h ∈ v(G) and g ∈ Gw . With
this in mind, for any t ∈ G and g ∈ Gw we deduce that
[[t, n g], n g] = [t, (2n) g] = 1.
This means that every w-value is 2n-Engel in G. It follows from Lemma
3.1 that w(G) is nilpotent. We will now additionally assume that w(G)
is a p-group for a prime p.
Let us fix a v-value [t, n g], where t ∈ G and g ∈ Gw , and consider
the subgroup H = hg −t , gi. Since G is a finite group in which the wvalues are 2n-Engel and H is generated by two w-values, Proposition
2.2 implies that H has (k, q, n)-bounded nilpotency class. Further, we
know from [13, Theorem 3] that the word w is weakly rational. Hence,
g i ∈ Gw for every integer i prime to p. Note that
i

i

[t, n g i ] = [(g i )−tg , (n−1) g i ] = [(g i )−t , (n−1) g i ]g ,

14

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

whence we conclude that [g −it , (n−1) g i ] ∈ Gv for every integer i coprime
to p. In particular the set
X = {[(g −t )i , (n−1) g i ]x | x ∈ G, (i, p) = 1}
is a subset of Gv and therefore |X| ≤ m.
Let η(x1 , x2 ) denote the (n − 1)-Engel word. We are in situation
where H = hg −t, gi is nilpotent with (k, q, n)-bounded class and the set
{η(g −it, g i )x = [(g −t)i , (n−1) g i ]x | x ∈ H, (i, p) = 1}
is a subset of X. Hence it has at most m elements. We deduce from
Lemma 4.1 that the order of the element [g −t , (n−1) g] is (k, q, n, m)bounded. So the order of the arbitrary v-value [t, n g] is bounded by a
number which depends only on k, q, n and m. Of course this implies
that the order of v(G) is (k, m, n, q)-bounded.
Thus, in the particular case where w(G) is a p-group the proposition
is proved. It is important to note that we proved existence of a bound,
say B, for |v(G)| which does not depend on p.
We will now deal with the case where w(G) is not necessarily a
p-group. Let p1 , . . . , ps be the set of prime divisors of the order of
w(G). Since the case where s = 1 was already dealt with, we assume
that s ≥ 2. Recall that w(G) is nilpotent and so any Hall subgroup
of w(G) is normal in G. For each i = 1, . . . , s let Ni denote the Hall
pi ′ -subgroup of w(G). The result obtained in the case where w(G) is a
p-group implies that for any i the image of v(G) in G/Ni has order at
most B. It follows that v(G) embeds into a direct product of abelian
groups of order at most B. Therefore the exponent of v(G) divides
B!. Thus v(G) is an abelian group with m generators and exponent
dividing B!. We conclude that the order of v(G) is (k, m, n, q)-bounded,
as required.

Lemma 5.2. Let w = w(x1 , . . . , xk ) be a word and n a positive
integer. There is a word η in k(n + 1) variables such that
n

n

n

[w, n y] = η(x1 , x2 , . . . , xk , xy1 , xy2 , . . . , xyk , . . . , xy1 , xy2 , . . . , xyk ).
Proof. If n = 1, we have [w, y] = w −1 w y and so we can take
η(x1 , x2 , . . . , x2k ) = w(x1 , . . . , xk )−1 w(xk+1, . . . , x2k ). Now an obvious
induction on n completes the proof.

Proposition 5.3. Let k, n, q be positive integers and w = [x1 , . . . , xk ]q .
The word [w, n y] is boundedly concise in residually finite groups.
Proof. Let G be a finite group with at most m values of the word
v = [w, n y]. It is sufficient to prove that the order of v(G) is (k, m, n, q)bounded.

WORDS OF ENGEL TYPE

15

By Lemma 3.4 we may assume that v(G) is abelian. Since v(G)
is an abelian m-generated group, for every integer r the order of the
subgroup of v(G) generated by all elements of order at most r is (r, m)bounded.
Using the formula [t, (n+1) g] = [g −tg , n g] and the fact that, by Lemma
3.3, g −1 ∈ Gw we observe that the element [t, (n+1) g] represents a vvalue for any g ∈ Gw and t ∈ G. Thus, the word [x, (n+1) w] has at most
m values in G. Applying Proposition 5.1 with the word [x, (n+1) w], we
deduce that the corresponding verbal subgroup has bounded order.
Passing to the quotient over this subgroup we assume, without loss of
generality, that [t, (n+1) g] = 1 for every t ∈ G and g ∈ Gw . Thus, all
w values are (n + 1)-Engel in G. In particular, it follows from Lemma
3.1 that w(G) is nilpotent.
Now fix a v-value [g, n t] with t ∈ G and g ∈ Gw . We use Lemma
n
5.2 and write [g, n t] = η(g, g t, . . . , g t ) for an appropriate word η =
n
η(x1 , x2 , . . . , xn+1 ). Set H = hg, g t, . . . , g t i. Since G is a finite group
in which the w-values are (n + 1)-Engel and H is generated by n +
1 elements which are w-values, Proposition 2.2 implies that H has
(k, n, q)-bounded nilpotency class.
Recall that w(G) is nilpotent. Assume first that w(G) is a p-group
for a prime p. Then H is a p-group as well. We know from [13, Theorem
3], that the word w is weakly rational and so g i ∈ Gw for every integer
i coprime to p.
Since
n
η(g i , g it , . . . , g it ) = [g i , n t],
n
it follows that η(g i , g it , . . . , g it ) ∈ Gv for every integer i coprime to p.
In particular the set
n

X = {η(g i , g it , . . . , g it )x | x ∈ H, (i, p) = 1}
is a subset of Gv and hence |X| ≤ m.
Since the nilpotency class of H is (k, n, q)-bounded, we deduce from
n
Lemma 4.1 that the order of the element η(g, g t, . . . , g t ) is (k, q, n, m)bounded. Thus, the order of an arbitrary v-value [g, n t] is bounded by a
number which depends only on k, n, q and m. Since v(G) is an abelian
subgroup generated by m such elements, we conclude that the order of
v(G) is (k, m, n, q)-bounded. Thus, in the particular case where w(G)
is a p-group the proposition is proved. It is important to note that we
proved existence of a bound, say B, for |v(G)| which does not depend
on p.
We will now deal with the case where w(G) is not necessarily a
p-group. Let p1 , . . . , ps be the set of prime divisors of the order of
w(G). Since the case where s = 1 was already dealt with, we assume

16

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

that s ≥ 2. Recall that w(G) is nilpotent and so any Hall subgroup
of w(G) is normal in G. For each i = 1, . . . , s let Ni denote the Hall
pi ′ -subgroup of w(G). The result obtained in the case where w(G) is a
p-group implies that for any i the image of v(G) in G/Ni has order at
most B. It follows that v(G) embeds into a direct product of abelian
groups of order at most B. Therefore the exponent of v(G) divides
B!. Thus v(G) is an abelian group with m generators and exponent
dividing B!. We conclude that the order of v(G) is (k, m, n, q)-bounded,
as required.

Having completed the proofs of Proposition 5.1 and Proposition
5.3, we established Theorem 1.3. Now we deal with Theorem 1.4.
Proof of Theorem 1.4. Let G be a finite group with at most
m values of the word v = [w, n y], where w = [[x1 , x2 ], [x3 , x4 ]]. It is
sufficient to prove that the order of v(G) is (m, n)-bounded. As usual,
we may assume that v(G) is abelian.
Choose a commutator d = [d1 , d2 ] in G and an arbitrary element
t ∈ G. We note that
[t, (n+2) d] = [d−td , (n+1) d].
Since [d−td , d] ∈ Gw , we conclude that [t, (n+2) d] ∈ Gv . Thus, the values
of the word [x, (n+2) [x1 , x2 ]] are contained in Gv and so there are at most
m of them. Proposition 5.1 applied with the word [x, (n+2) [x1 , x2 ]] enables us to deduce that the corresponding verbal subgroup has bounded
order. Passing to the quotient over this subgroup we assume that
[t, (n+2) d] = 1 for every t ∈ G and every commutator d ∈ G. Since all
commutators are Engel, it follows from Lemma 3.1 that the commutator subgroup G′ is nilpotent.
Now fix a v-value [g, n t] with t ∈ G and g ∈ Gw . Write g = [a, b],
where a, b are commutators. Lemma 5.2 says that there exists a word
η such that
n

n

[g, n t] = [[a, b], n t] = η(a, b, at , bt , . . . , at , bt ).
n

n

Consider the subgroup H = ha, b, at , bt , . . . , at , bt i. Since G is a finite
group in which commutators are (n + 2)-Engel and H is generated by
2(n + 1) commutators, Proposition 2.2 tells us that H has n-bounded
nilpotency class.
Recall that G′ is nilpotent. Consider first the case where G′ is a
p-group for a prime p. It is well-known that the commutator word
[x1 , x2 ] is weakly rational (see e.g. [15, p.45] or [13]). Therefore ai , bi
are commutators for every integer i coprime to p. Since
n

n

η(ai , bi , ait , bit , . . . , ait , bit ) = [[ai , bi ], n t],

WORDS OF ENGEL TYPE
n

17

n

it follows that η(ai , bi , ait , bit , . . . , ait , bit ) ∈ Gv for every integer i coprime to p. In particular the set
n

n

X = {η(ai , bi , ait , bit , . . . , ait , bit )x | x ∈ H, (i, p) = 1}
is a subset of Gv and hence |X| ≤ m.
Since the nilpotency class of H is n-bounded, Lemma 4.1 guarann
n
tees that the order of the element η(a, b, at , bt , . . . , at , bt ) is (n, m)bounded. Thus, we have shown that the order of an arbitrary v-value
in G is bounded by a number depending only on n and m. We conclude
that the order of v(G) is (m, n)-bounded. Therefore in the particular
case where G′ is a p-group the theorem is proved. It is important to
note that we proved existence of a bound, say B, for |v(G)| which does
not depend on p.
The case where G′ is not necessarily a p-group will be dealt with
using familiar arguments, similar to those employed in the proof of
Theorem 1.3. Let p1 , . . . , ps be the set of prime divisors of the order
of G′ . Since the case where s = 1 was considered in the previous
paragraphs, we assume that s ≥ 2. Observe that any Hall subgroup
of G′ is normal in G. For each i = 1, . . . , s let Ni denote the Hall pi ′ subgroup of G′ . The result obtained in the case where G′ is a p-group
implies that for any i the image of v(G) in G/Ni has order at most B.
It follows that v(G) embeds into a direct product of abelian groups of
order at most B. Therefore the exponent of v(G) divides B!. Thus
v(G) is an abelian group with m generators and exponent dividing B!.
We conclude that the order of v(G) is (m, n)-bounded, as required. 
6. Theorem 1.2
In this section we will prove that all words that imply virtual nilpotency of finitely generated metabelian groups are boundedly concise in
the class of residually finite groups (Theorem 1.2). The class of such
words is fairly large. It coincides with that of the words w such that
w is not a law in the wreath product Cn ≀ C for any n (see [5]). Here
Cn denotes the cyclic group of order n and C the infinite cyclic group.
In particular, any word of the form uv −1 , where u and v are positive
words, is of that kind. Other examples include generalizations of the
Engel words like [xn1 , y n2 , . . . , y nk ] for integers n1 , n2 , . . . , nk .
The classical result of Turner-Smith says that every word is concise
in the class of groups all of whose quotients are residually finite [29].
In particular, every word is concise in the class of virtually nilpotent
groups. Combining this with arguments along the lines of [8, Appendix]
we will establish the following proposition.

18

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

Proposition 6.1. Let c, t be positive integers and let X be the class
of groups having a normal subgroup of finite index at most t which is
nilpotent of class at most c. Then every word is boundedly concise in
X.
The proof of the above proposition uses the concept of ultraproducts. The details concerning this construction can be found, for example, in [8]. The following result is Lemma A.5 in [8].
Lemma 6.2. Let G = {Gi }i∈N be a family of groups, and for every
i ∈ N, let Si be a non-empty finite subset of Gi . If U is
Q an ultrafilter
over N, then the cardinality of the image S̄ of S = i∈N Si in the
ultraproduct GU is given by


(6.1)
|S| = sup min |Si | ,
J∈ U

i∈J

provided that the supremum is finite, and S is infinite otherwise. In
particular:
(1) If |Si | ≤ k for all i, then |S| ≤ k.
(2) If the ultrafilter U is non-principal and |Si | ≥ k for big enough
i, then |S| ≥ k.
The next lemma shows that the class X is closed under taking
ultraproducts of its members.
Lemma 6.3. Let X be as in Proposition 6.1. If G = {Gi }i∈N is a
family of groups in X and U is an ultrafilter over N, then the ultraproduct GU is again in X .
Proof. For each i ∈ N let Ni be a normal subgroup of Gi of
finite index Q
at most t such that Ni is nilpotent of class at most c.
Then
N
=
i∈N Ni is a normal subgroup of the Cartesian product
Q
i∈N Gi . Since N is nilpotent of class at most c, so is its image N̄ in
the ultraproduct GU .
It remains to prove that N̄ has index at most t in GU . This amounts
to proving that the order of the quotient group GU /N̄ is at most t.
But GU /N̄ is isomorphic to the ultraproduct modulo U of the family
of groups {Gi /Ni }i∈I , so we can apply Lemma 6.2 (1) with the sets
Si = Gi /Ni and the result follows.

If w is a word and S is a subset of w(G), we say that w has width
k over S, where k is a natural number, if every element of S can be
expressed as the product of at most k elements in Gw ∪ G−1
w . The next
two lemmas are Lemma A.6 and Lemma A.7 in [8], respectively.

WORDS OF ENGEL TYPE

19

Lemma 6.4. Let w be a word, and let {Gi }i∈I be a family of groups.
Suppose that Si ⊆ w(Gi ) for every i ∈ I, and that the width of w can
be uniformly bounded over all the subsets Si . Then
!
Y
Y
Si ⊆ w
Gi .
i∈I

i∈I

Lemma 6.5. Let ω be a word, and let G be a group such that
|ω(G)| ≥ k, where k is a positive integer. Then, there exists a subset S of ω(G) such that |S| ≥ k and ω has width less than k over
S.
The proof of Proposition 6.1 will now be short.
Proof of Proposition 6.1. Let w be any word. We need to
prove that there exists a function f : N → N such that if G is a group
in X with |Gw | ≤ m, then |w(G)| ≤ f (m). By way of contradiction,
assume that there is a family {Gi }i∈N of groups in X such that |(Gi )w | ≤
m for all i but nevertheless limi→∞ |w(Gi )| = ∞. Let us fix an arbitrary
positive integer k. According to Lemma 6.5, if i is big enough, there
is a subset Si of w(Gi ) such that |Si | ≥ k and w has width less than k
over Si . We complete theQsequence {Si }i∈NQ
by choosing the first terms
equal to 1. Now, if G = i∈N Gi and S = i∈N Si , we have
Y
Gw =
(Gi )w , and S ⊆ w(G),
i∈N

where the last inclusion follows from Lemma 6.4. Consider now a nonprincipal ultrafilter U over N, and let Q = GU be the corresponding
ultraproduct. By Lemma 6.3 Q is in X . Then Qw = (Gw ) and w(Q) =
w(G) ⊇ S. By applying Lemma 6.2, we obtain that |Qw | ≤ m and
|w(Q)| ≥ k. Since k is arbitrary, we conclude that the verbal subgroup
w(Q) is infinite. This is a contradiction, since Q is virtually nilpotent
and [29] says that w(Q) must be finite whenever Qw is finite.


Proof of Theorem 1.2. Let w be a word implying virtual nilpotency of finitely generated metabelian groups, and let G be a finite
group in which w has at most m values. It is sufficient to show that
the order of w(G) is bounded in terms of w and m. Assume that w
involves k variables. It follows that G contains a subgroup H that
can be generated by at most mk elements such that Gw = Hw . It is
enough to show that the order of w(H) is bounded in terms of w and
m. Therefore we can work with the group H in place of G. Hence,
without loss of generality we assume that G can be generated by at
most mk elements. As usual, CG (w(G)) has m-bounded index in G.

20

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

Set N = CG (w(G)). Since w is a law in the quotient N/w(N), the
theorem of Burns and Medvedev [5, Theorem A] says that N/w(N)
has a normal nilpotent subgroup M/w(N) such that the nilpotency
class of M/w(N) and the exponent of N/M are bounded in terms of
w only. Since G is mk-generated and N has m-bounded index in G,
it follows that N has a (k, m)-bounded number of generators. So the
group N/M has bounded exponent and bounded number of generators.
The solution of the restricted Burnside problem now tells us that N/M
has (k, m)-bounded order and therefore M has (k, m)-bounded index
in G. Observe that w(N) is contained in the center of N. As M/w(N)
has bounded nilpotency class, the same holds for M. Therefore with
appropriate choice of c and t, depending only on m and w, the group
G belongs to the class X of groups having a normal subgroup of finite index at most t and nilpotency class at most c. An application of
Proposition 6.1 now completes the proof.

References
1. A. Abdollahi, F.G. Russo, On a problem of P. Hall for Engel words, Arch.
Math. (Basel) 97 (2011), 407–412.
2. C. Acciarri, P. Shumyatsky, On words that are concise in residually finite
groups. Journal of Pure and Applied Algebra 218 (2014) 130–134.
3. R. Bastos, P. Shumyatsky, A. Tortora, M. Tota, On groups admitting a word
whose values are Engel, Int. J. Algebra Comput. 23 (2013), no. 1, 81–89.
4. S. Black, Which words spell ”almost nilpotent?” J. Algebra 221 (1999), 47–496.
5. R.G. Burns, Y. Medvedev, Group laws implying virtual nilpotence. J. Aust.
Math. Soc. 74 (2003), 295–312.
6. C. Casolo, Nilpotent subgroups of groups with all subgroups subnormal Bull.
London Math. Soc. 35 (2003) 15–22.
7. E. Detomi, M. Morigi, P. Shumyatsky, On conciseness of words in profinite
groups. J. Pure Appl. Algebra 220 (2016), 3010–3015.
8. G. A. Fernández-Alcober, M. Morigi, Outer commutator words are uniformly
concise. J. London Math. Soc. 82 (2010), 581–595.
9. G. A. Fernández-Alcober, M. Morigi, G. Traustason, A note on conciseness of
Engel words. Comm. Algebra 40 (2012), 257–2576.
10. G. A.
Fernández-Alcober,
P.
Shumyatsky,
On
bounded
conciseness
of
words
in
residually
finite
groups.
J.
Algebra.,
http://dx.doi.org/10.1016/j.jalgebra.2016.07.041, to appear.
11. J.R.J Groves, Varieties of soluble groups and a dichotomy of P. Hall Bull.
Austral. Math. Soc. 5 (1971), 391–410,
12. K. W. Gruenberg, Two theorems on Engel groups. Proc. Cambridge Philos.
Soc. 49, (1953). 377–380.
13. R. Guralnick, P. Shumyatsky, On rational and concise word. J. Algebra 429
(2015), 213–217.
14. B. Huppert, Endliche Gruppen. I (Springer, Berlin, 1967).
15. M. Isaacs, Character Theory of Finite Groups, AMS, Providence, RI, 1976.

WORDS OF ENGEL TYPE

21

16. S. V. Ivanov, P. Hall’s conjecture on the finiteness of verbal subgroups. Izv.
Vyssh. Ucheb. Zaved. 325 (1989), 60–70.
17. A. Jaikin-Zapirain, On the verbal width of finitely generated pro-p groups. Revista Matemática Iberoamericana 168 (2008), 393–412.
18. Ju. I. Merzlyakov, Verbal and marginal subgroups of linear groups. Dokl. Akad.
Nauk SSSR 177 (1967), 1008–1011.
19. A. Yu. Ol’shanskii, Geometry of Defining Relations in Groups, Mathematics
and its applications 70 (Soviet Series), Kluwer Academic Publishers, Dordrecht,
1991.
20. D.J.S. Robinson, Finiteness conditions and generalized soluble groups. Part 1.
Springer-Verlag, New York-Berlin, 1972.
21. D.J.S. Robinson, A course in the theory of groups. Second edition. Graduate
Texts in Mathematics, 80. Springer-Verlag, New York, 1996.
22. D. Segal, Words: notes on verbal width in groups. London Mathematical Society Lecture Note Series, 361. Cambridge University Press, Cambridge, 2009.
23. P. Shumyatsky, Verbal subgroups in residually finite groups. Q.J. Math. 51
(2000), 523–528.
24. P. Shumyatsky, A (locally nilpotent)-by-nilpotent variety of groups, Math. Proc.
Cambridge Philos. Soc. 132 (2002), no. 2, 193–196.
25. P. Shumyatsky, On varieties arising from the solution of the restricted Burnside
problem, J. Pure Appl. Algebra 171 (2002), no. 1, 67–74.
26. P. Shumyatsky, D. Sanção da Silveira,On finite groups with automorphisms
whose fixed points are Engel. Arch. Math., 106 (2016), 209–218.
27. P. Shumyatsky, A. Tortora and M. Tota, On varieties of groups satisfying an
Engel type identity. J. Algebra, 447 (2016), 479-489.
28. G. Traustason, Engel groups. Groups St Andrews 2009 in Bath. Volume 2,
520–550, London Math. Soc. Lecture Note Ser., 388, Cambridge Univ. Press,
Cambridge, 2011.
29. R. F. Turner-Smith, Finiteness conditions for verbal subgroups. J. London
Math. Soc. 41 (1966), 166–176.
30. J. C. R. Wilson, On outer-commutator words. Can. J. Math. 26 (1974), 608–620.
31. J. S. Wilson, Two-generator conditions for residually finite groups. Bull. London
Math. Soc. 23 (1991), 239–248.
32. E. I. Zelmanov, On some problems of group theory and Lie algebras. Math.
Sbornik, 66 (1990), no. 1, 159–168.
33. E. I. Zelmanov, Solution of the restricted Burnside problem for groups of odd
exponent. Math. USSR-Izv. 36 (1991), no. 1, 41–60.
34. E. I. Zelmanov, Solution of the restricted Burnside problem for 2-groups, Math.
USSR-Sb. 72 (1992), no. 2, 543–565.
35. E. I. Zelmanov, “Nil Rings and Periodic Groups”, The Korean Math. Soc. Lecture Notes in Math., Seoul, 1992.
36. E. I. Zelmanov, Lie algebras and torsion groups with identity. arXiv:
1604.05678[math.RA].

22

ELOISA DETOMI, MARTA MORIGI, AND PAVEL SHUMYATSKY

Dipartimento di Matematica, Università di Padova, Via Trieste 63,
35121 Padova, Italy
E-mail address: detomi@math.unipd.it
Dipartimento di Matematica, Università di Bologna, Piazza di Porta
San Donato 5, 40126 Bologna, Italy
E-mail address: marta.morigi@unibo.it
Department of Mathematics, University of Brasilia, Brasilia-DF,
70910-900 Brazil
E-mail address: pavel@unb.br

