arXiv:1712.08103v1 [] 21 Dec 2017

Nilpotent residual of fixed points
Emerson de Melo, Aline de Souza Lima, and Pavel Shumyatsky
Abstract. Let q be a prime and A a finite q-group of exponent
q acting by automorphisms on a finite q ′ -group G. Assume that
A has order at least q 3 . We show that if γ∞ (CG (a)) has order at
most m for any a ∈ A# , then the order of γ∞ (G) is bounded solely
in terms of m and q. If γ∞ (CG (a)) has rank at most r for any
a ∈ A# , then the rank of γ∞ (G) is bounded solely in terms of r
and q.

1. Introduction
Suppose that a finite group A acts by automorphisms on a finite
group G. The action is coprime if the groups A and G have coprime
orders. We denote by CG (A) the set
CG (A) = {g ∈ G | g a = g for all a ∈ A},
the centralizer of A in G (the fixed-point subgroup). In what follows we
denote by A# the set of nontrivial elements of A. It has been known
that centralizers of coprime automorphisms have strong influence on
the structure of G.
Ward showed that if A is an elementary abelian q-group of rank at
least 3 and if CG (a) is nilpotent for any a ∈ A# , then the group G
is nilpotent [20]. Later the third author showed that if, under these
hypotheses, CG (a) is nilpotent of class at most c for any a ∈ A# ,
then the group G is nilpotent with (c, q)-bounded nilpotency class [17].
Throughout the paper we use the expression “(a, b, . . . )-bounded” to
abbreviate “bounded from above in terms of a, b, . . . only”. In the
recent article [3] the above result was extended to the case where A is
not necessarily abelian. Namely, it was shown that if A is a finite group
1991 Mathematics Subject Classification. 20D45.
Key words and phrases. p-groups, Automorphisms, Nilpotent residual.
The first author was supported by FEMAT; The third author was supported
by FAPDF and CNPq-Brazil.
1

2 EMERSON DE MELO, ALINE DE SOUZA LIMA, AND PAVEL SHUMYATSKY

of prime exponent q and order at least q 3 acting on a finite q ′ -group
G in such a manner that CG (a) is nilpotent of class at most c for any
a ∈ A# , then G is nilpotent with class bounded solely in terms of c
and q. Many other results illustrating the influence of centralizers of
automorphisms on the structure of G can be found in [9].
In the present article we study finite groups G acted on by a (possibly non-abelian) group A of prime exponent q and order at least q 3
such that CG (a) has “small” nilpotent residual for every a ∈ A# . Recall that the nilpotent residual γ∞ (K) of a group K is the last term
of the lower central series of K. It can also be defined as the intersection of all normal subgroups of K whose quotients are nilpotent. The order of a finite group K is denoted by |K|. The rank
of (a finite group) K is the minimal number r, denoted by r(K),
such that every subgroup of K can be generated by at most r elements. Guralnick [6] and, independently, Lucchini [15] proved that
r(K) ≤ 1 + maxp {r(P ) | P a Sylow p-subgroup of K}.
We obtain the following results.
Theorem 1.1. Let q be a prime and A a finite q-group of exponent
q acting by automorphisms on a finite q ′ -group G. Assume that A has
order at least q 3 and |γ∞ (CG (a))| ≤ m for any a ∈ A# . Then γ∞ (G)
has (m, q)-bounded order.
Theorem 1.2. Let q be a prime and A a finite q-group of exponent
q acting by automorphisms on a finite q ′ -group G. Assume that A
has order at least q 3 and r(γ∞ (CG (a))) ≤ r for any a ∈ A# . Then
r(γ∞ (G)) is (r, q)-bounded.
Unsurprisingly, these results depend on the classification of finite
simple groups and it seems unlikely that one could find a classificationfree proof.
2. Preliminaries
If A is a group of automorphisms of a group G, the subgroup generated by elements of the form g −1g α with g ∈ G and α ∈ A is denoted
by [G, A]. It is well-known that the subgroup [G, A] is an A-invariant
normal subgroup in G. Our first lemma is a collection of well-known
facts on coprime actions (see for example [4]). Throughout the paper
we will use it without explicit references.
Lemma 2.1. Let A be a group of automorphisms of a finite group
G such that (|G|, |A|) = 1. Then
i) G = CG (A)[G, A].

