ON THE AUTOMORPHISM GROUPS OF FROBENIUS GROUPS

arXiv:1610.05914v3 [] 14 Feb 2017

LEI WANG

Abstract. This is one of a series papers which aim towards to solve the problem of determining automorphism groups of Frobenius groups. This one solves
the problem in the case where the Frobenius kernels are elementary abelian and
Frobenius complements are cyclic.

keywords. Frobenius group, automorphism group
1. Introduction
A Frobenius group G is a semidirect product of a normal subgroup V by a subgroup H such that none of the non-identity elements of H centralizes a non-identity
element of V , where V is called the Frobenius kernel and H is called a Frobenius
complement of G. Furthermore, by the well-known result of Thompson, the Frobenius kernel is a nilpotent group, and by Burnside’s result, each Sylow subgroup of a
Frobenius complement is a metacyclic group with restricted properties.
Frobenius groups form an important class of groups, and have been extensively
studied in the literature, refer to [5, 9, 11, 18, 19, 20, 21, 22]. A natural problem
arises:
Problem A. Determine automorphism groups of Frobenius groups.
The problem is unsolved yet. This paper solves it in the case where the Frobenius
kernels are elementary abelian, and Frobenius complements are cyclic.
Frobenius groups have played an important role not only in group theory, but
also in various applications, refer to [13, p.320-324] for the applications in algebraic
structures, and see [2, 4, 7, 10, 14, 15, 16, 17] for the applications in algebraic
graph theory. In these applications, determining automorphism groups of certain
Frobenius groups is a crucial step. This is actually one of our principle motivations
for the work of this paper.
In order to state our results, we need to introduce some notation. For a finite
group G and a field F, we denote by Irr(FG) a complete set of representatives for
the isomorphism classes of irreducible FG-modules. But we mean by V ∈ Irr(FG)
that V is an irreducible FG-module for convenience. For a positive integer e and
an element V ∈ Irr(FG), we abuse notation and denote by V e a homogeneous FGmodule. Let H 6 G, and let V be an FG-module. We denote by VH the FH-module
obtained by restricting the action of FG on V to FH. For positive integers a, m, we
call m the order of a modulo n if n divides am − 1 but n does not divide ai − 1 for
i < m, and denote m by ordn (a).
Theorem 1.1. Let G = V :H = Cdp :Cn be a Frobenius group, where p is a prime,
and d, n are positive integers. Set M = NGL(V ) (H). Then we have
Date: February 15, 2017.
2000 Mathematics Subject Classification. 20B05, 20C15, 20F28.
1

2

LEI WANG

(i) VM = V1 × V2 × · · · × Vs , where Vi ∈ Irr(Fp M) and Vi ∼
6= Vj (i 6= j);
(ii) (Vi )H = Vi1ei × Vi2ei × · · · × Viℓei and dimFp Vij = f , where Vij ∈ Irr(Fp H),
Vij ∼
6= Vik (j 6= k), and f = ordn (p);
(iii) Aut(G) = V.(((GL(e1 , pf )ℓ ×· · ·×GL(es , pf )ℓ ).Cf ).L), where Cf .L 6 Aut(H),
|L| = ℓ and (e1 + · · · + es )f ℓ = d.
Note that Cf in Theorem 1.1 is the group of Frobenius automorphisms of the
finite field Fpf , which induces an automorphism group of H (resp. Cpf −1 ) of order
f . We sometimes call such Cf and its subgroups the field automorphism groups of
H (resp. Cpf −1 ).
Theorem 1.2. Let G = V :H = (V1 × V2 × · · · × Vk ):H be a Frobenius group, where
Vi = Cdpii and H = Cn , for distinct primes pi and positive integers k, di , n. Then
H < Aut(V ) = GL(d1 , p1 ) × · · · × GL(dk , pk ), and M := NAut(V ) (H) is such that the
following statements hold:
(i) (Vi )M = Vi1 × Vi2 × · · · × Visi , where Vij ∈ Irr(Fpi M) and Vij ∼
6= Vik (j 6= k);
e
e
e
(ii) (Vij )H = Vij1ij × Vij2ij × · · · × Vijℓiji and dimFpi Vijk = fi , where Vijk ∈ Irr(Fpi H),
Vijk ∼
6= Vijl (k 6= l), and fi = ordn (pi );
Q
(iii) Aut(G) = V.(( ki=1 (GL(ei1 , pfi i )ℓi × · · · × GL(eisi , pfi i )ℓi )).L), where L 6
Aut(H), |L|/ℓi is the order of field automorphism group induced on Cpfi −1 in
i
L, and (ei1 + · · · + eisi )ℓi fi = di for 1 6 i 6 k.
In subsequent work, we apply Theorems 1.1 and 1.2 to characterise a class of finite
groups, and their Cayley graphs.
2. Preliminary
In this section, we introduce some definitions and quote some preliminary results
which will be used later. For a group G, denote by Z(G) the center of G. For a
group T and an integer ℓ, by T ℓ we mean the direct product of ℓ copies of T . For
a positive integer n and a prime p, denote by Cn and Cnp a cyclic group of order n
and an elementary abelian group of order pn , respectively. Given two groups N and
K, denote by N × K the direct product of N and K, by N.K an extension of N by
K, and if such an extension is split, then we write N:K instead of N.K.
Lemma 2.1. Let G be a finite group with Z(G) = 1. Then CAut(G) (Inn(G)) = 1.
Proof. By the assumption, we have G ∼
= Inn(G). By definition, we mean by g̃ ∈
Inn(G) that an action of g̃ on G is induced by the conjugation action of g, where
g ∈ G. Let C: = CAut(G) (Inn(G)). Assume, if possible, that C 6= 1. Take some
σ ∈ C \ {1}. Then, for any g̃ ∈ Inn(G), we have σ −1 g̃σ = g̃, and hence
xσ

−1 g̃σ

= xg̃ for any x ∈ G.

It follows that (g σ )−1 xg σ = g −1 xg. So g σ g −1 centralises x, and hence g σ g −1 fixes G
pointwise. Note that Z(G) = 1, we deduce that g σ g −1 = 1. Thus g σ = g, and so σ
centralises G, whence σ = 1. This contradiction completes the proof.
✷
Let G = V :H be a Frobenius group with the Frobenius kernel V and a Frobenius
complement H. Then Inn(G) ∼
= G since Z(G) = 1. Throughout the remainder of
this paper, we will identify G with Inn(G) a normal subgroup of Aut(G), refer to
Lemma 2.1, unless specified otherwise.

AUTOMORPHISM GROUPS

3

