arXiv:1801.09234v1 [] 28 Jan 2018

On σ-quasinormal subgroups of finite groups

∗

Bin Hu
School of Mathematics and Statistics, Jiangsu Normal University,
Xuzhou, 221116, P.R. China
E-mail: hubin118@126.com

Jianhong Huang

†

School of Mathematics and Statistics, Jiangsu Normal University,
Xuzhou 221116, P. R. China
E-mail: jhh320@126.com

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

Abstract
Let G be a finite groupSand σ = {σi |i ∈ I} some partition of the set of all primes P, that is,
σ = {σi |i ∈ I}, where P = i∈I σi and σi ∩ σj = ∅ for all i 6= j. We say that G is σ-primary if G
is a σi -group for some i. A subgroup A of G is said to be: σ-subnormal in G if there is a subgroup
chain A = A0 ≤ A1 ≤ · · · ≤ An = G such that either Ai−1 E Ai or Ai /(Ai−1 )Ai is σ-primary for
all i = 1, . . . , n; modular in G if the following conditions hold: (i) hX, A ∩ Zi = hX, Ai ∩ Z for all
X ≤ G, Z ≤ G such that X ≤ Z, and (ii) hA, Y ∩ Zi = hA, Y i ∩ Z for all Y ≤ G, Z ≤ G such
that A ≤ Z.
In this paper, a subgroup A of G is called σ-quasinormal in G if L is modular and σ-subnormal
in G.
We study σ-quasinormal subgroups of G. In particular, we prove that if a subgroup H of G
is σ-quasinormal in G, then for every chief factor H/K of G between H G and HG the semidirect
product (H/K) ⋊ (G/CG (H/K)) is σ-primary.

1

Introduction

Throughout this paper, all groups are finite and G always denotes a finite group. Moreover, P is the
set of all primes, π = {p1 , . . . , pn } ⊆ P and π ′ = P \ π. If n is an integer, the symbol π(n) denotes
∗
Research is supported by an NNSF grant of China (Grant No. 11401264) and a TAPP of Jiangsu Higher Education
Institutions (PPZY 2015A013)
†
Corresponding author
0
Keywords: finite group, σ-nilpotent group, σ-subnormal subgroup, modular subgroup, σ-quasinormal subgroup.
0
Mathematics Subject Classification (2010): 20D10, 20D15

1

the set of all primes dividing n; as usual, π(G) = π(|G|), the set of all primes dividing the order of
G.
A subgroup A of G is said to be modular in G [1] if it is a modular element (in the sense of
Kurosh [2, p. 43]) of the lattice of all subgroups of G, that is, the following conditions hold:
(i) hX, M ∩ Zi = hX, M i ∩ Z for all X ≤ G, Z ≤ G such that X ≤ Z, and
(ii) hM, Y ∩ Zi = hM, Y i ∩ Z for all Y ≤ G, Z ≤ G such that M ≤ Z.

S
In what follows, σ is some partition of P, that is, σ = {σi |i ∈ I}, where P = i∈I σi and
σi ∩ σj = ∅ for all i 6= j. By the analogy with the notation π(n), we write σ(n) to denote the set
{σi |σi ∩ π(n) 6= ∅}; σ(G) = σ(|G|).
The group G is said to be: σ-primary [3] if G is a σi -group for some i; σ-decomposable (Shemetkov
[4]) or σ-nilpotent (Guo and Skiba [5]) if G = G1 × · · · × Gn for some σ-primary groups G1 , . . . , Gn .
We use Nσ to denote the class of all σ-nilpotent groups.
We say, following [3], that the subgroup A of G is σ-subnormal in G if it is Nσ -subnormal in G
in the sense of Kegel [6], that is, there is a subgroup chain
A = A0 ≤ A1 ≤ · · · ≤ An = G
such that either Ai−1 E Ai or Ai /(Ai−1 )Ai is σ-nilpotent for all i = 1, . . . , n.
A subgroup A of G is said to be quasinormal [7] or permutable [8, 9] in G if A permutes with
every subgroup L of G, that is, AL = LA.
The quasinormal subgroups have many interesting properties. For instance, if A is quasinormal
in G, then: A is subnormal in G (Ore [7]), A/AG is nilpotent (Ito and Szep [10]) and, in general,
A/AG is not necessarily abelian (Thomson [11]). Every quasinormal subgroup A of G is modular in
G [1]. Moreover, the following properties of quasinormal subgroups are well-known.
Theorem A (See Theorem 5.1.1 in [2]). A subgroup A of G is quasinormal in G if and only if
A is modular and subnormal in G.
Theorem B. If A is a quasinormal subgroup of G, then:
(i) AG /AG is nilpotent (This follows from the above-mentioned results in [7, 10]), and
(ii) Every chief factor H/K of G between AG and AG is central in G, that is, CG (H/K) = G
(Maier and Schmid [12]).
Since every subnormal subgroup of G is σ-subnormal in G, Theorems A and B make natural to
ask: What we can say about the quotient AG /AG provided the subgroup A of G is σ-qusinormal in
the sense of the following definition?
Definition 1.1. Let A be a subgroup of G. Then we say that A is σ-qusinormal in G if A is
modular and σ-subnormal in G.
In this note we give the answer to this question. But before continuing, consider the following
2

