Number of Sylow subgroups in finite groups∗
Wenbin Guo
Department of Mathematics, University of Science and Technology of China,
Hefei 230026, P. R. China
E-mail: wbguo@ustc.edu.cn

Evgeny P. Vdovin

arXiv:1709.00148v1 [] 1 Sep 2017

Sobolev Institute of Mathematics and Novosibirsk State University,
Novosibirsk 630090, Russia
E-mail: vdovin@math.nsc.ru

Abstract
Denote by νp (G) the number of Sylow p-subgroups of G. It is not difficult to see
that νp (H) 6 νp (G) for H 6 G, however νp (H) does not divide νp (G) in general. In
this paper we reduce the question whether νp (H) divides νp (G) for every H 6 G to
almost simple groups. This result substantially generalizes the previous result by
G. Navarro and also provides an alternative proof for the Navarro theorem.
Key words: Finite group, Number of Sylow subgroups, group of induced automorphism, (rc)-series.
MSC2010: 20D20

Introduction
Throughout this paper, all groups are finite. Let G be a group and p be a prime. Denote
by νp (G) the number of Sylow p-subgroups of G. It is a trivial exercise to check that
νp (H) 6 νp (G) for every subgroup H of G. However νp (H) does not necessarily divide
νp (G) in general. For example, let G = A5 and H = A4 , then ν3 (G) = 10 and ν3 (H) = 4.
In 2003, G. Navarro in [5] proved that if G is p-solvable then νp (H) divides νp (G) for
every H 6 G.
We say that a group G satisfies DivSyl(p) if νp (H) divides νp (G) for every H 6 G. Our
goal is to prove that G satisfies DivSyl(p) provided every nonabelian composition factor
of G satisfies DivSyl(p) (see Theorem 1 below). This result substantially generalizes the
result by Navarro since in p-solvable groups all nonabelian composition factors evidently
satisfy DivSyl(p). Our technique can also be applied to derive the Navarro theorem, so
we provide an alternative proof for the Navarro theorem.
In order to formulate the main theorem, we need to recall some definitions.
Let A, B, H be subgroups of G such that B P A. Define the normalizer NH (A/B)
of A/B in H by NH (A) ∩ NH (B). If x ∈ NH (A/B), then x induces an automorphism
The first author is supported by a NNSF grant of China (Grant # 11371335) and Wu Wen-Tsun Key
Laboratory of Mathematics of Chinese Academy of Sciences. The second author is supported by Chinese
Academy of Sciences President’s International Fellowship Initiative (Grant #2017VMA0049)
∗

1

of A/B acting by Ba 7→ Bx−1 ax. Thus there exists a homomorphism NH (A/B) →
Aut(A/B). The image of the homomorphism is denoted by AutH (A/B) and is called the
group of H-induced automorphisms on A/B, while the kernel of the homomorphism is
denoted by CH (A/B). If B = 1, then we simply write AutH (A). The groups of induced
automorphisms were introduced by F. Gross in [1], where the author says that this notion
is taken from unpublished lectures by H. Wielandt. Clearly CH (A/B) = CG (A/B) ∩ H,
so
AutH (A/B) = NH (A/B)/CH (A/B) ≃ NH (A/B)CG (A/B)/CG (A/B) 6 AutG (A/B),
that is, AutH (A/B) can be embedded into AutG (A/B) in a natural way. Hence, without
lose of generality, we may assume that AutH (A/B) is a subgroup of AutG (A/B).
A composition series is called an (rc)-series1 if it is a refinement of a chief series.
Theorem 1. (Main Theorem) Let
1 = G0 < G1 < . . . < Gn = G
be an (rc)-series of G. Assume that, for each nonabelian Gi /Gi−1 and for every psubgroup P of AutG (Gi /Gi−1 ), the group P (Gi /Gi−1 ) satisfies DivSyl(p). Then G satisfies DivSyl(p).
At the end of the paper, we discuss possible way of improving this statement and also
explain how Navarro’s result can be derived from this theorem.

1

Preliminaries

We write H 6 G and H P G if H is a subgroup of G and H is a normal subgroup
of G respectively, p denotes a prime number. A natural number n is called a p-number
(respectively a p′ -number) if it is a power of p (respectively if it is coprime to p). We
denote by np and np′ the p- and p′ - part of the natural number n. A group is said to be
a p-group (respectively a p′ -group) if its order is a p-number (respectively a p′ -number).
A group G is called p-solvable if it possesses a subnormal series with all sections either por p′ -groups. If ϕ : X → Y is a map, then ϕ(x) denotes the image of x ∈ X, while for
σ ∈ Symk we write iσ for the image of i ∈ {1, . . . , k} under σ. By Sylp (G) we denote the
set of all Sylow p-subgroups of G. All unexplained notations and definitions can be found
in [3].
Lemma 1. Assume that A P G. Then νp (G) = νp (G/A) · νp (P A) for some (hence for
every) P ∈ Sylp(G), and νp (P A) = |A : NA (P )|.
Proof. Consider a natural homomorphism
: G → G = G/A.
Clearly νp (P A) is the number of all Sylow p-subgroups Q of G such that image of Q
equals P since P = Q if and only if Q 6 P A. By Sylow theorem, for every Q ∈ Sylp (G),
there exists x ∈ G such that P x = Q, so
(P A)x = P x Ax = P x A = QA.
1

This notion was introduced by V. A. Vedernikov in [10]

2

This shows that νp (P A) does not depend on the choice of P , and so it is the same for any
Sylow p-subgroup of G. Thus we obtain νp (G) = νp (G/A) · νp (P A). By Sylow theorem,
νp (P A) = |P A : NP A (P )| = |A : NA (P )|,
where the second identity follows from the Dedekind theorem.
Lemma 2. Assume that A P G and both AP and G/A satisfy DivSyl(p) for some (hence
for every) P ∈ Sylp (G). Then G satisfies DivSyl(p).
Proof. Let H 6 G. Choose Q ∈ Sylp(G) so that Q ∩ H ∈ Sylp (H). Since P A and QA are
conjugate, QA satisfies DivSyl(p). Now by Lemma 1, νp (G) = νp (G/A) · νp (QA), and
νp (H) = νp (H/(H ∩ A)) · νp ((Q ∩ H)(H ∩ A)) = νp (HA/A) · νp ((Q ∩ H)(H ∩ A)).
Since HA/A 6 G/A and (Q ∩ H)(H ∩ A) 6 QA, the conditions of the lemma imply that
νp (HA/A) divides νp (G/A) and νp ((Q ∩ H)(H ∩ A)) divides νp (QA). This implies that
νp (H) divides νp (G).
The following lemma is proven in [5], but now it can be easily derived from the above
two lemmas and we provide here an alternating proof of it.
Lemma 3. [5, Theorem A] Let H be a subgroup of a p-solvable group G. Then νp (H)
divides νp (G).
Proof. Assume by contradiction that G is a counterexample of minimal order, H 6 G is
chosen so that νp (H) does not divides νp (G) and A is a minimal normal subgroup of G.
Let P ∈ Sylp (G) with P ∩ H 6 Sylp(H). By Lemma 1, we have
νp (G) = νp (G/A) · νp (P A)
and
νp (H) = νp (HA/A) · νp ((H ∩ P )(H ∩ A)).
By induction, νp (HA/A) divides νp (G/A). Since G is p-solvable, A is either a p-group or
a p′ -group.
If A is a p-group, then νp ((H ∩ P )(H ∩ A)) = 1, so νp (H) divides νp (G).
If A is a p′ -group, then |A| and |P | are corpime, in particular P ∩ A = 1. Since
P normalizes A, we have that [NA (P ), P ] 6 A ∩ P = 1, so NA (P ) = CA (P ). The
known properties of coprime action (for example, see [3, Excersize 3E.4]) and Lemma 1
implies that νp ((H ∩ P )(H ∩ A)) = |(H ∩ A) : CH∩A (H ∩ P )| divides |A : CA (H ∩ P )|,
while |A : CA (H ∩ P )| divides |A : CA (P )| = νp (P A). Thus νp (H) divides νp (G), which
contradicts the choice of G and H.
Recall that a group A is said to be an almost simple group if there exists a simple
nonabelian group S such that S 6 A 6 Aut(S). By Schreier conjecture Aut(S)/S is
solvable for each simple group S.
Corollary 1. Let A be an almost simple group with simple socle S and P ∈ Sylp (A). If
P S satisfies DivSyl(p), then A satisfies DivSyl(p).
Proof. This follows from Lemmas 2 and 3 since A/S is solvable.

3

Lemma 4. [7, Theorem 1] Let
1 = G0 < G1 < . . . < Gn = G
be an (rc)-series of G and denote the section Gi /Gi−1 by Si . Let
1 = H0 < H1 < . . . < Hn = G
be a composition series of G. Then there exist a permutation σ ∈ Symn such that
AutG (Hi /Hi−1 ) 6 AutG (Siσ ) for i = 1, . . . , n. Moreover, if the second series is an (rc)series, then σ can be chosen so that AutG (Hi /Hi−1) ≃ AutG (Siσ ) for i = 1, . . . , n.
The following simple lemma plays technical role.
Lemma 5. Let G be a finite group, possessing a normal series
1✁H ✁K ✁G
such that H is a p-group, K/H is a p′ -group and G/K is a p-group. Let Q be a p-subgroup
of G containing H and P be a Sylow p-subgroup of G containing Q. Consider a natural
homomorphism
: G → G = G/H.
Then NK (Q) = NK (Q) = CK (Q) and NK (P ) 6 NK (Q).
Proof. NK (Q) ⊆ NK (Q) is evident. Consider x̄ ∈ NK (Q). Then every inverse image x
of x̄ normalizes the full inverse image of Q. Since H 6 Q, the full inverse image of Q
equals Q, so x normalizes Q. Consequently, NK (Q) ⊆ NK (Q). By the conditions of the
lemma, K = Op′ (G), so K P G and |K| and |Q| are coprime. Thus NK (Q) = CK (Q).
Since H 6 P and P is a p-group the identity NK (P ) = NK (P ) = CK (P ) holds. Clearly
CK (P ) 6 CK (Q). It follows that NK (P ) 6 NK (Q).
In this paper we often consider subgroups of a permutation wreath product, so we
fix notations for such groups. If L is a group and K is a subgroup of the symmetric
group Symk , then L ≀ K denotes the permutation wreath product. By definition L ≀ K is
isomorphic to a semidirect product (L1 × . . . × Lk ) ⋊ K, where L1 ≃ . . . ≃ Lk ≃ L and K
permutes the Li -s, that is arbitrary σ ∈ K acts by
σ : (g1 , . . . , gk ) 7→ (g1σ−1 , . . . , gkσ−1 ).
We always denote L1 × . . . × Lk by L.
Suppose that G is a subgroup of L ≀ K. Let ρ : G → Symk be the homomorphism
corresponding to the action of G on {L1 , . . . , Lk } by conjugation. Each element g of G as
an element from L ≀ K can be uniquely written as
g = (g1 , . . . , gk )ρ(g), where gi ∈ Li , and ρ(g) ∈ Symk permutes the gi -s.

(1)

Given g = (g1 , . . . , gk )ρ(g) ∈ L ≀ K define πi (g) to be equal to gi . In particular, the
restriction of πi on L is the natural projection on Li .
Now if S is a normal subgroup of L then we can construct a normal subgroup S =
S1 × . . . × Sk of L ≀ K such that S1 ≃ . . . ≃ Sk ≃ S and (L ≀ K)/S ≃ (L/S) ≀ K. In order
to construct S we need to take one representative Lj from every K-orbit on {L1 , . . . Lk },
the in each representative we need to take Sj P Lj such that Sj ≃ S and Lj /Sj ≃ L/S,
and finally define S to be equal to the normal closure of the subgroup generated by Sj -s.
From the construction it is evident, that if K is transitive, then S is uniquely defined by
the choice of S1 6 L1 .
4

Lemma 6. Assume that T is a unique minimal normal subgroup of G. Assume also that
T is nonabelian, that is, T = S1 ×. . .×Sk , where S1 , . . . , Sk are isomorphic (moreover, Gconjugate) nonabelian simple groups. Let ρ : G → Symk be the permutation representation
corresponding to the action of G on {S1 , . . . , Sk } by conjugation. Then there exists an
injective homomorphism
ϕ : G → AutG (S1 ) ≀ ρ(G) = (AutG (S1 ) × . . . × AutG (Sk )) ⋊ ρ(G).
Moreover, if H 6 G and HT = G, then ϕ can be chosen so that for every H 6 X 6 G
we have
ϕ(X) 6 AutX (S1 ) ≀ ρ(X) = AutX (S1 ) ≀ ρ(G) = (AutX (S1 ) × . . . × AutX (Sk )) ⋊ ρ(X).
Proof. The existence of ϕ is known (see, for example, [9, Lemma 2]). Hence, we only need
to show that ϕ(X) 6 AutX (S1 ) ≀ ρ(X). Here we provide the construction of ϕ and remain
all technical details for the reader.
First notice that ρ(G) is transitive since T is a minimal normal subgroup. By the
Fundamental counting principle (see [3, Theorem 1.4]), the action of G on {S1 , . . . , Sk }
is equivalent to the action of G on right cosets of NG (S1 ) by right multiplication. By [2,
Theorem IV.1.4 a)], there exists an injective homomorphism
ψ : G → (NG (S1 ) × . . . × NG (Sk )) ⋊ ρ(G) = NG (S1 ) ≀ ρ(G),
defined in the following way. Fix a right coset representatives r1 , . . . , rk of NG (S1 ) in G.
For given g ∈ G, define the element ni (g) of NG (S1 ) by
ri g = ni (g)riρ(g) .
Then ψ maps g to (n1 (g), . . . , nk (g))ρ(g).
Consider a normal subgroup CG (S1 ) of NG (S1 ). Since ρ(G) is transitive, CG (S1 ) ×
. . . × CG (Sk ) is a normal subgroup. Consider a natural homomorphism
θ : NG (S1 ) ≀ ρ(G) → (NG (S1 ) ≀ ρ(G)) / (CG (S1 ) × . . . × CG (Sk )) .
Since T is the unique minimal normal subgroup of G and T is nonabelian, we have
ψ(G) ∩ Ker(θ) = 1, while θ(NG (S1 ) ≀ ρ(G)) = AutG (S1 ) ≀ ρ(G) by definition.
Now assume that H 6 G is chosen so that HT = G. Then the right coset representatives r1 , . . . , rk of NG (S1 ) can be chosen from H. Hence if H 6 X 6 G, then for every
−1
x ∈ X and i = 1, . . . , k, we have ni (x) = ri xriρ(x)
∈ X ∩ NG (S1 ) = NX (S1 ). Therefore
ψ(X) 6 NX (S1 ) ≀ ρ(X), and so ϕ(X) = θψ(X) 6 AutX (S1 ) ≀ ρ(X).
Lemma 7. Let L be a group with a normal subgroup S such that L/S is a p-group. Let
K be a transitive p-subgroup of Symk . Choose S1 6 L1 with S1 ≃ S and L1 /S1 ≃ L/S,
then S = S1L≀K = S1 × . . . × Sk . Let G be a subgroup of L ≀ K satisfying the following
conditions:
(a) S 6 G;
(b) GL = L ≀ K;
(c) πi (NG (Si )) = Li .
(d) for some Q ∈ Sylp(G), if Pi = πi (NQ (Si )), then Q 6 (P1 × . . . × Pk ) ⋊ K.
5

Then the restriction of πi on NG (Si ) is a homomorphism and νp (G) = |S|pk−1
· νp (L).
′
Proof. Since GL = L ≀ K, we have ρ(G) = GL/L ≃ G/(G ∩ L) ≃ K, in particular,
G/(G ∩ L) is a p-group. Hence G = Q(G ∩ L) and L ≀ K = QL, in particular ρ(Q) = K.
Now g = (g1 , . . . , gk )ρ(g) ∈ NL≀K (Si ) if and only if iρ(g) = i. For every g, h ∈ L ≀ K we
have πi (g) · πi (h) = gi · hi . On the other hand, if we take g, h ∈ NL≀K (Si ), then
πi (gh) = πi ((g1 , . . . , gk )ρ(g) · (h1 , . . . , hk )ρ(h))
−1

= πi ((g1 , . . . , gk ) · (h1 , . . . , hk )ρ(g) · ρ(g)ρ(h))
= πi ((g1 , . . . , gk ) · (h1ρ(g) , . . . , hi , . . . , hkρ(g) ) · ρ(g)ρ(h))
= πi ((g1 · h1ρ(g) , . . . , gi · hi , . . . gk · hkρ(g) ) · ρ(g)ρ(h))) = gi · hi ,
thus the restriction of πi on NG (Si ) is a homomorphism.
Since L/S is a p-group and K is a p-group, we have that (L ≀ K)/S is a p-group.
Hence G/S is a p-group and QS = G. Denote πi (Q ∩ S) by Qi . Clearly Q ∩ Si 6 Qi .
On the other hand, since Si is subnormal in G, Q ∩ Si is a Sylow p-subgroup of Si , so
Q ∩ Si = Qi . Since S normalizes Si and G = QS, we have NG (Si ) = NQ (Si )S, therefore
πi (NG (Si )) = Pi Si = Li . But since
|Pi | = |Pi /(Pi ∩ Si )| · |Pi ∩ Si | =
|Pi /(Pi ∩ Si )| · |πi (NQ (Si )) ∩ Si | = |Pi /(Pi ∩ Si )| · |πi (NQ (Si ) ∩ Si )| =
|Pi /(Pi ∩ Si )| · |πi (Q ∩ Si )| = |Li /Si | · |Qi | = |Li |p ,
we obtain Pi ∈ Sylp (Li ). Moreover, since Q as a subgroup of G permutes Si -s, we have
that Q permutes NQ (Si )-s, and so Q permutes Pi -s. This implies that Q normalizes
P1 × . . . × Pk . Consequently, ρ(Q) = K normalizes P1 × . . . × Pk and the subgroup
P = (P1 × . . . × Pk ) ⋊ K in condition (d) of the lemma is correctly defined. Since
Pi ∈ Sylp(Li ) and K is a p-group, we also have that P ∈ Sylp (L ≀ S). Then by condition
(d), Q 6 P , and so Q = P ∩ G.
Since G/S is a p-group, Lemma 1 implies that
νp (G) = |S : NS (Q)|
so
νp (G) =

