arXiv:1707.07805v1 [] 25 Jul 2017

On injectors of Hartley set of a finite group
Nanying Yang∗
School of Science, Jiangnan University
Wuxi 214122 , P. R. China
E-mail: yangny@jiangnan.edu.cn

N.T.Vorob’ev†
Department of Mathematics, Masherov Vitebsk State University
Vitebsk 210038, Belarus
Email:vorobyovnt@tut.by

T.B. Vasilevich‡
Department of Mathematics, Masherov Vitebsk State University,
Vitebsk 210038, Belarus
E-mail: tatyana.vasilevich.1992@mail.ru

Abstract
Let G be a group and H be a Hartley set of G. In this paper, we prove the existence and
conjugacy of H-injectors of G and describe the structure of the injectors. As application, some
known results are directly followed.

1

Introduction

Throughout this paper, all groups are finite. In theory of classes of finite soluble groups, a basic
result which generalizes fundamental theorems of Sylow and Hall is the theorem of Fischer, Gaschütz
and Hartley [4] on existence and conjugacy of F-injectors in soluble groups for every Fitting class F.
Recall that a class F is called a Fitting class if F is closed under taking normal subgroups and
products of normal F-subgroups. For any class F of groups, a subgroup V of a group G is said to
be F-maximal if V ∈ F and U = V whenever V ≤ U ≤ G and U ∈ F. From the definition of Fitting
class F, every group G has the largest normal F-subgroup GF , so called F-radical of G, which is the
∗

