On classes of finite groups with simple non-abelian chief
factors

arXiv:1711.01686v1 [] 6 Nov 2017

V. I. Murashka
{mvimath@yandex.ru}
Francisk Skorina Gomel State University, Gomel, Belarus
Abstract. Let J be a class of non-abelian simple groups and X be a class of groups. A chief
factor H/K of a group G is called X-central in G provided (H/K) ⋊ G/CG (H/K) ∈ X. We say
that G is a Jcs-X-group if every chief X-factor of G is X-central and other chief factors of G
are simple J-groups. We use XJcs to denote the class of all Jcs-X-groups. A subgroup U of a
group G is called X-maximal in G provided that (a) U ∈ X, and (b) if U ≤ V ≤ G and V ∈ X,
then U = V . In this paper we described the structure of Jcs-H-groups for a solubly saturated
formation H and all hereditary saturated formations F containing all nilpotent groups such that
the FJcs -hypercenter of G coincides with the intersection of all FJcs -maximal subgroups of G
for every group G.
Keywords. Finite groups; c-supersoluble groups; Jcs-F-groups; hereditary saturated formation; solubly saturated formation; F-hypercenter of a group.
AMS(2010). 20D25, 20F17, 20F19.

Introduction
All groups considered here will be finite. Through G, p, X and J we always denote here
respectively a finite group, a prime, a class of groups and a class of non-abelian simple groups.
Recall that a subgroup U of G is called X-maximal in G provided that (a) U ∈ X, and (b) if
U ≤ V ≤ G and V ∈ X, then U = V [1, p. 288]. The symbol IntX (G) denotes the intersection
of all X-maximal subgroups of G. Recall that a chief factor H/K of G is called X-central in
G provided (H/K) ⋊ G/CG (H/K) ∈ X (see [2, p. 127–128]) and the symbol ZX (G) denotes
the X-hypercenter of G, that is, the largest normal subgroup of G such that every chief factor
H/K of G below it is X-central. If X = N is the class of all nilpotent groups, then ZN (G) is
the hypercenter of G.
Note that the intersection of maximal abelian subgroups of G is the center of G. According to
R. Baer [3], the intersection of maximal nilpotent subgroups of G coincides with the hypercenter
of G. In [4, Example 5.17] it was shown that the intersection of maximal supersoluble subgroups
of G does not necessary coincide with the supersoluble hypercenter of G. L. A. Shemetkov
possed the following question on Gomel Algebraic seminar in 1995:
Question 1. For what non-empty normally hereditary solubly saturated formations X do the
equality IntX (G) = ZX (G) hold for every group G?
The solution to this question for hereditary saturated formations was obtained by A. N.
Skiba in [4, 5] (for the soluble case, see also J. C. Beidleman and H. Heineken [6]) and for
the class of all quasi-F-groups, where F is a hereditary saturated formation, was given in
[7]. In particular, the intersection of maximal quasinilpotent subgroups is the quasinilpotent
hypercenter. The aim of this paper is to give the answer on this question for another wide class
of solubly saturated formations.

1

Results

Recall that a group is called supersoluble if every its chief factor is a simple abelian group. V. A.
Vedernikov [8] introduced the concept of c-supersoluble group (SC-group in the terminology of
1

D. J. S. Robinson [9]). Recall that a group is called c-supersoluble if every its chief factor is a
simple group. The products of c-supersoluble groups were studied in [10, 11, 12, 13, 14].
According to [15], a group G is called Jc-supersoluble if every chief J-factor of G is a simple
group, where J is a class of simple groups. The products and properties of such groups were
studied in [15, 16].
Another generalization of the concept of c-supersoluble group was suggested in [17]. A group
G is called ca-X-group [17] if every abelian chief factor of G is X-central and every non-abelian
is a simple group. The class Fca of all ca-F-groups, where F is a saturated formation, was
studied in [17, 18]. Note that there exists formations F 6⊆ Fca .
Example 1. Let F be a class of groups all whose composition factors are either soluble or
isomorphic to the alternating group A5 of degree 5. It is clear that F is a saturated formation.
Let G be the regular wreath product of A5 and the cyclic group of order 7. It is easy to see
that G ∈ F and G 6∈ Fca .
Definition 1. We say that G is a Jcs-X-group if every chief X-factor of G is X-central and
other chief factors of G are simple J-groups. We use XJcs to denote the class of all Jcs-X-groups.
It is clear that if F is a solubly saturated formation such that F contains every composition
factor of every F-group, then F ⊆ FJcs . Note that if J is the class of all simple non-abelian
groups and F ⊆ S, where S is the class of all soluble groups, then FJcs = Fca .
Theorem 1. Let F be a solubly saturated (normally hereditary, Fitting) formation containing
all nilpotent groups. Then FJcs is a solubly saturated (normally hereditary, Fitting) formation.
The main result of this paper is
Theorem 2. Let F be a hereditary saturated formation containing all nilpotent groups. Then
the following statements are equivalent:
(1) ZF (G) = IntF (G) holds for every group G and (Out(G) | G ∈ J) ⊆ F.
(2) ZFJcs (G) = IntFJcs (G) holds for every group G.
Recall that EF is the class of groups all whose composition factors are F-groups. The
structural description of Jcs-F-group is given in:
Theorem 3. Let F be a solubly saturated formation such that F contains every composition
factor of every F-group. Then the following statements are equivalent:
(1) G is a Jcs-F-group.
(2) S/ZF (G) = Soc(G/ZF (G)) is a direct product of G-invariant simple J-groups and G/S
is a soluble F-group.
(3) GF = GEF , Z(GF ) ≤ ZF (G) and GF /Z(GF ) is a direct product of G-invariant simple
J-groups.
Corollary 1 ([9, Proposition 2.4]). A group G is a c-supersoluble if and only if there is a perfect
normal subgroup D such that G/D is supersoluble, D/Z(D) is a direct product of G-invariant
simple groups, and Z(D) is supersolubly embedded in G.
Corollary 2 ([14, Theorem B]). A group G is widely c-supersoluble if and only if GwU = GS ,
Z(GwU ) ≤ ZF (G) and GwU /Z(GwU) is a direct product of G-invariant simple non-abelian groups.
Corollary 3 ([18, Theorem A]). Let F be a saturated formation of soluble groups. Then G ∈ Fca
if and only if GF = GS , Z(GF ) ≤ ZF (G) and GF /Z(GF ) is a direct product of G-invariant simple
non-abelian groups.