NILPOTENT RESIDUAL OF FIXED POINTS

3

ii) [G, A, A] = [G, A].
iii) A leaves invariant some Sylow p-subgroup of G for each prime
p ∈ π(G).
iv) CG/N (A) = CG (A)N/N for any A-invariant normal subgroup
N of G.
v) If
Q G is nilpotent and A is a noncyclic abelian group, then G =
a∈A# CG (a).
We will require the following well-known fact.
Lemma 2.2. Let N, H1 , . . . , Hl be subgroups of a group G with N
being normal. If K = hH1 , . . . , Hl i, then [N, K] = [N, H1 ] . . . [N, Hl ].
Throughout the rest of this section we will assume the following
hypothesis. As usual, Z(K) stands for the center of a group K.
Let q be a prime and A a group of exponent q and order q 3 . Denote
by B a subgroup of order q of Z(A). Let A act on a finite q ′ -group
G = P H, where P and H are A-invariant subgroups such that P is a
normal p-subgroup for a prime p and H is a nilpotent p′ -subgroup. It
is clear that A has precisely q + 1 subgroups of order q 2 containing B.
Lemma 2.3. Let A1 , . . . , AQ
order q 2 of A
q+1 be the subgroups of Q
containing B. Then CP (B) = CP (Ai ) and CH (B) = CH (Ai ).
Proof. Denote by A the quotient-group A/B. Since A is not
cyclic and both centralizers
CP (B) and CH (B) are
Q A-invariants, it
Q
follows that CP (B) = CCP (B) (a) and CH (B) = CCH (B) (a) where
#
a
Q∈ A . An alternative way
Q of expressing this is to write that CP (B) =
CP (Ai ) and CH (B) = CH (Ai ).

Lemma
Q 2.4. Suppose that P is abelian. Then [P, CH (B)] is contained in [CP (a), CH (a)], where the product is taken over all a ∈ A# .
Q
Proof.
In view of Lemma 2.3 we have CH (B) =
C
Q
QH (Ai ) and
P = a∈A# CP (a) for each i. By Lemma 2.2, [P, CH (B)] = [P, CH (Ai )].
i
Q
Since P is abelian, for each i we have [P, CH (Ai )] = [CP (a), CH (Ai )]
where the product is taken over all a ∈ A#
i . In particular, [P, CH (Ai )] =
Q
[CP (a), CH (a)].

Lemma 2.5. If [CP (a), CH (a)] = 1 for any a ∈ A# , then [P, H] = 1.
Proof. First we assume that P is abelian. By Lemma 2.4, [P, CH (B)] =
1. Let us prove that [CP (B),
Q H] = 1. Using the
Q notation of Lemma
2.3 we have that CP (B) = CP (Ai ) and H = a∈A# CH (a) for each
i
Q
i. Since P is abelian, we conclude that [CP (B), H] = [CP (Ai ), H].

4 EMERSON DE MELO, ALINE DE SOUZA LIMA, AND PAVEL SHUMYATSKY

Thus, [CP (Ai ), H] = 1 as [CP (Ai ), CH (a)] = 1 for any a ∈ A#
i . Hence,
[CP (B), H] = 1.
The above shows that CP (B) ≤ Z(G) and CH (B) centralizes P . If
H is abelian, then CG (B) ≤ Z(G). Hence, B acts fixed-point-freely
on G/Z(G) and so G/Z(G) is nilpotent by Thompson’s theorem [18].
Consequently, G is nilpotent and so in the case where P and H both
are abelian we have [P, H] = 1.
Suppose that H is not abelian. By the previous paragraph, [P, Z(H)] =
1. Considering the action of H/Z(H) on P and arguing by induction
on the nilpotency class of H we deduce that [P, H] = 1. Thus, in the
case where P is abelian the lemma holds.
Assume that P is not abelian. Consider the action of HA on
P/Φ(P ). By the above, [P, H] ≤ Φ(P ). We see that P = CP (H)[P, H] ≤
CP (H)Φ(P ), which implies that P = CP (H) and [P, H] = 1.