|S|p′
.
|NS (Q)|p′

Since L1 = P1 S1 , by Lemma 1 again, we have
νp (L1 ) = |S1 : NS1 (P1 )| =

|S1 |p′
.
|NS1 (P1 )|p′

(2)

If we can show that
|NS (Q)|p′ = |NS1 (P1 )|p′ ,
then (2) and (3) would imply
νp (G) =

|S|p′
|S|p′
|S1 |p′
=
·
= |S1 |pk−1
· νp (L1 )
′
|NS (Q)|p′
|S1 |p′ |NS1 (P1 )|p′

and so the lemma follows.
Thus we remain to prove (3).
6

(3)

Denote NSi (Pi ) by Xi and let X = X1 × . . . × Xk . Clearly Qi = Pi ∩ Si P Xi , and
since Qi is a Sylow p-subgroup of Si , Qi is a (normal) Sylow p-subgroup of Xi . Therefore
Q1 × . . . × Qk = Op (X) ∈ Sylp (X) and X is an extension of a p-group by a p′ -group.
We show that P normalizes X and that NS (Q) lies in X. By construction, P permutes
Pi -s, so P permutes Xi -s, therefore P normalizes X1 × . . . × Xk = X. In particular,
ρ(P ) = ρ(Q) = K normalizes X and XK = X1 ≀ K. In order to show that NS (Q) 6 X,
consider x = (x1 , . . . , xk ) ∈ NS (Q). Since x normalizes Q and Si , we obtain that x
normalizes NQ (Si ) for i = 1, . . . , k. Take y = (y1, . . . , yk )ρ(y) ∈ NQ (Si ). Then iρ(y) = i.
Recall that by condition (d) of the lemma Q 6 P , so yi ∈ Pi for i = 1, . . . , k. Since xj
centralizes yt for j 6= t, we obtain
−1
ρ(y)
y x = (y1x1 , . . . , ykxk ) · ρ(y)x = (y1x1 , . . . , ykxk ) · (x−1
· ρ(y)
1 , . . . , xk ) · (x1 , . . . , xk )
xk
x1
−1
−1
−1
= (y1 , . . . , yk ) · (x1 , . . . , xi , . . . , xk ) · (x1ρ(y) , . . . , xi , . . . , xkρ(y) ) · ρ(y)
xk
xi
−1
= (y1x1 · x−1
1 · x1ρ(y) , . . . , yi , . . . yk · xk · xkρ(y) ) · ρ(y).
−1