Research is supported by a NNSF grant of China (Grant #11301227)and the Natural Science Fundation of Jiangsu
Province( grant #BK20130119).
†
Research is supported by the State Research Programme ”Convergence” of Belarus (2016-2020).
‡
Research is supported by the Belarusian Republican Foundation for Fundamental Research (F17M-064).
0
Keywords: Hartley set, injector, h-radical, H-function.
0
Mathematics Subject Classification (2010): 20D10, 20D15

1

product of all normal F subgroups. In particular, if F = N is the Fitting class of all nilpotent groups,
then GN = F (G) is the Fitting subgroup of G. A subgroup V of a group G is said to be an F-injector
of G if V ∩ N is an F-maximal subgroup of N for every subnormal subgroup N of G. Note that if
F = Np is the Fitting class of all p-groups, then the F-injectors of a group G are Sylow p-subgroups
of G; if F is the Fitting class of all groups with soluble Hall π-subgroups (i.e G is Eπs -group [8, p.81]),
where π is a set of prime numbers, then the F-injectors of G are Hall π-subgroups of G.
As a development of the theorem of Fischer, Gaschütz and Hartley [4], Shemetkov [15] (resp.
Anderson [1]) proved that if G is a π-soluble group (resp. soluble group) and F is a Fitting set of
G, then G posseses exactly one conjugacy class of F-injectors, where π is the set of all primes divide
orders of all subgroups of G in F.
Recall that a nonempty set F of subgroups of a group G is called a Fitting set of G [4, 15], if the
following three conditions hold:(i) If T E S ∈ F , then T ∈ F ; (ii) If S ∈ F and T ∈ F , S E ST and
T E ST , then ST ∈ F ; (iii) If S ∈ F and x ∈ G, then S x ∈ F. So from the definition of Fitting set
F, the F-radical GF of a group G can also be defined as the product of all its normal F-subgroups.
For a Fitting set F of G, the F-injector of G is similarly defined as the F-injector for Fitting class F
(see [1, Definition VIII. (2.5)]).
If F is a Fitting class and G is a group, then the set {H ≤ G : H ∈ F} is a Fitting set, which
is denoted by T rF (G) and called the trace of F in G (see [3, VIII, 2.2(a)]). Note that for a Fitting
class F, the F-injectors and T rF (G)-injectors of G coincide, but not every Fitting set of G is the
trace of a Fitting class ([3, VIII. Examples (2.2)(c)]). Hence, if F = T rF (G), then the theorem of
Anderson [1] and the theorem of Fischer, Gaschütz and Hartley [4] are Corollaries of the theorem of
Shemetkov [15]. Vorob’ev and Semenov [17] proved that for every set π of primes and every Fitting
set F of π-soluble group G, G possesses an F-injector and any two F-injectors are conjugate if F is
π-saturated, i.e. F = {H ≤ G : H/HF ∈ Eπ′ }. In connection with these theorems, the following
question naturally arise:
Question 1.1 For an arbitrary Fitting set F of a group G (in case G is a non-π-soluble group),
when G possesses F-injector and any two F-injectors are conjugate?
There has been substantial research on characterizations of F-injector for various types of soluble
Fitting classes F (see [5, 6, 7, 9, 10, 12, 14, 15]). It is well known that the product of any two
Fitting classes is also Fitting class and multiplication of Fitting classes satisfies associative law (see
[3, Theorem IX.(1.12)(a),(c)]). Hartley [9] proved that for the Fitting class of type XN (where X
is a nonempty Fitting class and N is the Fitting class of all nilpotent groups), a subgroup V of a
soluble group G is an XN-injector of G if and only if V /GX is a nilpotent subgroup of G. As a further
improvement, Guo and Vorob’ev [6] proved that for the Hartley class H, the set of all H-injectors of
soluble group G coincide with the set of all H-maximal subgroups of G containing H-radical of G.
Let P be the set of all prime numbers. Following [9], a function h : P → {nonempty Fitting classes}
is a Hartley function (or in brevity H-function). Let LH(h) = ∩p∈P h(p)Sp′ Np , where Np is the class
2

of all p-groups and Sp′ is the class of all soluble p′ -groups. A Fitting class H is called a Hartley class
if H = LH(h) for some H-function h.
We need to develop and extend the local method of Hartley [9](for soluble Fitting classes) for
Fitting sets of groups (not necessary in the universe of soluble groups). For a Fitting set H of a
group G and a nonempty Fitting class F, we call the set {H ≤ G : H/HH ∈ F} of subgroups of G
the product of H and F, and denote it by H ◦ F is a Fitting set of G (see Lemma 2.1).
Following [16], a function h : P → {Fitting sets of G} is called a Hartley function of G (or in
brevity an H-function of G).
Definition 1.2 Let h be an H-function of a group G and HS(h) = ∩p∈Ph(p) ◦ (Ep′ Np ), where
′
Ep′ is the class of all p -groups. A Fitting set H of G called the Hartley set of G if H = HS(h) for
some H-function h.
Definition 1.3 Let H = HS(h) be a Hartley set of a group G. Then h is said to be:
(1) integrated if h(p) ⊆ H for all p;
(2) full if h(p) ⊆ h(q) ◦ Eq′ for all different primes p and q;
(3) full integrated if h is full and integrated as well.
It is easy to see that every Hartley set of a group G can be defined by an integrated H-function.
Moreover we prove that every Hartley set of G can be defined by a full integrated H-function in
Lemma 3.4.
In connection with above, the following question naturally arise:
Question 1.4 Let G be a group (in particular, G is a soluble group), and H be a Hartley set of
G, what’s the structure of H-injectors of G?
For a Hartley set H = HS(h) of G, h is a full integrated H-function of H, we call the subgroup
Q
Gh = p∈P Gh(p) the h-radical of G. A group G is said to be N-constrained if CG (F (G)) ≤ F (G).
It is well known that if G is soluble, then G is constrained (in general, the converse is not true [11]).
The following theorem resolved the Questions 1.1 and 1.4.
Theorem 1.5 Let H be a Hartley set of a group G defined by a full integrated H-function h and
Gh the h-radical of G. If G/Gh is N-constrained, then the following statements hold:
(1) A subgroup V of G is an H-injector of G if and only if V /Gh is a nilpotent injector of G/Gh ;
(2) G possesses an H-injector and any two H-injectors are conjugate in G;
(3) A subgroup V of G is an H-injector of G if and only if V is an H-maximal subgroup of G
and GH ≤ V .
Theorem 1.5 give the new theory of F-injectors for Fitting sets of non-soluble groups. From
Theorem 1.5, a series of famous results can be directly generalized. For example, Fischer [5, Corollary
IX.4.13], Hartley [9, section 4.1], Mann [12, Theorem IX. 4.12], Guo and Vorob’ev [8, Theorem 5.6.8].
3

All unexplained notion and terminology are standard. The reader is referred to [3, 8, 2].

2

Preliminaries

Note that if all groups in a class X are soluble groups (that is X ⊆ S), then X is said to be a soluble
class.
Lemma 2.1 [13, Proposition 3.1] Let F be a Fitting set of a group G and X is a nonempty
Fitting class. Then the product F ◦ X is a Fitting set of G.
Lemma 2.2 Let F and H be Fitting sets of G, and X, Y be nonempty Fitting formations. Then
(a) [13, Proposition 3.4 (3)] F ◦ (X ∩ Y) = F ◦ X ∩ F ◦ Y.
(b) [13, Proposition 3.2 (1)] If M is nonempty Fitting class, then F ⊆ F ◦ M.
(c) [13, Proposition 3.4 (2)] (F ∩ H) ◦ X = F ◦ X ∩ H ◦ X.
(d) [13, Proposition 3.4 (1)] If F ⊆ H, then F ◦ X ⊆ H ◦ X.
Lemma 2.3 [13, Proposition 3.3] Let F be a Fitting set of a group G and X, Y be Fitting
formations. Then (F ◦ X) ◦ Y = F ◦ (XY).
GH

Lemma 2.4 [3, Theorem IV. (1.8)] Let F and H be nonempty formations. If F ⊆ H, then
≤ GF for every group G.

Lemma 2.5 [3, Proposition VIII. (2.4) (d)] Let F be a Fitting set of a group G. If N E EG,
then NF = N ∩ GF .
Let F be a nonempty Fitting class. A group G is said to be F-constrained if CG (GF ) ≤ GF .
Lemma 2.6 [3, Remark p.624] or [11] The class of all N-constrained groups is a Fitting class
strictly large than S.
Lemma 2.7 [3, Theorem IX.(4.12) (c)-(d)] Let G be a group. If G is N-constrained, then G
possesses exactly one conjugacy class of nilpotent injectors.
The following properties follow at once from definition of an F-injector of a group G and [3,
Remarks IX, (1.3), VIII, (2.6)(2.7)].
Lemma 2.8 Let F be a Fitting set of a group G and F a class of finite groups. Then
(a) If K EE G and V is an F-injector of G, then V ∩ K is an F-injector (or FK -injector) of K;
(b) If V is an F-injector of G, then GF ≤ V and V is an F-maximal subgroup of G;
(c) If V is an F-maximal of G and V ∩ M is an F-injector M for any maximal normal subgroup
M of G, then V is an F-injector of G.
(d) If V ∈ InjF (G) and α : G → Gα an isomorphism, then Vα ∈ InjF (Gα ); in particular, InjF (G)
is a union of G-conjugacy classes.
4

Lemma 2.9 [12] or [3, Theorem IX. (4.12)] If G is a N-constrained group, then a subgroup V
of G is a nilpotent injector of G if and only if F (G) ≤ V and V is an N-maximal subgroup of G.

3

Hartley set and h-radical

In this section we give some results about Hartley sets and h-radical of a group G, which are also
main steps in the proof of Theorem 1.5. Recall that by Lemma 2.1 for a Fitting set H of G and a
nonempty Fitting class F, the set H ◦ F = {H ≤ G : H/HH ∈ F} is a Fitting set of G. Firstly, we
give some following examples of Hartley set.
Example 3.1 (a) Let N be the trace of the Fitting class N in group G and let h be an H-function
defined as follows: h(p) = {1} for all p ∈ P, where 1 is an identity subgroup of G. Then by Lemma
2.2 (a), we have HS(h) = ∩p∈P{1} ◦ (Ep′ Np ) = {1} ◦ (∩p∈P Ep′ Np ) = {1} ◦ N = N. Hence the set of
all nilpotent subgroups of G is a Hartley set of G.
(b) Let F be a Fitting set of G and H = F ◦ N. Let h be an H-function such that h(p) = F for all
p ∈ P. Then by Lemma 2.2 (a) we obtain HS(h) = F ◦ (∩p∈P Ep′ Np ) = F ◦ N and so H is a Hartley
set of G (the least equality follows from [3, Lemma 2.7 (a)]).
(c) If k ∈ N, let Nk (k ≥ 1) the set of all subgroups of soluble group G of the nilpotent length at
most k. If k ≥ 1, take the H-function h such that h(p) = T rNk−1 (G) for all p ∈ P. Then by Example
(b) above we have HS(h) = Nk is a Hartley set of G.
(d) Let H be the trace of Fitting class Ep′ Np in group G, i.e. H is the set of all p-nilpotent
subgroups of G. Let h be an H-function defined as follows: h(p) = {1} and h(q) = H for all primes
q 6= p. Then by Lemma 2.2 (a), we have HS(h) = ({1}◦Ep′ Np )∩(H◦(∩p6=q Ep′ Np )) = H∩H◦(Np Np′ ).
Now by Lemma 2.2 (b) HS(h) = H and H is a Hartley set.
Lemma 3.2 Every Hartley set can be defined by an integrated H-function.
Proof. Let H be a Hartley set of a group G. Then H = HS(h1 ) for some H-function h1 . Let h
be an H-function defined as follows: h(p) = h1 (p) ∩ H for all p ∈ P. By Lemma 2.2 (c), we have
HS(h) = ∩p∈P (h1 (p) ∩ H) ◦ Ep′ Np = (∩p∈P h1 (p) ◦ Ep′ Np ) ∩ (∩p∈P H ◦ (Ep′ Np )).
Hence by Lemma 2.2 (a), (b), HS(h) = H ∩ H ◦ (∩p∈P Ep′ Np ) = H ∩ H ◦ N = H. The Lemma is
proved.
Let H be a set of subgroups of a group G. For H and nonempty Fitting class F, we call the set
{H ≤ G : H has a normal subgroup L ∈ H with H/L ∈ F } of subgroups of G the product of H and
F and denote it by HF.
Remark 3.3 Let H be a Fitting set of a group G. Then it is clear that H ◦ F ⊆ HF. Assume
that F is the Fitting class and F is a homomorph, i.e. F is quotient closed. Put H ≤ G and H ∈ HF.
Then H/L ∈ F for some normal subgroup L ∈ H of H. Since L ≤ HH and H/L/HH /L ∼
= H/HH ,
5

H ∈ H ◦ F. Thus HF = H ◦ F.
Let G be a group and Y is a set of subgroups of a group G. Then FitsetY will denote the
intersection of all Fitting sets of G that contain Y(see [3, Definition VIII. 3.1 (b)]).
Lemma 3.4 Every Hartley set can be defined by a full integrated H-function.
Proof. Let H be a Hartley set of a group G. By Lemma 3.2, H = HS(h1 ) for some integrated
H-function h1 . We define a set of subgroups of G by h1 (p) = {H ≤ G : H is conjugate with RSp′ in
G for some R ∈ h1 (p)} for all p ∈ P. Note that if H ∈ h1 (p), then H ∈ h1 (p) and so h1 (p) ⊆ h1 (p)
for all p ∈ P.
Assume that X ∈ h1 (p)Ep′ . Then X has a normal subgroup K ∈ h1 (p) with X/K ∈ Ep′ .
Since h1 (p) ⊆ h1 (p), K ≤ Xh1 (p) . Hence by the isomorphism X/K/Xh1 (p) /K ∼
= X/Xh1 (p) , we have
X/Xh1 (p) ∈ Ep′ and so X ∈ h1 (p) ◦ Ep′ . Thus h1 (p)Ep′ ⊆ h1 (p)Ep′ .
On other hand, let Y ∈ h1 (p) ◦ Ep′ . Then Y /Yh1 (p) ∈ Ep′ and Y Ep′ ≤ Yh1 (p) . Hence Y Ep′ ∈ h1 (p).
Since (Y Ep′ )Ep′ = Y Ep′ and obviously, Y Ep′ is a subgroup conjugate with Y Ep′ in G, we have Y Ep′ ∈
h1 (p) and so Y ∈ h1 (p)Ep′ . Thus we obtain the following equation:
h1 (p)Ep′ = h1 (p) ◦ Ep′ .

(∗)

Now, let h be a function such that h(p) = F itset(h1 (p)) for all p ∈ P. We prove that HS(h) =
H. Since h1 (p) ⊆ h1 (p), F itset(h1 (p)) ⊆ F itset(h1 (p)) = h1 (p) and so h(p) ⊆ h1 (p). Hence by
Lemma 2.2 (d), we have h(p) ◦ Ep′ ⊆ h1 (p) ◦ Ep′ . Note that by Lemma 2.3 (h(p) ◦ Ep′ ) ◦ Np =
h(p) ◦ (Ep′ Np ) and (h1 (p) ◦ Ep′ ) ◦ Np = h1 (p) ◦ (Ep′ Np ). Therefore by Lemma 2.2 (d) h(p) ◦ (Ep′ Np ) ⊆
h1 (p) ◦ (Ep′ Np ) for all p ∈ P. Consequently, HS(h) ⊆ H.
Further more, by (∗), we have h1 (p) ◦ Ep′ = F itset(h1 (p)Ep′ ). Since h1 (p) ⊆ F itset(h1 (p)), by
Lemma 2.2 (d) h1 (p)Ep′ ⊆ (F itset(h1 (p))) ◦ Ep′ . Hence F itset(h1 (p)Ep′ ) ⊆ (F itset(h1 (p))) ◦ Ep′ .
Thus, for every p ∈ P, we have the inclusion:
h1 (p)Ep′ ⊆ (F itset(h1 (p))) ◦ Ep′ = h(p) ◦ Ep′

(∗∗)

By Lemma 2.3 and Lemma 2.2, we have h1 (p) ◦ (Ep′ Np ) ⊆ h(p) ◦ (Ep′ ◦ Np ). Hence H ⊆ HS(h)
and H = HS(h).
Since h1 (p) ⊆ h1 (p) for all p ∈ P and h1 is an integrated H-function of H, h(p) ⊆ H for all p ∈ P
and so h is an integrated H-function of H.
Now, we show that h(p) ⊆ h(q) ◦ Eq′ for all p 6= q.
Let H be an arbitrary subgroup in h1 (p) and p 6= q. Since h1 is an integrated H-function,
H ∈ H and so H ∈ h1 (q) ◦ (Eq′ Nq ). By Lemma 2.3 h1 (q) ◦ (Eq′ Nq ) = (h1 (q) ◦ Eq′ ) ◦ Nq . Hence
H Nq ∈ h1 (q) ◦ Eq′ . Since p 6= q, H Ep′ ≤ H Nq by Lemma 2.4. Consequently, H Ep′ ∈ h1 (q)Eq′ . Then
by (∗∗), H Ep′ ∈ h(q) ◦ Eq′ for every H ∈ h1 (p) and all primes p 6= q.
6

Let R ∈ h1 (p). Then by definition of the set h1 (p), we have that R is a conjugate subgroup of
G with S Ep′ for some subgroup S ∈ h1 (p). Therefore R ∈ h(q)Eq′ and so h1 (p) ⊆ h(q) ◦ Eq′ . Thus
h(p) = F itset(h1 (p)) ⊆ F itset(h(q) ◦ Eq′ ) = h(q) ◦ Eq′ for all primes q 6= p. This complete the proof.
Q
Recall that Gh = p∈P Gh(p) , where h is a full integrated H-function of a Hartley set of a group
G, i.e. h is an h-radical of G.
Lemma 3.5 Let H be a Hartley set of a group G and h is a full integrated H-function of H. If
H is a subgroup of G such that Gh ≤ H and H/Gh is a nilpotent subgroup of G/Gh , then H ∈ H.
Proof. Let q be an arbitrary prime number. Since Gh(q) E H, Gh(q) ≤ Hh(q) for all q ∈ P.
Let p ∈ P and p 6= q. Note that Gh(q) Gh(p) /Gh(q) ∼
= Gh(p) /Gh(q) ∩ Gh(p) = Gh(p) /(Gh(p) )h(q) .
Since h is a full integrated H-function of H, h(p) ⊆ h(q)Eq′ . Hence Gh(p) ∈ h(q)Eq′ . Therefore
Gh(q) Gh(p) /Gh(q) ∈ Eq′ for all primes p and q. Consequently, Gh /Gh(q) ∈ Eq′ and by using the
isomorphisms Hh(q) Gh /Hh(q) ∼
= Gh /Hh(q) ∩ Gh ∼
= (Gh /Gh(q) )/((Hh(q) ∩ Gh )/Gh(q) ), we obtain that
′
Hh(q) Gh /Hh(q) is a q -group. Since H/Gh is a nilpotent subgroup of G/Gh , H/Hh(q) Gh is also
a nilpotent subgroup of G/Gh and so H/Hh(q) Gh ∈ ∩p∈P Eq′ Nq . Therefore, by the isomorphism
H/Hh(q) Gh ∼
= (H/Hh(q) )/(Hh(q) Gh /Hh(q) ), we have that H/Hh(q) ∈ Eq′ Nq for all q ∈ P. Hence
H ∈ ∩q∈P h(q)Eq′ Nq = H. The Lemma is proved.
Lemma 3.6 Let H be a Hartley set of a group G. If h is a full integrated H-function of H, then
GH /Gh = F (G/Gh ).
Proof. Let F (G/Gh ) = R/Gh . Since h is a integrated H-function of H, (GH )h(p) = Gh(p) .
Hence GH /Gh(p) ∈ Ep′ Np for all p ∈ P and so GH /Gh is a nilpotent subgroup of G/Gh . Hence
GH /Gh ≤ F (G/Gh ) and we have that GH ≤ R.
On the other hand, since R/Gh is a nilpotent subgroup of G/Gh , by Lemma 3.5, R ∈ H. Hence
R ≤ GH . Thus F (G/Gh ) = GH /Gh . The Lemma is proved.
Lemma 3.7 Let h be a full integrated H-function of a Hartley set H of a group G. If G/Gh is
N-constrained, GH ≤ H ≤ G and H ∈ H, then H/Gh is nilpotent.
Proof. Since GH EH and h is an integrated H-function of H, by Lemma 2.5, Gh(p) = (GH )h(p) =
Hh(p) ∩ GH . Hence [Hh(p) , GH ] ≤ Hh(p) ∩ GH = Gh(p) and so Hh(p) ≤ CG (GH /Gh(p) ) ≤ CG (GH /Gh ).
Since G/Gh is constrained and by Lemma 3.6 GH /Gh = F (G/Gh ), CG (GH /Gh ) ≤ GH . Thus
Hh(p) ≤ GH . Therefore, Gh(p) = (GH )h(p) = Hh(p) ∩ GH = Hh(p) for all p ∈ P. Hence, H/Gh =
H/Hh ∈ Ep′ Np for all p ∈ P and so H/Gh is a nilpotent group. This complete the proof.
Corollary 3.8 Let h be a full integrated H-function of a Hartley set of a group G. Let G/Gh be
an N-constrained group and GH ≤ H ≤ G. Then H ∈ H if and only if H/Gh is nilpotent.

7

4

Proof and Some Applications of Theorem 1.5

Proof of Theorem 1.5 (1) We first prove that if V is a subgroup of a group G such that V /Gh is
a nilpotent injector of G/Gh , then V is an H-injector of G. We prove this statement by induction
on the order of G.
Let M be an arbitrary maximal normal subgroup of G and Mh is an h-radical of M .
Since h is a full integrated H-function of Hartley set H, h(p) ⊆ h(q) ◦ Eq′ and h(p) ⊆ H,
for all different p, q ∈ P. Then, by the isomorphism Gh(q) Gh(p) /Gh(q) ∼
= Gh(p) /Gh(p) ∩ Gh(q) =
′
Gh(p) /(Gh(p) )h(q) , we see that Gh(q) Gh(p) /Gh(q) is a q -group of G/Gh(q) for any prime q. Hence
Gh /Gh(q) is also a q ′ -group. Since (Gh ∩ M )Gh(q) /Gh(q) ≤ Gh /Gh(q) , by the isomorphism (Gh ∩
M )Gh(q) /Gh(q) ∼
= (Gh ∩ M )/(Gh ∩ M ) ∩ Gh(q) = (Gh ∩ M )/Gh(q) ∩ M , by Lemma 2.5, we obtain that
Gh ∩ M/Mh(q) is a q ′ -group, for all q ∈ P. Now, note that (Gh ∩ M )/Mh(q) /Mh /Mh(q) ∼
= Gh ∩ M/Mh .
Hence Gh ∩ M/Mh ∈ ∩q∈P Eq′ = (1) and so Gh ∩ M = Mh .
If Gh ≤ M . Then Gh = Mh .
Since V /Gh is a nilpotent injector of G/Gh , V ∩ M/Gh is a nilpotent injector of M/Gh and
consequently V ∩ M/Mh is a nilpotent injector of M/Mh . Hence, by induction, V ∩ M is an Hinjector of M .
Now, in order to complete the proof of the statement, we only need to prove that V is an Hmaximal subgroup of G. Since V /Gh is nilpotent and GH ≤ V , by Lemma 3.5 V ∈ H. Assume that
V < V1 , where V1 is an H-maximal subgroup of G. Since V ∩ M is an H-maximal subgroup of M ,
V ∩ M = V1 ∩ M . Hence V1 is an H-maximal subgroup of G and V ∩ M is an H-injector of M for
any maximal normal subgroup M of G. Consequently, by Lemma 2.8 (b), (c), V1 is an H-injector of
G and GH ≤ V1 . Then, by Corollary 3.8, we have V1 /Gh is a nilpotent subgroup of G/Gh , contrary
to the fact that V /Gh is N-maximal in G/Gh . Hence V = V1 and so by Lemma 2.8 (c), V is an
H-injector of G.
If Gh  M . In this case, by the maximality of M , we have that G = Gh M . Since, by
Lemma 2.8(d), G/Gh ∼
= M/Gh ∩ M = M/Mh and so V ∩ M/Mh is a nilpotent injector of M/Mh .
Then, by induction, V ∩ M is an nilpotent injector of M . By Lemma 3.5, we know that V ∈ H. If
V < F1 , where F1 is an H-maximal subgroup of G, then V ∩ M = F1 ∩ M . Since Gh ≤ V , V M = G.
Consequently, F1 = F1 ∩ V M = V (F1 ∩ M ) = V (V ∩ M ) = V and so V is an H-maximal subgroup
of G. Therefore V is an H-injector of G.
Conversely, let V be an H-injector of G. We prove that V /Gh is a nilpotent injector of G/Gh .
By Lemma 2.8 (b),(c) GH ≤ V and V is H-maximal in G. Hence by Lemma 3.5, V /Gh is nilpotent.
Since V is H-maximal in G, we obtain that V /Gh is N-maximal subgroup of G/Gh containing the
nilpotent radical of G/Gh . Consequently, by Lemma 2.9, V /Gh is a nilpotent injector of G/Gh .
Thus, statement (1) hold.
(2) The existence of H-injectors has proved in (1). Let F/Gh and V /Gh are nilpotent injectors of
8

G/Gh . Then by Lemma 2.7 F/Gh and V /Gh are conjugate in G/Gh . Hence F and V are conjugate
in G.
(3) Let V be an H-injector of G. Then by Lemma 2.8 (b), (c), V ≥ GH and V is H-maximal in
G.
Conversely, let V be an H-maximal subgroup of G and V ≥ Gh . We prove that V is an H-injector
of G. Clearly, Gh ≤ V . Then by Lemma 3.5, V /Gh is nilpotent. Since V is H-maximal in G, V /Gh
is N-maximal in G/Gh . Now by Lemma 3.6, V /Gh ≥ F (G/Gh ). Hence by Lemma 2.9, V /Gh is a
nilpotent H-injector of G/Gh . This complete the proof of the theorem.
Let X be a Fitting set of a group G and X ◦ S = {H ≤ G : H/HX ∈ S}, where S is a class of all
soluble groups. Note that the set X ◦ S is a Fitting set by Lemma 2.1.
We give some applications of our main results
Corollary 4.1 Let G ∈ X ◦ S and H = X ◦ N is a Fitting set of G. Then:
(1) A subgroup V of G is an H-injector of G if and only if V /GX is nilpotent injector of G/GX .
(2) The set of all H-injectors of G is exactly the subgroups V of G such that V ≥ GH and V is
H-maximal in G.
Proof. By Example 3.1 (b), H is a Hartley set of G , which can be defined by full integrated
H-function h such that h(p) = X for all p ∈ P. Since G/GX is soluble, G/GX is N-constrained.
Let X be a nonempty Fitting class and H = XN is a Fitting product of X and N, then we have
the following result immediately from our Theorem.
Corollary 4.2 (1) A subgroup V of a group G ∈ FS is an H-injector of G if and only if V /GX
is a nilpotent injector of G/GX .
(2) A subgroup V of a group G ∈ FS is an H-injector if and only if V ≥ GH and V is H-maximal
in G.
Proof. Since the set of all XN-injectors of G and the set of all T rX◦N (G)-injectors of G are
coincide, so Corollary 4.2 holds from Corollary 4.1.
Corollary 4.3 (Hartley [9]) Let X be a nonempty soluble Fitting class and H = XN. A subgroup
V of soluble group G is an H-injector if and only if V /GX is a nilpotent injector of G/GX .
Corollary 4.4 (Fischer [5]) A subgroup V of soluble group G is a nilpotent injector of G if and
only if F (G) ≤ V and V is N-maximal in G.
Corollary 4.5 (Guo and Vorob’ev [6]) Let H be a soluble Hartley class and G is a soluble group.
Then a subgroup V of G is an H-injector of G if and only if V /Gh is a nilpotent injector of G/Gh .
Corollary 4.6 Let Nk (k ≥ 1) be a Fitting set of all subgroup of a soluble group G with a nilpotent
length at most k. Then the set of all Nk -injectors of G is exactly the set of all subgroups V of G
such that V /GNk−1 is a nilpotent of G/GNk−1 . In particular, a subgroup V is an N2 -injector of G if
9

and only if V /F (G) is a nilpotent injector of G/F (G).
Proof. By Example 3.1 (c), Nk is a Hartley set of G and the function h such that h(p) =
T rNk−1 (G) for all p ∈ P is a full integrated H-function of Nk . Since a group G is soluble, G/Gh is
N-constrained and so the Corollary hold from our Theorem.
Corollary 4.7 (Guo and Vorob’ev [6]) Let Nk (k ≥ 1) be the class of all groups with nilpotent
length at most k and G a soluble group. Then the set of all Nk -injectors of G is exactly the set of all
subgroups V of G such that V /GNk−1 is a nilpotent injector of G/GNk−1 . In particular, a subgroup
V of a soluble group G is metanilpotent injector if and only if V /F (G) is a nilpotent injector of
G/F (G).

References
[1] W. Anderson, Injectors in finite soluble groups, J.Algebra. 36 (1975) 333-338.
[2] A. Ballester-Bolinches, L.M. Ezquerro, Classes of Finite groups, Springer, Dordrecht, 2006.
[3] K. Doerk, T. Hawkes, Finite Soluble Groups, Walter de Gruyter, Berlin, New York, 1992.
[4] B. Fischer, W. Gaschütz, B. Hartley, Injectoren endlicher auflösbarer Gruppen, Math.Z. 102
(1967), 337-339.
[5] B. Fischer, Klassen Konjugierter Untergruppen in endlichen auflösbaren Grouppen, Habilitations
schrift. Universität Frankfurt (M), 1966.
[6] W. Guo, N.T. Vorob’ev, On injectors of finite soluble groups, Comm.Algebra. 36 (2008), 32003208.
[7] W. Guo, Y.F. Liu, N.T. Vorob’ev, Description of F-injectors of finite soluble groups,
Math.Sci.Res.J. 12 (1) (2008).
[8] W. Guo, Structure Theory for Canonical Classes of Fitting Groups, Springer, 2015.
[9] B. Hartley, On Fischer’s dualization of formation theory, Proc. London Math. Soc. 3(2) (1969),
193-207.
[10] P. Hauck, V.N. Zahursky, A characterization of dominant local Fitting class, J.Algebra. 358
(2012), 27-32.
[11] M.J. Iranzo, F. Perez Monazor, F-constraint with repect to a Fitting class. Arch.Math. (Basel),
46 (1986), 205-210.
[12] A. Mann, Injectors and normal subgroups of finite groups, Israel J.Math. 9 (1971), 554-558.
10

[13] Nanying Yang, W. Guo, N.T. Vorob’ev, On F-injectors of fitting set of a finite group, Comm.
Algebra, DOI:10.1080/00927872.2017.1319475 (2017), 1-13.
[14] M.G. Semenov, A formul of injector of finite π-soluble group, Problem of Phusik, Mathematic
and Technik. 4 (21) (2014), 77-88.
[15] L.A. Shemetkov, On subgroups of π-soluble groups, Nauka i Technika. (1975), 207-212.
[16] N.T. Vorob’ev, On the Hawkes Conjecture for radical classes, Sib.Math.J. 37 (6) (1996) 11371142.
[17] N.T. Vorob’ev, M.G. Semenov, Injectors in Fitting set of finite groups, Math.Notes 97(4) (2015),
521-530.

11