Lemma 2.2. Using the notation introduced above, we have
(1) CAut(G) (V ) = Z(V );
(2) if V is abelian, then Aut(G) and H induce the subgroups A: = Aut(G)/V
and H: = G/V ∼
= H of Aut(V ), respectively, such that H ✁ A and A =
NAut(V ) (H). Moreover, Aut(G) is isomorphic to a subgroup of the holomorph
of V .
Proof. (1) Let A: = Aut(G). By the convention made above, we have
V char V :H = G ✁ A,
and thus V ✁ A. Let C: = CA (V ). Since Z(V ) is abelian, implying that Z(V ) 6 C.
We will show in fact C = Z(V ).
Since V ✁ A, we deduce that C ✂ A. By the assumption, we have G ∩ C =
CG (V ) = Z(V ). Let G = G/Z(V ), and C = C/Z(V ). Note that G and C are two
normal subgroups of A, we obtain that GC/Z(V ) = G × C. Take any θ ∈ C. It
follows that, for any g ∈ G, we have that [θ, g −1 ] belongs to Z(V ), which forces that
g θ belongs to Z(V )g. Thus, for any g ∈ G, we get g θ = xg g, where xg ∈ Z(V ).
Let N = Z(V ):H. Then N is a Frobenius subgroup of G. For any h ∈ H, hθ
belongs to N by the previous paragraph. It implies that H θ is a subgroup of N. Note
that H and H θ are two Hall subgroups of N. It follows from Schur-Zassenhaus’s
−1
Theorem that there exists some y ∈ Z(V ) such that H θy = H. By the definition
of θ, it is easily shown that θy −1 centralises H. Since θ fixes V pointwise, we obtain
that θy −1 centralises V , and hence θy −1 fixes G pointwise. It implies that θ = y,
and so C = Z(V ). This statement follows.
(2) Suppose that V is abelian. Then CA (V ) = V . The group A induces a
subgroup A: = A/V of Aut(V ) that contains the subgroup H ∼
= H induced by the
conjugation action of H as a normal subgroup (because H = V H/V = G/V ✂ A).
It follows that A 6 NAut(V ) (H). In fact, we will show that A = NAut(V ) (H).
Let X: = R(V ):Aut(V ) be the holomorph of V . By definition, Aut(V ) acts naturally on R(V ). Let G: = R(V ):H. Clearly, the action of H on R(V ) is the same
as the action of H on V . It follows that the subgroup R(V ):A of X has a normal
subgroup G, and G ∼
= Inn(G) ∼
= G. Thus A ∼
= R(V ):A, a subgroup of X. Each
element z ∈ NAut(V ) (H) normalises the subgroup G of X, and thus induces an automorphism of G by conjugation. Thus z is an automorphism of G which is induced
by an automorphism of G ∼
= G, and hence z ∈ A. Consequently, A = NAut(V ) (H).
This completes the proof of Lemma 2.2.
✷
Finally, we quote a result about Maschke’s theorem, which will be used later.
Lemma 2.3. (see [6, p.39]) Let π be a set of primes and let a π ′ -group H act on an
abelian π-group G. Suppose that G = A × B and A is fixed by H. Then there exists
a subgroup K of G such that G = A × K and H fixes both A and K.
3. The automorphism groups of Frobenius groups Cdp :Cn
In the following
sections, we determine the full automorphism groups of FrobeQk two
di
nius groups ( i=1 Cpi ):Cn , where all pi are pairwise distinct primes, and k, di , n are
positive integers. Throughout the remainder of this note, we denote by G these
Frobenius groups, unless specified otherwise.

4

LEI WANG

Let G = V :H. By Lemma 2.2, Aut(G)/V ∼
= NAut(V ) (H). Therefore, in order to
determine Aut(G), we only need to determine the normaliser
M: = NAut(V ) (H).
In this section, we first assume that V = Cdp is an elementary abelian p-group
where p is a prime, and H = Cn is cyclic. Then the Frobenius group
G = V :H = Cdp :Cn .
Let Fp be a field of order p. View V as a vector space of dimension d over Fp . The
action of H on the vector space V can be further viewed as a faithful Fp H-module.
Now H is a subgroup of Aut(V ) = GL(V ) = GL(d, p), and
M: = NAut(V ) (H) = NGL(d,p) (H).
That is to say, Aut(G)/V = M is a subgroup of GL(d, p) which has a cyclic normal
subgroup H.
If H is irreducible on V , then the normaliser M has been determined via reference
to [11, Theorem 7.3, p.187]:
M = ΓL(1, pd ).
We thus assume that H is reducible on V . By Lemma 2.3, V can be decomposed as
VH = U1 × · · · × Ut
such that H normalises each Ui , and Ui is irreducible with respect to the action of H.
If all Ui are pairwise isomorphic Fp H-submodules of V , then we call V = U1 ×· · ·×Ut
a homogeneous decomposition of V .
In the case where H is reducible and homogeneous on V , the normaliser M is
determined in the proof of [4, Lemma 4.5] (see the second paragraph of the proof
on page 14). For the completeness, we state it in the next lemma and give a short
proof here.
By [3], all faithful irreducible Fp H-modules have equal dimension. That is to say,
the same dimension is the order of p modulo n. Throughout this section, denote by
f this common dimension, unless specified otherwise.
Lemma 3.1. If V is a homogeneous Fp H-module, then M = ΓL(t, pf ) where d = tf .
Proof. Since V is a homogeneous Fp H-module, V has the decomposition
VH = U1 × · · · × Ut ∼
= U t,
where Ui ∼
= U is a faithful irreducible Fp H-modules. Then U is of dimension f , and
hence tf = d. By [1, 27.14], we have that
CGL(d,p) (H) ∼
= GL(t, pf ).
By assumption, we may identify the action of H on each Ui with the action of H on
U. Under this identification, we obtain that CGL(d,p) (H) = GL(t, pf ).
Since the centraliser CGL(d,p) (H) is normal in the normaliser M, we have
M 6 NGL(d,p) (CGL(d,p) (H)) = GL(t, pf ).Cf = ΓL(t, pf ),
where Cf is the group of field automorphisms of H. Furthermore, note that the
cyclic group H is characteristic in Cpf −1 , and Cpf −1 is the center of CGL(d,p) (H) =
GL(t, pf ). It follows that H is a characteristic subgroup of GL(t, pf ), forcing that
H ✂ ΓL(t, pf ). Thus M = ΓL(t, pf ).
✷

AUTOMORPHISM GROUPS

5