2

2

Preliminaries

The notation and terminology agree with the books [1, 19]. We refer the reader to these books
for the results on formations. Recall that GF is the F-residual of G for a formation F, GS is
the soluble radical of G, F̃(G) is defined by F̃(G)/Φ(G) = Soc(G/Φ(G)); π(G) is the set of all
prime divisors of G, π(X) = ∪ π(G), Np F = (G | G/Op(G) ∈ F) is a formation for a formation
G∈X

F, G is called s-critical for X if all proper subgroups of G are X-groups and G 6∈ X, AutG, InnG
and OutG are respectively groups of all, inner and outer automorphisms of G.
A formation is a class X of groups with the following properties: (a) every homomorphic
image of an X-group is an X-group, and (b) if G/M and G/N are X-groups, then also G/(M ∩
N) ∈ X. A formation X is said to be: saturated (resp. solubly saturated ) if G ∈ X whenever
G/Φ(N) ∈ X for some normal (resp. for some soluble normal) subgroup N of G; hereditary
(resp. normally hereditary) if H ∈ X whenever H ≤ G ∈ X (resp. whenever H ⊳ G ∈ X);
Fitting if it is normally hereditary and G ∈ X wherever G = AB, A, B E G and A, B ∈ X.
Recall that C p (G) is the intersection of the centralizers of all abelian p-chief factors of G
p
(C (G) = G if G has no such chief factors). Let f be a function of the form f : P ∪ {0} →
{f ormations}. Recall [19, p. 4] that CLF (f ) = (G | G/GS ∈ f (0) and G/C p (G) ∈ f (p) for
all p ∈ π(G) such that G has an abelian p-chief factor). If a formation F = CLF (f ) for some
f , then F is called composition or Baer-local. A formation is solubly saturated if and only if it
is composition (Baer-local) [1, IV, 4.17]. Any nonempty solubly saturated formation F has an
unique composition definition F such that F (p) = Np F (p) ⊆ F for all primes p and F (0) = F
(see [19, 1, 1.6]). In this case F is called the canonical composition definition of F.
Lemma 1 ([19, 1, 2.6]). Let F be a solubly saturated formation. Then G ∈ F if and only if
G = ZF (G).
Lemma 2 ([20, Theorem 1]). Let F be a normally hereditary (resp. Fitting) composition formation and F be its canonical local definition. If F (p) 6= ∅, then F (p) is normally hereditary
(resp. Fitting) formation.
Lemma 3 ([21, X, 13.16(a)]). Suppose that G = G1 × · · · × Gn , where each Gi is a simple
non-Abelian normal subgroup of G and Gi 6= Gj for i 6= j. Then any subnormal subgroup H of
G is the direct product of certain Gi .
The following lemma directly follows from previous lemma
Lemma 4. Let a normal subgroup N of G be a direct product of isomorphic simple non-abelian
groups. Then N is a direct product of minimal normal subgroups of G.
A function of the form f : P → {f ormations} is called a formation function. Recall [1, IV,
3.1] that a formation F is called local if F = (G | G/CG (H/K) ∈ f (p) for every p ∈ π(H/K)
and every chief factor H/K of G) for some formation function f . In this case f is called a local
definition of F. By the Gaschütz-Lubeseder-Schmid theorem, a formation is local if and only
if it is non-empty and saturated. Recall [1, IV, 3.8] that if F is a local formation, there exists
a unique formation function F , defining F, such that F (p) = Np F (p) ⊆ F for every p ∈ P. In
this case F is called the canonical local definition of F.
Lemma 5 ([19, 1, 1.15]). Let H/K be a chief factor of G. Then
(1) If F is a composition formation and F is its canonical composition definition, then H/K
is F-central if and only if G/CG (H/K) ∈ F (p) for all p ∈ π(H/K) in the case when H/K is
abelian, and G/CG (H/K) ∈ F when H/K is non-anelian.
(2) If F is a local formation and F is its canonical local definition, then H/K is F-central
if and only if G/CG (H/K) ∈ F (p) for all p ∈ π(H/K).
3

