arXiv:1702.03371v1 [] 11 Feb 2017

Finite groups with permutable Hall subgroups
Xia Yin, Nanying Yang∗
School of Science, Jiangnan University
Wuxi 214122 , P. R. China
E-mail:yangny@jiangnan.edu.cn

Abstract
Let σ = {σi |i ∈ I} be a partition of the set of all primes P and G a finite group. A set H
of subgroups of G is said to be a complete Hall σ-set of G if every member 6= 1 of H is a Hall
σi -subgroup of G for some i ∈ I and H contains exactly one Hall σi -subgroup of G for every i
such that σi ∩ π(G) 6= ∅.
In this paper, we study the structure of G assuming that some subgroups of G permutes with
all members of H.

1

Introduction

Throughout this paper, all groups are finite and G always denotes a finite group. We use π(G) to
denote the set of all primes dividing |G|. A subgroup A of G is said to permute with a subgroup B
if AB = BA. In this case they say also that the subgroups A and B are permutable.
Following [1], we use σ to denote some partition of P. Thus σ = {σi |i ∈ I}, where P = ∪i∈I σi
and σi ∩ σj = ∅ for all i 6= j.
A set H of subgroups of G is a complete Hall σ-set of G [2, 3] if every member 6= 1 of H is a Hall
σi -subgroup of G for some σi ∈ σ and H contains exactly one Hall σi -subgroup of G for every i such
that σi ∩ π(G) 6= ∅. If every two members of H are permutable, then H is said to be a σ-basis [4] of
G. In the case when H = {{2}, {3}, . . .} a complete Hall σ-set H of G is also called a complete set
of Sylow subgroups of G.
We use Hσ to denote the class of all soluble groups G such that every complete Hall σ-set of G
forms a σ-basis of G.
∗