We now assume that the Fp H-module V is not homogeneous. Although H is
reducible, the overgroup M = NGL(d,p) (H) may be irreducible. We proceed our proof
in two subsections, which treat the irreducible and reducible cases, respectively.
3.1. The normaliser NGL(d,p) (H) is irreducible. In this subsection, we assume
that M acts irreducibly on V . By Clifford’s Theorem, V can be decomposed as
VH = W1 × · · · × Wm ,
such that all Wi are pairwise non-isomorphic homogeneous Fp H-modules. Furthermore, M acts transitively on {W1 , . . . , Wm }, and hence
M 6 (GL(W1 ) × · · · × GL(Wm )):Sm ,
where Sm = Sym({1, 2, . . . , m}). By Lemma 3.1, all Wi have the same dimension, say
ef . In what follows, we will see in fact that M can be embedded into ΓL(e, pf ) ≀ Sm .
Q
Let Gi be the quotient group of G modulo j6=i Wj , where 1 6 i 6 m. Then
Gi = Wi :Hi where Hi ∼
= H = Cn , and it implies that Gi = Cef
p :Cn is a Frobenius
group. Let Hi = hhi i for 1 6 i 6 m. The group G = (W1 × · · · × Wm ):H can be
embedded into
(W1 :H1 ) × · · · × (Wm :Hm ),
as a subgroup such that H = hhi where h = (h1 , . . . , hm ).
Let R = G1 × · · · × Gm . Let πi (1 6 i 6 m) be the projection map
R → Gi : (x1 , . . . , xm ) 7→ xi .
With slight abuse of terminology, we use Gi to denote either the subgroup Wi :Hi of
R or the image πi (R), depending on the context.
For notational convenience, we identify each Wi Q
with a vector space of dimension
m
ef over Fp , and then we denote by B the group m
i=1 GL(Wi ) = GL(ef, p) . We
will use the notation introduced above in the following lemmas.
Lemma 3.2. CB∩M (H) = GL(e, pf )m , where ef m = dimFp V .
Proof. Let Ĥ = H1 × · · · × Hm . By the previous discussion, H can be embedded as
a subgroup into Ĥ. It follows that the action of Hi on Wi gives rise to the action of
H on Wi . Thus Wi is a homogeneous Fp Hi -module. By Lemma 3.1, we obtain that
CGL(Wi ) (Hi ) = GL(e, pf ), and dimFp Wi = ef , where 1 6 i 6 m.
For any c ∈ CB∩M (H), c has the form c = (c1 , . . . , cm ), where ci ∈ GL(Wi ) for
each i. Then we have
(hc11 , . . . , hcmm ) = hc = h = (h1 , . . . , hm ).
It follows that hci i = hi , and hence ci centralises Hi , where 1 6 i 6 m. It implies
that ci ∈ CGL(Wi ) (Hi ) = GL(e, pf ), forcing that CB∩M (H) 6 GL(e, pf )m . Thus the
statement follows.
✷
Let R̃ = R1 × · · · × Rk , where Ri ∼
= Rj for any i, j. We call R̂ a diagonal subgroup
of R̃ if
R̂ = {(x1 , xϕ1 2 , . . . , xϕ1 k ) | x1 ∈ R1 },
where ϕi is an isomorphism from R1 to Ri for 2 6 i 6 k.

6

LEI WANG

By Lemma 3.2, H can be embedded as a diagonal subgroup into
GL(e, pf )m = GL(e, pf ) × · · · × GL(e, pf ).
Note that B ∩ M ✂ M, it follows that CB∩M (H) ✂ M, and hence
GL(e, pf )m 6 M 6 ΓL(e, pf ) ≀ Sm .
Lemma 3.3. B ∩ M = GL(e, pf )m .Cf , where ef m = dimFp V .
Proof. For any σ ∈ B ∩ M, we have
σ = (σ1 , . . . , σm ) where σi ∈ GL(Wi ) for 1 6 i 6 m.
By the choice of σ, there exists a positive integer λ such that
(hσ1 1 , . . . , hσmm ) = hσ = hλ = (hλ1 , . . . , hλm ).
It follows that hσi i = hλi , and hence σi ∈ NGL(Wi ) (Hi ) for 1 6 i 6 m.
Note that the action of Hi on Wi gives rise to the action of H on Wi . It follows
that Wi is a homogeneous Fp Hi -module, where 1 6 i 6 m. Let (Wi )Hi = Ui1 ×
· · · × Uie , where all Uij are pairwise isomorphic faithful irreducible Fp Hi -modules.
By Lemma 3.1, we may identify each Uij with a field F: = Fpf of order pf , and there
exists ωi ∈ F× of order n such that hi acts on each x ∈ Uij by hi : x 7→ ωi x, also refer
to [11, p.187, Theorem 7.3]. Under this identification, NAut(Wi ) (Hi ) = ΓL(e, pf ), and
so σi belongs to ΓL(e, pf ). Thus, by Lemma 3.2, we obtain
GL(e, pf )m 6 B ∩ M 6 ΓL(e, pf )m .
It is well-known that the field F admits a Frobenius automorphism F of order f .
By the previous paragraph, the action of hi on Wi is equivalent to the action of ωi
on Wi by the left multiplication. It follows that F induces a field automorphism αi
of Hi of order f , where 1 6 i 6 m. Without loss of generality, we may assume that
hαi i = hpi for each i. Let φ = (α1 , . . . , αm ). By the above discussion, φ is a field
automorphism of H, which is of order f . To sum up, B ∩ M = GL(e, pf )m .Cf . This
completes the proof.
✷
We continue of course to use the notation introduced in this subsection before
Lemma 3.2. Note that in the proof of Lemma 3.3, each Hi can be embedded into
CGL(Wi ) (Hi ) = GL(e, pf ), and so Hi admits a field automorphism αi of order f .
Thus, for any σ ∈ M, σ can be written as
where c ∈

Qm

i=1

km
σ = c(α1k1 , . . . , αm
)π,

CGL(Wi ) (Hi ), all ki are non-negative integers, and π ∈ Sm .

Lemma 3.4. CGL(V ) (H) = GL(e, pf )m , where ef m = dimFp V .
Proof. As mentioned above, for any σ ∈ CGL(V ) (H), we have
km
σ = c(α1k1 , . . . , αm
)π,

where c, ki and π are as above. For the field automorphism αi , we may assume that
hαi i = hpi where 1 6 i 6 m. Suppose, if possible, that σ 6∈ GL(e, pf )m . If π = 1, then
there exists some i0 for which ki0 6≡ 0 (mod f ), where 1 6 i0 6 m. By the choice of
ki
0

σ, we conclude that hi0 = hpi0 , which is absurd. Thus π 6= 1. So π moves at least
−1
one point, say r. Without loss of generality, we may assume that r π = s, where

AUTOMORPHISM GROUPS

7

1 6 r, s 6 m. It is well-known that π acts on h by permuting coordinators. That is
to say, π acts on h by
hπ = (h1π−1 , . . . , hmπ−1 ).
ks

Recall that hσ = h, we compute that hr = hps where r 6= s.
Let Ĥ = H1 × · · · × Hm . Recall that H can be embedded as a diagonal subgroup
into Ĥ such that H = hhi, where h = (h1 , . . . , hm ). It follows that the action of hi
on Wi gives rise to the action of h on Wi . It implies that the action of hi on Wi is
the same as the action of h on Wi , where 1 6 i 6 m.
Let (Wi )H = Ui1 × · · · × Uie ∼
= Ui is a faithful irreducible
= Uie , where Uij ∼
Fp H-module for each j. By the previous paragraph, Wi is also a homogeneous
Fp Hi -module. Arguing similarly as in Lemma 3.3, we may identify each Uij with a
field F: = Fpf of order pf and hi acts on each x ∈ Uij by hi : x 7→ ωi x, where ωi ∈ F×
of order n, where 1 6 i 6 m.
By the definition of Ĥ, all Ui are also irreducible Fp Ĥ-modules. Let χi be the
character defined by Fp Ĥ-module Ui , where 1 6 i 6 m. According to [1, 25.10], we
obtain that
f −1
χi (h) = χi (hi ) = ωi + ωip + · · · + ωip .
ks

ks