Example 1.2. Let p > q, r, t be distinct primes, where t divides r − 1. Let Q be a simple
Fq Cp -module which is faithful for Cp , let Cr ⋊ Ct be a non-abelian group of order rt, and let A = Ct .
Finally, let G = (Q ⋊ Cp ) × (Cr ⋊ Ct ) and B be a subgroup of order q in Q. Then B < Q since p > q.
It is not difficult to show that A is modular in G (see [2, Lemma 5.1.8]). On the other hand, A is
σ-subnormal in G, where σ = {{q, r, t}, {q, r, t}′ }. Hence A is σ-quasinormal in G. It is clear also
that A is not subnormal in G, so A is not quasinormal in G. Finally, note that B is not modular in
G by Lemma 2.2 below.
A chief factor H/K of G is said to be σ-central in G [13] if the semidirect product (H/K) ⋊
(G/CG (H/K)) is σ-primary. Note that G is σ-nilpotent if and only if every chief factor of G is σcentral in G [3]. A subgroup A of G is said to be: σ-seminormal in G (J.C. Beidleman) if x ∈ NG (A)
for all x ∈ G such that σ(|x|) ∩ σ(A) = ∅; seminormal in G if x ∈ NG (A) for all x ∈ G such that
π(|x|) ∩ π(A) = ∅.
Our main goal here is to prove the following
Theorem C. Let A be a σ-quasinormal subgroup of G. Then the following statements hold:
(i) If G possesses a Hall σi -subgroup, then A permutes with each Hall σi -subgroup of G.
(ii) The quotients AG /AG and G/CG (AG /AG ) are σ-nilpotent, and
(iii) Every chief factor of G between AG and AG is σ-central in G.
(iv) For every i such that σi ∈ σ(G/CG (AG /AG )) we have σi ∈ σ(AG /AG ).
(v) A is σ-seminormal in G.
The subgroup A of G is subnormal in G if and only if it is σ-subnormal in G, where σ = σ 1 =
{{2}, {3}, . . .} (we use here the terminology in [14]). It is clear also that G is nilpotent if and only
if G is σ 1 -nilpotent, and a chief factor H/K of G is central in G if and only if H/K is σ 1 -central in
G. Therefore Theorem B is a special case of Theorem C, when σ = σ 1 .
In the other classical case when σ = σ π = {π, π ′ }: G is σ π -nilpotent if and only if G is πdecomposable, that is, G = Oπ (G) × Oπ′ (G)); a subgroup A of G is σ π -subnormal in G if and only if
there is a subgroup chain
A = A0 ≤ A1 ≤ · · · ≤ An = G
such that either Ai−1 E Ai or Ai /(Ai−1 )Ai is a π0 -group, where π0 ∈ {π, π ′ }, for all i = 1, . . . , n.
Thus, in this case we get from Theorem C the following
Corollary 1.3. Suppose that A is modular subgroup of G and there is a subgroup chain
A = A0 ≤ A1 ≤ · · · ≤ An = G
such that either Ai−1 E Ai or Ai /(Ai−1 )Ai is a π0 -group, where π0 ∈ {π, π ′ }, for all i = 1, . . . , n.
Then the following statements hold:
(i) If G possesses a Hall π0 -subgroup, where π0 ∈ {π, π ′ }, then A permutes with each Hall
π0 -subgroup of G.
3