Thus πi (y x ) = yixi ∈ Pi , i.e. xi lies in Xi and so NS (Q) lies in X.
Consider XP 6 L ≀ K. Since Q1 × . . . × Qk = Op (X) ∈ Sylp(X), the group XP has a
normal series
1 ✁ Q1 × . . . × Qk = Op (X) P X P XP.
By Lemma 5, NX (Q) = NX (Q) = CX (Q), where
: P X → P X = P X/(Q1 × . . . × Qk )
is a natural homomorphism.
Now consider the corresponding natural homomorphisms
: (Xi Pi ) → Xi Pi = (Xi Pi )/Qi
(we simply restrict the above homomorphism on Xi Pi ) for i = 1, . . . , k. Then each
x = (x1 , . . . , xk ) ∈ X is mapped to x̄ = (x̄1 , . . . , x̄k ) and y = (y1 , . . . , yk )ρ(y) ∈ Q is
mapped to (ȳ1 , . . . , ȳk )ρ(y). Since Xi normalizes Pi , we obtain that X i centralizes Pi , i.e.
(x̄1 , . . . , x̄k ) centralizes (ȳ1 , . . . , ȳk ). So
x̄ȳ = (x̄1 , . . . , x̄k )(ȳ1 ,...,ȳk )ρ(y) = (x̄ȳ11 , . . . , x̄ȳkk )ρ(y) =
(x̄1 , . . . , x̄k )ρ(y) = (x̄1ρ(y)−1 , . . . , x̄kρ(y)−1 ).
Since ρ(Q) = K 6 Symk is transitive, we obtain that
CX (Q) = CX (ρ(Q)) = {(x̄1 , . . . , x̄k ) | x̄1 = . . . = x̄k }.
Thus
|NS (Q)|p′ = |NX (Q)| = CX (Q) = |X1 | = |X1 |p′ = |NS1 (P1 )|p′
and (3) holds.
Lemma 8. Assume T is a normal subgroup of G such that T = G1 × . . . × Gk , and G/T
is a p-group. Assume also that G acts on {G1 , . . . , Gk } by conjugation, i.e. for every
x ∈ G and i = 1, . . . , k there exists j ∈ {1, . . . , k} with Gxi = Gj . Denote by πi the natural
projection πi : T → Gi . Let H be a subgroup of G such that for every i = 1, . . . , k we have
πi (H ∩ T ) equals either Gi or 1, that is, H ∩ T is a subdirect product of some of Gi -s.
Then νp (H) divides νp (G).
7