Recall that hr = hps , it follows that ωr = ωsp . By the previous equation, we
conclude χr (h) = χs (h), and hence Ur ∼
= Us (Fp H-isomorphic). Thus Wr and Ws
are isomorphic Fp H-modules. This contradiction completes the proof.
✷
Proposition 3.5. M = (GL(e, pf )m .Cf ).L, where Cf is the group of field automorphisms of H, and L is abelian and regular on the set {1, 2, . . . , m}.
Proof. As stated above, V can be decomposed as an Fp H-module into
VH = W1 × · · · × Wm ,
such that all Wi are pairwise non-isomorphic homogeneous Fp H-modules.
Let N = CGL(V ) (H).Cf , where Cf is the group of field automorphisms of H. By
Lemma 3.3, N is a normal subgroup of M. For any β ∈ M \ N, we claim that Wiβ
and Wi are non-isomorphic Fp H-modules, where 1 6 i 6 m.
Let (Wi )H = Uie , where Ui is a faithful irreducible Fp H-module. Assume, if
β
possible, that Wiβ ∼
= Wi (Fp H-isomorphic). Then Ui and Ui are isomorphic Fp Hmodules. Let χi be the character defined by Fp H-module Ui . Then χβi is the
P
j−1
character of Uiβ over Fp . Arguing similarly as in Lemma 3.4, χi (h) = fj=1 ω p ,
−1
where ω ∈ F×
of order n. Let hβ = hλ , where λ is an integer. Then χβi (h) =
pf
P
−1
j−1
χi (hβ ) = fj=1 (ω λ )p . By [12, 9.20], we conclude that λ ≡ pk (mod n) for some
k. It follows that the action of β on H is induced by the field automorphism,
which contradicts the choice of β. This establishes the claim. Arguing similarly as
above, we have that, for any γ ∈ N = CGL(V ) (H).Cf , Wiγ and Wi are isomorphic
Fp H-modules. Thus N is the inertia group of Wi in M for all i.
By Lemma 3.3, M = CGL(V ) (H).L and Cf 6 L 6 Aut(H). Let [m] = {1, 2, . . . , m}.
It is straightforward to show that M/N ∼
= L/Cf , and thus L induces a permutation
group L/Cf on [m]. Recall that V is a faithful irreducible Fp M-module, we deduce
that L/Cf is regular on [m]. Let L = L/Cf . Then M = (CGL(V ) (H).Cf ).L, where

8

LEI WANG

L is abelian and regular on [m]. By Lemma 3.4, we are done. The statements
follows.
✷
Remark. Although we have already characterized the normaliser NGL(V ) (H) (refer
to Proposition 3.5), the structure of NGL(V ) (H) can not be completely determined
because there are many different ways to embed H as a subgroup into GL(V ) such
that G is a Frobenius group when |H| is arbitrarily large.
We end this subsection by presenting several groups to explain the above remark.
Example 3.6. Let Gi = Ui :Hi = C31 :C15 be a Frobenius group where 1 6 i 6 4.
Let X = G1 × · · · × G4 , and Y = H1 × · · · × H4 a subgroup of X. Let H be a
diagonal subgroup of Y . Set
G = (U1 × U2 × U3 × U4 ):H.
By definition, G is a Frobenius group. Without loss of generality, we may assume
that Ui = hai and Hi = hh0 i where 1 6 i 6 4. Let H = hhi. By the above
discussion,
h = (hr01 , hr02 , hr03 , hr04 ) where (ri , n) = 1 for all i.
Case 1: Suppose that r1 = r2 = r3 = r4 .
By Lemma 3.1, Aut(G) = GL(4, 31).
Case 2: Suppose that r1 = 1, r2 = 4, r3 = 11 and r4 = 14.
Let π1 = (12)(34) and π2 = (13)(24). We know that all πi act on h by permuting
coordinators. By easy calculations, we get hπ1 = h4 and hπ2 = h−4 . It follows that
C22 6 Aut(H), and thus, by Proposition 3.5, Aut(G) = C431 :(C430 :C22 ).
Case 3: Suppose that r1 = 1, r2 = 7, r3 = 4 and r4 = 13.
Arguing similarly as above, we obtain that Aut(G) = C431 :(C30 ≀ C4 ).
3.2. The normaliser NGL(d,p) (H) is reducible. In this subsection, we begin with
considering the case where V is a faithful reducible Fp M-module.
By Lemma 2.3, V can be decomposed as
VH = U1e1 × · · · × Utet ,
where all Ui are pairwise non-isomorphic faithful irreducible Fp H-modules, and all
ei are positive integers. As mentioned above, we continue to use f to denote the
common dimension of all Ui .
Remark. According to Proposition 3.5, we obtain that t 6 ϕ(n)/f , where ϕ(n) is
Euler’s totient function, also refer to [12, 9.20].
Q
e
Let Gi be the quotient group of G modulo j6=i Uj j , where 1 6 i 6 t. Then
Gi = Uiei :Hi where Hi ∼
= H = Cn , and it implies that Gi = Cepi f :Cn is a Frobenius
group. Let Hi = hhi i where 1 6 i 6 t. The group G = V :H = (U1e1 × · · · × Utet ):H
can be embedded into
(U1e1 :H1 ) × · · · × (Utet :Ht ),
as a subgroup such that H = hhi with h = (h1 , . . . , hm ).
Lemma 3.7. With the notation introduced above, the following holds.
GL(e1 , pf ) × · · · × GL(et , pf ) 6 CGL(V ) (H).

AUTOMORPHISM GROUPS

9

Proof. We use the abbreviation hi for the element (1, . . . , 1, hi , 1, . . . , 1), where
1 6 i 6 m. By the above discussion, we obtain that the action of hi on Uiei is the
same as the action of h on Uiei . It follows that Uiei is a homogeneous Fp Hi -module,
Q
and hence CGL(ei f,p) (Hi ) = GL(ei , pf ), see Lemma 3.1. Note that ti=1 CGL(ei f,p) (Hi )
is a subgroup of CGL(V ) (H). Thus the statement follows.
✷
Let X 6 Y , and let V be an FX-module where F is a field. We denote by V Y an
induced module from X to Y .
Lemma 3.8. VM = V1 × · · · × Vs , where Vi ∈ Irr(Fp M) and Vi ≇ Vj (i 6= j).
Proof. As mentioned before, VH = U1e1 × · · · × Utet , where all Ui and ei are as
above. Let T1 = {m ∈ M | U1m ∼
= U1 (Fp H-isomorphic)}. By Mackey’s Theorem,
f1
T1
∼
(U1 )H = U1 , where f1 6 e1 . By [1, 12.12], CGL(V ) (H) is a subgroup of T1 . Thus,
by Lemma 3.7, GL(e1 , pf ) 6 T1 . It follows that HomFp H (U1 , (U1T1 )H ) ∼
= Fep1f . So
f1 = e1 . It further implies that U1T1 is an irreducible Fp T1 -module. By [12, 6.11],
U1M is an irreducible Fp M-module. As a convenience, we denote by V1 that module.
It is easily shown that V1 is isomorphic to an irreducible submodule of VM . Thus,
without loss of generality, we may identify V1 with a submodule of VM .
By Clifford’s Theorem, we may assume that
(V1 )H = U1e1 × · · · × Uke1 (k 6 t),
where all Ui are pairwise non-isomorphic irreducible constituents of (V1 )H . We claim
that ei = e1 for all 1 6 i 6 k. Arguing similarly as above, there exists an irreducible
Fp M-module Vi for which Vi = UiM and HomFp H (Ui , (Vi )H ) ∼
= Fepif , where 1 6 i 6 k.
It follows that HomFp M (V1 , Vi ) 6= 0, and thus V1 ∼
= Vi (Fp M-isomorphic). This
establishes the claim. Recall that V is a faithful reducible Fp M-module. Repeating
the above process, we obtain all irreducible Fp M-submodules of V . Without loss of
generality, we may assume that V1 , . . . , Vs are all pairwise non-isomorphic irreducible
e
Fp M-submodules of V . As discussed above, we have that HomFp H (Ul , (Vj )H ) ∼
= Fplf
in case Ul is an irreducible constituent of (Vj )H , where 1 6 j 6 s.
Let V = V1 × · · · × Vs . Suppose, if possible, that V is a proper submodule of V .
e
Without loss of generality, we assume that V H = U1e1 × · · · × Ut′t′ , where t′ < t, refer
to Lemma 2.3. By the previous paragraph, there is an irreducible Fp M-submodule
of VM , say Vs+1 such that Ut is an irreducible Fp H-submodule of (Vs+1 )H . By the
choice of Vs+1 , we conclude that HomFp M (Vs+1, Vi ) = 0 where 1 6 i 6 s, which is a
contradiction. Thus VM = V1 × · · · × Vs . This completes the proof.
✷
Q
Let Gi be the factor group of G modulo j6=i Vj , where 1 6 i 6 s. Then Gi =
Vi :Hi where Hi ∼
= H = Cn , and it implies that Gi is a Frobenius group. Let Hi = hhi i
where 1 6 i 6 s. The group G = (V1 × · · · × Vs ):H can be embedded into
(V1 :H1 ) × · · · × (Vs :Hs ),
as a subgroup such that H = hhi with h = (h1 , . . . , hs ). Let πi (1 6 i 6 s) be the
projection map
G1 × · · · × Gs → Gi : (x1 , . . . , xm ) 7→ xi .
With
Q slight abuse of terminology,
Q we use Gi = Vi :Hi to denote either the subgroup Gi
of si=1 Gi or the image πi ( si=1 Gi ), depending on the context. For the remainder
of this subsection, we will use the notation introduced above.