Lemma 2.6. Suppose that P is abelian and P = [P, H]. Assume
that the order of [CP (a), CH (a)] is at most m for any a ∈ A# . Then
hCP (B)H i has (m, q)-bounded order.
Q
Proof. Recall that by Lemma 2.3 we have CP (B) =
CP (Ai ),
2
where A1 , . . . , Aq+1 are the subgroups of order q of A containing B.
First, we prove that the order of CP (B) is (m, q)-bounded. It suffices
to bound the order of CP (Ai ) for each i. For each a ∈ Ai we denote
by Pa and Ha the centralizers CP (a) and CH (a) respectively. It is clear
that Pa is normal in CG (a). Set Da = CPa (Ha ) and Di = ∩a∈Ai Da .
The index of Da in Pa is m since |[Pa , Ha ]| = m and so the index
of Di in CP (Ai ) isQ(m, q)-bounded. Now, let x ∈ Di . Taking into
account that H = a∈A# Ha we deduce that [x, H] = 1. Thus, x = 1
i
since P = [P, H]. We conclude that Di is trivial for each i. Therefore
CP (Ai ) has (m, q)-bounded order for any i as desired.
Now, let Ea be the centralizer of [Pa , Ha ] in Ha . Note that Ea has mbounded index in Ha since Ha /Ea embeds in the automorphism group
of [Pa , Ha ]. Moreover, [Pa , Ea ] = 1 because Pa = CPa (Ha )[Pa , Ha ]. Set
Ei = Q
hEa | a ∈ Ai i. Note that Ei has (m, q)-bounded index in H since
H = a∈A# Ha . Further, note that [CP (Ai ), Ei ] = 1. It becomes clear
i
that E = ∩i Ei has (m, q)-bounded index in H and [CP (B), E] = 1.
Therefore, hCP (B)H i has (m, q)-bounded order.

We use Zi (K) to denote the ith term of the upper central series of
K.
Lemma 2.7. Suppose that the order of [CP (a), CH (a)] is at most m
for any a ∈ A# . Then the order of [P, H] is (m, q)-bounded.

NILPOTENT RESIDUAL OF FIXED POINTS

5