Proof. Suppose that this lemma is false and consider a counterexample (G, H) with |G|
minimal. Then H 6 G is such that H ∩ T is a subdirect product of some of Gi -s and
νp (H) does not divides νp (G).
Let Ω1 , . . . , Ωs be G-orbits of {G1 , . . . , Gk } and Gij be a fixed element of Ωj . In order
to simplify notation, we assume Gi1 = G1 . Assume that L1 is a minimal characteristic
subgroup of G1 , then L1 is a direct product of isomorphic simple groups, and either L1
is elementary abelian or L1 is a direct product of isomorphic nonabelian simple groups.
For every i = 2, . . . , s, fix the corresponding characteristic subgroup Lij of Gij so that
L1 ≃ Lij and G1 /L1 ≃ Gij /Lij . Denote by L the normal closure of hL1 , . . . , Lis i in G,
that is, L = hLxij | x ∈ G, j = 1, . . . , si. Evidently L is a direct product of some groups
isomorphic to L1 . In particular, L is abelian if and only if L1 is abelian and L is a direct
product of isomorphic nonabelian simple groups if and only if L1 is a direct product of
isomorphic nonabelian simple groups. Since G acts transitively by conjugation on each
G-orbit, we obtain that L = π1 (L) × . . . × πk (L), π1 (L) ≃ . . . ≃ πk (L), and G also acts
by conjugation on {π1 (L), . . . , πk (L)}. Hence, if we consider the natural homomorphism
: G → G = G/L,
then T = G1 × . . . × Gk = (G1 /π1 (L)) × . . . × (Gk /πk (L)). Clearly G acts by conjugation
on {G1 , . . . , Gk } and G/T ≃ G/T is a p-group. This shows that G satisfies the conditions
of the lemma. We also have
πi (H ∩ T ) = πi (HL ∩ T ),
so πi (H ∩ T ) = Gi if π(H ∩ T ) = Gi and πi (H ∩ T ) = 1 if πi (H ∩ T ) = 1. Thus H also
satisfies conditions of the lemma. By induction, νp (H) divides νp (G).
Let Q be a Sylow p-subgroup of H and P be a Sylow p-subgroup of G containing
Q. By Lemma 1, νp (H) = νp (Q(H ∩ L)) · νp (H/(H ∩ L)) = νp (Q(H ∩ L)) · νp (H) and
νp (G) = νp (P L) · νp (G/L) = νp (P L) · νp (G). Thus we need to show that νp (Q(H ∩ L))
divides νp (P L) in order to obtain a contradiction with the choice of (G, H).
Assume first that L is abelian. Then P L is solvable, hence νp (Q(H ∩L)) divides νp (P L)
by Lemma 3. Thus we may assume that G1 has no characteristic abelian subgroups and
so G1 has no normal abelian subgroups.
Now assume that L is nonabelian. As we note above, L1 is a is a direct product
of isomorphic nonabelian simple groups. So L is also a direct product of isomorphic
nonabelian simple groups, say L = S1 × . . . × Sm . Then G acts by conjugation on
{S1 , . . . , Sm }. Denote by ψj : L → Sj the natural projection. If πi (H ∩ T ) = 1, then
clearly ψj (H ∩ L) = 1 for every Sj 6 Gi . Assume that πi (H ∩ T ) = Gi . Since H ∩ L P H,
we obtain that πi (H ∩ L) is a normal
Q subgroup of πi (H ∩ T ) = Gi . Moreover, πi (H ∩ L)
is a normal subgroup of πi (L) = Sj 6Li Sj , so πi (H ∩ L) is a product of some of Sj -s.
Therefore, H ∩ L is a subdirect product of Sj -s. This shows that (P L, Q(H ∩ L)) satisfies
conditions of the theorem. If P L 6= G, then by induction νp (Q(H ∩ L)) divides νp (P L).
Thus we may assume that P L = G.
Assume that L is not a minimal normal subgroup in P L. Then there exists K P P L
such that K < L. Since L = S1 ×. . .×Sm is a direct product of isomorphic simple groups,
we obtain K = Si1 × . . . × Sit for some {i1 , . . . , it } ⊆ {1, . . . , m}. Consider a natural
homomorphism ϕ : P L → P L/K. Clearly (ϕ(P L), ϕ(Q(H ∩ L))) satisfies conditions of
the lemma, so by induction νp (ϕ(Q(H ∩ L))) divides νp (ϕ(P L)). It is also clear that
(P K, Q(H ∩ K)) also satisfies the conditions of the lemma, so by induction νp (Q(H ∩ K))
divides νp (P K). By Lemma 1, νp (Q(H ∩ L)) = νp (ϕ(Q(H ∩ L))) · νp (Q(H ∩ K)) and
8