10

LEI WANG

Lemma 3.9. M 6 NGL(V1 ) (H1 ) × · · · × NGL(Vs ) (Hs ).
Proof. By Lemma 3.8, VM = V1 × · · · × Vs , where all Vi are pairwise non-isomorphic
irreducible Fp M-modules. Let Ω = {V1 , . . . , Vs }, and A(Ω) = GL(V1 ) × · · · × GL(Vs ).
Since M fixes Ω pointwise, it follows that M 6 A(Ω) . That is to say,
M 6 GL(V1 ) × · · · × GL(Vs ).
For any σ ∈ M, we may write σ = (σ1 , . . . , σs ), where σi ∈ GL(Vi ) for all i. Then
there exists a positive integer λ such that hσ = hλ , that is,
(hσ1 1 , . . . , hσs s ) = (hλ1 , . . . , hλs ).
It follows that hσi i = hλi , and
Qshence σi normalises Hi . It implies that σi ∈ NGL(Vi ) (Hi )
✷
for 1 6 i 6 s. Thus M 6 i=1 NGL(Vi ) (Hi ), whence the statement.
Lemma 3.10. CGL(V ) (H) = CGL(V1 ) (H1 ) × · · · × CGL(Vs ) (Hs ).
Proof. Pick arbitrary c ∈ CGL(V ) (H). By Lemma 3.9, c can be written as
c = (c1 , . . . , cs ) where ci ∈ GL(Vi ) for 1 6 i 6 s.
Then we obtain that
(hc11 , . . . , hcss ) = hc = h = (h1 , . . . , hs ).
It follows that hci i = hi , and hence ci centralises Hi , where 1 6 i 6 s. It implies that
ci ∈ CGL(Vi ) (Hi ), forcing that
CGL(V ) (H) 6 CGL(V1 ) (H1 ) × · · · × CGL(Vs ) (Hs ).
Q
On the other hand, for any c ∈ si=1 CGL(Vi ) (Hi ), we have c = (c1 , . . . , cs ), where
ci ∈ CGL(Vi ) (Hi ) for each i. Then
hc = (hc11 , . . . , hcss ) = (h1 , . . . , hs ) = h.
It follows that c ∈ CGL(V ) (H), and hence the statement holds.

✷

Applying Lemmas 3.4 and 3.10, we have the following corollary.
Corollary 3.11. With the hypothesis of Subsection 3.2, then we have
CGL(V ) (H) = GL(e1 , pf ) × · · · × GL(et , pf ).
Let ρi (1 6 i 6 s) be the projection map
s
Y

NGL(Vj ) (Hj ) → NGL(Vi ) (Hi ) : (x1 , . . . , xs ) 7→ (1, . . . , 1, xi , 1, . . . , 1).

j=1

By Lemma 3.9, we use Mi for the image ρi (M) where 1 6 i 6 s.
Lemma 3.12. With the notation above, then Mi = NGL(Vi ) (Hi ) where 1 6 i 6 s.
Proof. Let N = M1 × · · · × Ms . Since M 6 N and M acts irreducibly on Vi , it
follows that N acts irreducibly on Vi , where 1 6 i 6 s. Observe that the action of
Mi on Vi is by definition equivalent to the action of N on Vi . It implies that Mi
acts irreducibly on Vi . So does Ni because Ni > Mi , where Ni : = NGL(Vi ) (Hi ) for
1 6 i 6 s. By Proposition 3.5, Ni = CGL(Vi ) (Hi ).Li , and hφ̂i i 6 Li 6 Aut(Hi ),
where φ̂i = (1, . . . , 1, φi , 1, . . . , 1) is a field automorphism of Hi of order f .

AUTOMORPHISM GROUPS

11

