arXiv:1710.10712v1 [] 29 Oct 2017

A SUFFICIENT CONDITION FOR NILPOTENCY OF
THE NILPOTENT RESIDUAL OF A FINITE GROUP
AGENOR FREITAS DE ANDRADE AND ALEX CARRAZEDO DANTAS
Abstract. Let G be a finite group with the property that if a, b
are powers of δ1∗ -commutators such that (|a|, |b|) = 1, then |ab| =
|a||b|. We show that γ∞ (G) is nilpotent.

1. Introduction
All groups considered in the present paper are finite. The last term
of the lower central series of a group G is called the nilpotent residual.
It is usually denoted by γ∞ (G). The lower Fitting series of G is defined
by D0 (G) = G and Di+1 (G) = γ∞ (Di (G)) for i = 0, 1, 2, . . . .
Here the notation |x| stands for the order of the element x in a
group G. The following criterion of nilpotency of a finite group was
established by Baumslag and Wiegold in [2].
Theorem 1.1. Let G be a finite group in which |ab| = |a||b| whenever
the elements a, b have coprime orders. Then G is nilpotent.
The following result was obtained by Bastos and Shumyatsky [3].
Theorem 1.2. Let G be a finite group in which |ab| = |a||b| when′
ever the elements a, b are commutators of coprime orders. Then G is
nilpotent.
In [3] the following question is posed. Let w be a commutator word
and G a finite group with the property that if a, b are w-values of
coprime order, then |ab| = |a||b|. Is then the verbal subgroup w(G)
nilpotent? A coprime commutator in a group G is a commutator [x, y]
with |x| and |y|. The main result of this article is to obtain a similar
result of the Theorems 1.1 and 1.2 for the powers of coprime commutators.
Theorem 1.3. Let G be a finite group and set
X = {[a, b]k | a, b ∈ G, (|a|, |b|) = 1, k ∈ Z}.
2010 Mathematics Subject Classification. 20D05; 20D45.
Key words and phrases. finite groups, coprime commutators, nilpotent residual.
1

2

AGENOR FREITAS DE ANDRADE AND ALEX CARRAZEDO DANTAS

Assume that for all x, y ∈ X with |x| and |y| coprimes, we have |xy| =
|x||y|. Then γ∞ (G) is nilpotent. In particular, G has Fitting height at
most 2.
The coprime commutators γk∗ and δk∗ have been introduced in [6]
by Shumyatsky as a tool to study properties of finite groups that can
be expressed in terms of commutators of elements of coprime orders.
The definition of δk∗ goes as follows (for more details see [6]). Every
element of G is a δ0∗ -commutator. Now, let k ≥ 1, let T be the set of
∗
all elements of G that are powers of δk−1
-commutators. The element
∗
g is a δk -commutator if there exist a, b ∈ T such that g = [a, b] and
(|a|, |b|) = 1. It was shown in [6] that for every k ≥ 0 the subgroup
generated by δk∗ -commutators is precisely Dk (G).
Remark that the set X in the Theorem 1.3 is precisely the set of
generators of D1 (G), that is, D1 (G) = hXi. Consequently we could
ask the following question, which extends Theorem 1.3.
Problem 1.4. Let be k a non-negative integer and G a finite group
in which |ab| = |a||b| whenever the elements a, b are (powers of ) δk∗ commutators of coprime orders. It is true that the subgroup Dk (G) is
nilpotent?
2. Preliminaries
Throughout the remaining part of this short note, G denotes a finite
group satisfying the hypothesis of Theorem 1.3. For simplicity, we
denote by X the set of all powers of δ1∗ -commutators of G. As usual,
Oπ (M) stands for the maximal normal π-subgroup of a group M. The
Fitting subgroup of M is denoted by F (M). We start with the following
known lemma.
Lemma 2.1 ([5], Lemma 4.28). Let A and G be finite groups. Let A
act via automorphisms on G, and suppose that (|A|, |G|) = 1. Then
G = [G, A]CG (A).
Analogously to Lemma 3 of [3], we have:
Lemma 2.2. Let x ∈ X and N be a subgroup normalized by x. If
(|x|, |N|) = 1, then [x, N] = 1
Proof. Let y ∈ N. Then [x, y] is a δ1∗ -commutator and x[x, y] = xy .
Thus |x[x, y]| = |x||[x, y]| and |x[x, y]| = |x|, this is, [x, y] = 1.

The following result is the version of the well-know Focal Subgroup
Theorem for δk∗ -commutators of a finite group.

NILPOTENCY CRITERION FOR NILPOTENT RESIDUAL

3