νp (P L) = νp (ϕ(P L)) · νp (P K), so νp (Q(H ∩ L)) divides νp (P L). Hence, we may assume
that L is a minimal normal subgroup of P L.
Now we have that G = P L, where P ∈ Sylp(G), L = S1 × . . . × Sm is a minimal
normal subgroup of G, and S1 , . . . , Sm are isomorphic (even G-conjugate) nonabelian
simple groups. By Lemma 6, there exists an embedding ϕ : G → AutG (S1 ) ≀ ρ(G), where
ρ : G → Symm is the permutation representation corresponding to the action of G on
{S1 , . . . , Sm } by conjugation. Moreover, since G = P L, ϕ can be chosen so that for every
P 6 X 6 G we have
ϕ(X) 6 AutX (S1 ) ≀ ρ(X) = AutX (S1 ) ≀ ρ(G).

(4)

We show that ϕ(G) as a subgroup of AutG (S1 ) ≀ ρ(G) satisfies conditions of Lemma 7.
Since S1 × . . . × Sm 6 Ker ρ, we obtain that ρ(G) = ρ(P ) is a transitive p-subgroup
of Symm . Now S2 × . . . × Sm centralizes S1 , so AutG (S1 )/S1 is a p-group. Thus AutG (S1 )
with normal subgroup S1 plays the role of group L in the notations of Lemma 7, while
ρ(G) is a group K in the notations of Lemma 7.
Since ϕ(S1 ×. . .×Sm ) = S1 ×. . .×Sm , we obtain that S1 ×. . .×Sm 6 ϕ(G) and condition
(a) of Lemma 7 is satisfied. Clearly ϕ(G)(AutG (S1 ) × . . . × AutG (Sm )) = AutG (S1 ) ≀ ρ(G),
so condition (b) of Lemma 7 is also satisfied. By definition, πi (NG (Si )) = AutG (Si ), thus
condition (c) is true. Finally, by (4) we have ϕ(P ) 6 (AutP (S1 ) × . . . × AutP (Sm )) ⋊ ρ(P )
and by definition AutP (Si ) = πi (NP (Si )), so condition (d) is also true. Thus
νp (G) = |S1 |m−1
· νp (AutG (S1 )).
p′

