On groups with automorphisms whose fixed points are Engel

We complete the study of finite and profinite groups admitting an action by an elementary abelian group under which the centralizers of automorphisms consist of Engel elements. In particular, we prove the following theorems. Let $q$ be a prime and $A$ an elementary abelian $q$-group of order at least $q^2$ acting coprimely on a profinite group $G$. Assume that all elements in $C_{G}(a)$ are Engel in $G$ for each $a\in A^{\#}$. Then $G$ is locally nilpotent (Theorem B2). Let $q$ be a prime, $n$ a positive integer and $A$ an elementary abelian group of order $q^3$ acting coprimely on a finite group $G$. Assume that for each $a\in A^{\#}$ every element of $C_{G}(a)$ is $n$-Engel in $C_{G}(a)$. Then the group $G$ is $k$-Engel for some $\{n,q\}$-bounded number $k$ (Theorem A3).


Introduction
Let A be a finite group acting on a finite group G. Many wellknown results show that the structure of the centralizer C G (A) (the fixed-point subgroup) of A has influence over the structure of G. The influence is especially strong if (|A|, |G|) = 1, that is, the action of A on G is coprime. Following the solution of the restricted Burnside problem it was discovered that the exponent of C G (A) may have strong impact over the exponent of G. Recall that a group G is said to have exponent n if x n = 1 for every x ∈ G and n is the minimal positive integer with this property. The next result was obtained in [9].
Theorem A1. Let q be a prime, n a positive integer and A an elementary abelian group of order q 2 . Suppose that A acts coprimely on a finite group G and assume that C G (a) has exponent dividing n for each a ∈ A # . Then the exponent of G is {n, q}-bounded.
Here and throughout the paper A # denotes the set of nontrivial elements of A. We use the expression "{a, b, . . . }-bounded" to abbreviate "bounded from above in terms of a, b, . . . only". The proof of the above result involves a number of deep ideas. In particular, Lietheoretical results of Zelmanov obtained in his solution of the restricted Burnside problem [25,26] are combined with the Lubotzky-Mann theory of powerful p-groups [12], Lazard's criterion for a pro-p group to be p-adic analytic [10], and a theorem of Bahturin and Zaicev on Lie algebras admitting a group of automorphisms whose fixed-point subalgebra is PI [2].
A profinite (non-quantitative) version of the above theorem was obtained in [18]. By an automorphism of a profinite group we always mean a continuous automorphism. A group A of automorphisms of a profinite group G is coprime if A is finite while G is an inverse limit of finite groups whose orders are relatively prime to the order of A. A group is said to be locally finite if each of its finitely generated subgroups is finite. A group G is torsion if each element in G has finite order. Using a reduction theorem of Wilson [23], Zelmanov showed that a profinite group is locally finite if and only if it is torsion [27]. The profinite (non-quantitative) version of Theorem A1 is as follows.
Theorem B1. Let q be a prime and A an elementary abelian qgroup of order at least q 2 . Suppose that A acts coprimely on a profinite group G and assume that C G (a) is torsion for each a ∈ A # . Then G is locally finite.
In the recent work [19] the situation where the centralizers C G (a) consist of Engel elements was dealt with. If x, y are elements of a (possibly infinite) group G, the commutators [x, n y] are defined inductively by the rule An element x is called a (left) Engel element if for any g ∈ G there exists n, depending on x and g, such that [g, n x] = 1. A group G is called Engel if all elements of G are Engel. The element x is called a (left) n-Engel element if for any g ∈ G we have [g, n x] = 1. The group G is n-Engel if all elements of G are n-Engel. The following result was proved in [19].
Theorem A2. Let q be a prime, n a positive integer and A an elementary abelian group of order q 2 . Suppose that A acts coprimely on a finite group G and assume that for each a ∈ A # every element of C G (a) is n-Engel in G. Then the group G is k-Engel for some {n, q}bounded number k.
One of the goals of the present article is to establish a profinite (nonquantitative) version of Theorem A2. A group is said to be locally nilpotent if each of its finitely generated subgroups is nilpotent. An important theorem of Wilson and Zelmanov [24,Theorem 5] tells us that a profinite group is locally nilpotent if and only if it is Engel.
Theorem B2. Let q be a prime and A an elementary abelian qgroup of order at least q 2 . Suppose that A acts coprimely on a profinite group G and assume that all elements in C G (a) are Engel in G for each a ∈ A # . Then G is locally nilpotent.
If, in Theorem A2, we relax the hypothesis that every element of C G (a) is n-Engel in G and require instead that every element of C G (a) is n-Engel in C G (a), we quickly see that the result is no longer true. An example of a finite non-nilpotent group G admitting a four-group of automorphisms A such that C G (a) is abelian for each a ∈ A # can be found for instance in [1]. On the other hand, in the present article we establish the following theorem.
Theorem A3. Let q be a prime, n a positive integer and A an elementary abelian group of order q 3 . Suppose that A acts coprimely on a finite group G and assume that for each a ∈ A # every element of C G (a) is n-Engel in C G (a). Then the group G is k-Engel for some {n, q}-bounded number k.
A profinite (non-quantitative) version of the above theorem already exists in the literature. It was obtained in [1]: Theorem B3. Let q be a prime and A an elementary abelian qgroup of order at least q 3 . Suppose that A acts coprimely on a profinite group G and assume that C G (a) is locally nilpotent for each a ∈ A # . Then G is locally nilpotent.
Thus, the purpose of the present article is to provide the proofs for Theorems B2 and A3. As the reader will see, the proofs have rather a lot in common. In the same time, by obvious reasons, the differences in the proofs are rather significant.
Throughout the paper we use, without special references, the wellknown properties of coprime actions (see for example [15,Lemma 3.2]).
If α is a coprime automorphism of a profinite group G, then C G/N (α) = C G (α)N/N for any α-invariant normal subgroup N.
If A is a noncyclic abelian group acting coprimely on a profinite group G, then G is generated by the subgroups C G (B), where A/B is cyclic.

About Lie algebras and Lie rings
Let X be a subset of a Lie algebra L. By a commutator in elements of X we mean any element of L that can be obtained as a Lie product of elements of X with some system of brackets. If x 1 , . . . , x k , x, y are elements of L, we define inductively , for all positive integers k, m. As usual, we say that an element a ∈ L is ad-nilpotent if there exists a positive integer n such that [x, n a] = 0 for all x ∈ L. If n is the least integer with the above property, then we say that a is ad-nilpotent of index n.
The next theorem represents the most general form of the Lietheoretical part of the solution of the restricted Burnside problem. It was announced by Zelmanov in [26]. A detailed proof was recently published in [29].
Theorem 2.1. Let L be a Lie algebra over a field and suppose that L satisfies a polynomial identity. If L can be generated by a finite set X such that every commutator in elements of X is ad-nilpotent, then L is nilpotent.
The next theorem, which was proved by Bahturin and Zaicev for soluble groups A [2] and later extended by Linchenko to the general case [11], provides an important criterion for a Lie algebra to satisfy a polynomial identity.
Theorem 2.2. Let L be a Lie algebra over a field K. Assume that a finite group A acts on L by automorphisms in such a manner that C L (A) satisfies a polynomial identity. Assume further that the characteristic of K is either 0 or prime to the order of A. Then L satisfies a polynomial identity.
Both Theorems 2.1 and 2.2 admit the following respective quantitative versions (see for example [16]). Theorem 2.3. Let L be a Lie algebra over a field K generated by a 1 , . . . , a m . Suppose that L satisfies a polynomial identity f ≡ 0 and each commutator in a 1 , . . . , a m is ad-nilpotent of index at most n. Then L is nilpotent of {f, K, m, n}-bounded class.
Theorem 2.4. Let L be as in Theorem 2.2 and assume that C L (A) satisfies a polynomial identity f ≡ 0. Then L satisfies a polynomial identity of {|A|, f, K}-bounded degree.
The combination of Theorems 2.3 and 2.4 yields the following corollary.
Corollary 2.5. Let L be a Lie algebra over a field K and A a finite group of automorphisms of L such that C L (A) satisfies the polynomial identity f ≡ 0. Suppose that the characteristic of K is either 0 or prime to the order of A. Assume that L is generated by an A-invariant set of m elements in which every commutator is ad-nilpotent of index at most n. Then L is nilpotent of {|A|, f, K, m, n}-bounded class.
In the present article we will be required to work with Lie rings, and not only with Lie algebras. As usual, γ i (L) denotes the ith term of the lower central series of L. In [19] the following result for Lie rings was established.
Theorem 2.6. Let L be a Lie ring and A a finite group of automorphisms of L such that C L (A) satisfies the polynomial identity f ≡ 0. Further, assume that L is generated by an A-invariant set of m elements such that every commutator in the generators is ad-nilpotent of index at most n. Then there exists positive integers e and c, depending only on |A|, f, m and n, such that eγ c (L) = 0.
Another useful lemma, whose proof can be found in [9], is the following. Recall that the identity is called the linearized n-Engel identity. In general, Theorem 2.1 cannot be extended to the case where L is just a Lie ring (rather than a Lie algebra over a field). However such an extension does hold in the particular case where the polynomial identity f ≡ 0 is a linearized Engel identity. More precisely, by combining Theorems 2.6, 2.3 and Lemma 2.7 the following result can be obtained. See [19] for further details.
Theorem 2.8. Let F be the free Lie ring and f an element of F (Lie polynomial) such that f ∈ pF for any prime p. Suppose that L is a Lie ring generated by finitely many elements a 1 , . . . , a m such that all commutators in the generators are ad-nilpotent of index at most n. Assume that L satisfies the identity f ≡ 0. Then L is nilpotent with {f, m, n}-bounded class.

On associated Lie rings
There are several well-known ways to associate a Lie ring to a group (see [6,8,16]). For the reader's convenience we will briefly describe the construction that we are using in the present paper.
Let G be a group. A series of subgroups Given an N-series ( * ), let L * (G) be the direct sum of the abelian groups L * i = G i /G i+1 , written additively. Commutation in G induces a binary operation [, ] in L * (G). For homogeneous elements xG i+1 ∈ L * i , yG j+1 ∈ L * j the operation is defined by and extended to arbitrary elements of L * (G) by linearity. It is easy to check that the operation is well-defined and that L * (G) with the operations + and [, ] is a Lie ring.
can be viewed as a Lie algebra over the field with p elements. Observe that an important example of an N p -series is the case where the series ( * ) is the p-dimension central series, also known under the name of Zassenhaus-Jennings-Lazard series (see [6, p. 250] for details).
Any automorphism of G in the natural way induces an automorphism of L * (G). If G is profinite and α is a coprime automorphism of G, then the subring (subalgebra) of fixed points of α in L * (G) is isomorphic with the Lie ring associated to the group C G (α) via the series formed by intersections of C G (α) with the series ( * ) (see [16] for more details).
In the case where the series ( * ) is just the lower central series of G we write L(G) for the associated Lie ring. In the case where the series ( * ) is the p-dimension central series of G we write L p (G) for the subalgebra generated by the first homogeneous component G 1 /G 2 in the associated Lie algebra over the field with p elements.
We will also require the following lemma that essentially is due to Wilson and Zelmanov (cf [24, Lemma in Section 3]. Lemma 3.1. Let G be a profinite group and g ∈ G an element such that for any x ∈ G there exists a positive n with the property that [x, n g] = 1. Let L * (G) be the Lie algebra associated with G using an N p -series ( * ) for some prime p. Then the image of g in L * (G) is ad-nilpotent.
We close this section by quoting the following result, which is a finite version of Lazard's criterion for a pro-p group to be p-adic analytic. The proof can be found in [9]. Recall that powerful p-groups were introduced by Lubotzky and Mann in [12]. A finite p-group P is said to be powerful if and only if [P, P ] ≤ P p for p = 2 (or [P, P ] ≤ P 4 for p = 2), where P i denotes the subgroup of P generated by all ith powers. Powerful p-groups have some nice properties. In particular, if P is a powerful p-group, then the subgroups γ i (P ), P (i) and P i are also powerful. Moreover, for given positive integers n 1 , . . . , n s , it follows, by repeated applications of [12, Propositions 1.6 and 4.1.6], that [P n 1 , . . . , P ns ] ≤ γ s (P ) n 1 ···ns .
Furthermore if a powerful p-group P is generated by d elements, then any subgroup of P can be generated by at most d elements and P is a product of d cyclic subgroups.

Proof of Theorem A3
We are now ready to embark on the proof of our main results. (1) There exist positive integers e, c depending only on m, n and q, such that eγ c (L(G)) = 0; (2) L p (G) is nilpotent of {m, n, p, q}-bounded class.
The proofs of the statements (1) and (2) are similar. We will give a detailed proof of the first statement. The proof of (2), with obvious changes, can be obtained simply by replacing every appeal to Theorem 2.6 in the proof of (1) by an appeal to Corollary 2.5. An important observation that is used in the proof is that when a finite p-group can be generated by d elements, we can choose d generators from any subset that generates the group. This follows from the well-known Burnside Basis Theorem [5]. In the proof we also use the following theorem, due to Ward [21].
Theorem 4.2. Let q be a prime and A an elementary abelian group of order at least q 3 . Suppose that A acts coprimely on a finite group G and assume that C G (a) is nilpotent for each a ∈ A # . Then G is nilpotent.
Proof of Proposition 4.1. Recall that G is an m-generated group acted on by A in such a way that for each a ∈ A # every element of C G (a) is n-Engel in C G (a). We wish to prove that there exist positive integers e, c depending only on m, n and q such that eγ c (L(G)) = 0. By well-known Zorn's Theorem [5, Satz III.6.3], each C G (a) is nilpotent. Therefore Theorem 4.2 implies that G is nilpotent. Hence, G is a direct product of its Sylow subgroups and so, without loss generality, we can assume that G is a p-group for some prime p = q.
Let A 1 . . . , A s be the distinct maximal subgroups of A and note that s is a q-bounded number. We denote by γ j = γ j (G) the terms of lower central series of G. Set L = L(G) and L j = γ j /γ j+1 so that L = ⊕ j≥1 L j . The group A naturally acts on L. Since each subgroup A i is noncyclic, we deduce that L = a∈A # i C L (a) for every i ≤ s. Let L ij = C L j (A i ). Then for any j we have Further, for any l ∈ L ij there exists x ∈ γ j ∩C G (A i ) such that l = xγ j+1 . Since x is an n-Engel element in C G (a), the element l is ad-nilpotent of index at most n in C L (a). From the fact that L = a∈A # i C L (a), we deduce now that (1) any element l in L ij is ad-nilpotent in L with index at most n.
Since G is generated by m elements, the additive group L 1 is generated by m elements. In particular, the Lie ring L is generated by at most m ad-nilpotent elements, each from L i1 for some i.
Let ω be a primitive qth root of unity and consider the tensor product L = L ⊗ Z[ω]. Set L j = L j ⊗ Z[ω] for j = 1, 2, . . .. We regard L as a Lie ring and so L = L 1 . We also remark that there is a natural embedding of the ring L into the ring L. Since the additive subgroup L 1 is generated by m elements, it follows that the additive subgroup L 1 is generated by at most (q − 1)m elements.
The group A naturally acts on L and We will now prove the following claim.
(2) Any element y ∈ L ij is ad-nilpotent in L with {n, q}-bounded index.
Indeed, choose y ∈ L ij and write for suitable x 0 , x 1 , . . . , x q−2 ∈ L ij . Note that by (1) each of the summands ω t x t is ad-nilpotent in L of index at most n. Denote by K = x 0 , ωx 1 , . . . , ω q−2 x q−2 the subring of L generated by the elements x 0 , ωx 1 , . . . , ω q−2 x q−2 . Since K is contained in C L (a) for some a ∈ A i and C G (a) is n-Engel, we conclude that K satisfies the linearized n-Engel identity. Furthermore, note that a commutator of weight k in the elements ω t x t has the form ω r x for some x that belongs to L ih , where h = kj. By (1) the element x is ad-nilpotent of {n, q}-bounded index and so such commutator must be ad-nilpotent of bounded index as well. Hence, by Theorem 2.8, K is nilpotent of {n, q}-bounded class. Now Lemma 2.7 ensures that there exists a positive integer u, depending only on n and q, such that [L, u K] = 0. Since y ∈ K, we conclude that y is ad-nilpotent in L with {n, q}-bounded index, as claimed.
An element x ∈ L will be called a common "eigenvector" for A if for any a ∈ A # there exists a number k such that x a = ω k x. Since (|A|, |G|) = 1, the additive group of the Lie ring L is generated by common eigenvectors for A (see, for example [8, Lemma 4.1.1]).
As we have already remarked the additive subgroup L 1 is generated by at most (q − 1)m elements. It follows that the Lie ring L is generated by an {m, q}-bounded number of common eigenvectors for A. Certainly, the Lie ring L is generated by an A-invariant set of {m, q}-boundedly many common eigenvectors for A.
Since A is noncyclic, every common eigenvector for A is contained in the centralizer C L (A i ) for some i ≤ s. Further, any commutator in common eigenvectors is again a common eigenvector. Therefore if l 1 , l 2 , . . . ∈ L 1 are common eigenvectors for A generating L, then any commutator in these generators belongs to some L ij and therefore, by (2), is ad-nilpotent of {n, q}-bounded index.
Note that, for any 1 ≤ i ≤ s, the subring C L (A i ) satisfies the linearized n-Engel identity. Thus, by Theorem 2.6, there exist positive integers e and c, depending only on m, n and q, such that eγ c (L) = 0. Since L embeds into L, we also have eγ c (L) = 0 and this concludes the proof.
We will require the following quantitative version of Theorem 4.2 that was obtained in [17]. Theorem 4.3. Let q be a prime and A an elementary abelian group of order at least q 3 . Suppose that A acts coprimely on a finite group G and assume that C G (a) is nilpotent of class at most c for each a ∈ A # . Then G is nilpotent of {q, c}-bounded class.
It was recently shown in [13] that the assumption that A is abelian is actually superfluous in the above result. That is, the result holds for any group A of prime exponent. We are now ready to establish Theorem A3.
Proof of Theorem A3. By the hypothesis, for each a ∈ A # , the centralizer C G (a) is n-Engel. Thus the Zorn theorem tells us that each C G (a) is nilpotent. We deduce from Theorem 4.2 that the group G is nilpotent.
Choose now arbitrary elements x, y ∈ G. It is sufficient to show that the subgroup x, y is nilpotent of {n, q}-bounded class. Without loss of generality we can assume that no proper A-invariant subgroup of G contains both x and y, and so G = x A , y A . Therefore G can be generated by a q-bounded number of elements. Since G is nilpotent, without loss of generality we can also assume that G is a p-group, for some prime p = q.
Let L = L(G). By Proposition 4.1(1) there exist positive integers e and c depending only on n and q such that eγ c (L) = 0. If p is not a divisor of e, then γ c (L) = 0. In particular G is nilpotent of class at most c − 1, as required.
Let us assume now that p is a divisor of e. By Proposition 4.1(2), the Lie algebra L p (G) is nilpotent of {n, q}-bounded class. Then Theorem 3.2 tells us that G has a powerful characteristic subgroup P of {n, q}bounded index. It follows that P has a bounded number of generators (see [14, 6.1.8(ii), p. 164]). Therefore the rank of P is {n, q}-bounded and so the rank of G is {n, q}-bounded as well. This implies that any centralizer C G (a) can be generated by an {n, q}-bounded number of elements for each a ∈ A # . Zelmanov noted in [28] that the nilpotency class of a finite n-Engel group is bounded in terms of n and the number of generators of that group. (This means that locally nilpotent n-Engel groups form a variety. More results of this nature can be found in [20]). We conclude that each C G (a) is nilpotent with {n, q}-bounded class. Theorem 4.3 implies that G is nilpotent of {n, q}-bounded class. The proof is now complete.

Proof of Theorem B2
We start this section by proving Theorem B2 in the particular case where G is a pro-p group.
Proposition 5.1. Let G be a pro-p group satisfying the hypothesis of Theorem B2. Then G is locally nilpotent.
Proof. Since every finite set of G is contained in a finitely generated A-invariant closed subgroup, we may assume that G is finitely generated. Then, of course, it will be sufficient to show that G is nilpotent.
We denote by D j = D j (G) the terms of the p-dimension central series of G. Let L = L p (G) be the Lie algebra associated with the group G and L j = L ∩ (D j /D j+1 ). Thus, L = ⊕ j≥1 L j .
The group A naturally acts on L. Let A 1 , . . . , A q+1 be the distinct maximal subgroups of A. Set L ij = C L j (A i ). We know that any Ainvariant subgroup is generated by the centralizers of A i . Therefore for any j we have Further, for any l ∈ L ij there exists an element x ∈ D j ∩ C G (A i ) such that l = xD j+1 . Since x is Engel in G, it follows by Lemma 3.1 that l is ad-nilpotent in L. Thus, (3) any element in L ij is ad-nilpotent in L.
Let ω be a primitive qth root of unity and L = L ⊗ F p [ω]. Here F p stands for the field with p elements. We can view L both as a Lie algebra over F p and as that over F p [ω]. It is natural to identity L with the subalgebra L ⊗ 1 of L. We note that if an element x ∈ L is ad-nilpotent of index r, say, then the correspondent element x ⊗ 1 is ad-nilpotent in L of the same index r.
Put L j = L j ⊗ F p [ω]. Then L = L 1 and L is the direct sum of the homogeneous components L j . The group A naturally acts on L and we have L ij = C L j (A i ), where L ij = L ij ⊗ F p [ω]. Let us show that (4) any element y ∈ L ij is ad-nilpotent in L.
, we can write for suitable x 0 , x 1 , x 2 , . . . , x q−2 ∈ L ij . In view of (3) it is easy to see that each of the summands ω s x s is ad-nilpotent in L. Let J = x 0 , ωx 1 , ω 2 x 2 , . . . , ω q−2 x q−2 be the subalgebra of L generated by x 0 , ωx 1 , ω 2 x 2 , . . . , ω q−2 x q−2 . We wish to show that J is nilpotent. Note that J ⊆ C L (A i ). A commutator of weight t in the generators of J has form ω s x for some x that belongs to L im , where m = tj. By (3) the element x is ad-nilpotent and so such a commutator must be adnilpotent. By [1, Proposition 2.6] L satisfies a multilinear polynomial identity. The multilinear identity is also satisfied in L and so it is satisfied in J, since J ⊆ C L (A i ). Hence by Theorem 2.1 J is nilpotent. By Since A is abelian and the ground field is now a splitting field for A, every component L j decomposes in the direct sum of common eigenspaces for A. In particular, L 1 is spanned by finitely many common eigenvectors for A, since G is a finitely generated pro-p group. Hence, L is generated by finitely many common eigenvectors for A from L 1 . Since A is noncyclic every common eigenvector is contained in the centralizer C L (A i ) for some i ≤ q + 1.
We also note that any commutator in common eigenvectors is again a common eigenvector for A. Therefore, if l 1 , l 2 , . . . ∈ L 1 are common eigenvectors for A generating L then any commutator in those generators belongs to some L ij and therefore, by (4), is ad-nilpotent.
As we have mentioned earlier, L satisfies a polynomial identity. It follows from Theorem 2.1 that L is nilpotent. Since L embeds into L, we deduce that L is nilpotent as well.
According to Lazard [10] the nilpotency of L is equivalent to G being p-adic analytic. By [3, 7.19 Theorem] G admits a faithful linear representation over the field of p-adic numbers. A result of Gruenberg [4, Theorem 0] says that in a linear group the Hirsch-Plotkin radical coincides with the set of Engel elements. Since G is finitely generated and we deduce that G is nilpotent. This concludes the proof. Now we are ready to deal with the general case of Theorem B2.
Proof of Theorem B2. Let S be the subset of all A-invariant open normal subgroups of G. By [22, Theorem 1.2.5], we have G ∼ = lim ← − N ∈S G/N. Note that if N ∈ S and Q = G/N, the group A acts coprimely on Q in the natural way and Q is generated by the centralizers C Q (a) = C G (a)N/N. By well-known Baer's Theorem [5, Hilfssatz III.6.14], a finite group generated by Engel elements is nilpotent and so Q is nilpotent. Since this argument holds for any N in S, we conclude that G is pronilpotent and therefore G is the Cartesian product of its Sylow subgroups.
Let a ∈ A # . For each positive integer i define the set Since these sets are closed in G × C G (a) and their union coincides with G × C G (a), by Baire category theorem [7, p. 200] at least one S i has a non-empty interior. Therefore, we can find an open normal subgroup H in G, elements u ∈ G, v ∈ C G (a) and a positive integer n such that [ul, n vk] = 1 for any l ∈ H and any k ∈ H ∩ C G (a). Let [G : H] = m and let π 1 = π(m) be the set of primes dividing m. Denote O π ′ 1 (G) by T and observe that for all x ∈ C T (a) we have [T, n x] = 1.
Of course, the open subgroup H, the set π 1 and the integer n depend on the choice of a ∈ A # so strictly speaking they should be denoted by H a , π a and n a , respectively. We choose such H a , π a and n a for every a ∈ A # . Set π = ∪ a∈A # π a , n = max{n a : a ∈ A # } and R = O π ′ (G). Note that π is a finite set. The choice of the set π guarantees that for each a ∈ A # every element of C R (a) is n-Engel in R. Using the routine inverse limit argument we deduce from Theorem A2 that R is k-Engel for some suitable integer k. Thus, by [24,Theorem 5], the subgroup R is locally nilpotent. Let p 1 , . . . , p r be the finitely many primes in π and P 1 , . . . , P r be the corresponding Sylow subgroups of G. Then G = P 1 × . . . × P r × R and therefore it is sufficient to show that each subgroup P i is locally nilpotent. This is immediate from Proposition 5.1. The proof is complete.