arXiv:1701.05134v1 [] 18 Jan 2017

On Hσ -permutably embedded and Hσ -subnormaly embedded
subgroups of finite groups ∗
Wenbin Guo, Chi Zhang
Department of Mathematics, University of Science and Technology of China,
Hefei 230026, P. R. China
E-mail: wbguo@ustc.edu.cn

Alexander N. Skiba, Darya A. Sinitsa
Department of Mathematics, Francisk Skorina Gomel State University,
Gomel 246019, Belarus
E-mail: alexander.skiba49@gmail.com

Abstract
Let G be a finite group. Let σ = {σi |i ∈ I} be a partition of the set of all primes P and n an
integer. We write σ(n) = {σi |σi ∩ π(n) 6= ∅}, σ(G) = σ(|G|). A set H of subgroups of G is said
to be a complete Hall σ-set of G if every member of H \ {1} is a Hall σi -subgroup of G for some
σi and H contains exact one Hall σi -subgroup of G for every σi ∈ σ(G). A subgroup A of G is
called: (i) a σ-Hall subgroup of G if σ(|A|) ∩ σ(|G : A|) = ∅; (ii) σ-permutable in G if G possesses
a complete Hall σ-set H such that AH x = H x A for all H ∈ H and all x ∈ G. We say that a
subgroup A of G is Hσ -permutably embedded in G if A is a σ-Hall subgroup of some σ-permutable
subgroup of G.
We study finite groups G having an Hσ -permutably embedded subgroup of order |A| for each
subgroup A of G. Some known results are generalized.

1

Introduction

Throughout this paper, all groups are finite and G always denotes a finite group. Moreover, n is an
integer, P is the set of all primes, and if π ⊆ P, then π ′ = P \ π. The symbol π(n) denotes the set of
all primes dividing n; as usual, π(G) = π(|G|), the set of all primes dividing the order of G. We use
nπ to denote the π-part of n, that is, the largest π-number dividing n; np denotes the largest degree
of p dividing n.
∗