Proof. We can assume that P = [P, H]. Note that if N is a normal
subgroup of P such that [N, H] = 1, then N ≤ Z(P ). Indeed, in this
case we have [P, N] ≤ N and so [P, [N, H]] = 1 and [H, [P, N]] = 1.
Consequently [N, [P, H]] = 1 by the three subgroup lemma.
For a normal A-invariant subgroup M of P and a ∈ A# we write
ja (P/M) for the order of
P[CP/M (a), CH (a)]. We write ja (P ) when M
is trivial. Set k(P ) = a∈A# ja (P ). It is clear that k(P ) is (m, q)bounded. By induction on k(P ) we will prove that the nilpotency class
of P is at most t = 2k(P ) + 1. If k(P ) = q 3 − 1 (the smallest possible
value for k(P ) - it occurs if and only if [CP (a), CH (a)] = 1 for any
a ∈ A# ), then P is trivial by Lemma 2.5 since P = [P, H]. Further, if
P is abelian there is nothing to prove. Suppose that P is not abelian.
Then [Z2 (P ), H] 6= 1 and so, by Lemma 2.5, [CZ2 (P ) (a), CH (a)] 6= 1 for
some a ∈ A# . Therefore k(P/Z2(P )) < k(P ). By induction, P/Z2(P )
has nilpotency class at most 2(k(P ) − 1) + 1 and so the nilpotency class
of P is at most 2k(P ) + 1.
Clearly, |P | is bounded in terms of |P/P ′| and the nilpotency class
of P . Hence, by the previous paragraph in order to prove the lemma
it is sufficient to prove that the order of P/P ′ is (m, q)-bounded. In
particular, without loss of generality we may assume that P is abelian.
By Lemma 2.6 the subgroup hCP (B)H i has (m, q)-bounded order
and since P is abelian we conclude that it is normal in G. We can pass
to the quotient G/hCP (B)H i and without loss of generality assume that
CP (B) = 1.
By Lemma 2.4 [P, CH (B)] has (m, q)-bounded order. Hence, it is
sufficient to show that [P, H] = [P, CH (B)]. First, suppose that H is
abelian. Then [P, CP (B)] is normal in G and passing to the quotient
we can assume that [P, CP (B)] = 1. Thus, CG (B) = CH (B) belongs to
Z(G) and so G/Z(G) admits a fixed-point-free automorphism of prime
order q. By Thompson’s theorem [18], G/Z(G) is nilpotent. Therefore,
G is nilpotent and [P, H] = 1, as required.
Suppose that H is not abelian. We have proved that [P, Z(H)] =
[P, CZ(H)(B)]. The subgroup [P, Z(H)] is normal in G. Hence, passing
to the quotient G/[P, Z(H)] we can consider the action of H/Z(H) on
P and arguing by induction on the nilpotency class of H we deduce
that [P, H] = [P, CP (B)].

Lemma 2.8. Let N be a normal HA-invariant subgroup of P . Assume that P = [P, H] and |[N, H]| = pn . Then N ≤ Z2n+1 (P ).
Proof. If [N, H] = 1, then [H, [P, N]] = [P, [N, H]] = 1 and so
N ≤ Z(P ) by the three subgroup lemma. Let M = N ∩ Z2 (P ) and
suppose that N is not in Z(P ). Thus, it is clear that M 6≤ Z(P ) and

6 EMERSON DE MELO, ALINE DE SOUZA LIMA, AND PAVEL SHUMYATSKY

[M, H] 6= 1. Using induction on n with G and N replaced by G/M
and N/M respectively we derive that N/M ≤ Z2n−1 (P/M), whence
N ≤ Z2n+1 (P ).

Recall that a p-group is powerful if G′ ≤ Gp (for p odd) or G′ ≤ G4
(for p = 2). The reader can consult [2] for information on such groups.
We will use the fact that the rank of a powerful p-group coincides with
the minimal number of generators.
For odd prime the next lemma can be found for example in [16,
Lemma 2.2].
Lemma 2.9. Let N be a group of rank r and prime exponent p if p
is odd or exponent 4 if p = 2. Then |N| ≤ ps where s is an r-bounded
number.
Proof. By Theorem 2.13 of [2] G has a powerful characteristic
subgroup N of index at most pµ(r) where µ(r) is a number depending
only on r. Corollary 2.8 in [2] shows that N is a product of at most r
cyclic subgroups. Therefore, N is of order at most pr if p is odd or 4r
if p = 2 and the lemma follows.

Lemma 2.10. Suppose that r([CP (a), CH (a)]) ≤ r for any a ∈ A# .
Then r([P, H]) is (r, q)-bounded.
Proof. Without loss of generality we assume that P = [P, H]. Let
M be any normal A-invariant subgroup of exponent p (or exponent 4 if
p = 2) in P . By Lemma 2.9, the order of [CM (a), CH (a)] is r-bounded
for any a ∈ A. Hence, applying Lemma 2.7 we deduce that [M, H] is
of (r, q)-bounded order. In other words, there exists an (r, q)-bounded
number t such that [M, H] ≤ pt . Applying this argument to P/Φ(P )
we conclude that P can be generated with at most t elements since the
minimal number of generators of P is equal to the rank of P/Φ(P ) by
the Burnside Basis Theorem.
Let the symbol p denote p if p is odd and 4 if p = 2. Let N =
γ2t+1 (P ) where t is as above. We will show that N is powerful, that is
N ′ ≤ N p . Pass to the quotient G/N p and assume that N has exponent
p. By the first paragraph |[N, H]| ≤ pt and so N ≤ Z2t+1 (P ) by Lemma
2.8. Note that [γi (P ), Zi (P )]=1 for any positive integer i. Therefore,
N is abelian modulo N p . This means that N is powerful.
We now wish to show that N can be generated with bounded number of elements. We can pass to the quotient P/Φ(N) and assume
that N is elementary abelian. Let d be the minimal number of generators of P . For each n the section γn (P )/γn+1(P ) is generated by
dn elements (see for example [9, Corollary 2.5.6]). Hence, it suffices to

NILPOTENT RESIDUAL OF FIXED POINTS

7

bound the nilpotency class of P . Recall that we have already proved
that under our assumptions N ≤ Z2t+1 (P ). Therefore P is nilpotent
of class at most 4t + 2 and so the minimal number of generators of N
is (r, q)-bounded.
Since N is powerful we obtain that r(N) is (r, q)-bounded. The
lemma follows since obviously r(P ) ≤ r(P/N) + r(N).

We finish this section with a useful result on coprime action. In
the next lemma we will use the fact that if D is any coprime group
of automorphisms of a finite simple group, then D is cyclic (see for
example [7]).
Lemma 2.11. Let D be a non-cyclic q-group of order q 2 acting on a
finite q ′ -group N = S1 ×· · ·×St which is a direct product of t nonabelian
simple groups. Suppose that r(γ∞ (CN (d))) ≤ r for any d ∈ D # . Then
t is an (r, q)-bounded number and each direct factor Si has rank at most
r.
Proof. First, we prove that each direct factor Si has rank at most
r. Indeed, if Si is D-invariant, then Si is contained in CG (d) for some
d ∈ D # and so r(Si ) ≤ r by the hypotheses. Suppose that Si is
not D-invariant. Choose d ∈ D # such that Sid 6= Si . Write S =
q−1
Si × Sid · · · × Sid . We see that CS (d) is exactly the diagonal subgroup
of S and so CS (d) is isomorphic to Si . Thus, we conclude that r(Si ) ≤ r.
Now we prove that t is (r, q)-bounded. Write G = K1 × · · · × Ks
where each Ki is a minimal normal D-invariant subgroup. Then each
Ki is a product of at most |D| simple factors and so t ≤ |D|s. Therefore
it is sufficient to bound s.
Let Sj be a direct factor of Ki . If Sj is D-invariant, then Sj is
contained in CG (d) for some d ∈ D # . If Sj is not D-invariant, then
we can choose d ∈ D # such that Sid 6= Si . Now, it is clear that CS (d)
q−1
is exactly the diagonal subgroup of Si × Sid · · · × Sid and so CS (d) is
isomorphic to Sj . In other words, for every i there exists d ∈ D # such
that CKi (d) contains a subgroup isomorphic to some Sj . Therefore
γ∞ (CKi (d)) has even order. Since r(γ∞ (CG (d))) ≤ r, it follows that
γ∞ (CKi (d)) can have even order for at most r indexes i. Taking into
account that there are only |D| −1 nontrivial elements in D, we deduce
that s ≤ (|D| − 1)r.

3. Main results
We will give a detailed proof only for Theorem 1.2. The proof of
Theorem 1.1 is easier and can be obtained by just obvious modifications

8 EMERSON DE MELO, ALINE DE SOUZA LIMA, AND PAVEL SHUMYATSKY

of the proof of Theorem 1.2. The following elementary lemma will be
useful (for the proof see for example [1, Lemma 2.4]).

Lemma 3.1. Let G be a finite group such that γ∞ (G) ≤ F (G). Let
P be a Sylow p-subgroup of γ∞ (G) and H be a Hall p′ -subgroup of G.
Then P = [P, H].

Let F (G) denote the Fitting subgroup of a group G. Write F0 (G) =
1 and let Fi+1 (G) be the inverse image of F (G/Fi (G)). If G is soluble,
the least number h such that Fh (G) = G is called the Fitting height
h(G) of G. Let B be a coprime group of automorphisms of a finite
soluble group G. It was proved in [19] that the Fitting height of G
is bounded in terms of h(CG (B)) and the number of prime factors
of |B| counting multiplicities. The nonsoluble length λ(G) of a finite
group G is defined as the minimum number of nonsoluble factors in a
normal series of G all of whose factors are either soluble or (non-empty)
direct products of nonabelian simple groups. It was proved in [11] (see
Corollary 1.2) that the nonsoluble length λ(G) of a finite group G does
not exceed the maximum Fitting height of soluble subgroups of G. If
B is a coprime group of automorphisms of a finite group G, then the
nonsoluble length λ(G) of G is bounded in terms of λ(CG (B)) and the
number of prime factors of |B| counting multiplicities [10].
Let us now assume the hypothesis of Theorem 1.2. Thus, A is a
finite group of prime exponent q and order at least q 3 acting on a finite
q ′ -group G in such a manner that r(γ∞ (CG (a))) ≤ r for any a ∈ A# .
We wish to show that r(γ∞ (G)) is (r, q)-bounded. It is clear that A
contains a subgroup of order q 3 . Thus, replacing if necessary A by such
a subgroup we may assume that A has order q 3 .
Suppose that G is soluble. In that case CG (a) has r-bounded Fitting
height for any a ∈ A# (see for example Lemma 1.4 of [12]). Hence, G
has (r, q)-bounded Fitting height and we can use induction on h(G).
In the case where h(G) = 2 the proof is immediate from Lemma 2.10.
Indeed, let P be a Sylow p-subgroup of γ∞ (G) and H a Hall A-invariant
p′ -subgroup of G. Then by Lemmas 2.10 and 3.1 the rank of P =
[P, H] is (r, q)-bounded. Therefore the rank of γ∞ (G) is (r, q)-bounded.
Suppose that the Fitting height of G is h > 2 and let N = F2 (G) be
the second term of the Fitting series of G. It is clear that the Fitting
height of G/γ∞ (N) is h − 1 and γ∞ (N) ≤ γ∞ (G). Hence, by induction
we have that γ∞ (G)/γ∞ (N) has (r, q)-bounded rank. Now, the result
follows since r(γ∞ (G)) ≤ r(γ∞ (G)/γ∞(N)) + r(γ∞ (N)).

NILPOTENT RESIDUAL OF FIXED POINTS

9

We now drop the assumption that G is soluble. Remark that
λ(CG (a)) is r-bounded for any a ∈ A# by [11] since its soluble subgroups have r-bounded Fitting height. Hence, λ(G) is (r, q)-bounded
and we can use induction on λ(G).
First, assume that G = G′ and λ(G) = 1. Since G = G′ , it follows
that G/R(G) is a product of nonabelian simple groups where R(G) is
the soluble radical of G. By the above γ∞ (R(G)) has (r, q)-bounded
rank. We can factor out γ∞ (R(G)) and assume R(G) is nilpotent, that
is R(G) = F (G).
We now wish to show that the rank of [F (G), G] is (r, q)-bounded.
Clearly, it is sufficient to consider the case when F (G) = P where P is
a Sylow p-subgroup of F (G). Note that if s is a prime different from
p and H is an A-invariant Sylow s-subgroup of G, then r(γ∞ (P H)) is
(r, q)-bounded because P H is soluble. We will require the following
observation about finite simple groups.
Lemma 3.2. Let K be a nonabelian finite simple group and p a
prime. There exists a prime s different from p such that K is generated
by two Sylow s-subgroup.
Proof. If p 6= 2, then we can use Guralnick’s result [5, Theorem
A] that K is generated by an involution and a Sylow 2-subgroup. We
therefore can take s = 2. If p = 2, we can use King’s results [8] that
K = hi, ai, where |i| = 2 and |a| is an odd prime. We have K = ha, ai i
since this is an a-invariant and i-invariant subgroup, which is therefore
normal. Hence, K is generated by two elements of odd prime order
and the lemma follows.

By Lemma 2.11 the quotient G/F (G) is a product of a (r, q)bounded number of normal A-invariant subgroups K1 × · · · × Ks where
Ki is a product of at most |A| nonabelian simple groups. Hence, without loss of generality we can assume that G/F (G) is a product of isomorphic nonabelian simple groups. In view of Lemma 3.2 we deduce
that G/P is generated by the image of two Sylow s-subgroup H1 and
H2 where s is a prime different from p. On the other hand, H1 and H2
are conjugate of an A-invariant Sylow s-subgroup of G. It follows that
both [P, H1 ] and [P, H2 ] have (r, q)-bounded rank.
Let H = hH1 , H2 i. Thus G = P H. Since G = G′ , it is clear that
G = [P, H]H and [P, G] = [P, H]. By Lemma 2.2 we have [P, H] =
[P, H1][P, H2 ] and therefore the rank of [P, H] is (r, q)-bounded. Passing to the quotient G/[P, G] we can assume that P = Z(G). So we are
in the situation where G/Z(G) has (r, q)-bounded rank. By a theorem

10 EMERSON DE MELO, ALINE DE SOUZA LIMA, AND PAVEL SHUMYATSKY

of Lubotzky and Mann [14] (see also [13]) the rank of G′ is (r, q)bounded as well. Taking into account that G = G′ we conclude that
the rank of G is (r, q)-bounded.
Let us now deal with the case where G 6= G′ . Let G(l) be the last
term of the derived series of G. The argument in the previous paragraph shows that r(G(l) ) is (r, q)-bounded. Consequently, r(γ∞ (G))
is (r, q)-bounded since G/G(l) is soluble and γ∞ (G(l) ) ≤ γ∞ (G). This
proves the theorem in the particular case where λ(G) ≤ 1.
Assume that λ(G) ≥ 2. Let T be a characteristic subgroup of G
such that λ(T ) = λ(G) − 1 and λ(G/T ) = 1. By induction, the rank of
γ∞ (T ) is (r, q)-bounded. It is clear that λ(G/γ∞ (T )) = 1. Therefore,
the result follows since r(γ∞ (G)) ≤ r(G/γ∞ (T )) + r(γ∞ (T )).
References
[1] C. Acciarri, P. Shumyatsky, A. Thillaisundaram, Conciseness of coprime
commutators in finite groups, Bull. Aust. Math. 89 (2014), 252-258.
[2] J. D. Dixon, M. P. F. du Sautoy, A. Mann and D. Segal, Analytic p-adic
groups. Cambridge 1991.
[3] E. de Melo, P. Shumyatsky, Finite groups and their coprime automorphisms.
Proc. Amer. Math. Society 145 (2017), 3755-3760.
[4] D. Gorenstein, Finite Groups, New York, Evanston, London : Harper and
Row, (1968).
[5] R. Guralnick, Generation of Simple Groups, J. Algebra 103 (1986), 381401.
[6] R. Guralnick, On the number of generators of a finite group, Archiv der
Mathematik 53 (1989), 521-523.
[7] R. Guralnick, P. Shumyatsky, Derived Subgroups of Fixed Points, Israel J.
Math. 126 (2001), 345-362.
[8] C. S. H. King, Generation of finite simple groups by an involution and an
element of prime order, J. Algebra 478 (2017), 153-173.
[9] E. I. Khukhro, Nilpotent Groups and their Automorphisms, Berlin; New
York: de Gruyter, (1993).
[10] E. I. Khukhro, P. Shumyatsky, On the length of finite groups and of fixed
points, Proc. Amer. Math. Soc. 143 (2015), 3781-3790.
[11] E. I. Khukhro, P. Shumyatsky, Nonsoluble and non-p-soluble length of finite
groups, Israel J. Math 207 (2015), 507-525.
[12] E. I. Khukhro, P. Shumyatsky, Finite groups with Engel sinks of bounded
rank, To appear.
[13] L. A. Kurdachenko, P. Shumyatsky, The ranks of central factor and commutator groups, Math. Proc of Cambridge Phi. Soc 154 (2013), 63-69.
[14] A. Lubotzky, A. Mann, Powerful p-groups. I. Finite groups, J. Algebra 105
(1987), 484-505.
[15] A. Lucchini, A bound on the number of generators of a finite group, Archiv
der Mathematik 53 (1989), 313-317.
[16] P. Shumyatsky, Involutory automorphisms of finite groups and their centralizers, Arch. Math. 71 (1998), 425-432.

NILPOTENT RESIDUAL OF FIXED POINTS

11

[17] P. Shumyatsky, (2001). Finite groups and the fixed points of coprime automorphisms, Proc. Amer. Math. Soc. 129 (2001),3479-3484.
[18] J. G. Thompson, Finite Groups With Fixed-point-free Automorphisms of
Prime Order, Proc. Nat. Acad. Sci. U.S.A., 45 (1959), 578 − 581.
[19] A. Turull, Fitting height of groups and of fixed points, J. Algebra, 86 (1984),
555-566.
[20] J. N. Ward. On finite groups admitting automorphisms with nilpotent fixedpoint, Bull. Aust. Math. 5 (1971) 281-282.
Department of Mathematics, University of Brası́lia, Brası́lia-DF
70910-900, Brazil
E-mail address: emerson@mat.unb.br
Department of Mathematics and Statistics, Federal University of
Goiás, Goiânia-GO, 74001-970, Brazil
E-mail address: alinelima@ufg.br
Department of Mathematics, University of Brası́lia, Brası́lia-DF,
70910-900, Brazil
E-mail address: pavel@unb.br