Lemma 6 ([1, IV, 3.16]). Let F be the canonical local definition of a local formation F. Then
F is hereditary if and only if F (p) is hereditary for all p ∈ P.
Recall [22, 3.4.5] that every solubly saturated formation F contains the greatest saturated
subformation Fl with respect to set inclusion.
Theorem 4 ([22, 3.4.5]). Let F be the canonical composition definition of a non-empty solubly
saturated formation F. Then f is a local definition of Fl , where f (p) = F (p) for all p ∈ P.

3
3.1

On the class of Jcs-F-groups
Properties of Jcs-F-groups

Proposition 1. For any class of groups X, the class XJcs is a formation.
Proof. Let A and B be a G-isomorphic G-groups. Note that if A is simple, then B is simple.
Also note that A⋊G/CG (A) ≃ B ⋊G/CG (B). Now Proposition 1 follows from the Isomorphism
Theorems [1, 2.1A].
Proposition 2. Let N ⊆ F be a composition formation with the canonical composition definition F . Then FJcs is a composition formation and has the canonical composition definition
FJcs such that FJcs (0) = FJcs and FJcs (p) = F (p) for all p ∈ P.
Proof. By Proposition 1, FJcs is a formation. Let H = CLF (FJcs ).
Assume H \ FJcs 6= ∅. Let chose a minimal order group G from H \ FJcs . Since FJcs is a
formation, G has an unique minimal normal subgroup N and G/N ∈ FJcs .
Suppose that N is abelian. Then it is a p-group. Since N is H-central in G by Lemma
1, G/CG (N) ∈ FJcs (p) by Lemma 5. From FJcs (p) = F (p) and Lemma 5 it follows that N is
F-central chief factor of G. Hence G ∈ FJcs , a contradiction.
So N is non-abelian. Note that GS ≤ CG (N) by [19, 1, 1.5]. So G ≃ G/CG (N) ∈ FJcs (0) =
FJcs , the contradiction. Thus H ⊆ FJcs .
Assume FJcs \ H 6= ∅. Let chose a minimal order group G from FJcs \ H. Since H is a
formation, G has an unique minimal normal subgroup N and G/N ∈ H.
If N is abelian, then G/CG (N) ∈ F (p) for some p by Lemmas 1 and 5. From FJcs (p) = F (p)
and Lemma 5 it follows that N is H-central in G. So G ∈ H, a contradiction.
Hence N is non-abelian. It means that GS = 1. Therefore G/GS ≃ G ∈ FJcs = FJcs (0).
Note that N ≤ C p (G) for all primes p. So C p (G)/N = C p (G/N). From G/N ∈ H it follows
that G/C p (G) ≃ (G/N)/C p (G/N) ∈ FJcs (p) for any p such that G has an abelian chief p-factor.
Therefore G ∈ H, the contradiction. So FJcs ⊆ H. Thus FJcs = H.
Proposition 3. Let N ⊆ F be a normally hereditary composition formation. Then FJcs is
normally hereditary.
Proof. Let F be the canonical composition definition of F, G be an F-group and 1 = N0 E
N1 E · · · E Nn = N E G be the part of chief series of G below N. Let H/K be a chief factor
of N such that Ni−1 ≤ K ≤ H ≤ Ni for some i.
If Ni /Ni−1 6∈ F, then it is a simple J-group. So Ni−1 = K, Ni = H and H/K is a simple
J-group.
If Ni /Ni−1 ∈ F, then it is F-central in G. Note that H/K ∈ F.
Assume that Ni /Ni−1 is abelian. Then G/CG (Ni /Ni−1 ) ∈ F (p) for some p by Lemma 5.
Note that F (p) is a normally hereditary formation by Lemma 2. Since
NCG (Ni /Ni−1 )/CG (Ni /Ni−1 ) E G/CG (Ni /Ni−1 ),
4