(ii) The quotients AG /AG and G/CG (AG /AG ) are π-decomposable, and
(iii) For every chief factor H/K of G between AG and AG the semidirect product (H/K) ⋊
(G/CG (H/K)) is either a π-group or a π ′ -group.
In fact, in the theory of π-soluble groups (π = {p1 , . . . , pn }) we deal with the partition σ = σ 1π =
{{p1 }, . . . , {pn }, π ′ } of P. Note that G is σ 1π -nilpotent if and only if G is π-special [15], that is,
G = Op1 (G) × · · · × Opn (G) × Oπ′ (G). A subgroup A of G is σ 1π -subnormal in G if and only if it is
F-subnormal in G in the sense of Kegel [6], where F is the class of all π ′ -groups. Therefore, in this
case we get from Theorem C the following
Corollary 1.4. Suppose that A is a modular subgroup of G and there is a subgroup chain
A = A0 ≤ A1 ≤ · · · ≤ An = G
such that either Ai−1 E Ai or Ai /(Ai−1 )Ai is a π ′ -group. Then the following statements hold:
(i) A permutes with every Sylow p-subgroup of G for all p ∈ π, and if G possesses a Hall π ′ subgroup, then A permutes with each Hall π ′ -subgroup of G.
(ii) The quotients AG /AG and G/CG (AG /AG ) are π-special, and
(iii) For every non-central chief factor H/K of G between AG and AG the semidirect product
(H/K) ⋊ (G/CG (H/K)) is a π ′ -group.

2

Preliminaries

If G = A ⋊ hti is non-abelian with an elementary abelian p-group A and an element t of prime order
q 6= p induces a non-trivial power automorphism on A, then we say G is a P -group of type (p, q) (see
[2, p. 49]).
Lemma 2.1 (See Lemma 2.2.2(d) in [2]). If G = A ⋊ hti is a P -group of type (p, q), then
= G.

htiG

The following remarkable result of R. Schmidt plays a key role in the proof of Theorem C.
Lemma 2.2 (See Theorems 5.1.14 in [2]). Let M be a modular subgroup of G with MG = 1.
Then G = S1 × · · · × Sr × K, where 0 ≤ r ∈ Z and for all i, j ∈ {1, . . . , r},
(a) Si is a non-abelian P -group,
(b) (|Si |, |Sj |) = 1 = (|Si |, |K|) for all i 6= j,
(c) M = Q1 × · · · × Qr × (M ∩ K) and Qi is a non-normal Sylow subgroup of Si ,
(d) M ∩ K is quasinormal in G.
Lemma 2.3 (See Lemma 2.6 in [3]). Let A, B and N be subgroups of G, where A is σ-subnormal
and N is normal in G. Then:
(1) A ∩ B is σ-subnormal in B.
4

(2) AN/N is σ-subnormal in G/N .
(3) A ∩ H is a Hall σi -subgroup of A for every Hall σi -subgroup H of G.
The following lemma is a corollary of Lemma 2.3 and general properties of modular subgroups
[2, p. 201].
Lemma 2.4. Let A, B and N be subgroups of G, where A is σ-quasinormal and N is normal in
G.
(1) If A ≤ B, then A is σ-quasinormal in B.
(2) AN/N is σ-quasinormal in G/N .
A normal subgroup E of G is said to be σ-hypercentral (in G) if either E = 1 or every chief factor
of G below E is σ-central. We use Zσ (G) to denote the σ-hypercentre of G [13], that is, the product
of all normal σ-hypercentral subgroups of G.
Lemma 2.5. Every chief factor of G below Zσ (G) is σ-central in G.
Proof. It is enough to consider the case when Z = A1 A2 , where A1 and A2 are normal σhypercentral subgroups of G. Moreover, in view of the Jordan-Hölder theorem for the chief series,
it is enough to show that if A1 ≤ K < H ≤ A1 A2 , then H/K is σ-central. But in this case we
have H = A1 (H ∩ A2 ), where H ∩ A2  K and so from the G-isomorphism (H ∩ A2 )/(K ∩ A2 ) ≃
(H ∩ A2 )K/K = H/K we get that CG (H/K) = CG ((H ∩ A2 )/(K ∩ A2 )) and hence H/K is σ-central
in G. The lemma is proved.
Lemma 2.6. Let N be a normal σi -subgroup of G. Then N ≤ Zσ (G) if and only if Oσi (G) ≤
CG (N ).
Proof. If O σi (G) ≤ CG (N ), then for every chief factor H/K of G below N both groups H/K
and G/CG (H/K) are σi -group since G/Oσi (G) is a σi -group. Hence (H/K) ⋊ (G/CG (H/K)) is
σ-primary. Thus N ≤ Zσ (G).
Now assume that N ≤ Zσ (G). Let 1 = Z0 < Z1 < · · · < Zt = N be a chief series of G below
N and Ci = CG (Zi /Zi−1 ). Let C = C1 ∩ · · · ∩ Ct . Then G/C is a σi -group. On the other hand,
C/CG (N ) ≃ A ≤ Aut(N ) stabilizes the series 1 = Z0 < Z1 < · · · < Zt = N , so C/CG (N ) is a π(N )group by [16, Ch. A, Corollary 12.4(a)]. Hence G/CG (N ) is a σi -group and so Oσi (G) ≤ CG (N ).
The lemma is proved.