Research is supported by a NNSF grant of China (Grant # 11371335) and Wu Wen-Tsun Key Laboratory of
Mathematics of Chinese Academy of Sciences
0
Keywords: finite group, σ-Hall subgroup, σ-subnormal subgroup, σ-nilpotent group, Hσ -permutably embedded
subgroup.
0
Mathematics Subject Classification (2010): 20D10, 20D15, 20D30

1

In what follows, σ = {σi |i ∈ I} is some partition of P, that is, P = ∪i∈I σi and σi ∩ σj = ∅ for all
i 6= j; Π is a subset of σ and Π′ = σ \ Π.
Let σ(n) = {σi |σi ∩ π(n) 6= ∅} and σ(G) = σ(|G|). Then we say that G is σ-primary [1] if G is a
σi -group for some σi ∈ σ.
A set H of subgroups of G is said to be a complete Hall σ-set of G [2, 3] if every member of
H \ {1} is a Hall σi -subgroup of G for some σi and H contains exact one Hall σi -subgroup of G for
every σi ∈ σ(G). We say that G is σ-full if G possesses a complete Hall σ-set. Throughout this
paper, G is always supposed to be a σ-full group.
A subgroup A of G is called [1]: (i) a σ-Hall subgroup of G if σ(|A|) ∩ σ(|G : A|) = ∅; (ii)
σ-subnormal in G if there is a subgroup chain
A = A0 ≤ A1 ≤ · · · ≤ At = G
such that either Ai−1 E Ai or Ai /(Ai−1 )Ai is σ-primary for all i = 1, . . . , t; (iii) σ-quasinormal or
σ-permutable in G if G possesses a complete Hall σ-set H such that AH x = H x A for all H ∈ H and
all x ∈ G. In particular, A is called S-quasinormal or S-permutable in G [4, 5] provided AP = P A
for all Sylow subgroups P of G.
Definition 1.1. We say that a subgroup A of G is Hσ -subnormally (respectively Hσ -permutably,
Hσ -normally) embedded in G if A is a σ-Hall subgroup of some σ-subnormal (respectively σpermutable, normal) subgroup of G.
In the special case, when σ = {{2}, {3}, . . .}, the definition of Hσ -normally embedded subgroups
is equivalent to the concept of Hall normally embedded subgroups in [6], the definition of Hσ permutably embedded subgroups is equivalent to the concept of Hall S-quasinormally embedded
subgroups in [7] and the definition of Hσ -subnormally embedded subgroups is equivalent to the
concept of Hall subnormally embedded subgroups in [8].
Example 1.2. (i) For any σ, all σ-Hall subgroups and all σ-subnormal subgroups of any group
S are Hσ -subnormally embedded in S. Now, let G = (C7 ⋊ C3 ) × A5 , where C7 ⋊ C3 is a non-abelian
group of order 21 and A5 is the alternating group of degree 5, and let H = (C7 ⋊ C3 )A, where A is a
Sylow 2-subgroup of A5 . Let σ = {σ1 , σ2 }, where σ1 = {7} and σ2 = {7}′ . Then H is σ-subnormal
in G and C3 A5 is a σ-Hall subgroup of G. In view of Lemma 2.1(1)(5) below, the subgroup C3 A is
neither σ-subnormal in G nor Hσ -normally embedded in G.
(ii) For any σ, all σ-Hall subgroups and all σ-permutable subgroups of any group S are Hσ permutably embedded in S. Now, let p > q > r be primes, where r 2 divides q − 1. Let σ = {σ1 , σ2 },
where σ1 = {q, r} and σ2 = {q, r}′ . Let H = Q ⋊ R be a group of order qr 2 , where CH (Q) = Q. Let
P be a simple Fp H-module which is faithful for H and G = P ⋊ H. Let R1 be a subgroup of R of
order r. Then the subgroup V = P R1 is σ-permutable in G and R1 is a σ-Hall subgroup of V . Hence
R1 is Hσ -permutably embedded in G. It is also clear that G has no an S-permutable subgroup W
such that R1 is a Hall subgroup of W , so R1 is neither Hσ -normally embedded nor S-permutably
2

embedded in G.
(iii) For any σ, all σ-Hall subgroups and all normal subgroups of any group S are Hσ -normally
embedded in S. Now, let P be a simple F11 (C7 ⋊ C3 )-module which is faithful for C7 ⋊ C3 . Let
G = (P ⋊ (C7 ⋊ C3 )) × A5 . Let σ = {σ1 , σ2 }, where σ1 = {5, 7, 11} and σ2 = {5, 7, 11}′ . Then the
subgroup M = (P ⋊ C7 ) × A5 is normal in G and a subgroup B of A5 of order 12 is σ-Hall subgroup
of M , so B is Hσ -normally embedded in G. Finally, if σ = {σ1 , σ2 }, where σ1 = {7} and σ2 = {7}′ ,
then B is not Hσ -normally embedded in G.
Recall that G is σ-nilpotent [9] if G = H1 × · · · × Ht for some σ-primary groups H1 , . . . , Ht . The
σ-nilpotent residual GNσ of G is the intersection of all normal subgroups N of G with σ-nilpotent
quotient G/N , GN denotes the nilpotent residual of G. It is clear that every subgroup of a σ-nilpotent
group G is σ-permutable and σ-subnormal in G.
Theorem 1.3. Let H = {1, H1 , . . . Ht } be a complete Hall σ-set of G and D = GNσ . Then any
two of the following conditions are equivalent:
(i) G has an Hσ -permutably embedded subgroup of order |A| for each subgroup A of G.
(ii) D is a complemented cyclic of square-free order subgroup of G and |σi ∩ π(G)| = 1 for all i
such that σi ∩ π(D) 6= ∅.
(iii) For each set {A1 , . . . , At }, where Ai is a subgroup (respectively normal subgroup) of Hi for
all i = 1, . . . , t, G has an Hσ -permutably embedded (respectively Hσ -normally embedded) subgroup
of order |A1 | · · · |At |.
Let F be a class of groups. A subgroup H of G is said to be an F-covering subgroup of G [10,
VI, Definition 7.8] if H ∈ F and for every subgroup E of G such that H ≤ E and E/N ∈ F it follows
that E = N H. We say that a subgroup H of G is a σ-Carter subgroup of G if H is an Nσ -covering
subgroup of G, where Nσ is the class of all σ-nilpotent groups.
A group G is said to have a Sylow tower if G has a normal series 1 = G0 < G1 < · · · < Gt−1 <
Gt = G, where |Gi /Gi−1 | is the order of some Sylow subgroup of G for each i ∈ {1, . . . , t}. A chief
factor of G is said to be σ-central (in G) [1] if the semidirect product (H/K) ⋊ (G/CG (H/K)) is
σ-primary. Otherwise, H/K is called σ-eccentric (in G).
We say that G is a HσE-group if the following conditions are hold: (i) G = D ⋊ M , where
D = GNσ is a σ-Hall subgroup of G and |σ(D)| = |π(D)|; (ii) D has a Sylow tower and every chief
factor of G below D is σ-eccentric; (iii) M acts irreducibly on every M -invariant Sylow subgroup of
D.
We do not still know the structure of a group G having a Hσ -subnormally embedded subgroup
of order |A| for each subgroup A of G. Nevertheless, the following fact is true.
Theorem 1.4. Any two of the following conditions are equivalent:
(i) Every subgroup of G is Hσ -subnormally embedded in G.
3

(ii) Every σ-subnormal subgroup H of G is an HσE-group of the form H = D ⋊ M , where
D = H Nσ and M is a σ-Carter subgroup of H.
(iii) Every σ-subnormal subgroup of G is an HσE-group.
Now, let us consider some corollaries of Theorems 1.3 and 1.4. First note that since a nilpotent
group G possesses a normal subgroup of order n for each integer n dividing |G|, in the case when
σ = {{2}, {3}, . . .}, Theorem 1.3 covers Theorem 11 in [6], Theorem 2.7 in [8] and Theorems 3.1 and
3.2 in [7].
From Theorem 1.3 we also get the following result.
Corollary 1.5. Suppose that G possesses a complete Hall σ-set H = {1, H1 , . . . , Ht } such that
Hi is nilpotent for all i = 1, . . . , t. Then G has an Hσ -normally embedded subgroup of order |H| for
each subgroup H of G if and only if the nilpotent residual D = GN of G is cyclic of square-free order
and |σi ∩ π(G)| = 1 for all i such that σi ∩ π(D) 6= ∅.
In the case when σ = {{2}, {3}, . . .} we get from Corollary 1.5 the following known result.
Corollary 1.6 (Ballester-Bolinches, Qiao [11]). G has a Hall normally embedded subgroup of
order |H| for each subgroup H of G if and only if the nilpotent residual GN of G is cyclic of square-free
order.
On the basis of Theorems 1.3 and 1.4 we prove also the next two theorems.
Theorem 1.7. Any two of the following conditions are equivalent:
(i) Every subgroup of G is Hσ -normally embedded in G.
(ii) G = D ⋊ M is a HσE-group, where D is a cyclic group of square-free order and M is a
Dedekind group.
(iii) G = D ⋊ M , where D is a σ-Hall cyclic subgroup of G of square-free order with |σ(D)| =
|π(D)| and M is a Dedekind group.
In the case when σ = {{2}, {3}, . . .} we get from Theorem 1.7 the following known result.
Corollary 1.8 (Li, Liu [8]). Every subgroup of G is a Hall normally embedded subgroup of G if
and only if G = D ⋊ M , where D = GN is a cyclic Hall subgroup of G of square-free order and M
is a Degekind group.
Theorem 1.9. Any two of the following conditions are equivalent:
(i) Every subgroup of G is Hσ -permutably embedded in G.
(ii) G = D ⋊ M is a HσE-group, where D = GNσ is a cyclic group of square-free order.
(iii) G = D ⋊ M , where D is a σ-Hall cyclic subgroup of G of square-free order with |σ(D)| =
|π(D)| and M is σ-nilpotent
Corollary 1.10. Every subgroup of G is a Hall S-quasinormally embedded subgroup of G if and
only if G = D ⋊ M , where D = GN is a cyclic Hall subgroup of G of square-free order and M is a
4

Carter subgroup of G.
In conclusion of this section, consider the following example.
Example 1.11. Let 5 < p1 < p2 < · · · < pn be a set of primes and p a prime such that either
p > pn or p divides pi −1 for all i = 1, . . . , n. Let A be a group of order p and Pi a simple Fpi A-module
which is faithful for A. Let Li = Pi ⋊ A and
B = (. . . ((L1  L2 )  L3 )  · · · )  Ln
(see [10, p. 50]). We can assume without loss of generality that Li ≤ B for all i = 1, . . . , n. Let
G = B × A5 , where A5 is the alternating group of degree 5, and let σ be a partition of P such
that for some different indices i, j, i1 , . . . , in ∈ I we have p ∈ σi , {2, 3, 5} ⊆ σj and pk ∈ σik for all
k = 1, . . . , n. Then
D = P1 P2 · · · Pn = GNσ
is a σ-Hall subgroup of G and G = D ⋊ (A × A5 ).
We show that every subnormal subgroup H of G satisfies Condition (ii) in Theorem 1.4. If
= 1, it is evident. Hence we can assume without loss of generality A ≤ H since every p′ subgroup of G is σ-nilpotent. But then
H Nσ

H = (H ∩ D) ⋊ (A × (H ∩ A5 ))
by Lemma 2.1(4), where H ∩ D is a normal σ-Hall subgroup of H and M = A × (H ∩ A5 ) is a σnilpotent subgroup of H. Moreover, H ∩ A5 induces on every non-identity Sylow subgroup of H ∩ D a
non-trivial irreducible group of automorphisms. Therefore H Nσ = H ∩ D and |σ(H Nσ )| = |π(H Nσ )|.
It is also clear that M is a σ-Carter subgroup of H and every chief factor of H below H Nσ is σeccentric in H. Thus G satisfies Condition (ii) in Theorem 1.4, and so every subgroup H of G is
Hσ -subnormally embedded in G. On the other hand, the subgroup DAC2 , where C2 is a subgroup
of order 2 of G, is not Hall subnormally embedded in G since C2 is not a Sylow subgroup of any
subnormal subgroup of G.
Finally, if p divides pi − 1 for all i = 1, . . . , n, then |Pi | = pi for all i = 1, . . . , n, so G satisfies
Condition (ii) in Theorem 1.9 and hence satisfies Condition (ii) in Theorem 1.3.

2

Basic lemmas

An integer n is called a Π-number if σ(n) ⊆ Π. A subgroup H of G is called a Hall Π-subgroup of G
[1] if |H| is a Π-number and |G : H| is a Π′ -number.
Lemma 2.1 (See Lemma 2.6 in [1]). Let A, K and N be subgroups of G, where A is σ-subnormal
in G and N is normal in G.
(1) A ∩ K is σ-subnormal in K.
5

(2) If K is σ-subnormal in G, then A ∩ K and hA, Ki are σ-subnormal in G.
(3) AN/N is σ-subnormal in G/N .
(4) If H 6= 1 is a Hall Π-subgroup of G and A is not a Π′ -group, then A ∩ H 6= 1 is a Hall
Π-subgroup of A.
(5) If |G : A| is a σi -number, then O σi (A) = Oσi (G).
(6) If V /N is a σ-subnormal subgroup of G/N , then V is σ-subnormal in G.
(7) If K is a σ-subnormal subgroup of A, then K is σ-subnormal in G.
A group G is said to be σ-soluble [1] if every chief factor of G is σ-primary.
Lemma 2.2 (See Lemmas 2.8 and 3.2 and Theorems B and C in [1]). Let A, K and N be
subgroups of G, where A is σ-permutable in G and N is normal in G.
(1) AN/N is σ-permutable in G/N .
(2) If G is σ-soluble, then A ∩ K is σ-permutable in K.
(3) If N ≤ K, K/N is σ-permutable in G/N and G is σ-soluble, then K is σ-permutable in G.
(4) A is σ-subnormal in G.
(5) If G is σ-soluble and K is σ-permutable in G, then K ∩ A is σ-permutable in G.
Lemma 2.3. Let H be a normal subgroup of G. If H/H ∩ Φ(G) is a Π-group, then H has a
a Hall Π-subgroup, say E, and E is normal in G. Hence, if H/H ∩ Φ(G) is σ-nilpotent, then H is
σ-nilpotent.
Proof. Let D = OΠ′ (H). Then, since H ∩ Φ(G) is nilpotent, D is a Hall Π′ -subgroup of H.
Hence by the Schur-Zassenhaus theorem, H has a Hall Π-subgroup, say E. It is clear that H is
π ′ -soluble where π ′ = ∪σi ∈Π′ σi , so any two Hall Π-subgroups of H are conjugate. By the Frattini
argument,
G = HNG (E) = (E(H ∩ Φ(G)))NG (E) = NG (E).
Therefore E is normal in G. The lemma is proved.
Lemma 2.4. If every chief factor of G below D = GNσ is cyclic, then D is nilpotent.
Proof. Assume that this is false and let G be a counterexample of minimal order. Let R be a
minimal normal subgroup of G. Then from the G-isomorphism
D/D ∩ R ≃ DR/R = (G/R)Nσ
we know that every chief factor of G/R below DR/R is cyclic, so the choice of G implies that
D/D ∩ R ≃ DR/R is nilpotent. Hence R ≤ D and R is the unique minimal normal subgroup of
G. In view of Lemma 2.3, R  Φ(G) and so R = CR (R) by [13, A, 15.2]. But by hypothesis, |R|
is a prime, hence G/R = G/CG (R) is cyclic, so G is supersoluble and so GNσ is nilpotent since
GNσ ≤ GN . The lemma is proved.
6

The following lemma is evident.
Lemma 2.5. The class of all σ-soluble groups is closed under taking direct products, homomorphic images and subgroups. Moreover, any extension of the σ-soluble group by a σ-soluble group is
a σ-soluble group as well.
Let A, B and R be subgroups of G. Then A is said to R-permute with B [12] if for some x ∈ R
we have AB x = B x A.
If G has a complete Hall σ-set H = {1, H1 , . . . , Ht } such that Hi Hj = Hj Hi for all i, j, then we
say that {H1 , . . . , Ht } is a σ-basis of G.
Lemma 2.6 (See Theorems A and B in [2]). Assume that G is σ-soluble.
(i) G has a σ-basis {H1 , . . . , Ht } such that for each i 6= j every Sylow subgroup of Hi G-permutes
with every Sylow subgroup of Hj .
(ii) For any Π, the following hold: G has a Hall Π-subgroup E, every Π-subgroup of G is contained
in some conjugate of E and E G-permutes with every Sylow subgroup of G.
Lemma 2.7. Let H, E and R be subgroups of G. Suppose that H is Hσ -subnormally embedded
in G and R is normal in G.
(1) If H ≤ E, then H is Hσ -subnormally embedded in E.
(2) HR/R is Hσ -subnormally embedded in G/R.
(3) If S is a σ-subnormal subgroup of G, then H ∩ S is Hσ -subnormally embedded in G.
(4) If |G : H| is σ-primary, then H is either a σ-Hall subgroup of G or σ-subnormal in G.
Proof. Let V be a σ-subnormal subgroup of G such that H is a σ-Hall subgroup of V .
(1) This assertion is a corollary of Lemma 2.1(1).
(2) In view of Lemma 2.1(3), V R/R is σ-subnormal subgroup of G/R. It is also clear that HR/R
is a σ-Hall subgroup of V R/R. Hence HR/R is Hσ -subnormally embedded in G/R.
(3) By Lemma 2.1(1)(2), V ∩ S is σ-subnormal both in V and in G and so H ∩ (V ∩ S) = H ∩ S
is a σ-Hall subgroup of V ∩ S by Lemma 2.1(4), as required.
(4) Assume that H is not σ-subnormal in G. Then H < V . By hypothesis, |G : H| is σ-primary,
say |G : H| is a σi -number. Then |V : H| is a σi -number. But H is a σ-Hall subgroup of V . Hence
H is a σ-Hall subgroup of G.
The lemma is proved.
Lemma 2.8. Let H be a σ-subnormal subgroup of a σ-soluble group G. If |G : H| is a σi -number
and B is a σi -complement of H, then G = HNG (B).
Proof. Assume that this lemma is false and let G be a counterexample of minimal order. Then
H < G, so G has a proper subgroup M such that H ≤ M , |G : MG | is a σi -number and H is
σ-subnormal in M . The choice of G implies that M = HNM (B). On the other hand, clearly that B
7

is a σi -complement of MG . Since G is σ-soluble, Lemma 2.6 and the Frattini argument imply that
G = MG NG (B) = M NG (B) = HNM (B)NG (B) = HNG (B).
The lemma is proved.
The following lemma is well-known (see for example [14, Lemma 3.29] or [15, 1.10.10]).
Lemma 2.9. Let H/K be an abelian chief factor of G and V a maximal subgroup of G such
that K ≤ V and HV = G. Then
G/VG ≃ (H/K) ⋊ (G/CG (H/K)).

3

Proofs of the results

Proof of Theorem 1.3. Without loss of generality we may assume that Hi is a σi -group for all
i = 1, . . . , t.
(i), (iii) ⇒ (ii) Assume that this is false. Then D 6= 1 and so t > 1.
First we prove the following claim.
(*) If p ∈ σi ∩ π(G), then G has a σ-permutable subgroup E with |E| = |G|σi′ p.
We can assume without loss of generality that i = 1. In fact, to prove Claim (*), we consistently
build the σ-permutable subgroups E2 , . . . , Et such that |H2 | · · · |Hj | divides |Ej | and |Ej |σ1 = p for
all j = 2, . . . , t.
By hypothesis, G has an Hσ -permutably embedded subgroup X of order p. Let V be a σpermutable subgroup of G such that X is a σ-Hall subgroup of V . Then |V |σ1 = p and G has a
complete Hall σ-set {1, K1 , . . . , Kt }, where Ki is a σi -group for all i = 1, . . . , t, such that V Ki = Ki V
for all i = 1, . . . , t. Let W = V K2 . Then |W |σ1 = p.
Next we show that there is an Hσ -permutably embedded subgroup Y of G such that |Y | = |W |.
It is enough to consider the case when Condition (iii) holds. Let A1 be a subgroup of H1 of order p,
A2 = H2 and Ai = Hi ∩ V for all i > 2. Then
|A2 | = |H2 | = |K2 |.
On the other hand, V ∩ Ki and V ∩ Hi are Hall σi -subgroups of V by Lemmas 2.1(4) and 2.2(4) and
so |V ∩ Ki | = |V ∩ Hi |. Also, for every i > 2 we have
|W : V ∩ Ki | = |V K2 : V ∩ Ki | = |V ||K2 | : |V ∩ K2 ||V ∩ Ki |
is a σi′ -number and hence V ∩ Ki = W ∩ Ki is a Hall σi -subgroup of W . Therefore,
|W | = p|H2 ||V ∩ H3 | . . . |V ∩ Ht |
8

and so G has an Hσ -permutably embedded subgroup Y of order
|W | = |A1 | · · · |At |
by hypothesis.
Let E2 be a σ-permutable subgroup of G such that Y is a σ-Hall subgroup of E2 . Then |H2 | = |K2 |
divides |E2 | and |E2 |σ1 = p. Now, arguing by induction, assume that G has a σ-permutable subgroup
Et−1 such that |H2 | · · · |Ht−1 | divides |Et−1 | and |Et−1 |σ1 = p. Then for some Hall σt -group L we
have Et−1 L = LEt−1 , and if Et = Et−1 L, then |Et | = |G|σ1′ p and Et clearly is σ-permutable in G, as
required.
Now, let p ∈ σi ∩ π(D) and let P be a Sylow p-subgroup of D. Then, by Claim (*), G possesses
a σ-permutable subgroup E such that |E| = |G|σi′ p. Lemma 2.2(4) implies that E is σ-subnormal
in G. Let j 6= i. Then Hjx ∩ E is a Hall σj -subgroup of E by Lemma 2.1(4), so |E : Hjx ∩ E| is
a σj ′ -number. But |Hjx | divides |E| and hence |Hjx | divides |Hj ∩ E|. Thererore Hjx ≤ E for all
x ∈ G. Thus HjG ≤ E and so G/EG is a σi -group. Hence D ≤ EG ≤ E, so |P | = p. Therefore G is
supersoluble by [10, IV, 2.9] and so every chief factor of G below D is cyclic. Hence D is nilpotent
by Lemma 2.4, so D is cyclic of square-free order. Hence D is complemented in G by Theorem 11.8
in [17].
Finally, assume that |σi ∩ π(G)| > 1 and let q ∈ σi ∩ π(G) \ {p}. Then G possesses a σ-permutable
subgroup F such that |F | = |G|σi′ q. Then D ≤ FG ≤ F. Therefore D ≤ E ∩ F and so p does not
divide |D|. This contradiction completes the proof of the implications (i) ⇒ (ii) and (iii) ⇒ (ii).
(ii) ⇒ (iii) First we show that for every i and for every subgroup (respectively normal subgroup)
Ai of Hi , there is an Hσ -permutably embedded (respectively Hσ -normally embedded) subgroup Ei
of G such that |Ei | = |Ai ||G|σi′ . Since G evidently is σ-soluble, it has a σi -complement E by Lemma
2.6. Therefore, it is enough to consider the case when Ai 6= 1 since every σ-Hall subgroup of G is an
Hσ -normally embedded in G.
First suppose that D ≤ E. Then E/D is normal in G since G/D is σ-nilpotent. Therefore
(E/D) × (Ai D/D) = EAi /D
is σ-permutable (respectively normal) in
G/D = (E/D) × (Hi D/D).
Hence Ei = EAi is σ-permutable (respectively normal) in G by Lemma 2.2(3) and |Ei | = |Ai ||G|σi′ .
Now suppose that D  E. Then D ∩ Hi 6= 1, so Hi is a p-group for some prime p since for each
σi ∈ σ(D) we have |σi ∩ π(G)| = 1 by hypothesis. Hence H2 has a normal subgroup A such that
Dp ≤ A and |A| = |Ai |, where Dp is a Sylow p-subgroup of D. Then D ≤ AE. Moreover,
AE/D = (DA/D) × (ED/D)
9

since ED/D is a Hall σi′ -subgroup of G/D. Therefore Ei = AE is σ-permutable (respectively normal)
in G by Lemma 2.2(3) and |Ei | = |Ai ||G|σi′ .
Let E = E1 ∩ · · · ∩ Et . Then |E| = |A1 | . . . |At | since
(|G : Ei |, |G : Ej |) = 1
for all i 6= j. Note that Ei is either a σ-Hall subgroup of G or σ-permutable (respectively normal)
in G. Indeed, let V be a σ-permutable (respectively normal) subgroup of G such that Ei is a σ-Hall
subgroup of V . Assume that Ei is not σ-permutable (respectively not normal) in G. Then Ei < V .
Since |G : Ei | is σi -number, |V : Ei | is a σi -number. But Ei is a σ-Hall subgroup of V . Hence Ei = V
is a σ-Hall subgroup of G.
Assume that E1 , . . . , Er are σ-permutable (respectively normal) in G and Ei is a σ-Hall subgroup
of G for all i > r. Then E 0 = E1 ∩ · · · ∩ Er is σ-permutable (respectively normal) in G by Lemma
2.2(5) and E ∗ = Er+1 ∩ · · · ∩ Et is a σ-Hall subgroup of G. Now, E = E 0 ∩ E ∗ is a σ-Hall subgroup
of E 0 by Lemmas 2.1(4) and 2.2(4), so E is Hσ -permutably (respectively Hσ -normally) embedded
in G. Hence (ii) ⇒ (iii).
(ii) ⇒ (i) Since G is σ-soluble, H is σ-soluble. Hence H has a σ-basis {L1 , . . . , Lr } such that
Li ≤ Hi for all i = 1, . . . , r by Lemma 2.6. Therefore from the implication (ii) ⇒ (iii) we get that G
has an Hσ -permutably embedded subgroup of order |L1 | · · · |Lr | = |H|.
The theorem is proved.
Proof of Theorem 1.4. (i) ⇒ (ii) Assume that this is false and let G be a counterexample
of minimal order. Then some σ-subnormal subgroup V of G is not an HσE-group. Moreover,
D = GNσ 6= 1, so |σ(G)| > 1.
(1) Condition (ii) is true on every proper section H/K of G, that is, K 6= 1 or H 6= G. Hence
V = G (This directly follows from Lemma 2.7(1)(2) and the choice of G).
(2) G is σ-soluble.
In view of Claim (1) and Lemma 2.5, it is enough to show that G is not simple. Assume that
this is false. Then 1 is the only proper σ-subnormal subgroup of G since |σ(G)| > 1. Hence every
subgroup of G is a σ-Hall subgroup of G. Therefore for a Sylow p-subgroup P of G, where p is the
smallest prime divisor of |G|, we have |P | = p and so |G| = p by [10, IV, 2.8]. This contradiction
shows that we have (2).
(3) If |G : H| is a σi -number and H is not a σ-Hall subgroup of G, then H is σ-subnormal in G
and a σi -complement E of H is normal in G (This follows from Lemmas 2.7(4) and 2.8).
(4) D is a Hall subgroup of G. Hence D has a complement M in G.
Suppose that this is false and let P be a Sylow p-subgroup of D such that 1 < P < Gp , where
Gp ∈ Sylp (G). We can assume without loss of generality that Gp ≤ H1 . Let R be a minimal normal
subgroup of G contained in D.
10

Since D is soluble by Claim (2), R is a q-group for some prime q. Moreover, D/R = (G/R)Nσ is
a Hall subgroup of G/R by Claim (1) and Proposition 2.2.8 in [16]. Suppose that P R/R 6= 1. Then
P R/R ∈ Sylp (G/R). If q 6= p, then P ∈ Sylp (G). This contradicts the fact that P < Gp . Hence
q = p, so R ≤ P and therefiore P/R ∈ Sylp (G/R). It follows that P ∈ Sylp (G). This contradiction
shows that P R/R = 1, which implies that R = P is a Sylow p-subgroup of D. Therefore R is a
unique minimal normal subgroup of G contained in D. It is also clear that a p-complement of D is
a Hall subgroup of G.
Now we show that R  Φ(G). Indeed, assume that R ≤ Φ(G). Then D 6= R by Lemma 2.3 since
D = GNσ . On the other hand, D/R is a p′ -group. Hence Op′ (D) 6= 1 by Lemma 2.3. But Op′ (D) is
characteristic in D and so it is normal G. Therefore G has a minimal normal subgroup L such that
L 6= R and L ≤ D. This contradiction shows that R  Φ(G).
Let S be a maximal subgroup of G such that RS = G. Then |G : S| is a p-number. Hence, since
R is not a Sylow p-subgroup of G, p divides |S|. Then S is not a Hall subgroup of G and so S is not
a σ-Hall subgroup of G. Therefore S is σ-subnormal in G by Claim (3) and so G/SG is a σi -group,
which implies that
R ≤ D ≤ SG ≤ S
and so G = RS = S. This contradiction completes the proof of (4).
(5) If M ≤ E < G, then E is not σ-permutable in G and so E a σ-Hall subgroup of G.
Assume that E is σ-permutable in G. Then E is σ-subnormal in G by Lemma 2.2(4). Then there
is a subgroup chain
E = E0 ≤ E1 ≤ · · · ≤ Er = G
such that either Ei−1 is normal in Ei or Ei /(Ei−1 )Ei is σ-primary for all i = 1, . . . , r. Let V = Er−1 .
We can assume without loss of generality that V 6= G. Therefore, since G is σ-soluble by Claim (2),
for some σ-primary chief factor G/W of G we have E ≤ V ≤ W . Also we have D ≤ W and so
G = DE ≤ W , a contradiction. Hence E is not σ-permutable in G.
By hypothesis, G has a σ-permutable subgroup S such that E is a σ-Hall subgroup of S. But
then S = G, by the above argument, so E is a σ-Hall subgroup of G. In particular, M is a σ-Hall
subgroup of G and so D is a σ-Hall subgroup of G.
(6) D is soluble, |σ(D)| = |π(D)| and M acts irreducibly on every M -invariant Sylow subgroup
of D.
Let p ∈ σi ∈ σ(D). Lemma 2.6 and Claims (2) and (4) imply that for some Sylow p-subgroup P of
G we have P M = M P . Moreover, M P is a σ-Hall subgroup of G by Claim (5). Hence |σi ∩π(G)| = 1
for all i such that σi ∩ π(D) 6= ∅ and so |σ(D)| = |π(D)|. Therefore, since D is soluble by Claim (2),
M acts irreducibly on every M -invariant Sylow subgroup of D by Claim (5).
(7) M is a σ-Carter subgroup of G.
Let R be a minimal normal subgroup of G contained in D and E a subgroup of G containing M .
11

We need to show that E = E Nσ M . Claim (1) implies that RM/R is a σ-Carter subgroup of G/R,
so
ER/R = (ER/R)Nσ (RM/R).
Hence ER = E Nσ M R since
(ER/R)Nσ = E Nσ R/R.
Claim (6) implies that R is a p-group for some prime p. Claims (4), (5) and (6) imply that R, E and
E Nσ M are σ-Hall subgroups of G. Therefore, if R  E, then E and E Nσ M are Hall p′ -subgroups of
ER = E Nσ M R, so E = E Nσ M . Finally, assume that R ≤ E but R  E Nσ M . Then R ∩ E Nσ = 1.
On the other hand, since
DE/D ≃ E/D ∩ E
is σ-nilpotent, E Nσ ≤ D and so M ∩ E Nσ = 1. Therefore
E Nσ ∩ RM = (E Nσ ∩ R)(E Nσ ∩ M ) = 1.
Then
E/E Nσ = E Nσ M R/E Nσ ≃ M R
is σ-nilpotent. Hence M ≤ CG (R). Suppose that CG (R) < G and let CG (R) ≤ W < G, where
G/W is a chief factor of G. Claim (2) implies that G/W is σ-primary, so D ≤ W . But then
G = DM ≤ W < G, a contradiction. Therefore CG (R) = G, that is, R ≤ Z(G). Let V be a
complement to R in D. Then V is a Hall normal subgroup of D, so it is characteristic in D. Hence
V is normal in G and G/V ≃ RM is σ-nilpotent, so D ≤ V < D. This contradiction completes the
proof of (7).
(8) D possesses a Sylow tower.
Let R be a minimal normal subgroup of G contained in D. Then R is a p-group for some prime
p by Claim (6). Moreover, the Frattini argument implies that for some Sylow p-subgroup P of D we
have M ≤ NG (P ) and so R = P since M acts irreducible on P by Claim (6). On the other hand, by
Claim (1), D/R possesses a Sylow tower. Hence we have (8).
(9) Every chief factor of G below D is σ-eccentric.
Let H/K be a chief factor of G below D. Then H/K is a p-group for some prime p since D is
soluble by Claim (6). By the Fratiini argument, there exist a Sylow p-subgroup P and a p-complement
E of D such that M ≤ NG (P ) and M ≤ NG (E). Then M ≤ NG (P ∩ K) and M ≤ NG (P ∩ H).
Hence P ∩ K = 1 and P ∩ H = P by Claim (6), so H = K ⋊ P . Let V = EM . Then K ≤ V and
HV = G, so V is a maximal subgroup of G. Hence
G/VG ≃ (H/K) ⋊ (G/CG (H/K))
by Lemma 2.9. Therefore, if H/K is σ-central in G, then D ≤ VG , which is impossible since evidently
p does not divide |V |. Thus we have (9).
12

From Claims (4)–(9) it follows that G is a HσE-group, contrary to our assumption on G = V .
Hence (i) ⇒ (ii).
(ii) ⇒ (iii) This implication is evident.
(iii) ⇒ (i) By hypothesis, G = D⋊M , where D = GNσ is a σ-Hall subgroup of G, |σ(D)| = |π(D)|
and M acts irreducibly on every M -invariant Sylow subgroup of D.
(*) Every subgroup A of G containing M is a σ-Hall subgroup of G.
Let D0 = D ∩ A. Then A = D0 ⋊ M and D0 6= 1. Let p ∈ π(D0 ). The Frattini argument and
Lemma 2.6 imply that for some Sylow p-subgroup P0 of D0 and some Sylow p-subgroup P of D we
have M ≤ NG (P0 ), M ≤ NG (P ) and P0 M ≤ P M . Hence, since M acts irreducibly on every M invariant Sylow subgroup of D, P0 = P . Therefore every Sylow subgroup of A is a Sylow subgroup
of G. Hence A is a σ-Hall subgroup of G since |σ(D)| = |π(D)| and M is a σ-Hall subgroup of G.
Now, let A be a subgroup of G. First assume that DA < G. By Lemma 2.1(6), DA is σsubnormal in G. Therefore every σ-subnormal subgroup of DA is also σ-subnormal in G. Hence
Condition (iii) holds for DA, so A is Hσ -subnormally embedded in DA by induction. But then A is
Hσ -subnormally embedded in G by Lemma 2.1(7).
Finally, suppose that DA = G. Then, since G is σ-soluble, for some x we have M ≤ Ax
by Lemma 2.6. Hence Ax is a σ-Hall subgroup of G by Claim (*), so Ax is an Hσ -subnormally
embedded subgroup of G. But then A is an Hσ -subnormally embedded subgroup of G. Therefore
the implication (iii) ⇒ (i) is true.
The theorem is proved.
Proof of Theorem 1.9. (i) ⇒ (ii) This follows from Lemma 2.2(4) and Theorems 1.3 and 1.4.
(ii) ⇒ (iii) This implication is evident.
(iii) ⇒ (i) Let A be any subgroup of G. Then DA is σ-permutable in G by Lemma 2.2(3) since
G is σ-soluble. On the other hand, since |σ(D)| = |π(D)| and D is a cyclic σ-Hall subgroup of G
of square-free order, A is a σ-Hall subgroup of DA. Hence A is Hσ -permutably embedded in G.
Therefore the implication (iii) ⇒ (i) is true.
The theorem is proved.
Proof of Theorem 1.7.
(i) ⇒ (ii) In view of Theorem 1.9, it is enough to show that if
D ≤ L ≤ G and L is a σ-Hall subgroup of some normal subgroup V of G, then L is normal in G.
But since G/D is σ-nilpotent, L/D is σ-subnormal in G/D, so L is σ-subnormal in G by Lemma
2.1(6). Hence L is σ-subnormal in V by Lemma 2.1(1). But then L is a normal in V by Lemma
2.1(4) and so L is a characteristic subgroup of V . It follows that L is normal in G.
(ii) ⇒ (iii) This implication is evident.
(iii) ⇒ (i) See the proof of the implication (iii) ⇒ (i) in Theorem 1.9.
The theorem is proved.
13

References
[1] A. N. Skiba, On σ-subnormal and σ-permutable subgroups of finite groups, J. Algebra, 436
(2015), 1–16.
[2] A. N. Skiba, A generalization of a Hall theorem, J. Algebra and its Application, 436 (2015),
1–16.
[3] A.N. Skiba, On some results in the theory of finite partially soluble groups, Commun. Math.
Stat., 4(3) (2016), 281–309.
[4] A. Ballester-Bolinches, R. Esteban-Romero, M. Asaad, Products of Finite Groups, Berlin-New
York, Walter de Gruyter, 2010.
[5] W. Guo, Structure Theory for Canonical Classes of Finite Groups, Springer, Heidelberg-New
York-Dordrecht-London, 2015.
[6] S. Li, J. He, G. Nong, L. Zhou, On Hall normally embedded subgroups of finite groups, Comm.
Algebra, 37 (2009), 3360–3367.
[7] J. Lio, S. Li, CLT −groups with Hall S-quasinormally embedded subgroups, Ukrain. Math.
Journal, 66 (2014), 1281–1287.
[8] S. Li, J. Liu, On Hall subnormally embedded and generalized nilpotent groups, J. Algebra, 388
(2013), 1–9.
[9] W. Guo, A. N. Skiba, Finite groups with permutable complete Wielandt sets of subgroups, J.
Group Theory, 18 (2015), 191–200.
[10] B. Huppert, Endliche Gruppen I, Springer-Verlag, Berlin-Heidelberg-New York, 1967.
[11] A. Ballester-Bolinches, Shou Homg Qiao, On a problem posed by S. Li and J. Liu, Arch. Math.,
102 (2014), 109–111.
[12] W. Guo, K. P. Shum, A. N. Skiba, X-semipermutable subgroups of finite groups, J. Algebra,
315 (2007), 31–41.
[13] K. Doerk, T. Hawkes, Finite Soluble Groups, Walter de Gruyter, Berlin-New York, 1992.
[14] L. A. Shemetkov, A. N. Skiba, Formations of Algebraic Systems, Nauka, Main Editorial Board
for Physical and Mathematical Literature, Moscow, 1989.
[15] W. Guo, The Theory of Classes of Groups, Science Press-Kluwer Academic Publishers, Beijing,
New York, Dordrecht, Boston, London, 2000.
[16] A. Ballester-Bolinches, L.M. Ezquerro, Classes of Finite groups, Springer, Dordrecht, 2006.
14

[17] L. A. Shemetkov, Formations of finite groupsNauka, Main Editorial Board for Physical and
Mathematical Literature, Moscow, 1989.

15