we see that
NCG (Ni /Ni−1 )/CG (Ni /Ni−1 ) ≃ N/CN (Ni /Ni−1 ) ∈ F (p).
From CN (Ni /Ni−1 ) ≤ CN (H/K) it follows that N/CN (H/K) is a quotient group of
N/CN (Ni /Ni−1 ). Thus N/CN (H/K) ∈ F (p). Now H/K is an F-central chief factor of N
by Lemma 5.
Assume that Ni /Ni−1 is non-abelian. Then G/CG (Ni /Ni−1) ∈ F by Lemma 5. Hence
NCG (Ni /Ni−1 )/CG (Ni /Ni−1 ) ∈ F. By analogy N/CN (H/K) ∈ F. So H/K is an F-central
chief factor of N by Lemma 5.
Thus every chief F-factor of N is F-central and other chief factors of N are simple J-groups
by Jordan-Hölder theorem. Thus N ∈ FJcs .
Proposition 4. Let N ⊆ F be a composition Fitting formation. Then FJcs is a Fitting formation.
Proof. Let F be the canonical composition definition of F. By Proposition 3, FJcs is normally
hereditary. Let show that FJcs contains every group G = AB, where A and B are normal
FJcs -subgroups of G. Assume the contrary. Let G be a minimal order counterexample. Note
that F (p) is a Fitting formation for all p ∈ P by Lemma 2.
If N is a minimal normal subgroup of G, then G/N = (AN/N)(BN/N) is the product of
two normal FJcs -subgroups. Hence G/N ∈ FJcs by our assumption. Since FJcs is a formation,
we see that N is an unique minimal normal subgroup of G.
(a) If N ∈ F and abelian, then A/CA (N) ∈ F (p) and B/CB (N) ∈ F (p).
Note that N is a p-group and N ∈ F. Let 1 = N0 E N1 E · · · E Nn = H be a part of a
chief series of A. Note that Ni /Ni−1 is an F-central chief factor of A for all i = 1, . . . , n. So
A/CA (Ni /Ni−1 ) ∈ F (p) by Lemma 5 for all i = 1, . . . , n. Therefore A/CA (N) ∈ Np F (p) = F (p)
by [10, Lemma 1]. By analogy B/CB (N) ∈ F (p).
(b) If N ∈ F and non-abelian, then A/CA (N) ∈ F and B/CB (N) ∈ F for all p ∈ π(N).
Assume that N ∈ F is non-abelian. Then it is a direct product of minimal normal Fsubgroups Ni of A by Lemma 4. Hence Ni is F-central in A for all i = 1, . . . , n by Lemma
1. So A/CA (Ni ) ∈ F by Lemma 5. Note that CA (N) = ∩ni=1 CA (Ni ). Since F is a formation,
A/ ∩ni=1 CA (Ni ) = A/CA (N) ∈ F. By analogy B/CB (N) ∈ F.
(c) N 6∈ F.
Assume that N ∈ F. Note that
ACG (N)/CG (N) ≃ A/CA (N), BCG (N)/CG (N) ≃ B/CB (N) and
G/CG (N) = (ACG (N)/CG (N))(BCG (N)/CG (N)).
Since F (p) and F are Fitting formations, we see that if N is abelian, then G/CG (N) ∈ F (p),
and if N is non-abelian, then G/CG (N) ∈ F. Thus N is F-central chief factor of G by Lemma
5. From G/N ∈ FJcs it follows that G ∈ FJcs , a contradiction.
(d) The final contradiction.
Since N 6∈ F and A ∈ FJcs , N is a direct product of minimal normal subgroups of A and
these subgroups are simple J-groups. Hence every subnormal subgroup of N is normal in A by
Lemma 3. By analogy every subnormal subgroup of N is normal in B. Since N is a minimal
normal subgroup of G = AB, we see that N is a simple J-group. From G/N ∈ FJcs it follows
that G ∈ FJcs, the final contradiction.
Proposition 5. Let N ⊆ F be a composition formation. Then FJcs is saturated if and only if
F is saturated and J ⊆ F.

5

Proof. It is clear that if F is saturated and J ⊆ F, then FJcs = F is saturated. Assume that
FJcs 6= F, then there is a simple J-group G 6∈ F. Note that G ∈ FJcs . Let p ∈ π(G). According
to [23], there is a Frattini Fp G-module A which is faithful for G. By known Gaschütz theorem
G

[24], there exists a Frattini extension A ֌ R ։ G such that A ≃ Φ(R) and R/Φ(R) ≃ G. If
FJcs is saturated, then R ∈ FJcs . Hence R/Op′ ,p (R) ≃ G ∈ F (p) ⊆ F, the contradiction.
Proposition 6. Let N ⊆ F be a composition formation. Then (FJcs )l = Fl .
Proof. By Theorem 4, (FJcs )l is defined by f (p) = FJcs (p) for all p ∈ P and Fl is defined by
h(p) = F (p) for all p ∈ P. Since FJcs (p) = F (p) for all p ∈ P by Proposition 2, (FJcs )l = Fl .

3.2

Proves of Theorems 1 and 3

