arXiv:1702.03439v1 [math.GR] 11 Feb 2017

ON NUMBER OF ISOMORPHISM CLASSES OF DERIVED
SUBGROUPS
L. JAFARI TAGHVASANI AND S. MARZANG
Abstract. In this paper we show that a finite nonabelian characteristically
simple group G satisfying n = |π(G)| + 2 if and only if G ∼
= A5 , where n is the
number of isomorphism classes of derived subgroups of G and π(G) is the set
of prime divisors of the group G. Also, we give a negative answer to a question
raised in [11].
Keywords. derived subgroup; simple group.
Mathematics Subject Classification (2000). 20F24, 20E14.

1. Introduction and results
Following [1], we say that a group G has the property GRn if it has a finite
number n of derived subgroups. In 2005, de Giovanni and Robinson [1] and, independently, Herzog, Longobardi, Maj in [5] studied new finiteness conditions related
to the derived subgroups of a group. They proved that every locally graded GRn group is finite-by-abelian (or G′ is finite). More recently the author in [11], has been
improved this result, by proving that every locally graded GRn -group is nilpotentby-abelian-by-(finite of order ≤ k!)-by-abelian.
Subsequently, the authors in [6, 7], investigated the class of groups which have
at most n isomorphism classes of derived subgroups (denoted by Dn ) with n ∈
{2, 3}. Clearly a group is D1 -group if and only if it is abelian. Also the authors,
in [7], classified completely the locally finite D3 -groups. It seems interesting to
study groups GRn -groups with a given value for n. In this paper, among other
things, we first show that for every nonabelian characteristically simple Dn -group
G, n ≥ |π(G)| + 2. Moreover, we show that this inequality is proper unless for the
alternating group A5 . In fact, we have the following new characterization of A5 as
follows:
Theorem 1.1. For every nonabelian characteristically simple Dn -group G we have
n = |π(G)| + 2 if and only if G ∼
= A5 .
Finally, we give a negative answer to a question raised by the author in [11], as
follows: Let G be a group and H a finite simple group. Is it true that
G∼
= H ⇔ G, H ∈ GRn \ GRn−1 , for some n?
(Or, G ∼
= H ⇔ G, H ∈ Dn \ Dn−1 , for some n?)
In this paper all groups will be finite and we use the usual notation, for example
An , Sn , P SL(n, q), P SU (n, q) and Sz(q), respectively, denote the alternating group
on n letters, the symmetric group on n letters, the projective special linear group
of degree n over the finite field of size q, the projective special unitary group of
1

2

L. JAFARI TAGHVASANI AND S. MARZANG

degree n over the finite field of order q 2 and the Suzuki group over the field with q
elements.
2. Proofs
Here, we first show that for every nonabelian characteristically simple Dn -group
G, n ≥ |π(G)| + 2. For this, we need the following lemmas.
Lemma 2.1. (Burnside) Let P be a p-sylow subgroup of a finite group G. If
NG (P ) = CG (P ) then G is a p-nilpotent group.
Lemma 2.2. Let G be finite group which for every pi ∈ π(G), is not pi -nilpotent.
Then there is a subgroup Hi of G which Hi′ is a non-trivial pi -group, for every
pi ∈ π(G). In particular if G is a Dn -group, then n ≥ |π(G)| + 1.
Proof. Let pi ∈ π(G), and Pi ∈ Sylpi (G), if NG (Pi ) = CG (Pi ), then by Lemma
2.1, G is a pi -nilpotent, a contradiction. So CG (Pi ) < NG (Pi ) for every pi ∈ π(G).
Choose xi ∈ NG (Pi ) \ CG (Pi ), and let Hi = hxi , Pi i then Hi′ = Pi′ [Pi , x], and each
Hi′ is a non-trivial pi -subgroup.

Lemma 2.3. If G is a finite nonabelian simple Dn -group, then n ≥ |π(G)| + 2.
Proof. Since G is not p-nilpotent for every p ∈ π(G) and G′ = G, by Lemma 2.2,
the assertion is obvious.

Lemma 2.4. Let H be a Dn1 -group, K be a Dn2 -group and G = H × K. Then we
have the following statement:
1). G is Dt -group, for some t ≥ n1 n2 .
2). If H ∼
= K and K is a simple group, then G is Dt -group, for some t ≥ n1 n2 + 1.
3). If (|H|, |K|) = 1, then G is Dn1 n2 -group.
Proof. 1). Clearly.
2). For proof, we consider the diagonal subgroup of G which is of the form T =
{(a, a)|a ∈ K}. Now as every commutator element of T is of the form ([a, b], [a, b]),
where a, b ∈ K, one can conclude, by [4], that T is a perfect subgroup of G, that is
T ′ = T . Hence the result follows from Lemma 2.3 and Lemma 2.2.
3). Since (|H|, |K|) = 1, every subgroup T of G is of the form T = T1 × T2 and
so T ′ = T1′ × T2′ , where T1 and T2 are subgroups of H and K respectively. This
complete the proof.