Research is supported by a NNSF grant of China (Grant #11301227) and Natural Science Foundation of Jiangsu
Province (grant # BK20130119).
0
Keywords: finite group, Hall subgroup, complete Hall σ-set, permutable subgroups, supersoluble group.
0
Mathematics Subject Classification (2010): 20D10, 20D15

1

A large number of publications are connected with study the situation when some subgroups of
G permute with all members of some fixed complete set of Sylow subgroups of G. For example, the
classical Hall’s result states: G is soluble if and only if it has a Sylow basis, that is, a complete set of
pairwise permutable Sylow subgroups. In [5] (see also Paragraph 3 in [6, VI]), Huppert proved that
G is a soluble group in which every complete set of Sylow subgroups forms a Sylow basis if and only
if the automorphism group induced by G on every its chief factor H/K has the order divisible by at
most one different from p prime, where p ∈ π(H/K). In the paper [7], Huppert proved that if G is
soluble and it has a complete set S of Sylow subgroups such that every maximal subgroup of every
subgroup in S permutes with all other members of S, then G is supersoluble.
The above-mentioned results in [5, 6, 7] and many other related results make natural to ask:
(I) Suppose that G has a complete Hall σ-set H such that every maximal subgroup of any
subgroup in H permutes with all other members of H. What we can say then about the structure
of G? In particular, does it true then that G is supersoluble in the case when every member of H is
supersoluble?
(II) Suppose that G possesses a a complete Hall σ-set. What we can say then about the structure
of G provided every complete Hall σ-set of G forms a σ-basis in G?
Our first observation is the following result concerning Question (I).
Theorem A. Suppose that G possesses a a complete Hall σ-set H all whose members are
supsersoluble. If every maximal subgroup of any non-cyclic subgroup in H permutes with all other
members of H, then G is supersoluble.
In the classical case, when σ = {{2}, {3}, . . .}, we get from Theorem A the following two known
results.
Corollary 1.1 (Asaad M., Heliel [8]). If G has a complete set S of Sylow subgroups such that
every maximal subgroup of every subgroup in S permutes with all other members of S, then G is
supersoluble.
Note that Corollary 1.1 is proved in [8] on the base of the classification of all simple non-abelian
groups. The proof of Theorem A does not use such a classification.
Corollary 1.2 (Huppert [6, VI, Theorem 10.3]). If every Sylow subgroup of G is cyclic, then G
is supersoluble.
The class 1 ∈ F of groups is said to be a formation provided every homomorphic image of G/GF
belongs to F. The formation F is said to be: saturated provided G ∈ F whenever GF ≤ Φ(G);
hereditary provided G ∈ F whenever G ≤ A ∈ F.
Now let p > q > r be primes such that qr divides p − 1. Let P be a group of order p and
QR ≤ Aut(P ), where Q and R are groups with order q and r, respectively. Let G = P ⋊ (QR).
Then, in view of the above-mentioned Hupper’s result in [5], G is not a group such that every
complete set of Sylow subgroups forms a Sylow basis of G. But it is easy to see that every complete
2

Hall σ-set of G, where σ = {{2, 3}, {7}, {2, 3, 7}′ }, is a σ-basis of G. This elementary example is a
motivation for our next result, which gives the answer to Question (II) in the universe of all soluble
groups.
Theorem B. The class Hσ is a hereditary formation and it is saturated if and only if |σ| ≤ 2.
Moreover, G ∈ Hσ if and only if G is soluble and the automorphism group induced by G on every its
chief factor of order divisible by p is either a σi -group, where p 6∈ σI , or a (σi ∪ σj )-group for some
different σi and σj such that p ∈ σi .
In the case when σ = {{2}, {3}, . . .} we get from Theorem B the following
Corollary 1.3 (Huppert [5] ). Every complete set of Sylow subgroups of a soluble group G forms
a Sylow basis of G if and only if the automorphism group induced by G on every its chief factor
H/K has order divisible by at most one different from p prime, where p ∈ π(H/K).

2

Proof of Theorem A

Lemma 2.1 (See Knyagina and Monakhov [12]). Let H, K and N be pairwise permutable subgroups
of G and H is a Hall subgroup of G. Then N ∩ HK = (N ∩ H)(N ∩ K).
Proof of Theorem A. Assume that this theorem is false and let G be a counterexample of
minimal order. Let H = {H1 , . . . , Ht }. We can assume, without loss of generality, that the smallest
prime divisor p of |G| belongs to π(H1 ). Let P be a Sylow p-subgroup of H1 .
(1) If R is a minimal normal subgroup of G, then G/R is supersoluble. Hence R is the unique
minimal normal subgroup of G, R is not cyclic and R  Φ(G).
We show that the hypothesis holds for G/R. First note that
H0 = {H1 R/R, . . . , Ht R/R}
is a complete Hall σ-set of G/R, where Hi R/R ≃ Hi /Hi ∩ R is supersoluble since Hi is supersoluble
by hypothesis for all i = 1, . . . , t.
Now let V /R be a maximal subgroup of Hi R/R, so |(Hi R/R) : (V /R)| = p is a prime. Then
V = R(V ∩ Hi ) and hence
p = |(Hi R/R) : (V /R)| = |(Hi R/R) : (R(V ∩ Hi )/R)| = |Hi R : R(V ∩ Hi )| =
= |Hi ||R||R ∩ (V ∩ Hi )| : |V ∩ Hi ||R||Hi ∩ R| = |Hi | : |V ∩ Hi | = |Hi : (V ∩ Hi )|,
so V ∩ Hi is a maximal subgroup of Hi . Assume that Hi R/R is not cyclic. Then Hi is not cyclic, so
(V ∩ Hi )Hj = Hj (V ∩ Hi )
for all j 6= i by hypothesis and hence
(V /R)(Hj R/R) = (R(V ∩ Hi )/R)(Hj R/R) = (Hj R/R)((V ∩ Hi )R/R) = (Hj R/R)(V /R).
3

Consequently the hypothesis holds for G/R, so G/R is supersoluble by the choice of G. Moreover,
it is well known that the class of all supersoluble groups is a saturated formation (see Ch. VI in [6]
or ??? in [?]). Hence the choice of G implies that R is the unique minimal normal subgroup of G, R
is not cyclic and R  Φ(G).
(2) G is not soluble. Hence R is not abelian and 2 ∈ π(R).
Assume that this is false. Then R is an abelian q-group for some prime q. Let q ∈ πk . Since
R is non-cyclic by Claim (1) and R ≤ Hk , Hk is non-cyclic. Hence every member of H permutes
with each maximal subgroup of Hk . Since R  Φ(G), R  Φ(Hk ) and so there exists a maximal
subgroup V of Hk such that R  V and RV = Hk . Hence E = R ∩ V 6= 1 since |R| > q and Hk
is supersoluble. Clearly, E is normal in Hk . Now assume that i 6= k. Then V permutes with Hi by
hypothesis, so V Hi is a subgroup of G and
R ∩ V Hi = (R ∩ V )(R ∩ Hi ) = R ∩ V = E
by Lemma 2.1 and so Hi ≤ NG (E). Therefore Hi ≤ NG (E) for all i = 1, . . . , t. This implies that E
is normal in G, which contradicts the minimality of R. Hence we have (2).
(3) If R has a Hall {2, q}-subgroup for each q dividing |R|, then a Sylow 2-subgroup R2 of R is
non-abelian.
Assume that this is false. Then by Claim (2) and Theorem 13.7 in [9, XI], the composition factors
of R are isomorphic to one of the following groups: a) P SL(2, 2f ); b) P SL(2, q), where 8 divides
q − 3 or q − 5; c) The Janko group J1 ; d) A Ree group. But with respect to each of these groups it
is well-known (see, for example [10, Theorem 1]) that the group has no a Hall {2, q}-subgroup for at
least one odd prime q dividing its order. Hence we have (3)
(4) If at least one of the subgroups Hi or Hk , say Hi , is non-cyclic, then Hi Hk = Hk Hi (This
follows from the fact that every maximal subgroup of Hi permutes with Hk ).
(5) H = H1 is not cyclic (This directly follows from Claim (2), [6, IV, 2.8] and the Feit-Thompson
theorem).
In view of Claim (5), H contains non-cyclic subgroups. Without loss of generality, we may assume
that H1 , . . . , Hr are non-cyclic groups and all groups Hr+1 , . . . , Ht are cyclic.
(6) Let E{i,j} = Hi Hj where i ≤ r. If r is the smallest prime dividing |E{i,j} |, then E{i,j} is
p-nilpotent, so it is soluble. Therefore E{i,j} 6= G.
Clearly, the hypothesis holds for E{i,j} . Hence if E{i,j} < G, then this subgroup is supersoluble
by the choice of G, and so it is p-nilpotent. Now assume that E{i,j} = G. Then r = p = 2 and
E{i,j} = HHj = Hj H. Let V1 , . . . , Vt be the set of all maximal subgroups of a Sylow 2-subgroup P
of H. Since H is supersoluble, it has a normal 2-complement S. Then SVi is a maximal subgroup
of H, so SVi Hj = Hj SVi is a subgroup of G by hypothesis. Moreover, this subgroup is normal in
G = E{i,j} since |G : Hj SVi | = 2. Now let E = SV1 Hj ∩ · · · ∩ SVt Hj . Then E is normal in G and
clearly E ∩ P ≤ Φ(P ).
4