(5)

On the other hand, by Lemma 1, νp (P L) = |L : NL (P )| and νp (Q(H ∩ L)) = |(H ∩ L) :
NH∩L (Q)|.
Assume that H ∩ L 6= L. Since L is a direct product of nonabelian simple groups and
H ∩ L is a subdirect product of some simple factors of L, we obtain that |H ∩ L| = |S1 |s
for some s < m. Clearly |(H ∩ L) : NH∩L (Q)| divides |S1 |sp′ , since |S1 |sp′ is the index of a
Sylow p-subgroup of H ∩ L. Since s 6 m − 1, (5) implies νp (H) divides νp (G).
Assume finally that H ∩L = L. Then from Q 6 P we obtain Q∩L = P ∩L ∈ Sylp(L).
Hence the group P NL (P ∩ L) has the following normal series:
1 ✁ (P ∩ L) ✁ NL (P ∩ L) ✁ P NL (P ∩ L),
where P ∩ L is a p-group, NL (P ∩ L)/(P ∩ L) is a p′ -group, and P NL (P ∩ L)/NL (P ∩ L) ≃
P/(P ∩ NL (P ∩ L)) is a p-group. By Lemma 5, NNL (P ∩L) (Q) > NNL (P ∩L) (P ). But, clearly,
NH∩L (Q) = NL (Q) normalizes Q ∩ L, so lies in NL (P ∩ L). Hence
NH∩L (Q) = NL (Q) = NNL (P ∩L) (Q) > NNL (P ∩L) (P ) = NL (P ),
and so νp (Q(H ∩ L)) divides νp (P L).

2

Proof of the main theorem

Assume this theorem is false and let G be a counterexample of minimal order. We proceed
in a series of steps to get a contradiction.
Step 1. If 1 6= A P G, then G/A satisfies DivSyl(p).
Indeed, by Lemma 4, the group of induced automorphisms does not depend on the
choice of an (rc)-series. Hence we may assume that
1 = G0 < G1 < . . . < Gn = G
9

goes through A, i.e. A = Gi for some i. Consider a natural homomorphism
G/A. Clearly
1 = Gi < Gi+1 < . . . < Gn = G

:G→G=