Theorem 2.5. If G is a finite nonabelian characteristically simple Dn -group, then
n ≥ |π(G)| + 2.
Qt
Proof. Let G be a characteristically simple Dn -group. Then G ∼
= i=1 Ki , where
Ki ’s are isomorphic to a simple Dm -group K. Hence, by Lemma 2.4 and Lemma
2.3, we have n ≥ mt ≥ (π(K) + 2)t = (π(G) + 2)t ≥ (π(G) + 2), since π(G) = π(K),
as wanted.

Corollary 2.6. A5 is the only nonabelian simple D5 -group.
Proof. Let G be a nonabelian simple D5 -group, by Theorem 2.5, |π(G)| = 3 and
it is well-known that the nonabelian simple groups of order divisible by exact
three primes are the following eight groups: P SL(2, q), where q ∈ {5, 7, 8, 9, 17},
P SL(3, 3), U3 (3), U4 (2). Now it is easy to see (by GAP [2] and also Lemmas 2.7
and 2.9, below) that A5 is the only nonabelian simple D5 -group.


ON NUMBER OF ISOMORPHISM CLASSES OF DERIVED SUBGROUPS

3

Now we can show that the inequality of Theorem 2.5, is proper unless for the
group A5 . In fact, in the sequel, we want to prove Theorem 1.1. For this purpose
we need the following Lemmas.
Lemma 2.7. Let G = P SL(2, q) be a Dn -group such that |π(G)| ≥ 5. Then
n > |π(G)| + 2.
Proof. By Lemma 2.2, it is enough to find a proper subgroup of G, which its
derived subgroup is not a p-group. Suppose that {p, r, s, t, u} ⊆ π(G), then since
2
|G| = q(q d−1) , where d = (2, q − 1), so {r, s, t, u} ⊆ π(q − 1) ∪ π(q + 1). Thus one of
the numbers q − 1 or q + 1 is of the form 2m where m is a number which is divided
by at least two distinct odd prime numbers. Now by Dickson’s Theorem [3], G has
Dihedral subgroups of the form D2z where z | q±1
d . The derived subgroup of D2z
is divided by at least two distinct primes, as desired.

Lemma 2.8. Let G = K ⋊ H be a Frobenius group, then G′ = KH ′ .
Proof. Obviously.
Lemma 2.9. Let G = Sz(q), q = 2


2m+1

. Then n > |π(G)| + 2.

Proof. Suppose that F is a Sylow 2-subgroup of G, then F is nonabelian of order
q 2 and NG (F ) = F H = T is a Frobenius group with cyclic complement H of order
q − 1 and kernel F . Now since F is nonabelian, so 1 < Z(F ) < F , on the other
hand, H ≤ NT (Z(F )), so S = Z(F )H is a Frobenius group and by Lemma 2.8,
|S ′ | = |Z(F )| = q and |T ′ | = |F | = q 2 . So G has at least two non-isomorphic
2-subgroups. Hence n > |π(G)| + 2.

Remark 2.10. If G is a nonabelian simple group and |π(G)| ∈ {3, 4}, then we say
that G is a Kn -group for n = 3, 4. Herzog in [9] proved that there are eight simple
K3 -groups. Also Shi in [10] gave a characterization of all simple K4 -groups. By
GAP software we can see that in these groups n > |π(G)| + 2, unless for the group
A5 . In the following theorem, we show that in fact G = A5 is the only group among
all simple groups whose the number of non-isomorphic derived subgroups is equal
to |π(G)| + 2.
Lemma 2.11. Let G be a nonabelian simple Dn -group. Then n = |π(G)| + 2 if
and only if G ∼
= A5 .
Proof. Let G be a nonabelian simple Dn -group, other than A5 . By Lemma 2.1, it is
enough to find p ∈ π(G) and two subgroups H1 and H2 of G such that H1′ and H2′
are non-isomorphic p-groups or find a subgroup H whose derived subgroup is not
a p-group. It follows that n > |π(G)| + 2. It is well-known that every nonabelian
simple group contain a minimal simple group (see [8]). So if G is not minimal
simple group, Let H < G be a proper minimal simple subgroup. Thus |H ′ | = |H|
is not a p-group, so n > |π(G)| + 2. Therefore it is enough to consider minimal
simple groups which are the following groups:
(1) P SL(2, 2p) where p is a prime number.
(2) P SL(2, 3p) where p is an odd prime.
(3) P SL(2, p) where p > 3 and 5 | p2 + 1.
(4) SZ(2p ) where p is an odd prime.
(5) P SL(3, 3)
Now by Lemmas 2.7, 2.9 and Remark 2.10, the proof is complete.


