arXiv:1706.03133v1 [] 9 Jun 2017

A criterion for metanilpotency of a finite
group
Raimundo Bastos, Carmine Monetta, and Pavel Shumyatsky

Abstract. We prove that the kth term of the lower central series
of a finite group G is nilpotent if and only if |ab| = |a||b| for any
γk -commutators a, b ∈ G of coprime orders.

1. Introduction
All groups considered in this article are finite. The following sufficient condition for nilpotency of a group G was discovered by B.
Baumslag and J. Wiegold [2].
Let G be a group in which |ab| = |a||b| whenever the elements a, b
have coprime orders. Then G is nilpotent.
Here the symbol |x| stands for the order of the element x in a group
G. In [1] a similar sufficient condition for nilpotency of the commutator
subgroup G′ was established.
Let G be a group in which |ab| = |a||b| whenever the elements a, b
are commutators of coprime orders. Then G′ is nilpotent.
Of course, the conditions in both above results are also necessary
for the nilpotency of G and G′ , respectively. In the present article we
extend the above results as follows.
Given an integer k ≥ 1, the word γk = γk (x1 , . . . , xk ) is defined
inductively by the formulae
γ1 = x1 ,

and

γk = [γk−1 , xk ] = [x1 , . . . , xk ] for k ≥ 2.

The subgroup of a group G generated by all values of the word γk is
denoted by γk (G). Of course, this is the familiar kth term of the lower
2010 Mathematics Subject Classification. 20D30, 20D25.
Key words and phrases. Finite groups, commutators.
1

2

RAIMUNDO BASTOS, CARMINE MONETTA, AND PAVEL SHUMYATSKY

central series of G. If k = 2 we have γk (G) = G′ . In the sequel the
values of the word γk in G will be called γk -commutators.
Theorem 1. The kth term of the lower central series of a group G
is nilpotent if and only if |ab| = |a||b| for any γk -commutators a, b ∈ G
of coprime orders.
Recall that a group G is called metanilpotent if there is a normal
nilpotent subgroup N such that G/N is nilpotent. The following corollary is immediate.
Corollary 2. A group G is metanilpotent if and only if there
exists a positive integer k such that |ab| = |a||b| for any γk -commutators
a, b ∈ G of coprime orders.
We suspect that a similar criterion of nilpotency of the kth term of
the derived series of G can be established. On the other hand, Kassabov
and Nikolov showed in [4] that for any n ≥ 7 the alternating group An
admits a commutator word all of whose nontrivial values have order
3. Thus, the verbal subgroup w(G) need not be nilpotent even if all
w-values have order dividing 3.
2. Proofs
As usual, if π is a set of primes, we denote by π ′ the set of all
primes that do not belong to π. For a group G we denote by π(G) the
set of primes dividing the order of G. The maximal normal π-subgroup
of G is denoted by Oπ (G). The Fitting subgroup of G is denoted by
F (G). The Fitting height of G is denoted by h(G). Throughout the
article we use without special references the well-known properties of
coprime actions: if α is an automorphism of a finite group G of coprime
order, (|α|, |G|) = 1, then CG/N (α) = CG (α)N/N for any α-invariant
normal subgroup N, the equality [G, α] = [[G, α], α] holds, and if G
is in addition abelian, then G = [G, α] × CG (α). Here [G, α] is the
subgroup of G generated by the elements of the form g −1 g α, where
g ∈ G.
For elements x, y of a group G write [x, 0 y] = x and [x, i+1 y] =
[[x, i y], y] for i ≥ 0. An element y ∈ G is called Engel if for any x ∈ G
there is a positive integer n = n(x) such that [x, n y] = 1.
The following lemma is well-known.
Lemma 3. Let p be a prime and G a metanilpotent group. Suppose
that x is a p-element in G such that [Op′ (F (G)), x] = 1. Then x ∈
F (G).

METANILPOTENCY

3

Proof. Since all Engel elements of a finite group lie in the Fitting
subgroup [5, 12.3.7], it is sufficient to show that x is an Engel element.
Let F = F (G) and P be the Sylow p-subgroup of F . We have F =
P ×Op′ (F ). By hypothesis, G/F is nilpotent of class n for some positive
integer n. We deduce that [G, n x] ≤ F and so [G,n+1 x] ≤ P . Therefore
h[G,n+1 x], xi is contained in a Sylow p-subgroup of G. Hence, x is an
Engel element in G and so the lemma follows.