3

Proof of Theorem C

Suppose that this theorem is false and let G be a counterexample of minimal order. Then 1 < A < G.
We can assume without loss of generality that σ(A) = {σ1 , . . . , σm }.
(1) Statement (i) holds for G.
Suppose that this assertion is false. Then for some Hall σi -subgroup V of G we have AV 6= V A.
5

It is clear that V is a Hall σi -subgroup V of hA, V i. On the other hand, A is σ-quasinormal in hA, V i
by Lemma 2.4(1). Therefore in the case when hA, V i < G, we have AV = V A by the choice of G.
Thus hA, V i = G.
Since A is σ-subnormal in G, there is a subgroup chain A = A0 ≤ A1 ≤ · · · ≤ An = G such that
either Ai−1 E Ai or Ai /(Ai−1 )Ai is σ-primary for all i = 1, . . . , n. We can assume without loss of
generality that M = An−1 < G. Then A permutes with every Hall σi -subgroup of M by the choice
of G.
Moreover, the modularity of A in G implies that
M = M ∩ hA, V i = hA, M ∩ V i.
On the other hand, by Lemma 2.3(3), M ∩ V is a Hall σi -subgroup of M . Hence M = A(M ∩ V ) =
(M ∩ V )A by the choice of G.
If V ≤ MG , then A(M ∩ V ) = AV = V A and so V  MG . Now note that V M = M V . Indeed, if
M is normal in G, it is clear. Otherwise, G/MG is σ-primary and so G = M V = V M since V  MG
and V is a Hall σi -subgroup of G. Therefore
V A = V (M ∩ V )A = V M = M V = A(M ∩ V )V = AV.
This contradiction completes the proof of (1).
(2) AG = 1.
Suppose that AG 6= 1 and let R be a minimal normal subgroup of G contained in AG . Then A/R
is σ-quasinormal in G/R by Lemma 2.4(2), so the hypothesis holds for (G/R, A/R). Therefore the
choice of G implies that Statements (ii)–(v) hold for (G/R, A/R). Hence
(A/R)G/R /(A/R)G/R = (AG /R)/(AG /R) ≃ AG /AG
and
(G/R)/CG/R ((A/R)G/R /(A/R)G/R ) = (G/R)/(CG (AG /AG )/R) ≃ G/CG (AG /AG )
are σ-nilpotent, so Statement (ii) holds for G.
Now let T /L be any chief factor of G between AG and AG . Then (T /R)/(L/R) is a chief factor
of G/R between (A/R)G/R and (A/R)G/R and so (T /R)/(L/R) is σ-central in G/R, that is,
((T /R)/(L/R)) ⋊ ((G/R)/C(G/R) ((T /R)/(L/R)))
is σ-primary. Since the factors (T /R)/(L/R) and T /L are G-isomorphic, it follows that (T /L) ⋊
(G/CG (T /L)) is σ-primary too. Hence T /L is σ-central in G. Thus Statement (iii) holds for G.
If i such that
σi ∩ π(G/CG (AG /AG )) = σi ∩ π((G/R)/CG/R ((A/R)G/R /(A/R)G/R )) 6= ∅,
6