For convenience, we again denote by φ̂i the preimage of φ̂i in Ni under Ni → Li .
By the previous paragraph, we may assume that hφi i = hpi , where 1 6 i 6 s. Set
φ = (φ1 , . . . , φs ). Then we have
hφ = (hφ1 1 , . . . , hφs s ) = (hp1 , . . . , hps ) = hp .
It follows that φ is contained in M, forcing that φ̂i belongs to Mi . By Lemma 3.10,
we obtain that CGL(Vi ) (Hi ) 6 Mi . Let Ci = CGL(Vi ) (Hi )hφ̂i i. Then Ci is a subgroup of Mi . Again by Proposition 3.5, (Vi )Hi has |Li |/f pairwise non-isomorphic
homogeneous components, and thus Mi = Ni because Mi /Ci induces a permutation
group acting regularly on |Li |/f homogeneous components, where 1 6 i 6 s. This
completes the proof of Lemma 3.12.
✷
Lemma 3.13. Let Vi be as in Lemma 3.8, where 1 6 i 6 s. Then we have
6= Vik
(i) (Vi )H = Vi1ei × · · · × Viℓei and dimFp Vij = f , where Vij ∈ Irr(Fp H), Vij ∼
(j 6= k), and f = ordn (p);
(ii) M = ((GL(e1 , pf )ℓ ×· · ·×GL(es , pf )ℓ ).Cf ).L, where Cf .L 6 Aut(H), |L| = ℓ,
and (e1 + · · · + es )f ℓ = d.
Proof. We continue to use the notation introduced above. Recall that Vi is an
irreducible Fp M-module, where 1 6 i 6 s. By Clifford’s Theorem, Vi has the
decomposition as
(Vi )H = Vi1ei × · · · × Viℓeii ,
where all Vij are pairwise non-isomorphic faithful irreducible Fp H-modules, and all
ei are positive integers. According to [3], all Vij have the same dimension f over Fp .
Recall that Mi is the image of M under ρi , which is defined in the paragraph
after Corollary 3.11, where 1 6 i 6 s. Then M is a subgroup of M1 × · · · × Ms . It
implies that the action of Mi on Vi gives rise to the action of M on Vi . It follows
that the action of Mi on Vi is equivalent to the action of M on Vi . Thus Vi is also
an irreducible Fp Mi -module. For this case, (Vi )Hi has the same decomposition as
above. By Lemma 3.12, Mi has the form Mi = NAut(Vi ) (Hi ) where 1 6 i 6 s. Hence,
by Proposition 3.5, we obtain that
Mi = CAut(Vi ) (Hi ).Li , and hφ̂i i 6 Li 6 Aut(Hi ),
where φ̂i = (1, . . . , 1, φi , 1, . . . , 1) is a field automorphism of Hi of order f , |Li | = f ℓi ,
and (Vi )Hi has ℓi pairwise non-isomorphic homogeneous components. Let M =
M/CGL(V ) (H). By the definition of Mi , we deduce that M is isomorphic to a diQ
agonal subgroup of si=1 Li . It follows that M ∼
= Li for all i. As a matter of
convenience, we again denote by φ̂i the preimage of φ̂i in Mi under Mi → Li . Without loss of generality, we may assume that hφi i = hpi for all i. Let φ = (φ1 , . . . , φs ).
Then φ induces a field automorphism of H of order f . Thus φ belongs to M. Let
N = CGL(V ) (H)hφi, and let Ni = CGL(Vi ) (Hi )hφ̂i i where 1 Q
6 i 6 s. By the above
discussion, M/N is isomorphic to a diagonal subgroup of si=1 Mi /Ni . It follows
that Mi /Ni ∼
= Mj /Nj , forcing ℓi = ℓj = ℓ where 1 6 i, j 6 s, as in Lemma 3.13 (i).
Let M/N = L. Then |L| = ℓ. By Proposition 3.4, CAut(Vi ) (Hi ) = GL(ei , pf )ℓ
where 1 6 i 6 s. Thus, by Corollary 3.11, we have
s
s
Y
Y
CAut(Vi ) (Hi ) =
GL(ei , pf )ℓ .
CGL(V ) (H) =
i=1

i=1

12

LEI WANG

Q
Summarizing the above discussion, M = (( si=1 GL(ei , pf )ℓ )CP
f ).L, where each Vi
has ℓ pairwise non-isomorphic homogeneous components, and si=1 ei f ℓ = d, as in
Lemma 3.13 (ii), completing the proof.
✷
Now we are in a position to prove the main result of this section.
Proof of Theorem 1.1: By Lemma 2.2, Aut(G) = V.M. Since V is characteristic
in G, we may view V as a faithful Fp M-module of dimension d. Part (i) is proved
in Lemma 3.8, and Part (ii) follows from Lemma 3.13 (i). Part (iii) is shown in
Proposition 3.5 and Lemma 3.13 (ii).
✷
In particular, Theorem 1.1 implies the following consequences.
Corollary 3.14. Under the conditions of Theorem 1.1, then
CGL(d,p) (H) = GL(e1 , pf )ℓ × · · · × GL(es , pf )ℓ .
For X 6 Y define AutY (X) = NY (X)/CY (X) to be the automizer in Y of X.
Then AutY (X) 6 Aut(X), and indeed AutY (X) is the group of automorphisms
induced on X in Y .
Corollary 3.15. Let G = V :H = Cdp :Cqℓ be a Frobenius group, where p, q are two
distinct primes, and d, ℓ are positive integers. Let f = ordqℓ (p). Then the following
hold.
(i) If q = 2, then AutGL(d,p) (H) = L where Cf 6 L 6 C2 × C2ℓ−2 .
(ii) If q is odd, then AutGL(d,p) (H) = Cl where Cf 6 Cl 6 Cqℓ−1 (q−1) .
4. The automorphism groups of Frobenius groups (

k
Q

i=1

Cdpii ):Cn

Q
In this section, we assume that G = V :H = ( ki=1 Cdpii ):Cn with k > 2, where all
pi are pairwise distinct primes, and all di and n are positive integers. Let Fpi be a
field of order pi for 1 6 i 6 k. View Cdpii as a vector space of dimension di over Fpi ,
and denoted by Vi . The action of H on the vector space Vi can be further viewed
as a faithful Fpi H-module.
By Lemma 2.1, we may identify G with Inn(G) a normal subgroup of Aut(G).
Therefore, in order to determine Aut(G), by Lemma 2.2, we only need to determine
the normaliser
M: = NAut(V ) (H).
Q
Let Gi be the quotient group of G modulo j6=i Vj where 1 6 i 6 k. Then
Gi = Vi :Hi where Hi ∼
= H = Cn , and it implies that Gi = Cdpii :Cn is a Frobenius
group. Write Hi = hhi i where 1 6 i 6 k. The group G = (V1 × · · · × Vk ):H can be
embedded as a subgroup into
(V1 :H1 ) × · · · × (Vk :Hk ),
such that H = hhi where h = (h1 , . . . , hk ). As above, let πi be the projection map
G1 × · · · × Gk → Gi : (x1 , . . . , xk ) 7→ xi .
With slight abuse of terminology,
we use Gi to denote either the subgroup Vi :Hi of
Qk
Q
k
i=1 Gi or the image πi ( i=1 Gi ), depending on the context.
With the help of this preparation, we have the following lemma.

AUTOMORPHISM GROUPS

13

Lemma 4.1. M 6 NGL(V1 ) (H1 ) × · · · × NGL(Vk ) (Hk ).
Proof. Since all pi are pairwise distinct primes, it follows that
Aut(V ) =

k
Y

Aut(Vi ) =

i=1

k
Y

GL(di , pi ).

i=1

Then, for any σ ∈ M, σ has the form σ = (σ1 , . . . , σk ), where σi ∈ GL(Vi ) for each
i. By the choice of σ, there exists a positive integer λ such that
(hσ1 1 , . . . , hσk k ) = hσ = hλ = (hλ1 , . . . , hλk ),
where (λ, n) = 1. It follows that hσi i = hλi , and hence σi normalises Hi . This implies
Q
that σi belongs to NGL(Vi ) (Hi ), where 1 6 i 6 k. Therefore, M 6 ki=1 NGL(Vi ) (Hi ). ✷
Arguing similarly as in Lemma 3.10, we have the following conclusion.
Lemma 4.2. CAut(V ) (H) = CGL(V1 ) (H1 ) × · · · × CGL(Vk ) (Hk ).
Let ρi (1 6 i 6 k) be the projection map
k
Y

NGL(Vj ) (Hj ) → NGL(Vi ) (Hi ) : (x1 , . . . , xk ) 7→ (1, . . . , 1, xi , 1, . . . , 1).

j=1