is an (rc)-series of G. By [8, Lemma 1.2], AutG (Gj /Gj−1 ) ≃ AutG (Gj /Gj−1) for j =
i + 1, . . . , n, so G satisfies DivSyl(p) by induction.
Step 2. The solvable radical S(G) (that is the largest solvable normal subgroup of G)
of G is trivial.
Otherwise G/S(G) satisfies DivSyl(p) by Step 1. Moreover, for given P ∈ Sylp (G),
the group P S(G) satisfies DivSyl(p) by Lemma 3. Hence G satisfies DivSyl(p) by
Lemma 2, a contradiction.
Step 3. Let T = S1 × . . . × Sk be a minimal normal subgroup of G. Then G/T is
a p-group. Consequently, T is the unique minimal normal subgroup of G, and Si is a
nonabelian simple group for i = 1, . . . , k.
Indeed, let P be a Sylow p-subgroup of G. If G/T is not a p-group, then P T is a
proper subgroup of G. By Lemma 4, we may assume that
1 = G0 < G1 < . . . < Gn = G
goes through T , that is, T = Gk for some k ∈ {1, . . . , n − 1}. Denote the image of
P ∩ NG (Gi /Gi−1 ) in AutG (Gi /Gi−1 ) by Pi for i = 1, . . . , k. By definition, Pi (Gi /Gi−1 ) =
AutP T (Gi /Gi−1 ) 6 AutG (Gi /Gi−1 ), and the conditions of the theorem says that for every
p-subgroup Q of Pi (Gi /Gi−1 ) the group Q(Gi /Gi−1 ) satisfies DivSyl(p). Hence P T satisfies the conditions of the theorem, so by induction, P T satisfies DivSyl(p). Then Step
1 and Lemma 2 imply that G satisfies DivSyl(p), a contradiction.
Therefore G/T is a p-group and so G = P T for some (hence for every) Sylow psubgroup P of G. Consequently, G has the unique minimal normal subgroup T = L1 ×
. . . × Lk , where all Li -s are isomorphic nonabelian simple groups by Step 2.
Step 4. If H is a subgroup of G containing T , then νp (H) divides νp (G).
Assume that T 6 H. Let Q be a Sylow p-subgroup of H. Since G/T is a p-group, so
is H/T , in particular, H = QT . Let P ∈ Sylp (G) be chosen so that P ∩ H = Q. Then
P ∩ T = Q ∩ T ∈ Sylp (T ) is a normal subgroup of P and of Q. Denote NT (P ∩ T ) by K.
Since P ∩ T ∈ Sylp (T ), we have P ∩ T ∈ Sylp (K), so K/(P ∩ T ) is a p′ -group, and P K
satisfies conditions of Lemma 5. Clearly both NT (Q) and NT (P ) lie in K, so NT (Q) =
NK (Q) and NT (P ) = NK (P ). By Lemma 5, NT (Q) = NK (Q) > NK (P ) = NT (P ).
Finally by Lemma 1, νp (H) = νp (QT ) = |T : NT (Q)| and νp (G) = νp (P T ) = |T : NT (P )|.
Thus νp (H) divides νp (G).
Denote AutG (Si ) by Li . Since T is a unique minimal normal subgroup and T is
nonabelian, by Lemma 6, there exists an injective homomorphism ϕ : G → L1 ≀ ρ(G),
where ρ : G → Symk is the permutation representation corresponding to the action of G
on {S1 , . . . , Sk } by conjugation. Moreover, since Si is a unique minimal normal subgroup
of Li and ρ(G) is transitive, we have S = S1 × . . . × Sk is a unique minimal normal
subgroup of L ≀ ρ(G). In particular, for every such inclusion ϕ the identity ϕ(T ) = S
holds. Below we identify G with its image ϕ(G) 6 L1 ≀ ρ(G) and T with S. For every
H 6 G denote πi (H ∩ T ) by Hi , where πi is defined before Lemma 6. Clearly H ∩ T is a
subdirect product of H1 , . . . , Hk .
10

Step 5. If H 6 G is chosen so that HT = G, then |H1 | = . . . = |Hk | and H normalizes
H1 × . . . × Hk .
Since T is a minimal normal subgroup of G and T is nonabelian, G acts transitively
by conjugation on {S1 , . . . , Sk }. Since HT = G and T 6 Ker(ρ), we obtain ρ(H) = ρ(G),
in particular, for every i = 1, . . . , k, there exists xi ∈ H such that S1xi = Si .
Let h ∈ H ∩T . Then h = h1 ·. . .·hk , where hi = πi (h) ∈ Li . Since H ∩T P H, it follows
that hxi ∈ H ∩ T for i = 1, . . . , k. On the other hand, hxi = hx1 i · . . . · hxk i and this identity
with the fact that xi permutes Si -s imply πi (hxi ) = hx1 i . Whence H1xi ⊆ Hi . The same
x−1

arguments show that Hi i ⊆ H1 . Hence H1xi = Hi and |H1 | = |Hi | for i = 1, . . . , k. These
arguments also show that arbitrary x ∈ H permutes Hi -s, so x normalizes H1 × . . . × Hk .
Step 6. Assume H 6 G is chosen so that HT = G. If H ∩ T = H1 × . . . × Hk , then
νp (H) = νp (AutH (S1 )) · |H1 |pk−1
divides νp (G). If H ∩ T 6= H1 × . . . × Hk , then νp (H)
′
k−1
divides νp (AutH (S1 )) · |H1 |p′ , and so νp (H) also divides νp (G).
Let Q be a Sylow p-subgroup of H and P ∈ Sylp (G) is chosen so that P ∩ H = Q.
By Step 3, G/T is a p-group. So H = Q(H ∩ T ) and G = QT . By Lemma 6, there
exists an embedding ϕ : G → AutG (S1 ) ≀ ρ(G) such that for every Q 6 X 6 G we have
ϕ(X) 6 AutX (S1 ) ≀ ρ(Q), so we choose the embedding ϕ with this property. Clearly G
as a subgroup of AutG (S1 ) ≀ ρ(G) with Sylow p-subgroup P 6 AutP (S1 ) ≀ ρ(G) satisfies
conditions of Lemma 7, so νp (G) = |S1 |pk−1
· νp (AutG (S1 )). If H ∩ T = H1 × . . . × Hk , then
′
H as a subgroup of AutH (S1 ) ≀ ρ(H) with Sylow p-subgroup Q 6 AutQ (S1 ) ≀ ρ(G) satisfies
conditions of Lemma 7, so νp (H) = |H1 |pk−1
· νp (AutH (S1 )). Clearly | AutH (S1 )| divides
′
| AutG (S1 )|, while νp (AutH (S1 )) divides νp (AutG (S1 )) by the conditions of the theorem.
Hence νp (H) divides νp (G).
If H ∩T 6= H1 ×. . .×Hk , then H as a subgroup of H(H1 ×. . .×Hk ) satisfies conditions
of Lemma 8. So νp (H) divides νp (H(H1 × . . . × Hk )), and νp (H(H1 × . . . × Hk )) =
|H1 |pk−1
· νp (AutH (S1 )) divides νp (G) in view of the previous paragraph. Hence νp (H)
′
divides νp (G).
Step 7. If H 6 G and HT 6= G, then νp (H) divides νp (G).
Since nonabelian composition factors of HT and G are the same, like in the proof of
Step 3, we can show that HT satisfies conditions of the theorem, so HT satisfies DivSyl(p)
by induction. Therefore νp (H) divides νp (HT ). But by Step 4, νp (HT ) divides νp (G).
Consequently, νp (H) divides νp (G).
In view of Steps 4, 6 and 7, we obtain that in any case νp (H) divides νp (G), which
contradicts the choice of G. This completes the proof.