then
σi ∩ π(AG /AG ) = σi ∩ π((A/R)G/R /(A/R)G/R ) 6= ∅
and so Statement (iv) holds for G too.
Finally, if x ∈ G is such that σ(A)∩σ(|x|) = ∅, then σ(A/R)∩σ(|xR|) = ∅, so xR ∈ NG/R (A/R) =
NG (A)/R and hence Statement (v) holds for G. Therefore, in view of Claim (1), the conclusion of
the theorem holds for G, which contradicts the choice of G. Hence AG = 1.
(3) If A is a σi -group, then A ≤ Oσi (G).
It is enough to show that if A is any σ-subnormal σi -subgroup of G, then A ≤ Oσi (G). Assume
that this is false and let G be a counterexample of minimal order. Then 1 < A < G. Let D = Oσi (G),
R be a minimal normal subgroup of G and O/R = Oσi (G/R). Then the choice of G and Lemma
2.4(ii) imply that AR/R ≤ O/R. Therefore R  D, so D = 1 and A ∩ R < R. It is clear also that
Oσi (R) = R. Suppose that L = A ∩ R 6= 1. Lemma 2.3(2) implies that L is σ-subnormal in R. If
R < G, the choice of G implies that L ≤ Oσi (R) ≤ D since Oσi (R) is a characteristic subgroup of
R. But then D 6= 1, a contradiction. Hence R = G is a simple group, which is also impossible since
1 < A < G. Therefore R ∩ A = 1. If O < G, the choice of G implies that A ≤ Oσi (O) ≤ D = 1.
Therefore G/R = O/R is a σi -group. Hence R is a unique minimal normal subgroup of G. It is clear
also that R  Φ(G), so CG (R) ≤ R by [16, Ch. A, 15.2].
Now we show that G = RA. Indeed, if RA < G, then the choice of G and Lemma 2.3(1) imply
that A ≤ Oσi (RA) and so A = Oσi (RA) since Oσi (R) = 1, which implies that RA = R × A. But
then A ≤ CG (R) ≤ R and so A = 1 since A ∩ R = 1. This contradiction shows that G = RA.
Since A is σ-subnormal in G, there is a subgroup M such that A ≤ M < G and either M E G
or G/MG is σ-primary. Since R is a unique minimal normal subgroup of G and A ≤ M < G = RA,
R  M and hence G/MG = G/1 is a σi -group. Therefore A ≤ Oσi (G) = G. This contradiction
completes the proof of (3).
(4) A ≤ Oσ1 (G) × · · · × Oσm (G). Hence AG = Oσ1 (AG ) × · · · × Oσm (AG ).
Claim (2) and Lemma 2.2(c)(d) imply that A = A1 × · · · × Am , where Ai is a Hall σi -subgroup
of A for all i = 1, . . . , m. On the other hand, since A is σ-subnormal in G, we have Ai ≤ Oσi (G) by
Claim (3). Hence we have (4).
(5) Statement (iii) holds for G.
Let T /L be any chief factor of G below AG . Suppose that T /L is not σ-central in G. Theorem B(ii)
implies then that A is not quasinormal in G, so in view of Lemma 2.2, we have G = S1 × · · · × Sr × K,
where for all i, j ∈ {1, . . . , r} the following hold:
(a) Si is a non-abelian P -group,
(b) (|Si |, |Sj |) = 1 = (|Si |, |K|) for i 6= j,
(c) A = Q1 × · · · × Qr × (A ∩ K) and Qi is a non-normal Sylow subgroup of Si , and
7

(d) A ∩ K is quasinormal in G.
Hence, in view of Claim (3),
G
G
G
G
AG = QG
1 × · · · × Qr × (A ∩ K) = Oσ1 (A ) × · · · × Oσm (A ),