Proof of Theorem 1. Recall that a formation is solubly saturated if and only if it is composition.
Now Theorem 1 directly follows from Propositions 2, 3 and 4.
Proof of Theorem 3. (1) ⇒ (2) Let G ∈ FJcs , Z = ZF (G) and S/Z = Soc(G/Z). Note that
G/Z does not have minimal normal F-subgroups. Hence every minimal normal subgroup Si /Z
of G/Z (i = 1, . . . , n) is a simple J-group. Now S/Z = S1 /Z × · · · × Sn /Z. Since all groups in
J are non-abelian, Φ(G/Z) ≃ 1. Hence S/Z = F̃(G/Z).
Note that every element xZ induces an automorphism αx,i on Si /Z for i = 1, . . . , n. Let
ϕ : xZ → (αx,1 , . . . , αx,n )
It is clear that ϕ(xZ)ϕ(yZ) = ϕ(xyZ). Also note that if ϕ(xZ) = ϕ(yZ), then y −1 xZ acts
trivially on every Si /Z. So
y −1 xZ ∈ ∩ni=1 CG/Z (Si /Z) = CG/Z (S/Z) = CG/Z (F̃(G/Z)) ⊆ F̃(G/Z).
Hence y −1 xZ = 1Z. Now yZ = xZ and ϕ is injective. Hence ϕ is the monomorphism from
G/Z to Aut(S1 /Z) × · · · × Aut(Sn /Z). Note that ϕ(S/Z) = Inn(S1 /Z) × · · · × Inn(Sn /Z). It
is straightforward to check that
(Aut(S1 /Z) × · · · × Aut(Sn /Z))/(Inn(S1 /Z) × · · · × Inn(Sn /Z)) ≃ Out(S1 /Z) × · · · × Out(Sn /Z)
Now G/S ≃ (G/Z)/(S/Z) ≃ ϕ(G/Z)/ϕ(S/Z) can be viewed as subgroup of Out(S1 /Z) × · · · ×
Out(Sn /Z). By Schreier conjecture all Out(Si /Z) are soluble. Hence every chief factor of G
above S is soluble and, hence, F-central in G.
(2), (3) ⇒ (1) Assume that GF = GEF , Z(GF ) ≤ ZF (G) and GF /Z(GF ) is a direct product
of G-invariant simple J-groups or S/ZF (G) = Soc(G/ZF (G)) is a direct product of G-invariant
simple J-groups and G/S is a soluble F-group. Now it is clear that a group G has a chief series
such that its every chief F-factor is F-central in G and other its chief factors a simple J-groups.
Thus G ∈ FJcs by Jordan-Hölder theorem.
(1) ⇒ (3) Assume now that G ∈ FJcs . Note that every chief factor of G above GEF is an
F-group and hence F-central in G by the definition of FJcs . So ZF (G/GEF ) = G/GEF . Therefore
G/GEF ∈ F and GF ≤ GEF . From F ⊆ EF it follows that GEF ≤ GF . Thus GF = GEF .
By [25, Corollary 2.3.1], GF ≤ CG (ZF (G)). Hence GF ∩ ZF (G) = Z(GF ). So Z(GF ) ≤ ZF (G).
According to (2), (G/ZF (G))F = Soc(G/ZF (G)) is a direct product of simple J-groups.
Note that GF /Z(GF ) ≃ GF ZF (G)/ZF (G) = (G/ZF (G))F . Now GF /Z(GF ) is a direct product of
G-invariant simple J-groups by Lemma 4 and Definition 1.

6

4
4.1

On the intersection of FJcs-maximal subgroups
Basic results

It is natural to ask if the solution of Question 1 can be reduced to the case, when X is a
saturated formation? That is why A. F. Vasil’ev suggested the following question on Gomel
Algebraic seminar in 2015:
Question 2. (1) Let H be a normally hereditary saturated formation. Assume that IntH (G) =
ZH (G) holds for every group G. Describe all normally hereditary solubly saturated formations
F with Fl = H such that IntF (G) = ZF (G) holds for every group G.
(2) Let F be a normally hereditary solubly saturated formation. Assume that IntF (G) =
ZF (G) holds for every group G. Does IntFl (G) = ZFl (G) hold for every group G?
Recall that D0 X be the class of groups which are the direct products X-groups. Partial
answer on this question is given in
Theorem 5. Let F be the canonical composition definition of a non-empty solubly saturated
formation F. Assume that F (p) ⊆ Fl for all p ∈ P and Fl is hereditary.
(1) Assume that IntFl (G) = ZFl (G) holds for every group G. Let
H = (S is a simple group | if H/K is F-central chief D0 (S)-factor of G, then H/K is Fl -central).
Then every chief D0 H-factor of G below IntF (G) is Fl -central in G.
(2) If IntF (G) = ZF (G) holds for every group G, then IntFl (G) = ZFl (G) holds for every
group G.
Proof. From F (p) = Np F (p) ⊆ Fl and Theorem 4 it follows that if we restrict F to P, then we
obtain the canonical local definition of Fl .
(1) Let H/K be a chief D0 H-factor of G below IntF (G).
(a) If H/K is abelian, then MCG (H/K)/CG (H/K) ∈ F (p) for every F-maximal subgroup
M of G.
If H/K is abelian, then it is an elementary abelian p-group for some p and H/K ∈ F.
Let M be an F-maximal subgroup of G and K = H0 E H1 E · · · E Hn = H be a part of
a chief series of M. Note that Hi /Hi−1 is an F-central chief factor of M for all i = 1, . . . , n.
So M/CM (Hi /Hi−1 ) ∈ F (p) by Lemma 5 for all i = 1, . . . , n. Therefore M/CM (H/K) ∈
Np F (p) = F (p) by [10, Lemma 1]. Now
MCG (H/K)/CG (H/K) ≃ M/CM (H/K) ∈ F (p)
for every F-maximal subgroup M of G.
(b) If H/K is non-abelian, then MCG (H/K)/CG (H/K) ∈ F (p) for every F-maximal subgroup M of G.
If H/K is non-abelian, then it is a direct product of isomorphic non-abelian simple groups.
Let M be an F-maximal subgroup of G. By Lemma 4, H/K = H1 /K × · · · × Hn /K is
a direct product of minimal normal subgroups Hi /K of M/K. Now Hi /K is F-central in
M/K for all i = 1, . . . , n. Hence Hi /K is Fl -central in M/K for all i = 1, . . . , n by the
definition of H. Therefore M/CM (Hi /K) ∈ F (p) for all p ∈ π(Hi /K) by Lemma 5. Note that
CM (H/K) = ∩ni=1 CM (Hi /K). Since F (p) is a formation,
M/ ∩ni=1 CM (Hi /K) = M/CM (H/K) ∈ F (p)
for all p ∈ π(H/K). It means that MCG (H/K)/CG (H/K) ≃ M/CM (H/K) ∈ F (p) for every
p ∈ π(H/K) and every F-maximal subgroup M of G.
(c) All Fl -subgroups of G/CG (H/K) are F (p)-groups for all p ∈ π(H/K).
7