3

Remarks and questions

In this section we discuss natural question arising after the main theorem. We now can
prove the following
Proposition 1. Let G be an almost simple group with simple socle S such that p does
not divides |S|. Then G satisfies DivSyl(p).
Proof. By Corollary 1, we only need to verify that P S satisfies DivSyl(p) for P ∈ Sylp (G).
Let H be a subgroup of P S. We may assume that P ∩ H ∈ Sylp(H). Since p does not
divides |S|, we have P S = S ⋊ P , and so H = (H ∩ S) ⋊ (H ∩ P ). The known properties
11

of coprime action (see [3, Excersize 3E.4], for example) implies that νp ((H ∩ S) ⋊ (H ∩
P )) = |(H ∩ S) : CH∩S (H ∩ P )| divides |S : CS (H ∩ P )|, while |S : CS (H ∩ P )| divides
|S : CS (P )| = νp (P S). Therefore νp (H) divides νp (P S).
From Proposition 1 we immediately get the following remark
Remark 1. The main theorem is the direct generalization of Navarro theorem since all
nonabelian composition factors of a p-solvable group are p′ -groups.
Remark 2. In conditions of the main theorem, we assume that P (Gi /Gi−1 ) satisfies
DivSyl(p) for every p-subgroup P of AutG (Gi /Gi−1 ). Corollary 1 implies that under
this condition every group L with Gi /Gi−1 6 L 6 AutG (Gi /Gi−1 ) satisfies DivSyl(p).
However the authors do not know any example of almost simple group L with simple
socle S such that L satisfies DivSyl(p), while S does not. So it is natural to assert
Conjecture 1. Let S be a simple group satisfying DivSyl(p). Then every L such that
S 6 L 6 Aut(S) satisfies DivSyl(p).
Remark 3. The of the normalizers of Sylow 2-subgroups in finite simple groups (see [4])
implies that in (infinitely) many almost simple groups the Sylow 2-subgroups are selfnormalizing, so these groups satisfy DivSyl(2). Also the classification of subgroups in
SL2 (pt ) implies that PSL2 (pt ) satisfies DivSyl(p). Of course, there are over examples. We
provide these examples just to show that there are may almost simple groups satisfying
DivSyl(p) that are not p′ -groups.
In connection with Conjecture 1 and Remark 3, the following question arising naturally:
Problem 1. How often almost simple groups satisfy DivSyl(p)?
Problem 2. What almost simple groups satisfy DivSyl(p) for every prime p?
Remark 4. Another possible questions arise: If we try to consider π-Hall subgroups
instead of Sylow p-subgroups. In [6] A. Turull prove that if G is π-separable, then νπ (H)
divides νπ (G) for every H 6 G. It is not hard to see that Lemmas 1–3 hold if we consider
π-separable groups and π-Hall subgroups, so an alternative proof of Turull theorem can be
also obtained by the same arguments. But in order to extend Turull theorem, one needs
to introduce appropriate class of finite groups so that each proper subgroup satisfies Eπ
at least. We do not go into details in this case, we only mention that such possibility
exists and could be considered later.

References
[1] F. Gross, On the existence of Hall subgroups, J. Algebra, 98 (1986), 1–13.
[2] Huppert B. Endliche Gruppen I. Berlin: Springer, 1967. 808 p.
[3] M. Isaacs, Finite group theory, AMS, Graduate studies in mathematics, v. 92, 2008,
352p.
[4] A. S. Kondrat’ev, Normalizers of Sylow 2-subgroups in finite simple groups, Math.
Notes, 78(3–4) (2005), 338-346.
12

[5] G. Navarro, Number of Sylow subgroups in p-solvable groups, Proc. Amer. Math.
Soc., 131(10) (2003), 3019–3020
[6] A. Turull, The number of Hall π-subgroups of a π-separable group, Proc. Amer.
Math. Soc., 132(9) (2004), 2563–2565.
[7] E. P. Vdovin, Groups of induced automorphisms and their application to studying
the existence problem for Hall subgroups, Algebra and logic, 53(5) (2014), 418–421
[8] E. P. Vdovin, Carter subgroups of almost simple groups, Algebra and Logic, 46(2)
(2007), 90–119.
[9] E. P. Vdovin and V. I. Zenkov, The intersection of soluble Hall subgroups in finite
groups, Tr. Inst. Mat. Mech. UrO RAN, 15(2) (2009), 74-83.
[10] V. A. Vedernikov, Finite groups with Hall π-subgroups, Mat. Sb., 203(3) (2012),
23-48.

13