where (A ∩ K)G ≤ Z∞ (G) ≤ Zσ (G) by Theorem B(ii) since (A ∩ K)G ≤ AG = 1 by Claim (2).
Therefore, in view of the Jordan-Gölder theorem for the chief series, we can assume without loss of
generality that T ≤ Sk for some k.
Now note that for all i, j we have either Si ≤ Oσj (AG ) or Si ∩ Oσj (AG ) = 1. Indeed, assume that
G
Si ∩ Oσj (AG ) 6= 1. It is clear that for some t we have Qi ≤ Oσt (AG ). Then QG
i = Si ≤ Oσt (A ) by
Lemma 2.1. Hence j = t since Oσj (AG ) ∩ Oσt (AG ) = 1 for j 6= t. Therefore all Si are σ-primary.
Moreover, if Si is a σl -group, then G/CG (Si ) is a σl -group since G = S1 × · · · × Sr × K. Therefore
Sk ≤ Zσ (G) by Lemma 2.6 and so T /L is σ-central in G by Lemma 2.5, a contradiction. Hence
Statement (iii) holds for G.
(6) Statements (ii) and (iv) hold for G.
From Claim (3) we know that AG = Oσ1 (AG ) × · · · × Oσm (AG ). Then
CG (AG ) = CG (Oσ1 (AG )) ∩ · · · ∩ CG (Oσm (AG )).
From Claims (2), (4) and Lemma 2.6 we know that G/CG (Oσi (AG )) is a σi -group for all i = 1, . . . , m.
Therefore, in view of [17, Ch. I, 9.6],
G/CG (AG ) = G/(CG (Oσ1 (AG )) ∩ · · · ∩ CG (Oσm (AG )))
≃ V ≤ (G/CG (Oσ1 (AG ))) × · · · × (G/CG (Oσm (AG )))
is σ-nilpotent, and for every i such that σi ∈ σ(G/CG (AG )) we have σi ∈ σ(AG ). Hence Statements
(ii) and (iv) hold for G.
(7) Statement (v) holds for G.
Suppose that x ∈ G is such that σ(A) ∩ σ(|x|) = ∅. Then the modularity of A and Claim (4)
imply that A = Oσ1 (AG ) × · · · × Oσm (AG ) ∩ hA, hxii is normal in hA, hxii, so x ∈ NG (A). Hence we
have (7).
From Claims (1), (5)–(7) it follows that the conclusion of the theorem holds for G, which contradicts the choice of G. The theorem is proved.

References
[1] R. Schmidt, Modulare Untergruppen endlicher Gruppen, Illinois J. Math., 13 (1969), 358–377.
[2] R. Schmidt, Subgroup Lattices of Groups, Walter de Gruyter, Berlin, 1994.
8

[3] A.N. Skiba, On σ-subnormal and σ-permutable subgroups of finite groups, J. Algebra, 436
(2015), 1–16.
[4] L.A. Shemetkov, Formations of finite groups, Nauka, Main Editorial Board for Physical and
Mathematical Literature, Moscow, 1978.
[5] W. Guo, A.N. Skiba, Finite groups with permutable complete Wielandt sets of subgroups, J.
Group Theory, 18 (2015), 191–200.
[6] O.H. Kegel, Untergruppenverbande endlicher Gruppen, die den subnormalteilerverband each
enthalten, Arch. Math., 30(3) (1978), 225–228.
[7] O. Ore, Contributions in the theory of groups of finite order, Duke Math., 5 (1939), 431–460.
[8] S.E. Stonehewer, Permutable subgroups in Infinite Groups, Math. Z., 125 (1972), 1–16.
[9] A. Ballester-Bolinches, R. Esteban-Romero, M. Asaad, Products of Finite Groups, Walter de
Gruyter, Berlin-New York, 2010.
[10] N. Ito, J. Szép, Uber die Quasinormalteiler von endlichen Gruppen, Act. Sci. Math., 23 (1962),
168–170.
[11] J.G. Thompson, An example of core-free quasinormal subgroup of p-group, Math. Z., 96 (1973),
226–227.
[12] R. Maier, P. Schmid, The embedding of permutable subgroups in finite groups, Math. Z., 131
(1973), 269–272.
[13] A.N. Skiba, On some results in the theory of finite partially soluble groups, Comm. Math. Stat.,
4(3) (2016), 281–309.
[14] A.N. Skiba, Some characterizations of finite σ-soluble P σT -groups, J. Algebra, 495 (2018),
114–129.
[15] S.A. Chunikhin, Subgroups of finite groups, Nauka i Tehnika, Minsk, 1964.
[16] K. Doerk, T. Hawkes, Finite Soluble Groups, Walter de Gruyter, Berlin-New York, 1992.
[17] B. Huppert, Endliche Gruppen I, Springer-Verlag, Berlin-Heidelberg-New York, 1967.

9