Let Q/CG (H/K) be an Fl -maximal subgroup of G/CG (H/K). Then there exists an Fl maximal subgroup N of G with NCG (H/K)/CG (H/K) = Q/CG (H/K) by [19, 1, 5.7]. From
Fl ⊆ F it follows that there exists an F-maximal subgroup L of G with N ≤ L. So
Q/CG (H/K) ≤ LCG (H/K)/CG (H/K) ∈ F (p) for all p ∈ π(H/K)
by (a) and (b). Since F (p) is hereditary by Lemma 6, Q/CG (H/K) ∈ F (p). It means that all
Fl -maximal subgroups of G/CG (H/K) are F (p)-groups. Hence all Fl -subgroups of G/CG (H/K)
are F (p)-groups.
(d) H/K is Fl -central in G.
Assume now that H/K is not Fl -central in G. So G/CG (H/K) 6∈ F (p) for some p ∈
π(H/K) by Lemma 5. It means that G/CG (H/K) contains an s-critical for F (p) subgroup
S/CG (H/K). Since IntFl (G) = ZFl (G) holds for every group G, S/CG (H/K) ∈ Fl by [4,
Theorem A]. Therefore S/CG (H/K) ∈ F (p) by (c), a contradiction. Thus H/K is Fl -central
in G.
(2) Let show that IntFl (G) = ZFl (G) holds for every group G. Assume the contrary. Then
there exists an s-critical for f (p) group G 6∈ Fl for some p ∈ P by [4, Theorem A]. We may
assume that G is a minimal group with this property. Then Op (G) = Φ(G) = 1 and G has an
unique minimal normal subgroup by [4, Lemma 2.10]. Note that G is also s-critical for Fl .
Assume that G 6∈ F. Then there exists a simple Fp G-module V which is faithful for G
by [1, 10.3B]. Let T = V ⋊ G. Note that T 6∈ F. Let M be a maximal subgroup of T . If
V ≤ M, then M = M ∩ V G = V (M ∩ G), where M ∩ G is a maximal subgroup of G. From
M ∩ G ∈ f (p) and f (p) = Np f (p) it follows that V (M ∩ G) = M ∈ f (p) ⊆ Fl ⊆ F. Hence M
is an F-maximal subgroup of G. If V 6≤ M, then M ≃ T /V ≃ G 6∈ Fl . Now it is clear that the
sets of all maximal Fl -subgroups and all F-maximal subgroups of T coincide. Therefore V is
the intersection of all F-maximal subgroups of T . From T ≃ V ⋊ T /CT (V ) 6∈ F it follows that
V 6≤ ZF (T ), a contradiction.
Assume that G ∈ F. Let N be a minimal normal subgroup of G. If N is abelian, then
N is a p-group. Hence G/CG (N) ∈ F (p) = f (p). So N is an Fl -central chief factor of G by
Lemma 5. Therefore N ≤ ZFl (G). Since N is an unique minimal normal subgroup of s-critical
for Fl -group G and Φ(G) = 1, we see that G/N ∈ Fl . Hence G ∈ Fl , a contradiction. Thus N
is non-abelian.
Let p ∈ π(N). According to [23], there is a Frattini Fp G-module A which is faithful for
G. By known Gaschütz theorem [24], there exists a Frattini extension A ֌ R ։ G such that
G