Lemma 4. Let k be a positive integer and G a group such that
G = G′ . Let q ∈ π(G). Then G is generated by γk -commutators of
p-power order for primes p 6= q.
Proof. For each prime p ∈ π(G) \ {q} let Np denote the subgroup
generated by all γk -commutators of p-power order. Let us show first
that for each p the Sylow p-subgroups of G are contained in Np . Suppose that this is false and choose p such that a Sylow p-subgroup of G
is not contained in Np . We can pass to the quotient G/Np and assume
that Np = 1. Since G = G′ , it is clear that G does not possess a normal
p-complement. Therefore the Frobenius Theorem [3, Theorem 7.4.5]
shows that G has a p-subgroup H and a p′ -element a ∈ NG (H) such
that [H, a] 6= 1. We have
1 6= [H, a] = [H, a, . . . , a ] ≤ Np ,
| {z }
(k−1) times

a contradiction. Therefore indeed Np contains the Sylow p-subgroups
of G. Let T be the product of all Np for p 6= q. We see that G/T
is a q-group. Since G = G′ , we conclude that G = T . The proof is
complete.

Let us call a subgroup H of G a tower of height h if H can be
written as a product H = P1 · · · Ph , where
(1) Pi is a pi -group (pi a prime) for i = 1, . . . , h.
(2) Pi normalizes Pj for i < j.
(3) [Pi , Pi−1 ] = Pi for i = 2, . . . , h.
It follows from (3) that pi 6= pi+1 for i = 1, . . . , h − 1. A finite
soluble group G has Fitting height at least h if and only if G possesses
a tower of height h (see for example [6]).
Throughout the remaining part of the article G denotes a finite
group for which there exists k ≥ 1 such that |ab| = |a||b| for any γk commutators a, b ∈ G of coprime orders. We denote by X the set of
all γk -commutators in G.

4

RAIMUNDO BASTOS, CARMINE MONETTA, AND PAVEL SHUMYATSKY

Lemma 5. Let x ∈ X and N be a subgroup normalized by x. If
(|N|, |x|) = 1, then [N, x] = 1.
Proof. Choose y ∈ N. The order of the γk -commutator [x, y]
is prime to that of x. Therefore we must have |x[x, y]| = |x||[x, y]|.
However x[x, y] = y −1xy. This is a conjugate of x and so |x[x, y]| = |x|.
Therefore [x, y] = 1.

Lemma 6. If G is soluble, then the subgroup γk (G) is nilpotent.
Proof. Set h = h(G) and F = F (G). If G is nilpotent, the result
is immediate so we assume that h ≥ 2.
We first examine the case h = 2. If G/F has nilpotency class at
most k − 1, then γk (G) ≤ F is nilpotent. So we will assume that
G/F is nilpotent of class at least k. Hence, the image of some Sylow
p-subgroup P of G in G/F has nilpotency class at least k. Therefore,
there exists a γk -commutator x in elements of P which does not belong
to F . By Lemma 5 [Op′ (F ), x] = 1, whence by Lemma 3, x ∈ F . This
is a contradiction.
Now assume that h ≥ 3. By [6, Lemma 1.9], there exists a tower
P1 P2 P3 . . . Ph of height h in G. Since P2 = [P2 , P1 ], it follows that
P2 = [P2 , P1 , . . . , P1 ].
| {z }
(k−1) times

Combining Lemma 5 with the fact that P2 is generated by γk -commutators
of G of p2 -orders, we deduce that P3 commutes with P2 . On the other
hand, [P3 , P2 ] = P3 , because P1 P2 P3 . . . Ph is a tower. This is a contradiction. The proof is complete.

We are now in a position to complete the proof of Theorem 1.
Proof of Theorem 1. It is clear that if γk (G) is nilpotent, then
|ab| = |a||b| for any γk -commutators a, b ∈ G of coprime orders. So
we only need to prove the converse. Since the case where k ≤ 2 was
considered in [1] and [2], we will assume that k ≥ 3.
Suppose that the theorem is false and let G be a counterexample of
minimal order. In view of Lemma 6 G is not soluble while all proper
subgroups of G are. Therefore G = G′ . Let R be the soluble radical
of G. It follows that G/R is nonabelian simple. By Lemma 6 γk (R) is
nilpotent. Suppose that R 6= 1.
Choose q ∈ π(F (G)). According to Lemma 4 G is generated by the
γk -commutators of p-power order for primes p 6= q. Let Q be the Sylow
q-subgroup of F (G). By Lemma 5, [Q, x] = 1, for every γk -commutator
x of q ′ -order. Therefore Q ≤ Z(G). This happens for each choice of
q ∈ π(F (G)) so we conclude that F (G) ≤ Z(G).