4

L. JAFARI TAGHVASANI AND S. MARZANG

Now we ready to prove the main result.
Proof of Theorem 1.1. Let G be a characteristically simple Dn -group. Then
Qi=t
G∼
= i=1 Ki , where Ki ’s are isomorphic to a simple Dm -group K. Now, by Lemma
2.11, we get n ≥ mt ≥ (π(K) + 2)t ≥ (π(G) + 2)t , since π(G) = π(K). Therefore
t = 1 and the result follows.
Example 2.12. Consider the non-solvable symmetric group G = Sn , for n ≥ 5.
Since for every m ≤ n, Sm ≤ Sn , so D = {An , An−1 , · · · , A4 , V4 , 1} is a set of
non-isomorphic derived subgroups of G. Now |D| = n − 1, so n ≤ t + 1, thus
|π(G)| ≤ t + 1.
Note that in general, the relation in Lemma 2.3, is not true for all non-solvable
groups. For example see the following.
Example 2.13. Let H be an arbitrary (such as insolvable group) Dn -group, with
π(H) = {p1 , p2 , · · · , pt }. If n ≥ t + 1, then consider the group G = H × Zpt+1 ×
Zpt+2 × · · · × Zpn , where p1 < p2 < · · · < pt < pt+1 < · · · < pn are prime numbers.
By Lemma 2.4, G is a Dn -group with |π(G)| = n.
Note that in general, two groups with the same number of derived subgroups
(or even with the same number of isomorphism classes of derived subgroups), need
not be isomorphic necessarily. In fact, we a negative answer to a question raised in
[11].
n−1

Proposition 2.14. Let G = D2n =Thr, s | r2
group of order 2n . Then G ∈ Dn−1 RG n−1 .

= s2 = 1, rs = r−1 i, the dihedral

Proof. G′ is cyclic of order 2n−2 and the derived subgroup of every subgroup of G
is one of the n − 1 subgroups G′ . On the other hand, each of these subgroups of G′
is the derived subgroup of some subgroup of G.

Example 2.15. Let G = D26 , S = A5 and H = D224 , then G, S are D5 -groups
and H, S are RG 23 -groups.
Finally, in view of the above results, we raised the following conjecture.
Conjecture 2.16. Let G be a group and S be finite simple group such that |G| =
|S|. Is it true that
G∼
= S ⇔ G, S ∈ GRn \ GRn−1 , for some n?
∼ S ⇔ G, S ∈ Dn \ Dn−1 , for some n?)
(Or, G =
acknowledgment
We would like to thank our supervisor, Dr. Mohammad Zarrin for his helpful
suggestions.
References
[1] F. de Giovanni and D. J. S. Robinson, Groups with finitely many derived subgroups, J. London
Math. Soc. (2) 71 (2005) 658-668.
[2] The GAP Group, GAP-Groups, Algorithms, and Programming, Version 4.4; 2005,
http://www.gap-system.org.
[3] B. Huppert, Endliche Gruppen I, Springer, Berlin, 1967.

ON NUMBER OF ISOMORPHISM CLASSES OF DERIVED SUBGROUPS

5

[4] M. W. Liebeck, E. A. O’Brien, A. Shalev and P. H. Tiep, The Ore conjecture, J. Eur. Math.
Soc. (JEMS) 12 (2010), no. 4, 939-1008.
[5] M. Herzog, P. Longobardi and M. Maj, On the number of commutators in groups, in Ischia
Group Theory 2004, Contemporary Mathematics, Vol. 402 (American Mathematical Society,
Providence, RI, 2006), pp. 181-192.
[6] P. Longobardia, M. Maj, D. J. R, Robinson, H. Smith, On groups with two isomorphism
classes of derived subgroups, Glasgow Math. J. 55 (2013) 655-668.
[7] P. Longobardia, M. Maj, D. J. S. Robinson, Locally finite groups with finitely many isomorphism classes of derived subgroups, Journal of Algebra , 393 (2013) 102-119
[8] J. J. Barry, B. Ward, Simple groups contain minimal simple groups, Publicacions
Matem‘atiques , 41 (1997) 411-415
[9] M. Herzog, On finite simple groups of order divisible by three primes only, J. Algebra, 120
(1968) 383-388.
[10] W. Shi, On simple K4-groups, Chinese Sci. Bull , 36 (17) (1991) 1281-1283.
[11] M. Zarrin, On groups with finitely many derived subgroups, J. Algebra Appl, 13, 1450045
(2014) (5 pages).
Department of Mathematics, University of Kurdistan, P.O. Box: 416, Sanandaj, Iran
E-mail address: L.jafari@sci.uok.ac.ir and smarzang@gmail.com