A ≃ Φ(R) and R/Φ(R) ≃ G.
Assume that R ∈ F. Note that C p (R) ≤ CR (Φ(R)). So
R/Φ(R) = R/CR (Φ(R)) ≃ G ∈ F (p) = f (p) ⊆ Fl ,
a contradiction. Hence R 6∈ F.
Let M be a maximal subgroup of R. Then M/Φ(R) is isomorphic to a maximal subgroup
of G. So M/Φ(R) ∈ f (p). From Np f (p) = f (p) it follows that M ∈ f (p) ⊆ Fl ⊆ F. Hence
the sets of maximal and F-maximal subgroups of R coincide. Thus Φ(R) = ZF (R). From
R/ZF (R) ≃ G ∈ F it follows that R ∈ F, the final contradiction.
Proposition 7. Let N ⊆ F be a hereditary saturated formation. If H/K 6∈ F is a chief factor
of G below IntFJcs (G), then it is a simple group.
Proof. Note that H/K = H1 /K × · · · × Hn /K is a direct product of isomorphic simple nonabelian groups. Let M be a FJcs-maximal subgroup of G. Then H/K is a direct product of
minimal normal subgroups of M/K by Lemma 4. From M/K ∈ FJcs it follows that all these
8

minimal normal subgroups are simple J-groups. According to Lemma 3, all these minimal
normal subgroups are H1 /K, . . . , Hn /K.
Thus H1 /K, . . . , Hn /K are normal in M/K for every FJcs -maximal subgroup M of G.
From N ⊆ F it follows that for every x ∈ G there is a FJcs -maximal subgroup M of G with
x ∈ M. It means that H1 /K, . . . , Hn /K are normal in G/K. Since H/K is a chief factor of G,
H/K = H1 /K is a simple group.
Proposition 8. Let F be a hereditary saturated formation. Then ZFJcs (G) ≤ IntFJcs (G).
Proof. Let F be a hereditary saturated formation with the canonical local definition F , M be
a FJcs -maximal subgroup of G and N = MZFJcs (G). Let show that N ∈ FJcs . It is sufficient
to show that for every chief factor H/K of N below ZFJcs (G) either H/K ∈ F and H/K is
F-central in N or H/K 6∈ F is a simple J-group. Let 1 = Z0 E Z1 E · · · E Zn = ZFJcs (G) be a
chief series of G below ZFJcs (G). Then we may assume that Zi−1 ≤ K ≤ H ≤ Zi for some i by
the Jordan-Hölder theorem. Note that
(Zi /Zi−1) ⋊ G/CG (Zi /Zi−1) ∈ FJcs .
Hence if Zi /Zi−1 6∈ F, then Zi /Zi−1 is a simple J-group. So H/K = Zi /Zi−1 is a simple J-group.
If Zi /Zi−1 ∈ F, then it is an F-central chief factor of (Zi /Zi−1) ⋊ G/CG (Zi /Zi−1). In this case
G/CG (Zi /Zi−1) ∈ F (p) for all p ∈ π(Zi /Zi−1 ) by Lemma 5. Since F (p) is hereditary by Lemma
6,
NCG (Zi /Zi−1)/CG (Zi /Zi−1) ≃ N/CN (Zi /Zi−1 ) ∈ F (p)
for all p ∈ π(Zi /Zi−1 ). Note that N/CN (H/K) is a quotient group of N/CN (Zi /Zi−1 ). Thus
H/K is an F-central chief factor of N by Lemma 5.
Thus N ∈ FJcs . So N = MZFJcs (G) = M. Therefore ZFJcs (G) ≤ M for every FJcs -maximal
subgroup M of G.
Proposition 9. Let N ⊆ F be a hereditary saturated formation. If H is a normal J-subgroup
of G then H ≤ IntFJcs (G).
Proof. Let M be a FJcs -maximal subgroup of G. Since MH/H ≃ M/M ∩ H ∈ FJcs , every
chief factor of MH above H is either F-central or simple J-group. Since H is a simple J-group,
MH ∈ FJcs by the definition of FJcs .

4.2

Proof of Theorem 2

(1) ⇒ (2). Suppose that ZF (G) = IntF (G) holds for every group G and (OutG | G ∈ J) ⊆ F.
Let show that IntFJcs (G) = ZFJcs (G) also holds for every group G. Let H/K be a chief factor
of G below IntFJcs (G).
(a) If H/K ∈ F, then it is FJcs-central in G.
Directly follows from Theorem 5, Definition 1 and F ⊆ FJcs .
(b) If H/K 6∈ F, then it is FJcs -central in G.
By Proposition 7, H/K is a simple J-group. Now G/CG (H/K) ≃ T and H/K ≃ Inn(H/K) ≤
T ≤ Aut(H/K). Since Out(H/K) ∈ F and F is hereditary, we see that T /Inn(H/K) ∈ F. Thus
Soc(H/K ⋊ G/CG (H/K)) = (H/K ⋊ G/CG (H/K))F ≃ H/K × H/K
is a direct product of two simple normal J-subgroups of H/K ⋊ G/CG (H/K). Thus H/K ⋊
G/CG (H/K) ∈ FJcs by Theorem 3. Now H/K is FJcs -cental in G by Lemma 5.
(c) ZFJcs (G) = IntFJcs (G).
From (a) and (b) it follows that IntFJcs (G) ≤ ZFJcs (G). By Proposition 8, ZFJcs (G) ≤
IntFJcs (G). Thus ZFJcs (G) = IntFJcs (G).
9