By Lemma 4.1, we denote by Mi the image ρi (M), where 1 6 i 6 k. Clearly, Mi
is a subgroup of NGL(Vi ) (Hi ). Therefore, the action of Mi on Vi can be viewed as
a faithful Fpi Mi -module. By Lemma 4.2, we conclude that CGL(Vi ) (Hi ) is a normal
subgroup of Mi . Arguing similarly as Lemma 3.8, we obtain that
(Vi )Mi = Vi1 × · · · × Visi ,
where all Vij are pairwise non-isomorphic irreducible Fpi Mi -modules for each i.
In what follows, we use the abbreviation xi for the element (1, . . . , 1, xi , 1, . . . , 1)
of Vi :Mi , where 1 6 i 6 k. By the above decomposition, Gi has Q
the form Gi =
(Vi1 × · · · × Visi ):Hi . Let Gij be the quotient group of Gi modulo l6=j Vil , where
1 6 j 6 si . Then Gij = Vij :Hij where Hij ∼
= Hi = Cn , and thus Gij is a Frobenius
group. Write Hij = hhij i where 1 6 j 6 si . The group Gi can be embedded into
(Vi1 :Hi1 ) × · · · × (Visi :Hisi )
as a subgroup such that Hi = hhi i where hi = (hi1 , . . . , hisi ).
Arguing similarly as Lemma 3.9, we have the following lemma.
Lemma 4.3. Mi 6 NAut(Vi1 ) (Hi1 ) × · · · × NAut(Visi ) (Hisi ), where 1 6 i 6 k.
Qi
Q i
Note that sj=1
NAut(Vij ) (Hij ) is a subgroup of k,s
i,j=1 NAut(Vij ) (Hij ), where 1 6
Qsi
i 6 k. As mentioned above, each element of j=1 NAut(Vij ) (Hij ) can be written as
the abbreviation (xi1 , . . . , xisi ). Let ρij (1 6 j 6 si ) be the projection map
si
Y

NAut(Vil ) (Hil ) → NAut(Vij ) (Hij ) : (xi1 , . . . , xisi ) 7→ (1, . . . , 1, xij , 1, . . . , 1)

l=1

By Lemma 4.3, we use Mij for the image ρij (Mi ), where 1 6 i 6 k and 1 6 j 6 si .
Lemma 4.4. With the notation above, the following hold:

14

LEI WANG
e

e

(i) (Vij )Hij = Vij1ij × · · · × Vijℓijij and dimFpi Vijl = fi , where Vijl ∈ Irr(Fpi Hij ),
Vijl ≇ Vijr (l 6= r), and fi = ordn (pi );
(ii) Mij = GL(eij , pfi i )ℓij .Lij , where Lij 6 Aut(Hij ), and |Lij |/ℓij is the order of
field automorphism group induced on Hij in Lij .
Proof. Let M̂i = Mi1 × · · · × Misi where 1 6 i 6 k. By the previous discussion,
both Mij and Mi are subgroups of M̂i . By the definition of Mij , the action of Mij
on Vij gives rise to the action of Mi on Vij . So the action of Mij on Vij is equivalent
to the action of Mi on Vij , and hence Vij is also an irreducible Fpi Mij -module.
Note that Hij is a normal subgroup of Mij . By Clifford’s Theorem, we have
e

e

(Vij )Hij = Vij1ij × · · · × Vijℓijij ,
where all Vijl are pairwise non-isomorphic faithful irreducible Fpi Hij -modules, and
all eij are positive integers. Let fi = ordn (pi ) where 1 6 i 6 k. By [3], all Vijl have
the same dimension fi over Fpi , as in part (i).
Since Mij 6 NAut(Vij ) (Hij ), it follows that NAut(Vij ) (Hij ) also acts irreducibly on
Vij . Thus, by Proposition 3.5, NAut(Vij ) (Hij ) = GL(eij , pfi i )ℓij .Kij , and hφij i 6 Kij 6
Aut(Hij ), where φij is a field automorphism of Hij of order fi , and |Kij |/fi = ℓij .
By Lemmas 3.10 and 4.2, we deduce that CMij (Hij ) = GL(eij , pfi i )ℓij . Without loss
λ
of generality, we may assume that hφijij i is a (possibly trivial) group of field automorphisms induced on Hij in Mij , where λij is a divisor of fi for all i, j. Write
λ
Mij = CMij (Hij ).Lij , where hφijij i 6 Lij 6 Kij . Arguing similarly as Proposiλ
tion 3.5, it is straightforward to show that Lij /hφijij i ∼
= Kij /hφij i. It follows that
λij
φij has order |Lij |/ℓij , as in part (ii). This completes the proof of Lemma 4.4. ✷
Proposition 4.5. Using the notation defined in Lemma 4.4, the following hold:
e

e

(i) (Vij )Hi = Vij1ij × · · · × Vijℓiji and dimFpi Vijl = fi , where Vijl ∈ Irr(Fpi Hi ),
Vijl ≇ Vijr (l 6= r), fi = ordn (pi ), and ℓi = ℓij for each j;
(ii) Mi = (GL(ei1 , pfi i )ℓi × · · · × GL(eisi , pfi i )ℓi ).Li , where Li ∼
= Lij is a subgroup
of Aut(Hi ), |Li |/ℓi is the order of field automorphism group induced on Hi
in Li , and (ei1 + · · · + eisi )ℓi fi = di for 1 6 i 6 k.
Proof. Recall that Mij is the image of Mi under ρij , which is defined after Lemma 4.3.
Then Mi is a subgroup of Mi1 × · · · × Misi . It implies thatQ
Hi is a diagonal subgroup
i
CMij (Hij ).
of Hi1 × · · · × Hisi . Arguing as Lemma 3.10, CMi (Hi ) = sj=1
λ

λ

By Lemma 4.4, Mij = GL(eij , pfi i )ℓij .Lij , and hφijij i 6 Lij 6 Aut(Hij ), where φijij
is a field automorphism of Hij of order fi /λij for any i, j. Let Li = Mi /CMi (Hi ),
where 1 6 i 6 k. By the previous paragraph, we conclude that Li is isomorphic to
a diagonal subgroup of Li1 × · · · × Lik . Therefore, Lij ∼
= Li for any j, l.
= Lil ∼
fi ℓij
Clearly, Hij can be embedded into GL(eij , pi ) . Thus Hi can be embedded as
Qi
a diagonal subgroup into sj=1
GL(eij , pfi i )ℓij . It follows that Lij may be viewed as
the group of automorphisms induced on Hij in Li , where 1 6 j 6 si . Thus the field
automorphism group induced on Hi in Li is isomorphic to the field automorphism
λ
group induced on Hij in Lij for each j. That is to say, all φijij have the equal order,
say fi /λi , where λi = λij for any j. It further implies that ℓij = ℓil = ℓi for all j, l

AUTOMORPHISM GROUPS

15

λ

because ℓij = |Lij |/o(φijij ). By an approach similar to that of Lemma 3.13, we can
obtain remaining conclusions.
✷
Lemma 4.6. With the notation above, the following statements hold.
(i) (Vi )M = Vi1 × · · · × Visi , where Vij ∈ Irr(Fpi M) and Vij ≇ Vil (j 6= l);
Q
(i) M = ( ki=1 (GL(ei1 , pfi i )ℓi ×· · ·×GL(eisi , pfi i )ℓi )).L, where L 6 Aut(H), |L|/ℓi
is the order of field automorphism group induced on Cpfi −1 in L, and (ei1 +
i
· · · + eisi )ℓi fi = di for 1 6 i 6 k.
Proof. Since Vi is characteristic in G, by Lemma 2.2, Vi may be viewed as an Fp Mmodule, where 1 6 i 6 k. Recall that Mi is the image of M under ρi which is defined
in the paragraph after Lemma 4.2, where 1 6 i 6 k. Let M̂ = M1 × · · · × Mk . By
definition, the action of Mi on Vi gives rise to the action of M̂ on Vi . Note that M
is a subgroup of M̂ . Therefore, the action of M on Vi is equivalent to the action of
Mi on Vi . As stated before Lemma 4.3, Vi can be decomposed as
(Vi )M = Vi1 × · · · × Visi ,
such that all Vij are pairwise non-isomorphic irreducible Fpi M-modules, as in Lemma 4.6 (i).
By the previous paragraph, we obtain that Vij is also an irreducible Fp Mi -module.
By Proposition 4.5 (i), the following decomposition holds:
e