METANILPOTENCY

5

For each x ∈ R and y ∈ G we have
[y, x, . . . , x] ∈ γk (R) ≤ F (G) = Z(G).
| {z }
k times

Consequently, every element x ∈ R is Engel. Therefore R ≤ F (G) ([5,
12.7.4]). Hence, R = Z(G) and G is quasisimple.
Since G does not possess a normal 2-complement, it follows from the
Frobenius Theorem [3, Theorem 7.4.5] that G contains a 2-subgroup H
and an element of odd order b ∈ NG (H) such that [H, b] 6= 1. In view
of Thompson’s Theorem [3, Theorem 5.3.11] we can assume that H
is of nilpotency class at most two and H/Z(H) is elementary abelian.
We claim that G contains an element a ∈ X such that a is a 2-element
and a has order 2 modulo Z(G).
Recall that k ≥ 3. Let Y be the set of all elements [h, (k−2) b],
where h ∈ H. Since H is nilpotent of class at most 2, it follows
that for every y ∈ Y all elements in [H, y] are γk -commutators. If
for some y ∈ Y the subgroup [H, y] does not lie in Z(G), every element
of [H, y] having order 2 modulo Z(G) enjoys the required properties.
Therefore we assume that [H, y] ≤ Z(G) for every y ∈ Y . Let K be the
subgroup generated by Y . Obviously, K = [K, b] and K ′ ≤ Z(G). It
follows that CK (b) ≤ Z(G) and all elements in K are γk -commutators
modulo Z(G). If d ∈ K such that d 6∈ Z(G) and d2 ∈ Z(G), then the
commutator [d, b] is as required.
Now we fix an element a with the above properties. Since G/Z(G) is
nonabelian simple, it follows from the Baer-Suzuki Theorem [3, Theorem 3.8.2] that there exists an element t ∈ G such that the order of [a, t]
is odd. On the one hand, it is clear that a inverts [a, t]. On the other
hand, by Lemma 5, a centralizes [a, t]. This is a contradiction.

3. Acknowledgment
The work of the first and the third authors was supported by CNPqBrazil and FAPDF. The second author was partially supported by the
National Group for Algebraic and Geometric Structures, and their Applications (GNSAGA – INdAM). This article was written during the
second author’s visit to the University of Brasilia. He wishes to thank
the Department of Mathematics for excellent hospitality.
References
[1] R. Bastos and P. Shumyatsky, A Sufficient Condition for Nilpotency of the
Commutator Subgroup, Siberian Mathematical Journal, 57 (2016), 762–763.
[2] B. Baumslag and J. Wiegold, A Sufficient Condition for Nilpotency in a Finite
Group, preprint available at arXiv:1411.2877v1 [].

6

RAIMUNDO BASTOS, CARMINE MONETTA, AND PAVEL SHUMYATSKY

[3] D. Gorenstein, Finite Groups, Chelsea Publishing Company, New York, 1980.
[4] M. Kassabov and N. Nikolov, Words with few values in finite simple groups,
The Quarterly Journal of Mathematics, 64 (2013), 1161–1166.
[5] D.J.S. Robinson, A Course in the Theory of Groups, 2nd Edition, Springer–
Verlag, 1995.
[6] A. Turull, Fitting height of groups and of fixed points, Journal of Algebra, 86
(1984), 555–566.
Departamento de Matemática, Universidade de Brası́lia, Brası́liaDF, 70910-900 Brazil
E-mail address: bastos@mat.unb.br
Dipartimento di Matematica, Università di Salerno, Via Giovanni
Paolo II, 132 - 84084 - Fisciano (SA), Italy
E-mail address: cmonetta@unisa.it
Departamento de Matemática, Universidade de Brası́lia, Brası́liaDF, 70910-900 Brazil
E-mail address: pavel@unb.br