(2) ⇒ (1). Assume that ZFJcs (G) = IntFJcs (G) holds for every group G. Since F is saturated,
we see that (FJcs )l = Fl = F by Proposition 6. Let F be a composition definition of FJcs . Then
F (p) ⊆ F by Proposition 2 and Theorem 4. Now ZF (G) = IntF (G) holds for every group G by
(2) of Theorem 5.
Let show that (Out(G) | G ∈ J) ⊆ F. Assume the contrary. Then there is a J-group G such
that Out(G) 6∈ F. By Proposition 9, G ≃ Inn(G) ≤ IntFJcs (Aut(G)). Hence
H = Inn(G) ⋊ Aut(G)/CAut(G) (Inn(G)) ≃ G ⋊ Aut(G) ∈ FJcs .
So Out(G) ∈ FJcs . By Schreier conjecture, Out(G) is soluble. Thus Out(G) ∈ F, the contradiction.

Acknowledgments
I am grateful to A. F. Vasil’ev for helpful discussions.

References
[1] K. Doerk and T. Hawkes. Finite soluble groups (Walter de Gruyter, 1992).
[2] L. A. Shemetkov and A. N. Skiba. Formations of algebraic systems (Nauka, Moscow,
1989). (In Russian)
[3] R. Baer. Group Elements of Prime Power Index. Trans. Amer. Math Soc. 75(1)
(1953), 20–47.
[4] A. N. Skiba. On the F-hypercenter and the intersection of all F-maximal subgroups
of a finite group. Journal of Pure and Aplied Algebra 216(4) (2012), 789–799.
[5] A. N. Skiba. On the intersection of all maximal F-subgroups of a finite group. J.
Algebra 343 (2011), 173-182.
[6] J. C. Beidleman and H. Heineken. A note of intersections of maximal F-subgroups.
J. Algebra 333 (2010), 120–127.
[7] V. I. Murashka. On the quasi-F-hypercenter of a finite group. ArXiv.org, e-Print
archive, arXiv:1611.045707v1, 14 Nov 2016.
[8] V. A. Vedernikov. On some classes of finite groups. Dokl. Akad. Nauk BSSR 32(10)
(1988), 872-875. (In Russian)
[9] D. J. S. Robinson. The structure offinite groups in whitcpermutability is a transitive
relation. J. Austral. Math. Soc. 70 (2001), 143–159.
[10] A. F. Vasil’ev, T. I. Vasilyeva, On finite groups whose principal factors are simple
groups. Russian Math. (Iz. VUZ) 41(11) (1997), 8–12.
[11] A. Ballester-Bolinches, J. Cossey, M. C. Pedraza-Aguilera. On mutually permutable products of finite groups. J. Algebra 294 (2005), 127–135.
[12] J. Beidleman, P. Hauck and H. Heineken. Totally permutable products of certain
classes of finite groups. J. Algebra 276 (2004), 826–835.
[13] A. Ballester-Bolinches and J. Cossey. Totally Permutable Products of Finite
Groups Satisfying SC or PST. Monatsh. Math. 145 (2005), 89–94
[14] A. F. Vasil’ev, T. I. Vasil’eva, E. N. Myslovets, Finite widely c-supersoluble groups
and their mutually permutable products, Siberian Math. J. 57(3) (2016), 476–485.
[15] A. F. Vasil’ev, T. I. Vasil’eva, E. N. Myslovets. On finite groups with a given
normal structure. Sib. Elektron. Mat. Izv. 13 (2016), 897–910. (In Russian)
[16] E. N. Myslovets, J-construction of composition formations and products of finite
groups PFMT 29 (2016), 68–73.
[17] E. N. Myslovets. On finite ca-F-groups. PFMT 19 (2014), 64–68. (In Russian)
10

[18] E. N. Myslovets, A. F. Vasil’ev, Finite generalized c-supersoluble groups and their
mutually permutable products. PFMT 27 (2016), 45–53. (In Russian)
[19] W. Guo. Structure theory for canonical classes of finite groups (Springer, 2015).
[20] L. A. Shemetkov. Composition formations and radicals of finite groups. Ukrainian
Mathematical Journal. 40(3) (1988), 318-322.
[21] B. Huppert and N. Blackburn. Finite groups, vol. 3 (Springer-Verlag, 1982).
[22] A. Ballester-Bolinches and L. M. Ezquerro. Classes of Finite Groups (Springer,
2006).
[23] P. Schmid and R. L. Griess. The Frattini module. Arch. Math. 30 (1978), 256–266.
[24] W. Gashütz. Über modulare Darstellungen endlicher Gruppen, die von freien
Gruppen induziert werden. Math. Z. 60 (1954), 274–286.
[25] L. A. Shemetkov. Graduated formations of groups. Math. USSR-Sb. 23(4) (1974),
593–611.

11