e

(Vij )Hi = Vij1ij × · · · × Vijℓiji ,
where all Vijl are pairwise non-isomorphic faithful irreducible Fpi Hi -modules, and
all eij are positive integers. By Proposition 4.5 (ii), we have that
CGL(Vi ) (Hi ) = CGL(di ,pi) (Hi ) =

si
Y

GL(eij , pfi i )ℓi ,

j=1

where 1 6 i 6 k. By Lemma 4.2, we obtain that
CAut(V ) (H) =
Psi

k
Y
i=1

CGL(di ,pi) (Hi ) =

k,si
Y

GL(eij , pfi i )ℓi ,

i,j

where j ℓi eij fi = di for each i. Let L = M/CAut(V ) (H) and let |L| = ℓ. Recall
that Mi is theQimage of M under ρi , we deduce that L is isomorphic to a diagonal
subgroup of ki=1 (Mi /CGL(Vi ) (Hi )). This is to say, L is a diagonal subgroup of
L1 × · · · × Lk , where Li = Mi /CGL(Vi ) (Hi ) for each i. It follows that Li ∼
= L, where
1 6 i 6 k. Noting that the action of L on Hi is induced by Li , we conclude that the
field automorphism group induced on Hi in L has order ℓ/ℓi , see Proposition 4.5 (ii).
Clearly, Hi can be embedded as a diagonal subgroup into CGL(Vi ) (Hi ). Let H̃i ∼
=
Cpfi −1 be any subgroup of CGL(Vi ) (Hi ), where 1 6 i 6 k. As discussed above, the
i
action of L on CGL(Vi ) (Hi ) is induced by Li , and thus the field automorphism group
induced on Hi in L normalises H̃i . Arguing similarly as the proof of Proposition 4.5,
it is easily shown that the field automorphism group induced on H̃i in L is isomorphic
to the field automorphism group induced on Hi in L for each i. Thus, Cℓ/ℓi is
the group of field automorphisms induced on H̃i in L, where 1 6 i 6 k, as in
Lemma 4.6 (ii).
This completes the proof of Lemma 4.6.
✷

16

LEI WANG

With this preparation, we are ready to embark on the proof of Theorem 1.2.
Q
Proof of Theorem 1.2: Let V = ki=1 Vi , and let M = NAut(V ) (H). Noting
that Vi is characteristic in G, we may view Vi as an Fpi M-module of dimension di ,
where 1 6 i 6 k. So part (i) follows from Lemma 4.6 (i).
Let Hi be as mentioned before Lemma 4.1, where 1 6 i 6 k. Arguing similarly as
Lemma 4.6, the action of H on Vi is equivalent to the action of Hi on Vi for each i.
Therefore, part (ii) follows from Proposition 4.5 (i), and part (iii) from Lemmas 2.2
and 4.6 (ii).
✷
As a consequence of Theorem 1.2, we have the following corollary.
Corollary 4.7. Under the conditions of Theorem 1.2, the following holds.
CAut(V ) (H) =

k
Y
(GL(ei1 , pfi i )ℓi × · · · × GL(eisi , pfi i )ℓi ).
i=1

Acknowledgements. This paper is a part of my PhD thesis under the supervision
of Professor Caiheng Li. I would like to deeply thank Professor Caiheng Li for his
stimulating discussions and many helpful suggestions.
References
[1] M. Aschbacher, Finite Group Theory, Cambridge University Press, Cambridge, 1993.
[2] B. P. Corr, C. E. Praeger, Normal edge-transitive Cayley graphs of Frobenius groups, J.
Algebraic Combin. 42 (2015) 803-827.
[3] A. S. Detinko, D. L. Flannery, Nilpotent primitive linear groups over finite fields, Comm.
Algebra. 33 (2005) 497-505.
[4] A. Devillers, W. Jin, C. H. Li, C. E. Praeger, On normal 2-geodesic transitive Cayley graphs,
J. Algebraic Combin. 39 (2014) 903-918.
[5] J. D. Dixon, B. Mortimer, Permutation Groups, Springer-Verlag, New York, 1996.
[6] K. Doerk, T. Hawkes, Finite Soluble Groups, Walter de Gruyter, Berlin, 1992.
[7] X. G. Fang, C. H. Li, C. E. Praeger, On orbital regular graphs and frobenius graphs, Discrete
Math. 182 (1998) 85-99.
[8] C. D. Godsil, On the full automorphism group of a graph, Combinatorica 1 (1981) 243-256.
[9] D. Gorenstein, Finite Groups, Harper and Row, 1968.
[10] R. M. Guralnick, Frobenius groups as monodromy groups, J. Aust. Math. Soc. 85 (2008)
191-196.
[11] B. Huppert, Endliche Gruppen I, Springer, Berlin, 1967.
[12] I. M. Isaacs, Character Theory of Finite Groups, Academic Press, New York, 1976.
[13] N. Jacobson, Basic Algebra II, Freeman, San Francisco, 1980.
[14] C. H. Li, J. M. Pan, S. J. Song, D. J. Wang, A characterization of a family of edge-transitive
metacirculant graphs, J. Combin. Theory Ser. B. 107 (2014) 12-25.
[15] C. H. Li, L. Wang, Relative elementary abelian groups, and a class of edge-transitive Cayley
graphs, J. Aust. Math. Soc. 100 (2016) 241-251.
[16] S. J. Song, C. H. Li, D. J. Wang, Classifying a family of edge-transitive metacirculant graphs,
J. Algebraic Combin. 35 (2012) 497-513.
[17] S. J. Song, C. H. Li, D. J. Wang, A family of edge-transitive Frobenius metacirculants of small
valency, European J. Combin. 34 (2013) 512-521.
[18] A. I. Starostin, On Frobenius groups, Ukrain. Mat. Ž. 23 (1971) 629-639.
[19] J. G. Thompson, Finite groups with fixed-point-free automorphisms of prime order, Proc.
Natl. Acad. Sci. USA. 45 (1959) 578-581.
[20] J. G. Thompson, Normal p-complements for finite groups, Math. Z. 72 (1960) 332-354.
[21] J. G. Thompson, Normal p-complements for finite groups, J. Algebra. 1 (1964) 43-46.

AUTOMORPHISM GROUPS

17

[22] H. Zassenhaus, Über endliche Fastkörper, Abh. Math. Sem. Hamburg. Univ. 11 (1936) 187-220.
Beijing International Center for Mathematical Research, Peking University,
Beijing, 100871, P. R. China
E-mail address: wanglei@math.pku.edu.cn