Lemma 2.3 ([1], Lemma 2.6). Let k ≥ 0 and let G be a finite soluble
group of order pa n, where p is a prime and n is not divisible by p, and
let P be a Sylow p-subgroup of G. Then P ∩ δk∗ (G) is generated by nth
powers of δk∗ -commutators lying in P .
The next theorem will also be useful. Recall the the Fitting height
h = h(G) of a finite soluble group G is the minimal number h such
that G possesses a normal series all of whose quotients are nilpotent.
Theorem 2.4 ([6], Theorem 2.6). Let G be a finite group and k a
positive integer. We have Dk (G) = 1 if and only if G is soluble with
Fitting height at most k.
Our first result ensures that the theorem is valid for soluble groups.
Recall that a finite group G is metanilpotent if and only if γ∞ (G) is
nilpotent.
Lemma 2.5. If G is soluble, then γ∞ (G) is nilpotent.
Proof. Recall that D1 (G) = γ∞ (G). Suppose that |G| > 1. As G is
soluble we have that |G′ | < |G|. Then by induction on |G| we can
assume that D1 (G′ ) is nilpotent. Thus D2 (G′ ) = 1 and G′ has Fitting
height ≤ 2. So G has Fitting height ≤ 3. Then D3 (G) = 1 (Theorem
2.4). This implies that D2 (G) is nilpotent. In particular D1 (G) is
metanilpotent. By simplicity, denote D2 (G) by H. Therefore if P is a
Sylow p-subgroup of H then P is characteristic in H. Obviously H is
characteristic in G and so we can conclude that P is characteristic in
G. In particular, P ✂ G. Suppose that D1 (G) is not a p-group. Let
Q be a Sylow q-subgroup of D1 (G), with q 6= p. By Lemma 2.3 Q is
generated by nth powers of Q∩X, where |D1 (G)| = q a n and (q, n) = 1.
Thus using Lemma 2.2 we have that [P, x] = 1 for all generators x of
Q. Consequently QP is normal in QH. Since D1 (G) is a metanilpotent
we have QH ✂ D1 (G) and then it follows that
Y
(QH)G =
(QH)g
g∈G

is nilpotent, because every (QH)g is nilpotent and normal in D1 (G).
Then we conclude that Q ≤ F (G). If |π(H)| > 1 then all Sylow
q-subgroups of D1 (G) are normal and so the result follows. If H is
a p-group, then the Sylow p-subgroup of D1 (G) is normal (because
D1 (G) is metanilpotent) and, applying the same argument now to the
Sylow subgroups of D1 (G), we can conclude that they are all normal,
as desired.


4

AGENOR FREITAS DE ANDRADE AND ALEX CARRAZEDO DANTAS

Recall that a group M is said to be quasisimple if M = M ′ and
M/Z(M) is simple. We are now ready to complete the proof of Theorem 1.3.
3. The proof of Theorem 1.3
Proof. We affirm that G is soluble. Indeed, we assume otherwise. Let
G be a counter-example of minimal order. So all proper subgroups
in G are soluble and we can assume that G = D1 (G). Let R be the
soluble radical in G. By Lemma 2.5 D1 (R) is nilpotent. Suppose that
G is nonsimple and R 6= 1. Let P to be Sylow p-subgroup of F (G).
Let q 6= p be a prime number and denote by T the subgroup generated
by all δ1∗ -commutators whose order is a power of q. By Lemma 2.3,
all q-subgroups of D1 (G) are contained in T . Then G/T is a p-group.
Since G = D1 (G), we conclude that G = T (indeed, if G 6= T , then T is
soluble and this implies that G is soluble, a contradiction). Now if x is a
δ1∗ -commutator of a Sylow q-subgroup of G, with q 6= p, we conclude by
Lemmas 2.2 and 2.3 that [P, x] = 1. Then CG (P ) is a normal subgroup
of G, and G/CG (P ) is a p-group, that is, G = CG (P ) and P ≤ Z(G).
Consequently F (G) ≤ Z(G). Since R is soluble it follows by Lemma 2.5
that D1 (R) is nilpotent. Clearly D1 (R) ✂ G. Then D1 (R) ≤ F (G) ≤
Z(G). In particular, D1 (R) ≤ Z(R). Thus R is nilpotent and therefore
R = Z(G). Thus, our group G is quasisimple. By the Feit-Thompson
Theorem, G has a Sylow 2-subgroup S which is not contained in the
centre of G. By the Frobenius Theorem [4, Theorem 7.4.5] there exists
a 2-subgroup L of S such that NG (L) contains an element b of odd
order such that [b, t] ∈
/ Z(G), for all t ∈ L. Then [b, t] is of 2-power
order. Let k such that z = [b, t]k ∈
/ Z(G) and z 2 ∈ Z(G). We have
z ∈ X. By the Baer-Suzuki Theorem [4, Theorem 3.8.2] there exists
h ∈ G such that hz, z h iZ(G)/Z(G) is a dihedral group of order 2n
for n odd. Let J = hzz h iZ(G). Then J/Z(G) is inverted by z and
J is nilpotent. However Lemma 2.2 shows that z centralizes O2′ (J) a
contradiction. The proof is complete.

References
[1] C. Acciarri, P. Shumyatsky and A. Thillaisundaram. Conciseness of coprime
commutators in finite groups. Bull. Aust. Math. Soc., 89 (2014), 252-258.
[2] B. Baumslag and J. Wiegold, A Sufficient Condition for Nilpotency in a Finite
Group, preprint available at arXiv:1411.2877v1 [maht.GR].
[3] R. Bastos and P. Shumyatsky. A Sufficient Condition for Nilpotency of The
Commutator Subgroup. Siberian Mathematical Journal, 57 (2016) 762-763.
[4] D. Gorenstein, Finite Groups. Chelsea Publishing Company, New York, 1980.

NILPOTENCY CRITERION FOR NILPOTENT RESIDUAL

5

[5] I. M. Issacs, Finite Group Theory. Amer. Math. Soc., vol. 92, 2008.
[6] P. Shumyatsky. Commutators of elements of coprime orders in finite groups.
Forum Mathematicum, 27 (2015), 575-583.
Instituto Federal de Educação, Ciência e Tecnologia de Goiás,
Luziânia - GO, 72811-580, Brazil
E-mail address: agenor.andrade@ifg.edu.br
Universidade Tecnológica Federal do Paraná, Guarapuava - PR,
85053 - 525, Brazil
E-mail address: alexcdan@gmail.com