Now we show that for any prime q dividing |Hj |, there are a Sylow q-subgroup Q of Hj and an
element h ∈ H such that P ≤ NG (Qh ). Indeed, by the Frattini argument, G = ENG (Q). Hence by
[6, VI, 4.7], there are Sylow 2-subgroups G2 , E2 and N2 of G, E and NG (Q) respectively such that
G2 = E2 N2 . Let P = (G2 )x . Then P = (E2 )x (N2 )x , where (E2 )x is a Sylow 2-subgroup of E and
(E2 )x is a Sylow 2-subgroup of (NG (Q))x = NG (Qx ). Since G = HHj , x = hw for some h ∈ H and
w ∈ Hj . Hence
NG (Qx ) = NG (Qwh ) = NG ((Qw )h ),
where Qw is a Sylow q-subgroup of Hj . Therefore (E2 )x = E ∩ P ≤ Φ(P ). Consequently, P ≤
NG ((Qw )h ). This shows that for any prime q dividing |Hj |, there is a Sylow q-subgroup Q of Hj
and an element h ∈ H such that P ≤ NG (Qh ). Thus G has a Hall {2, q}-subgroup P Qh for each q
dividing |Hj |. Moreover, since H is supersoluble by hypothesis, G has a Hall {2, s}-subgroup for each
s dividing |H|. Hence in view of Claim (3), P is not abelian. Then P ∩ F (H) 6= 1, so P ∩ F (H) ≤
Z∞ (H) since H is supersoluble. Let Z be a group of order 2 in Z(H). Since Z ≤ P ≤ NG ((Qh ),
−1
Z = Z h ≤ NG (Q). It follows that Z ≤ NG (Hj ). Thus Z G = Z HHj = Z Hj ≤ ZHj . This shows
that a Sylow 2-subgroup of Z G has order 2. Hence Z G is 2-nilpotent. Let S be the 2-complement
of Z G . It is clear that S 6= 1. Since S is characteristic in Z G , it is normal in G. On the other hand,
S is soluble by the Feit-Thompson theorem. This induces that G has an abelian minimal normal
subgroup, which contradicts Claim (2). Thus (6) holds.
(7) Ei = HHi is supersoluble for all i = 2, . . . , t ((Since the hypothesis holds for Ei and Ei < G
by Claim (5), this follows from the choice of G).
(8) E = H1 . . . Hr is soluble.
We argue by induction on r. If r = 2, it is true by Claim (5). Now let r > 2 and assume that
the assertion is true for r − 1. Then by Claim (4), E has at least three soluble subgroups E1 , E2 , E3
whose indices E : E1 |, |E : E2 |, |E : E3 | are pairwise coprime. But then E is soluble by the Wielandt
theorem [11, I, 3.4].
(9) R has a Hall {2, q}-subgroup for each q dividing |R|.
It is clear in the case when q ∈ π(H). Now assume that q ∈ π(Hi ) for some i > 1. Then Claim
(6) implies that B = HHi is a Hall soluble subgroup of G. Hence B has a Hall {2, q}-subgroup V
and so V ∩ R is a Hall {2, q}-subgroup of R.
(10) A Sylow 2-subgroup R2 of R is non-abelian (This follows from Claims (3) and (9)).
(11) If q ∈ π(Hk ) for some k > r, then q does not divide |R : NR ((R2 )′ )|.
By Claim (7), B = HHk is supersoluble. Hence there is a Sylow q-subgroup of Q of B such that
P Q is a Hall {2, q}-subgroup of B. Then U = P Q ∩ R = (P ∩ R)(Q ∩ R) = R2 (Q ∩ R) is a Hall
supersoluble subgroup of R with cyclic Sylow q-subgroup Q ∩ R. By [6, VI, 9.1], Q ∩ R is normal in
U , and U/CU (Q ∩ R) is an abelian group by [13, Ch. 5, 4.1]. Hence
R2 CU (Q ∩ R)/CU (Q ∩ R) ≃ R2 /R2 ∩ CU (Q ∩ R)
5

is abelian and so (R2 )′ ≤ CU (Q ∩ R). Consequently, Q ∩ R ≤ NR ((R2 )′ ).
The final contradiction. In view of Claim (11), R = (E ∩ R)NR ((R2 )′ ). Hence
′

((R2 )′ )R = ((R2 )′ )(E∩R)NR ((R2 ) ) = ((R2 )′ )E∩R ≤ E ∩ R.
But by Claim (8), E ∩ R is soluble. On the other hand, Claim (10) implies that (R2 )′ 6= 1 and so R
is soluble, contrary to Claim (2). The theorem is thus proved.

3

Proof of Theorem B

The following lemma can be proved by the direct calculations on the base of well-known properties
of Hall subgroups of soluble subgroups.
Lemma 3.1. The class Hσ is closed under taking homomorphic images, subgroups and direct
products.
Proof of Theorem B. Firstly, from Lemma 3.1, Hσ is a hereditary formation.
Now we prove that G ∈ Hσ if and only if G is soluble and the automorphism group induced by G
on every its chief factor of order divisible by p is either a σi -group, where p 6∈ σi , or a (σi ∪ σj )-group
for some different σi and σj such that p ∈ σi .
Necessity. Assume that this is false and let G be a counterexample of minimal order. Then G
has a chief factor H/K of order divisible by p such that A = G/CG (H/K) is neither a σi -group,
where p 6∈ σi , nor a (σi ∪ σj )-group, where σi 6= σj and p ∈ σi . Since
G/CG (H/K) ≃ (G/K)/(CG (H/K)/K) = (G/K)/CG/K (H/K)
and the hypothesis hods for G/K by Lemma 3.1, the choice of G implies that K = 1.
First we show that H 6= CG (H). Indeed, assume that H = CG (H). By hypothesis, every complete
Hall σ-set W = {W1 , . . . , Wt } of G forms a σ-basis of G. Without loss of generality, we can assume
that p ∈ π(W1 ). It is cleat that t > 2. Since H = CG (H), H is the unique minimal normal subgroup
of G and H  Φ(G) by [11, Ch.A, 9.3(c)] since G is soluble. Hence H = Op (G) = F (G) by [11, Ch.A,
15.6]. Then for some maximal subgroup M of G we have G = H ⋊ M . Let V = W3 . We now show
that V x ≤ CG (W2 ) for all x ∈ G. First note that W2 V x = V x W2 is a Hall (σ2 ∪ σ3 )-subgroup of G.
Since |G : M | is a power of p, any Hall σ0 -subgroup of M , where p 6∈ π0 , is a Hall π0 -subgroup of G.
Hence we can assume without loss of generality that W2 V x ≤ M since G is soluble. By hypothesis,
W2 (V x )y = (V x )y W2 for all y ∈ G, so
x

D = h(W2 )V i ∩ h(V x )W2 i
is subnormal in G by [14, 1.1.9(2)]. But D ≤ hW2 , V x i ≤ M , so
D G = D HM = D M ≤ MG = 1
6

by [11, Ch. A, 14.3], which implies that [W2 , V x ] = 1. Thus V x ≤ CG (W2 ) for all x ∈ G. It follows
that H ≤ (W3 )G ≤ NG (W2 ) and therefore W2 ≤ CG (H) = H, a contradiction. Hence H 6= CG (H).
Finally, let D = G × G, A∗ = {(g, g)|g ∈ G}, C = {(c, c)|c ∈ CG (H)} and R = {(h, 1)|h ∈ H}.
Then C ≤ CD (R), R is a minimal normal subgroup of A∗ R and the factors R/1 and RC/C are
(A∗ R)-isomorphic. Moreover,
CA∗ R (R) = R(CA∗ R (R) ∩ A∗ ) = RC,
so
A∗ R/C = (RC/C) ⋊ (A∗ /C),
where A∗ /C ≃ A and RC/C a minimal normal subgroup of A∗ R/C such that CA∗ R/C (RC/C) =
RC/C. As H < CG (H), we see that |A∗ R/C| < |G|. On the other hand, by Lemma 3.1, the
hypothesis holds for A∗ R/C, so the choice of G implies that A ≃ A∗ /C is either a σi -group, where
p 6∈ σi , or a (σi ∪σj )-group for some different σi and σj such that p ∈ σi . This contradiction completes
the proof of the necessity.
Sufficiency. Assume that this is false and let G be a counterexample of minimal order. Then G has
a complete Hall set W = {W1 , . . . , Wt } of type σ such that for some i and j we have Wi Wj 6= Wj Wi .
Let R be a minimal normal subgroup of G. Then:
(1) G/R ∈ Hσ , so R is a unique minimal normal subgroup of G.
It is clear that the hypothesis holds for G/R, so G/R ∈ Hσ by the choice of G. If G has a minimal
normal subgroup L 6= R, then we also have G/L ∈ Hσ . Hence G is isomorphic to some subgroup
of (G/R) × (G/L) by [6, I, 9.7]. It follows from Lemma 3.1 that G ∈ Hσ . This contradiction shows
that we have Claim (1).
(2) The hypothesis holds for any subgroup E of G.
Let H/K be any chief factor of G of order divisible by p such that H ∩ E 6= K ∩ E. Then
G/CG (H/K) is either a σi -group, where p 6∈ σi , or a (σi ∪ σj )-group for some different σi and σj
such that p ∈ σi . Let H1 /K1 be a chief factor of E such that K ∩ E ≤ K1 < H1 ≤ H ∩ E. Then
H1 /K1 is a p-group and
ECG (H/K)/CG (H/K) ≃ E/(E ∩ CG (H/K))
is either a σi -group or a (σi ∪ σj )-group. Since
CG (H/K) ∩ E ≤ CE (H ∩ E/K ∩ E) ≤ CE (H1 /K1 ),
E/CE (H1 /K1 ) is also either a σi -group or a (σi ∪ σj )-group. Therefore the hypothesis holds for every
factor H1 /K1 of some chief series of E. Now applying the Jordan-Hölder Theorem for chief series
we get Claim (2).
(3) R is a Sylow p-subgroup of G.
7

Since G/R ∈ Hσ by Claim (1),
(Wi R/R)(Wj R/R) = (Wj R/R)(Wi R/R),
so Wi Wj R is a subgroup of G. Assume that R is not a Sylow p-subgroup of G and let B = Wi Wj R.
Then B 6= G. On the other hand, the hypothesis holds for B by Claim (2). The choice of G implies
that B ∈ Hσ , so Wi Wj = Wj Wi , a contradiction. Hence Claim (3) holds.
Final contradiction for sufficiency. In view of Claims (1) and (3), there is a maximal subgroup
M of G such that G = R ⋊ M and MG = 1. Hence R = CG (R) = Op (G) by [11, Ch.A, 15.6].
Since p does not divide |G : R| = |G : CG (R)| by Claim (3), the hypothesis implies that M ≃ G/R
is a Hall σk -group for some σk ∈ σ, so one of the subgroups Wi or Wj coincides with R. Thus
G = Wi Wj = Wj Wi . This contradiction completes the proof of the sufficiency.
Finally we prove that Hσ is saturated if and only if |σ| ≤ 2. It is clear that Hσ is a saturated
formation for any σ with |σ| ≤ 2. Now we show that for any σ such that |σ| > 2, the formation Hσ
is not saturated.
Indeed, since |σ| > 2, there are primes p < q < r such that for some distinct σi , σj and σk in σ we
have p ∈ σi , q ∈ σj and r ∈ σk . Let Cq and Cr be groups of order q and r, respectively. Let P1 be a
simple Fp Cq -module which is faithful for Cq , P2 be a simple Fp Cr -module which is faithful for Cr . Let
H = P1 ⋊ Cq and Q be a simple Fq H-module which is faithful for H. Let E = (Q ⋊ H) × (P2 ⋊ Cr ).
Let A = Ap (E) be the p-Frattini module of E ([11, p.853]), and let G be a non-splitting extension
of A by E. In this case, A ⊆ Φ(G) and G/A ≃ E. Then G/Φ(G) ∈ Hσ , where σ = {σi , σj , σk }. By
Corollary 1 in [15], QP1 P2 = Op′ ,p (E) = CE (A/Rad(A)). Hence for some normal subgroup N of G
we have A/N ≤ Φ(G/N ) and G/CG (A/N ) ≃ Cq × Cr is a (σi ∪ σj )-group. But neither p 6∈ σi nor
p ∈ σj . Hence G 6∈ Hσ by the necessity. The theorem is proved.

References
[1] A.N. Skiba, On σ-subnormal and σ-permutable subgroups of finite groups, J. Algebra, 436
(2015), 1–16.
[2] A.N. Skiba, On some results in the theory of finite partially soluble groups, Commun. Math.
Stat., 4(3) (2016), 281–309.
[3] W. Guo, A.N. Skiba, On Π-quasinormal subgroups of finite groups, Monatsh. Math., DOI:
10.1007/s00605-016-1007-9.
[4] A.N. Skiba, A generalization of a Hall theorem, J. Algebra and its Application, 15(5) (2016),
DOI: 10.1142/S0219498816500857.
[5] Huppert B.: Zur Sylowstruktur Auflösbarer Gruppen, II. Arch. Math., 15, 251–257 (1964).
8

[6] Huppert B.: Endliche Gruppen I, Springer-Verlag, Berlin-Heidelberg-New York, 1967.
[7] Huppert B.: Zur Sylowstruktur Auflösbarer Gruppen, Arch. Math., 12, 161–169 (1961).
[8] Asaad M., Heliel A. A.: On permutable subgroups of finite groups, Arch. Math., 80, 113–118
(2003).
[9] Huppert B., Blackburn N.: Finite Groups III, Springer-Verlag, Berlin–New York, 1982.
[10] Tyutyanov V. N.: On the Hall conjecture (Russian. English, Ukrainian summary) Ukrain. Mat.
Zh. 54(7), 981-990 (2002); translation in Ukrainian Math. J., 54(7), 1181-1191 (2002).
[11] Doerk K., Hawkes T.: Finite Soluble Groups, Walter de Gruyter, Berlin, New York, 1992.
[12] B.N. Knyagina, V.S. Monakhov. On π ′ -properties of finite groups having a Hall π-subgroup,
Siberian Math. J., 522 (2011), 398–309.
[13] Gorenstein D.: Finite Groups, Harper & Row Publishers, New York-Evanston-London, 1968.
[14] A. Ballester-Bolinches, R. Esteban-Romero, M. Asaad, Products of Finite Groups, Walter de
Gruyter, Berlin-New York, 2010.
[15] R. Griess, P. Schmid, The Frattini module, Arch. Math., 30, 256–266 (1978).

9

