The block graph of a finite group ∗
Julian Brough1a , Yanjun Liu2b and Alessandro Paolini3a
a FB

arXiv:1705.08685v2 [math.RT] 19 Jul 2017

b College

Mathematik, TU Kaiserslautern, Postfach 3049, 67653 Kaiserslautern, Germany

of Mathematics and Information Science, Jiangxi Normal University, Nanchang, 330022, China

E-mail: 1 brough@mathematik.uni-kl.de;

2 liuyanjun@pku.edu.cn;

3 paolini@mathematik.uni-kl.de

Abstract
This paper studies intersections of principal blocks of a finite group with respect to
different primes. We first define the block graph of a finite group G, whose vertices are the
prime divisors of |G| and there is an edge between two vertices p 6= q if and only if the principal p- and q-blocks of G have a nontrivial common complex irreducible character of G.
Then we determine the block graphs of finite simple groups, which turn out to be complete
except those of J1 and J4 . Also, we determine exactly when the Steinberg character of a
finite simple group of Lie type lies in a principal block. Based on the above investigation,
we obtain a criterion for the p-solvability of a finite group which in particular leads to an
equivalent condition for the solvability of a finite group. Thus, together with two recent results of Bessenrodt and Zhang, the nilpotency, p-nilpotency and solvability of a finite group
can be characterized by intersections of principal blocks of some quotient groups.
Keywords: Group, principal block, block graph, solvability.
2010 Mathematics Subject Classification. 20C20; 20C33; 20D06

1 Introduction
Let G be a finite group and p, q two primes. The question of when a p-block of G is also
a q-block of G was studied by Navarro and Willems in [NW97]. This led to the investigation
of block distributions of complex irreducible characters of a finite group with respect to different primes. For instance, Bessenrodt, Malle and Olsson [BMO06] introduced the concept
of block separability of characters, and Navarro, Turull and Wolf [NTW05] discussed solvable
groups that are block separated. In a series of papers, Bessenrodt and Zhang generally investigated block separations, inclusions and coverings of characters of a finite group, see [BZ08]
and [BZ11]. Motivated by their work, we investigate block separations of characters from a
graph-theoretical point of view.
∗ The

first and the third authors gratefully acknowledge financial support by the ERC Advanced Grant 291512,
and the third author also gratefully acknowledges financial support by the SFB-TRR195. The second author deeply
thanks financial support by China Scholarship Council (201608360074), the National Natural Science Foundation of
China (11661042) and (11471054) and the Project (GJJ150347) from Educational Department of Jiangxi Province.

1

Let Irr(G) be the set of complex irreducible characters of G, and denote by B0 (G) p the principal p-block of G and by Irr(B0 (G) p ) the set of complex irreducible characters of G contained
in B0 (G) p .
Definition 1.1. We construct the block graph ΓB (G) of a finite group G as follows. The vertices
are the prime divisors of |G|, and there is an edge between two vertices p 6= q if and only if
Irr(B0 (G) p ) ∩ Irr(B0 (G)q ) 6= {1G }.
By the definition, an equivalent statement of [BZ08, Theorem 4.1] is that the block graph
of a finite group consists of isolated vertices if and only if the group is nilpotent. So, for nonnilpotent {p, q}-groups, their block graphs are always of the form •
• . Our first main
result is to determine the block graphs of finite nonabelian simple groups, which turn out to be
seemingly opposite to the situation for nilpotent groups.
Theorem 1.2. The block graph of a finite nonabelian simple group S is complete except when
S = J1 (resp. J4 ), in which case only the primes p = 3 and q = 5 (resp. p = 5 and q = 7) are not
adjacent in the block graph of S.
Note that the block graphs of alternating groups and sporadic simple groups are known
according to [BZ08, Propositions 3.2 and 3.5]. Therefore, in order to prove Theorem 1.2, it
remains to determine the block graphs of simple groups of Lie type. Our strategy is to investigate
the block distribution of unipotent characters based on the recent results of Kessar and Malle in
[KM15] about Lusztig induction.
A problem related to the investigation, which is motivated by [Hi10] and [SL13], is to make
sure exactly when the Steinberg character of a finite simple group of Lie type lies in a principal
block. This is controlled by regular numbers introduced in Definition 2.5.
Theorem 1.3. Let S be a finite simple group of Lie type defined over a finite field Fq of characteristic p, and let ℓ be a prime different from p. Write
(
modulo ℓ if ℓ is odd,
e = eℓ (q) := multiplicative order of q
modulo 4 if ℓ = 2,
and view the Tits group as a sporadic simple group. Then the Steinberg character of S lies in
the principal ℓ-block of S if and only if e is a regular number of S.
We would like to mention that both irreducible constituents of the restriction of the Steinberg
character of the group 2 F4 (2) to the Tits group 2 F4 (2)′ lie in the the principal 3-, 5- and 13-blocks
of 2 F4 (2)′ . So Theorem 1.3 also holds if S = 2 F4 (2)′ in some sense.
Inspired by Brauer’s problem [Br79] of finding the relations between the properties of the
p-blocks of characters of a finite group G and structural properties of G, we apply Theorem 1.2
to obtain the following criterion for the p-solvability of a finite group from a local viewpoint of
its block graph.
Theorem 1.4. Let G be a finite group and p a prime divisor of |G|. If the block graph of G has
no triangle containing p, then G is p-solvable.
2

S
r

A5 (2)
31

Table 1: Discrete cases of S and r
B3 (2) ∼
= C3 (2) D6 (2) 2 A3 (2) ∼
= U4 (2) G2 (3)
7
7
5
13

F4 (2)
17

2 F (2)′
4

13

An application of Theorem 1.4 and the celebrated Feit-Thompson theorem leads to an equivalent condition for the solvability of a finite group. This implies that, together with results
of Bessenrodt and Zhang [BZ08, Theorem 4.1] and [BZ11, Theorem 2.3], the nilpotency, pnilpotency and solvability of a finite group can be characterized by intersections of principal
blocks of some quotient groups.
Theorem 1.5. Let G be a finite group and S(G) the largest normal solvable subgroup of G.
Then G is solvable if and only if the block graph of G/S(G) has no triangle containing 2.
Proof. It suffices to show the “if” part. Suppose that the block graph of G/S(G) has no triangle containing 2. By Theorem 1.4 and the Feit-Thompson theorem, we have that G/S(G) is
solvable, hence G is solvable.
The proof of Theorem 1.4 reduces to finding a triangle in the block graph of an almost simple group corresponding to the centralizer of some Sylow subgroup of a simple group S in the
automorphism group A of S. Let A0 be the subgroup of A generated by S and its diagonal autoe0 be the subgroup of A generated by A0 and all the graph automorphisms
morphisms, and let A
of S. Notice that L3 (2) ∼
= L2 (7).
Theorem 1.6. Let S be a finite simple group of Lie type defined over a finite field Fq , where
q = p f . Let r be a prime and R ∈ Sylr (S). Then
(i) CA (R) ≤ A0 if one of the following occurs:
(1) The group S and the prime r are as listed in Table 1 or 2.
(2) S = A1 (q) and q + 1 does not have a Zsigmondy prime, and r is any prime divisor of
2(q − 1).

e0 if one of the following occurs:
(ii) CA (R) ≤ A

(3) S = A2 (4) and r = 7, S = B2 (8) and r = 7, or S = B2 (2 f ) (2 f 6= 2, 8), and r is a
Zsigmondy prime of 2 f + 1 with respect to (2, 2 f ).
(4) S = G2 (3 f ) ( f > 1), and r is a Zsigmondy prime of 3 f + 1.

We mention here that the p-part of the centralizer of a Sylow p-subgroup of a simple group
S in the automorphism group of S for an odd prime p is known based on [Gr82, Theorem
A]. However, our situation has to focus on the p′ -part of the centralizer, in which case inner
automorphisms and graph automorphisms of the simple group cause extra difficulties.
The outline of this paper can be stated as follows. In Section 2, we collect some preliminaries about connected and finite reductive groups including Sylow e-tori, e-split Levi subgroups

3

and regular numbers, principal blocks of finite groups and their normal subgroups, and Lusztig
induction and restriction of characters.
In Section 3, we determine block graphs of finite simple groups of Lie type and prove Theorem 1.2. In Section 4, we prove Theorem 1.3 using a property of centralizers of Sylow subgroups
and values of Steinberg characters.
In Section 5, we prove Theorem 1.6 by separately considering simple groups with or without
graph automorphisms. In Section 6, we apply results in Section 5 to prove Theorem 6.1 stating
that block graphs of almost simple groups have a triangle. In Section 7, we prove Theorem 1.4
using a reduction to almost simple groups.

2 Preliminaries
2.1 Connected and finite reductive groups
When determining block graphs of finite simple groups of Lie type, a feasible way is to
investigate unipotent characters from Lusztig induction which is compatible with block theory
in a certain sense. Here we collect some terminology, notation and basic facts from [MT] and
[BMM93] about connected and finite reductive groups that are needed in the sequel.
Let G be a simple algebraic group over an algebraic closure F p of characteristic p > 0 and
F be a Steinberg endomorphism of G with finite group of fixed points GF . The group GF is
often called a finite reductive group or a finite group of Lie type, and has close relationship with
finite simple groups of Lie type.
Specifically, except for the Tits group 2 F4 (2)′ , a finite simple group of Lie type defined over a
finite field of characteristic p can be obtained as the quotient GF /Z(GF ) for some simple simplyconnected algebraic group G over an algebraic closure F p and a Steinberg endomorphism F of
G. In this way, if we denote by π : G → G/Z(G) the natural epimorphism, then π commutes
with F so that it induces an injection from S to A0 , where A0 = (G/Z(G))F . In particular, we
′
have S = O p (A0 ) and A0 is exactly the group generated by S and its diagonal automorphisms.
We choose and fix an F-stable maximal torus T of G, so that the normalizer NG (T) of T in
G is also F-stable. Let X be the character group of T and Y be the cocharacter group of T, and
write Φ ⊆ X (resp. Φ̌ ⊆ Y ) for the set of roots (resp. the set of coroots) associated to G. The
quadruple (X , Φ,Y, Φ̌) is called a root datum. Notice that the Steinberg endomorphism F acts
on V := Y ⊗Z R as qφ for some automorphism φ of Y of finite order. Let sα be the reflection
associated to α ∈ Φ, and let sα∨ be the adjoint of sα . The Weyl group WG of Φ is the subgroup
of Aut(Y ) generated by all s∨α for α ∈ Φ. The quintuple G = (X , Φ,Y, Φ̌,WG φ ) is called the
generic reductive group associated to the triple (G, T, F), and the polynomial
|G| = x|Φ

+|

r

∏(xd − εi) ∈ Z[x]
i

i=1

is called the generic order of G, where r is the rank of G, d1 , . . . , dr are the degrees of WG , and
ε1 , . . . , εr are the eigenvalues corresponding to the action of φ on V . For w ∈ WG , a wφ -stable
summand Y ′ of Y and its dual X ′ , a generic group of the form T = (X ′ , 0,Y
/ ′ , 0,
/ (wφ )|Y ′ ) is called
a generic torus of G.
4

Under the above setting, we now focus on e-tori and their centralizers, which are crucial for
the proofs of our main results. For a positive integer d, we denote by Φd (x) the d-th cyclotomic
polynomial over Q.
Definition 2.1. An F-stable torus S ≤ G is called an e-torus if its generic order equals |S| =
Φe (x)a for some a ≥ 0, where S denotes the complete root datum corresponding to S and F.
Moreover, S is called a Sylow e-torus of G if |S| is the precise power of Φe (x) dividing the
generic order |G|. In particular, |SF | = |S|(q) = Φe (q)a for some p-power q. An F-stable Levi
subgroup L ≤ G is called an e-split Levi subgroup if it is the centralizer of an e-torus S in G. If
S is a Sylow e-torus, then L is called a Sylow e-split Levi subgroup of G.
Here we collect several important facts about Sylow e-tori and Sylow e-split Levi subgroups.
Lemma 2.2. Let G be a connected reductive algebraic group defined over Fq , with corresponding Frobenius morphism F : G → G. Let e be a positive integer.

(1) A GF -conjugate of a Sylow e-torus of G is also a Sylow e-torus of G.
(2) A GF -conjugate of a Sylow e-split Levi subgroup of G is also a Sylow e-split Levi subgroup
of G.
(3) Sylow e-split Levi subgroups of G are minimal among e-split Levi subgroups of G.
(4) An F-stable sub-torus of an e-torus of G is also an e-torus.
(5) The Sylow e-torus S contained in a Sylow e-split Levi subgroup L = CG (S) of G is the
unique Sylow e-torus of G contained in every F-stable maximal torus of L.

Proof. Statements (1) − (3) directly follow from their definitions.
For (4), let S be an e-torus of G and S1 ⊆ S an F-stable torus. By [CE, Theorem 13.1],
there is a unique “polynomial order” P(S,F) (x) ∈ Z[x], which is indeed Φe (x)a for some a ≥ 0,
associated to S such that |SF | = P(S,F) (q). Furthermore, we have P(S1 ,F) (x) | P(S,F) (x) by [CE,
Proposition 13.2.(ii)]. However, Φe (x) is irreducible in Z[x]. Hence P(S1 ,F) (x) = Φe (x)a1 for
some a1 ≤ a, which says that S1 is an e-torus.
We now prove (5). Let S be a Sylow e-torus such that L = CG (S) and |SF | = Φe (x)a for
some a ≥ 0. Let T be an F-stable maximal torus of L. Since T is self-centralizing in L, and
[S, T] = 1, it follows that S ⊆ T. By [CE, Proposition 13.5], S is the unique Sylow e-torus in
T.
Recall that a maximal torus of GF is TF for some maximal torus T of G.
Definition 2.3. We call SF a Sylow e-torus of GF if S is a Sylow e-torus of G, and LF a Sylow
e-split Levi subgroup of GF if L is a Sylow e-split Levi subgroup of G.
Finally, we introduce regular numbers of a finite simple group of Lie type in terms of its
following standard construction.
Definition 2.4. Let S be a finite simple group of Lie type defined over a finite field Fq of characteristic p. We call the following set-up (G, F) the Fγ -set-up for S if G is a simple simplyconnected algebraic group as before, and F is chosen as follows. For α ∈ Φ, we write xα (t) for
the root element associated to α and t ∈ F p . There exists an automorphism Γ of G such that
5

• if G is not one of B2 (F2 ), F4 (F2 ) and G2 (F3 ), then Γ(xα (t)) = xγ (α ) (t) for every α ∈ Φ
and t ∈ F p , where γ is an automorphism of the Dynkin diagram of G chosen as in [BGL77,
Table 1]; and
• if G is one of B2 (F2 ), F4 (F2 ) or G2 (F3 ), then for each α ∈ Φ and t ∈ F p we have
Γ(xα (t)) =

(
xγ̄ (α ) (t p )

if α is short,

xγ̄ (α ) (t)

otherwise,

where γ̄ is a non-trivial automorphism of the Coxeter diagram associated to G.
If we denote by F0 the endomorphism of G defined by extending F0 (xα (t)) = xα (t q ) for every
α ∈ Φ and t ∈ F p , then the above Steinberg endomorphism F for S is chosen to be F0 ◦ Γ.
As in Theorem 1.3, write
e = eℓ (q) := multiplicative order of q

(

modulo ℓ if ℓ is odd,
modulo 4 if ℓ = 2.

The number e is called a regular number of (G, F) if Sylow e-Levi subgroups of G are tori. As
observed in [Sp10, Remark 2.6], such numbers are exactly the regular numbers of WG φ in the
sense of Springer [Spr].
Definition 2.5. We call e a regular number of the simple group S of Lie type if e is a regular
number of the Fγ -set-up (G, F) for S.

2.2 Sylow subgroups of simple groups of Lie type
Recall that if p is a prime and t, n are integers greater than 1, then p is a Zsigmondy prime
divisor of t n − 1 if p divides t n − 1, but p does not divide t m − 1 for 0 < m < n. Clearly, p
is a Zsigmondy prime divisor of t n − 1 if and only if p | Φn (t), but p does not divide Φm (t)
for 0 < m < n. The well-known Zsigmondy’s Theorem asserts that for any n,t > 1, t n − 1 has
a Zsigmondy prime divisor unless (n,t) = (6, 2) or n = 2 and t has the form 2e − 1 for some
integer e (see [Zsi]).
Simple groups of Lie type are usually partitioned into 16 families, and their orders can be
found in [GLS3, Table 2.2]. Let S be a finite simple group of Lie type defined over a finite
′
field Fq , where q = p f . Hence S = O p (A0 ), where A0 is the group of fixed points of a simple
algebraic group of adjoint type by a Steinberg endomorphism. For the purpose of convenience,
Table 2 collects some related data about S. The number d is the index |A0 : S|, and T is a cyclic
subgroup of S which corresponds to a maximal torus of A0 . The order of each T in Table 2 is as
in [GM12, Tables 6 and 7]. The group Te is a Sylow Φe -subgroup of T , with e a regular number
of S, as listed in [Sp09, Tables 1 and 2] and [Sp10, Table 1].
Assume that |Te | has a Zsigmondy prime r. Then S has a Sylow r-subgroup, say R, contained
in Te . In Table 2, we collect some useful data to us, where the order of NA0 (R)/CA0 (R) follows
from [DR14, Lemma 2.7], [GM12, Tables 6 and 7] and the regularity of e.

6

Conditions

S

7

An (q)
Bn (q)
Cn (q)
Dn (q)
E6 (q)
E7 (q)
E8 (q)
F4 (q)
G2 (q)
2 A (q)
n
2D

n ≥ 1, (n, q) 6= (2, 2), (2, 4), (5, 2)
n > 1, (n, q) 6= (3, 2) and 2 ∤ q if n = 2
n > 2 and (n, q) 6= (3, 2)
n > 3, (n, q) 6= (6, 2)

q 6= 2
3 ∤ q, q > 2
n > 1 even and (n, q) 6= (2, 2)
n > 1 odd and (n, q) 6= (3, 2)
n>3

Table 2: Data related to §2.2
d
|T |
(2, q − 1)
(2, q − 1)
(2, q − 1)
(4, qn − 1)
(3, q − 1)
(2, q − 1)
1
1
1
(n + 1, q + 1)
(n + 1, q + 1)
(4, qn + 1)
(3, q + 1)
1
1
1
1

qn+1 −1
q−1
qn + 1

qn + 1
qn − 1
Φ9 /(3, q − 1)
Φ2 Φ18 /(2, q − 1)
Φ30
Φ12
Φ6
qn+1 +1
q+1
qn + 1

|Te |

Φn+1
Φ2n
Φ2n
Φn
Φ9 /(3, q − 1)
Φ18
Φ30
Φ12
Φ6
Φ2(n+1)
Φ2n
Φ2n
Φ18 /(3, q + 1)
Φ12
Φ′4
Φ′12
Φ′6

e
n+1
2n
2n
n
9
18
30
12
6
2(n + 1)
2n
2n
18
12
4
12
6

|NA0 (R)/CA0 (R)|

n+1
2n
2n
n
9
18
30
12
6
n+1
n
n
18
12
4
12
6

qn + 1
Φ18 /(3, q + 1)
6 (q)
3 D (q)
Φ12
4
2 B (22m+1 )
2m+1
q=2
,m ≥ 1
Φ′4
2
2 F (22m+1 )
2m+1
q=2
,m ≥ 1
Φ′12
4
2 G (32m+1 )
q = 32m+1 , m ≥ 1
Φ′6
2
p
√
√
√
(Here, Φ′4 = q + 2q + 1, Φ′12 = q2 + 2q2 + q + 2q + 1, and Φ′6 = q − 3q + 1. We assume r to be a Zsigmondy prime of |Te |.)
2E

n (q)

ordr (p)
(n + 1) f
2n f
2n f
nf
9f
18 f
30 f
12 f
6f
2(n + 1) f
2n f
2n f
18 f
12 f
4f
12 f
6f

2.3 Characters and blocks
In this subsection we make some observations on principal blocks of a finite group and its
normal subgroups. Our notation of character theory of finite groups mainly follows [Is] and
[Nav]. In particular, if H is a subgroup of G, then χH denotes the restriction of a character χ
of G to H and θ G means the induction of a character θ of H to G. In addition, if g ∈ G, then
H g = g−1 Hg and g H = gHg−1 . Sometimes we use gφ to denote φ (g) for φ ∈ Aut(G).
An important tool that we shall make use of is when the principal p-block of a normal
subgroup is uniquely covered by the principal p-block of the top group.
Lemma 2.6. Let N ✂ G and suppose that |N| is divisible by a prime p such that the principal
p-block of G is the unique p-block of G covering the principal p-block of N. If for any other
prime r dividing |N|, the primes p and r are adjacent in ΓB (N), then p and r are adjacent in
ΓB (G).
Proof. As B0 (G) p is the unique block of G covering B0 (N) p , it follows from [Nav, Theorem 9.4]
that for any φ ∈ B0 (N) p all the irreducible constituents of φ G lie in B0 (G) p . As r is adjacent to p
in ΓB (N), there exists some non-trivial irreducible character φ ∈ B0 (N) p ∩ B0 (N)r . Furthermore,
as B0 (G)r covers B0 (N)r , there is at least one irreducible constituent of φ G (which must be nontrivial) lying in B0 (G)r . By the above observation for B0 (G) p , it follows that this constituent lies
in B0 (G) p ∩ B0 (G)r . Thus p and r are adjacent in ΓB (G).
Thus we often want to find primes for which we can produce a unique cover for the principal block of a normal subgroup. The following two results provide criteria to ensure that the
principal block of a normal subgroup is uniquely covered by the principal block of the top group.
Lemma 2.7. Let N be a normal subgroup of G and p a prime. If CG (P) ≤ N for P ∈ Syl p (N)
then B0 (N) p is covered by a unique p-block of G which must be B0 (G) p .
Proof. This follows from [HK85, Corollary 2] and the fact that B0 (G) p covers B0 (N) p .
Lemma 2.8. Let N ✂ G and θ ∈ Irr(N) be such that θ G ∈ Irr(G). If b is the p-block of N
containing θ , then b is covered by a unique p-block of G.
In particular, if θ ∈ B0 (N) p such that θ G ∈ Irr(G), then B0 (N) p is covered by a unique
p-block of G which must be B0 (G) p .
Proof. Let B be a p-block of G covering b. By [Nav, Theorem 9.4] there exists an irreducible
character χ of B such that hχ , θ G i 6= 0. Thus as both characters are irreducible, we have χ = θ G
and so the block B must be unique.

2.4 Lusztig induction
Let G be a connected reductive algebraic group defined over F p and F a Steinberg endomorphism of G. Let e ≥ 1, and let L be an e-split Levi subgroup of G. An irreducible character
λ of LF is called e-cuspidal if ∗ RLL1 ≤Q (λ ) = 0 for all proper e-split Levi subgroups L1 L and

8

any parabolic subgroup Q of L containing L1 as Levi complement. The pair (L, λ ) is called an
e-cuspidal pair if L is an e-split Levi subgroup and λ ∈ Irr(LF ) is e-cuspidal.
If in addition L is a Sylow e-split Levi subgroup, then all of its characters are e-cuspidal
and we call (L, λ ) a Sylow e-cuspidal pair; such pairs are e-Jordan-cuspidal pairs (see [KM15,
Remark 2.2]). In particular, if L is a Sylow e-split Levi subgroup, then (L, 1LF ) is always an
e-Jordan-cuspidal pair, where 1LF is the trivial character of LF . According to [KM15, Theorem A], the irreducible constituents of RG
L (1LF ) are compatible with the block distribution of
irreducible characters of finite reductive groups.
In the following, we recall Lusztig induction and restriction as well as some of their properties. Let L ≤ G be an F-stable Levi subgroup of G contained in a parabolic subgroup P, and
F
let θ ∈ Irr(LF ). The Lusztig induction RG
L⊆P (θ ) of θ is the virtual character of G afforded by
F
F
a virtual G -module-L in terms of ℓ-adic cohomology as in [DM, Definition 11.1]. As usual,
we omit P from the notation when there is no need to emphasize it. When L is a maximal torus
T of G, the irreducible constituents of RG
T (1TF ) are called unipotent characters.
G
The adjoint functor of RL⊆P is called Lusztig restriction and denoted by ∗ RG
L⊆P . Also, we
usually omit P if possible. Two important basic facts for us are the following:
− ∗ RG
L (1GF ) = 1LF , which is from the proof of [DM, Corollary 12.7], and
∗
G
− RL (StGF ) = ±StLF (cf. [DM, Corollary 12.18(ii)]), where StGF is the Steinberg character
of GF .
Note that both Lusztig induction and restriction have the property of transitivity. For more
details, we refer to [DM].

3 Block graphs of simple groups
In this section we investigate block graphs of finite nonabelian simple groups and prove
Theorem 1.2. For alternating groups (except Alt(6)), sporadic simple groups and the Tits group,
we also mention the block graphs of their automorphism groups for later use.
Proposition 3.1. Let G be either an alternating group or a symmetric group on n ≥ 4 symbols.
Then ΓB (G) is a complete graph.
Proof. The case G = Sym(n) is given by [BMO06, Proposition 2.1], while the case G = Alt(n)
is given by [BZ08, Proposition 3.2].
Proposition 3.2. Let G be a sporadic simple group, the Tits group, or the automorphism group
of such a simple group. Then ΓB (G) is complete, unless G ∼
= J1 or G ∼
= J4 in which case only
the primes p = 3, q = 5 or p = 5, q = 7 respectively are not adjacent.
Proof. This can be directly checked by using [GAP]. Also note that the result when G is a
sporadic simple group was already observed in [BZ08, Proposition 3.5].
Thus, the remaining task in proving Theorem 1.2 is to determine the block graphs of finite
simple groups of Lie type. This is done by finding some nontrivial unipotent characters in the
intersections of principal blocks corresponding to different primes.
9

Lemma 3.3. Let G be a simple algebraic group over F p and F a Steinberg endomorphism of G
such that G is endowed with an Fq -structure. Assume that GF is not 3 D4 (q) and F is not very
twisted in the sense of [MT, Definition 22.4]. If e1 ≥ 2 and e2 ≥ 2 are two different integers such
that Φei := Φei (q) | |GF |, then Sylow e1 - and e2 -tori of GF cannot simultaneously be contained
in any F-stable maximal torus of Sylow ei -split Levi subgroups of G.
Proof. Let Li be a Sylow ei -split Levi subgroup of GF for i = 1, 2.
We first assume GF is a classical group, so that G may be weakened to be an algebraic
general linear, symplectic, or special orthogonal group defined over Fq . In particular, the group
GF is isomorphic to GLn (q),Un (q), Sp2n (q), SO2n+1 (q), or SO±
2n (q) for some n. Note that by
[FS86, Theorems (2A) and (3D)] there is a unique minimal 1 ≤ di ≤ n for each i such that φLi (q),
which is qdi − 1 if GF = GLn (q), qdi − (−1)di if GF = Un (q), or qdi ± 1 otherwise, is divisible
by Φei and is a factor of |GF |. In particular, φL1 (q) 6= φL2 (q).
For i = 1, 2, let n = ai di + si , where 0 ≤ si < di . By [FS86, Theorems (2A) and (3D)], the
Sylow ei -split Levi subgroups of GF have the form Mi × Qi , where Mi is a group of the same
type as GF with rank si and Qi is the direct product of ai copies of cyclic tori of order φLi (q). In
particular, any maximal torus of Li has the form TMi × Qi , where TMi is a maximal torus of Mi .
If d1 = d2 then since φL1 (q) 6= φL2 (q), we have {φL1 (q), φL2 (q)} = {qd1 − 1, qd1 + 1}. It follows
that there is no maximal torus of Li containing Sylow e1 - and e2 -tori of GF at the same time. So
we may assume d1 < d2 . If d1 = 1 then φL1 (q) = q + 1 by the assumption, hence d2 ≥ 3. This
means that d2 ≥ 3 in any case. Clearly, we have that φL2 (q) is not a factor of φL1 (q)a1 . Since Mi
and GF are of the same type and the rank of M1 is smaller than d2 , it follows that φL2 (q) is not a
factor of |M1 |. By the choices of φL1 (q) and φL2 (q), this implies that there is no maximal torus
of L1 containing Sylow e1 - and e2 -tori of GF at the same time.
We claim that there is also no maximal torus of L2 containing Sylow e1 - and e2 -tori of GF at
the same time. Let s2 = a′1 d1 + s′1 , where 0 ≤ s′1 < d1 . If φL1 (q) does not divide φL2 (q) and is a
factor of |M2 | then since a1 is obviously greater than a′1 , we conclude that in this case there is no
maximal torus of L2 containing Sylow e1 - and e2 -tori of GF at the same time. We now suppose
that φL1 (q) divides φL2 (q). In particular, we have d1 | d2 . Observe that for any maximal torus T2
of L2 , the exponent of the factor φL1 (q) in |T2 | is at most a2 + a′1 , which is smaller than a1 . It
follows that there is no maximal torus of L2 containing Sylow e1 - and e2 -tori of GF at the same
time, as claimed. Hence the lemma holds if GF is of classical type.
We now assume that GF is of exceptional type. The structure of Sylow ei -split Levi subgroups of GF can be found in [BMM93, Table 1] or the library of CHEVIE [GH+96]. So it is
easy to see that the lemma holds in this case, and we are done.
Lemma 3.4. Let S be a finite simple group of Lie type defined over a finite field of characteristic
p. Then for any prime divisors ℓ1 , ℓ2 of |S| different from p, the intersection B0 (S)ℓ1 ∩ B0 (S)ℓ2
has a nontrivial unipotent character of S.
Proof. By the main theorem of [Hi10], if S is one of 3 D4 (q), 2 B2 (q), 2 F4 (q) or 2 G2 (q) and if ℓ is
a prime dividing |S| with ℓ 6= p, then the Steinberg character St of S lies in the principal ℓ-block
of S. We can then assume that S is not any of those groups in the following. In particular, F is
not very twisted.
10

Let ei := eℓi (q) for i ∈ {1, 2}. It follows from [MT, Theorem 25.11] that G has a Sylow
ei -torus Si . The group Li := CG (Si ) is a Sylow ei -split Levi subgroup of G, and as remarked
in §2.4, the pair (Li , 1LFi ) is an ei -Jordan-cuspidal pair for each i = 1, 2. By [KM15, Theorem
F
A (a)], for i ∈ {1, 2} all irreducible constituents of RG
Li (1LFi ) lie in the principal ℓi -block of G ,
F
and so they lie in the principal ℓi -block of S, since the center Z(G ) is contained in the kernel
of every unipotent character of GF . In particular, if e1 = e2 then the lemma clearly holds since
RG
Li (1LFi ) contains a nontrivial irreducible constituent. In the following, we assume that e1 6= e2 .
Denote by Ti the set of F-stable maximal tori of Li for i = 1, 2. By Lemmas 2.2 (2) and
3.3, T1 ∈ T1 and T2 ∈ T2 are not GF -conjugate, and so by [MT, Proposition 25.1], their corresponding elements in the Weyl group W of G are not F-conjugate. Therefore, we have
G
hRG
L1 (1LF1 ), RL2 (1LF2 )i =

=

|TF1 ||TF2 | G L1
L2
hRL1 RT1 (1TF1 ), RG
L2 RT2 (1TF2 )i
F
F
T1 ∈T1 T2 ∈T2 |L1 ||L2 |

∑ ∑

|TF1 ||TF2 | G
∑ ∑ |LF ||LF | hRT1 (1TF1 ), RGT2 (1TF2 )i
1
2
T1 ∈T1 T2 ∈T2

= 0,
where the equalities hold by [DM, Proposition 12.13], by the transitivity of Lusztig induction,
and by [DM, Corollary 11.16], respectively. On the other hand, since
∗ G
hRG
Li (1LFi ), 1GF iGF = h1LFi , RLi (1LFi )iLFi = h1LFi , 1LFi iLFi = 1
G
for i = 1, 2, we have that RG
L1 (1LF1 ) and RL2 (1LF2 ) have a nontrivial common irreducible constituent. Thus the lemma follows.

Proposition 3.5. Let S be a finite simple group of Lie type defined over a finite field of characteristic p. Then the block graph of S is complete.
Proof. By [BZ08, Proposition 3.8], the defining characteristic p is adjacent to all other prime
divisors of |S|. So the result holds by Lemma 3.4.
Finally, combining Propositions 3.1, 3.2 and 3.5, we immediately get Theorem 1.2, which
we restate here.
Theorem 3.6. The block graph of a finite nonabelian simple group S is complete except when
S = J1 (resp. J4 ) in which case only the primes p = 3 and q = 5 (resp. p = 5 and q = 7) are not
adjacent in the block graph of S.

4 Steinberg characters in principal blocks
In this section we prove Theorem 1.3, which gives a characterization of exactly when the
Steinberg character of a finite simple group of Lie type lies in a principal block. We start with a
result about the p-part of the centralizer of some Sylow subgroup.

11

Proposition 4.1. Let S be a finite simple group of Lie type over a field Fq of characteristic p,
and let (G, F) be the Fγ -set-up for S. Assume that S is not 3 D4 (q), 2 B2 (q), 2 F4 (q) or 2 G2 (q). Let
ℓ ≥ 5, and let R be a Sylow ℓ-subgroup of GF . Then either eℓ (q) is a regular number of S, or
else p divides |CGF (R)|.
Proof. Write e = eℓ (q). By [MT, Theorem 25.11], we may take a Sylow e-torus S of G. Let
L = CG (S), and T be an F-stable maximal torus of L. By Lemma 2.2 (5), we have that T
contains S. Clearly, T is also a maximal torus of G. Note that L is a Levi subgroup of some
parabolic subgroup P of G by [DM, Proposition 1.22]. Let B be a Borel subgroup of G such that
T ⊆ B ⊆ P. Let Φ be the root system of G relative to T, and Π the basis of Φ corresponding to
B. In addition, let S be the set of reflections sα associated to simple roots α in Π. Notice that B
may not be F-stable.
Write W = NG (T)/T. By [DM, Proposition 1.6], there is some SI = {sα | α ∈ I ⊆ Π} ⊆ S
such that P = BWSI B, where WSI is the subgroup of W generated by SI . Let ΦI be the set of roots
which are in the subspace of X (T) ⊗ R generated by I. Then I is a basis of ΦI , and L is exactly
the subgroup of G generated by T and the root subgroups Uα := {xα (t) | t ∈ Fq } with α ∈ I.
If I = 0,
/ then L = T and so e is a regular number of S. Hence we assume that I 6= 0/ in the
following.
Let ΦI ⊥ ⊆ Φ be the set of roots orthogonal to all the roots corresponding to L, and W (L, T)⊥
be the subgroup of W generated by the reflections associated with Φ⊥
I . By [CE, Exercise 22.6],
there is an ℓ-subgroup V of NG (T)F such that V ∩ T = 1, V T/T is a Sylow ℓ-subgroup of
(W (L, T)⊥ )F , and the semi-direct product Z(L)Fℓ ⋊ V is a Sylow ℓ-subgroup of GF . Without
loss of generality, we let R = Z(L)Fℓ ⋊ V . Also, since the lemma obviously holds if V = 1, we
may assume that V 6= 1. In particular, Φ⊥
/
I 6= 0.
By [DM, Proposition 2.2], the intersection Bl = L ∩ B is a Borel subgroup of L. Let Bl,0
be an F-stable Borel subgroup of L. We claim that the unipotent radical Rl,0 := Ru (Bl,0 ) can
be generated by some elements of the root subgroups Uα with α ∈ ΦI . Indeed, we may take
h ∈ L such that Bl,0 = h Bl . In particular, Rl,0 = h Ru (Bl ). By [DM, Proposition 1.7], we have
h = vnv′ , where v and v′ are products of elements of some Uα ’s and n ∈ NL (T). Since Ru (Bl )
can be generated by elements of some Uα ’s with α ∈ ΦI and n Uα = Uα ′ for some α ′ ∈ ΦI , the
claim follows.
For every α ∈ ΦI , β ∈ Φ⊥
I and t ∈ Fq , we claim that if sβ = nβ T then nβ uα (t)nβ = uα (t).
In fact, by [Spr74, §9.2.1] we have that
nβ uα (t)nβ = usβ (α ) (dβ ,α t) = uα (dβ ,α t)
for some constant dβ ,α . However, since (α , β ) = 0 and the β -string (α − cβ , . . . , α + bβ )
through α is just (α ), we have dβ ,α = 1 by [Spr74, Lemma 9.2.2 (i)]. Hence the claim follows.
Now for each α ∈ ΦI , since Uα centralizes hnβ i for every β ∈ Φ⊥
I , which implies that Uα
⊥
centralizes W (L, T) , we have Uα ⊆ CL (R). Hence we have Rl,0 ⊆ CL (R), and so RFl,0 ⊆ CL (R)F .
Thus the lemma follows since RFl,0 is a non-trivial p-group.
Let StGF be the Steinberg character of GF . Recall from [DM, Corollary 9.3] the values of
12

the Steinberg character, namely
(
εG ε(CG (s)◦ ) |CG (s)◦F | p
StGF (s) =
0

if s is semisimple,
otherwise,

(4.1)

where CG (s)◦ is the connected component of CG (s) and εG = (−1)r(G) with r(G) the Fq -rank
of G.
We are now ready to prove Theorem 1.3, also restated here.
Theorem 4.2. Let S be a finite simple group of Lie type defined over a finite field Fq of characteristic p. Let ℓ be a prime divisor of |S| different from p, and view the Tits group as a sporadic
simple group. Then the Steinberg character St of S lies in the principal ℓ-block of S if and only
if e = eℓ (q) is a regular number of S.
Proof. By [Spr74, 6.12 Exceptional Types], all e are regular if S is one of the groups 3 D4 (q),
2 F (q) or 2 G (q). According to the definition of regular numbers and the rank of S, this is also
4
2
true if S = 2 B2 (q). Therefore, by the main theorem of [Hi10], we may assume that S is not
3 D (q), 2 B (q), 2 F (q) and 2 G (q).
4
2
4
2
Let G and F be as in §2.1 such that GF /Z(GF ) ∼
= S. Then F is not very twisted in the sense
of [MT, Definition 22.4], and so by [MT, Theorem 25.11], G has a Sylow e-torus, say Te , for
e ≥ 1. The group L := CG (Te ) is an F-stable Sylow e-split Levi subgroup of G.
If e is a regular number for S, then L is equal to some maximal torus T of G, and (T, 1TF ) is
an e-Jordan-cuspidal pair. By [KM15, Theorem A(a)], all irreducible constituents of RG
T (1TF )
G
F
lie in an ℓ-block of G , in fact its principal ℓ-block since (1GF , RT (1TF )) 6= 0. However, since
StTF = 1TF , we have that
∗ G
(StGF , RG
T (1TF ))GF = ( RT (StGF ), 1TF )TF = ±(StTF , 1TF ) = ±1.

Hence StGF lies in the principal ℓ-block of GF . Since the Steinberg character StGF is the inflation
of the Steinberg character St of S, it follows that St lies in the principal ℓ-block of S.
Conversely, assume that e is not a regular number. By [KM15, Lemma 3.17], we have e ≥ 3.
In particular, ℓ ≥ 5. By Proposition 4.1, there exists a nontrivial p-element x ∈ CGF (R) such that
R ≤ CGF (x). Hence we have, by Equation (4.1),
|GF : CGF (x)| 6≡

StGF (x)|GF : CGF (x)|
= 0 (mod ℓ).
StGF (1)

This means that StGF does not lie in the principal ℓ-block of GF , and thus St does not lie in the
principal ℓ-block of S.

5 Centralizers of Sylow subgroups
Here we investigate the centralizer of a Sylow subgroup of a simple group of Lie type in the
automorphism group of that simple group. As is well known, the automorphism group of a finite
simple group S of Lie type of characteristic p is generated by inner automorphisms, diagonal
13

automorphisms, field automorphisms and graph automorphisms. For purpose of convenience,
we will identify Inn(S) with S. As before, let A0 be the subgroup of A = Aut(S) generated by S
e0 for the subgroup of A generated by A0
and its diagonal automorphisms. In addition, we write A
and all the graph automorphisms of S.
Our main purpose of this section is to prove Theorem 1.6, which is indeed the combination
of Proposition 5.2, Lemmas 5.3–5.6 and Corollary 5.9.

5.1 Simple groups without graph automorphisms
Here we investigate the centralizer of a Sylow subgroup of a simple group S of Lie type in a
subgroup of Aut(S) generated by S, its diagonal automorphisms and field automorphisms.
Lemma 5.1. Let S be a finite simple group of Lie type defined over a finite field Fq , where
q = p f . Assume that the order |Te | in Table 2 has a Zsigmondy prime r, and let R ∈ Sylr (S). If
φ is a field automorphism of S, then CA1 (R) ≤ A0 , where A1 = A0 hφ i.
Proof. Let G be a simple algebraic group of adjoint type over F p , and F a Steinberg endomor′
phism of G such that A0 = GF and S = O p (A0 ). By the assumption, we know that R is cyclic
and also a Sylow r-subgroup of A0 . Let T ⊂ B be an F-stable maximal torus inside an F-stable
Borel subgroup of G so that F = F0 ◦ Γ as in Definition 2.4.
−1
−1
Let h ∈ G be such that Th is F-stable and R ⊂ Th . If we denote R = hxi, then y = xh ∈ T.
′ −1
′
Assume φ ′ ∈ hφ i such that φ ′ g−1 ∈ CA1 (R) for some g ∈ A0 . Then xφ g = x, i.e., xφ = xg .
k
We may assume there is some 1 ≤ k < f such that φ ′ maps xα (t) to xα (t p ) for all α and
∗
t ∈ F p . Note that T is generated by elements hα (t), where α runs through all simple roots of
k
′
G. It follows that φ ′ induces a power map on T via uφ = u p for u ∈ T. In particular, we have
k
′
yφ = y p .
Since B is generated by T and root subgroups Uα for all positive roots α of G by [DM,
Theorem 0.31 (v)], it is also φ ′ -stable. Considering the endomorphisms F and φ ′ of G, we have
′

(NG (T)/T)φ = NG (T)/T = (NG (T)/T)F .
So by [MT, Propositions 25.1 and 23.2], we may assume that h(φ ′ (h−1 )) = n0 ∈ NGF (T). Then
′

−1

′

k

′

−1 )

xφ = (yh )φ = (y p )φ (h
−1

k

′

−1 )

= (x p )hφ (h

k

= (x p )n0 ,

k

hence xgn0 = x p . This implies gn−1
0 ∈ NA0 (R). Therefore, the order m of the automorphism
induced by the conjugation of gn−1
0 on R divides |NA0 (R)/CA0 (R)| which is e or e/2 by Table 2.
mk
mk
p
Observe that x = x, namely x p −1 = 1. Hence r | pmk − 1, and r | Φ mk (p) for some integer
u

u ≥ 1. However, we have ordr (p) = e f . By [MT, Lemma 25.13], we have
integer v ≥ 0. Thus
mk
≤ mk ≤ ek < e f ≤ e f rv ,
u
which is a contradiction.

14

mk
u

= e f rv for some

Proposition 5.2. Let S be a finite simple group of Lie type defined over a finite field Fq , where
q = p f . If S has no graph automorphism, then S has a Sylow r-subgroup R such that CA (R) ≤ A0 ,
where A = Aut(S).
Moreover, the prime r is explicit in the following sense: if the |Te | in Table 2 has a Zsigmondy
prime, then we let r be this prime; otherwise, either S = B3 (2) ∼
= C3 (2), 2 A3 (2) or S = A1 (q) and
q + 1 does not have a Zsigmondy prime, in which cases r is 7, 5 or any prime divisor of 2(q − 1),
respectively.
Proof. We first suppose S = A1 (q) ∼
= L2 (q) so that |A0 : S| = (2, q − 1). If q + 1 has a Zsigmondy
prime r, then by Lemma 5.1, we have CA (R) ≤ A0 , where R ∈ Sylr (S). For the case that q + 1
does not have a Zsigmondy prime, it follows from Zsigmondy’s Theorem that q = 2k − 1 for
some k ∈ N. (Notice that q = 23 + 1 = 9 does not occur since otherwise q + 1 = 10 has a
Zsigmondy prime 5, a contradiction.) By [BM85, Lemma 2.4(a)], q = p is a Mersenne prime so
that f = 1, A0 = A, and the conclusion obviously holds.
We now suppose S ∼
6 A1 (q). The results follows by Lemma 5.1 if the |Te | in Table 2 has a
=
Zsigmondy prime. In the remaining cases, we have S = A5 (2), B3 (2) ∼
= C3 (2), D4 (2), or 2 A3 (2).
(Notice that 2 A2 (2) is solvable.) Since S has no graph automorphism, we have S = B3 (2) ∼
= C3 (2)
or 2 A3 (2). Thus, the proposition holds since A = A0 in both cases.

5.2 Simple groups with a graph automorphism, I
Here we investigate the centralizer of a Sylow subgroup of a simple group S in the automorphism group A of S, where S has a graph automorphism and is one of the groups An (q) (n > 1),
Dn (q) (n ≥ 4), E6 (q) or F4 (q) (q = 2 f ).
Lemma 5.3. Let S = An (q), where q = p f . Suppose that (n, q) 6= (2, 4). Let r be a prime divisor
of |S| satisfying the following: if the order |Tn+1 | in Table 2 has a Zsigmondy prime then r is this
prime; otherwise (n + 1, q) = (6, 2) and r = 31. Then CA (R) ≤ A0 , where R ∈ Sylr (S).
Proof. In order to prove the lemma, it suffices to show that CA0 hα i (R) ≤ A0 for any α ∈ A =
Aut(S).
Let G be a simple algebraic group of adjoint type defined over F p and F a standard Frobenius
′
morphism of G such that S = O p (GF ). In particular, we have A0 = GF . Notice that α extends
to an automorphism of A0 and an endomorphism of G. By Lemma 5.1, we may assume α is not
a field automorphism, so that n ≥ 2 since L2 (q) has no graph automorphism. Then we have α =
i
gσi for some g ∈ A0 and σi = 2 σ pi with i odd and 1 ≤ i ≤ f − 1, where 2 σ pi (xα (t)) = xΓ(α ) (t p )
for α ∈ Φ and Γ is the automorphism of the Dynkin diagram of G, as listed in [BGL77, Table2].
Now the proof of [MT, Theorem 11.12] shows that σi can be viewed as a morphism of G
i
which is the product of the field automorphism σ pi such that σ pi (xα (t)) = xα (t p ), the inverse

1


.
transpose map of matrices, and the conjugation induced by M0 M1 , where M0 = 

..
1
and M1 = diag(1, −1, 1, −1, . . .).
15

Assume S 6∼
= A5 (2). Since R ⊆ Tn+1 = hxi lies in a maximal torus of G, there is h ∈ G such
n+1
−1
n
h
that x = diag(λ , λ q , . . . , λ q ), where λ is a primitive q q−1−1 -th root of unity. Then we have
xα

i

n

= diag(λ , λ q , . . . , λ q )hα
n
σ
= (diag(λ , λ q , . . . , λ q )σi )(hg) i
σ
i n
i
i
= diag(λ −p q , . . . , λ −p q , λ −p )M0 M1 (hg) i .
n

i

m

We claim that λ −p 6∈ {λ , λ q , . . . , λ q }. Otherwise, assume that λ −p = λ q for some 0 ≤ m ≤ n.
n+1
m
i
i
f m−i
We have λ q +p = λ p (p +1) = 1. It follows that q q−1−1 | p f m−i + 1, and so i = 0, m = n = 1,
which is a contradiction. Hence the claim holds. This implies that xα is not conjugate to x in G.
In particular, xα is not conjugate to x in A0 .
n+1
Now we put m = ( q q−1−1 )r′ and y = xm so that R = hyi. As argued above, we have
i

n

λ −mp 6∈ {λ m , λ mq , . . . , λ mq },
and then we may conclude that yα is not conjugate to y in A0 .
Finally, let S = A5 (2). In this case, we may assume y is a generator of R such that y is
4
G-conjugate to diag(σ , σ q , . . . , σ q , 1), where σ is a primitive 31st root of unity. Using a similar
argument as above, we get that CA (R) ≤ A0 , finishing the proof.
Lemma 5.4. Let S = Dn (q) with n ≥ 4. Let r be a Zsigmondy prime of Φn as in Table 2 unless
q = 2 and n = 6, in which case let r = 7. If R ∈ Sylr (S), then CA (R) ≤ A0 .
Proof. If (n, q) = (6, 2), then A = SO+
12 (2) and the result can be checked directly by [GAP]. In
the following we assume (n, q) 6= (6, 2).
Let G be a simple algebraic group over F p of adjoint type and F the standard Frobenius
′
morphism of G such that A0 = GF and S = O p (A0 ). The group PSLn (q) embeds into A0 in a


!
1
X


1
.
,
natural way. Denote Kn = 
. We may write R = hxi, where x =
..
X2
1
X1 ∈ PSLn (q) of order (qn − 1)r and X2 = Kn X1−tr Kn .
Let Θ be the subgroup of A generated by the graph automorphism and the field automorphisms of S. In order to prove the lemma, it suffices to show that for any a0 ∈ A0 and any µ ∈ Θ
of prime order, the product a0 µ does not centralize R.
We first assume µ is the graph automorphism of S so that by [MT, Exercise 20.1 and Example 22.9], it can be induced by the conjugation of


In−1


0 1


g=



1 0
In−1

which is in GO2n (q)\SO2n (q) if q is odd and SO2n (q)\SO2n (q)′ if q is even.

16

Assume a0 ∈ A0 such that xa0 g = x. Notice that C := CGL2n (q) (x) is a maximal torus of
!
M
11
, where M11 ∈ T1,n ,
order (qn − 1)2 and consists of elements having the form
M22
M22 ∈ T2,n , and T1,n and T2,n are two Singer cycles of GLn (q). Furthermore, we have C ∩
−1
CO2n (q) ⊆ SO2n (q) since now M22 = Kn M11
Kn . In addition, if q is even then from the oddness of the order |C|, we know that C ∩ SO2n (q) ⊆ SO2n (q)′ . However, it follows that a0 ∈
GO2n (q)\SO2n (q) if q is odd and in a0 g ∈ SO2n (q)\SO2n (q)′ if q is even, contradicting the
choice of a0 .
We now assume that µ is a field automorphism or the product of a field automorphism
and the graph automorphism of S. Comparing the eigenvalues of xa0 µ and x, we conclude that
xa0 µ 6= x. Thus CA (R) ≤ A0 , and we are done.
Lemma 5.5. Let S = E6 (q), where q = p f . Let r be a Zsigmondy prime of Φ9 as in Table 2, and
R ∈ Sylr (S). Then CA (R) ≤ A0 .
Proof. Let α ∈ A\A0 and A1 = A0 hα i. In order to prove the lemma, it suffices to show that
CA1 (R) ≤ A0 for each α of prime order.
Let (G, F) be the Fγ -set-up for S, and let GF = GF /Z(GF ), where |Z(GF )| = (3, q − 1).
By [We92, Fig. 6], maximal subgroups of GF containing a Sylow r-subgroup of GF are all
isomorphic to SL3 (q3 ).3 and conjugate in GF . Let M be one of them such that NA0 (M) contains
CA0 (R), and let M1 be the normal subgroup of M such that M1 ∼
= SL3 (q3 ). Clearly, we have
NA1 (M1 ) ⊇ NA1 (M) and NA1 (M) NA0 (M). In particular, after replacing α by the product of
some x ∈ A0 and a power of α , we may assume that α normalizes M and M1 . It follows that
N := NA1 (M) = NA0 (M)hα i, and CA1 (R) ≤ hα ,CA0 (R)i ≤ hα , NA0 (M)i = N.
g

Since NA1 (M1 ) = NA1 (M1 )g for any g ∈ S and α does not centralize S, we have that α cannot
centralize M1 . Hence α induces a non-trivial automorphism of M1 . Applying Lemma 5.3 on R
and M1 , we have CA1 (R) = CN (R) ≤ NA0 (M). Hence CA1 (R) ≤ A0 , finishing the proof.
Lemma 5.6. Let S = F4 (q), where q = p f . Let r = 17 if q = 2 or else let r be a Zsigmondy
prime r of Φ12 as in Table 2. If R is a Sylow r-subgroup of S, then CA (R) ≤ A0 = S.
Proof. The result directly follows from Lemma 5.1 if p is odd, in which case S has no graph
automorphisms. So we may assume that p = 2 in the following. Then Aut(S) is the semi-direct
product of S and hδ i, where δ is the automorphism of S induced by the graph automorphism
of the corresponding Dynkin diagram, and squares to the field automorphism x 7→ x2 . Since the
case where S = F4 (2) can be directly checked by the character table of Aut(F4 (2)) in [GAP], we
assume q > 2 in the following.
In order to show that CA (R) ≤ S, it is equivalent to show that CShδ i i (R) ≤ S for any i ∈ Z.
Also, it is equivalent to show that CShδ i i (R) ≤ S for any δ i of prime order. If f is even, then all
the automorphisms δ i of prime order are field automorphisms of S. Hence the result follows by
applying Lemma 5.1.
Now we suppose that f is odd. It is easy to see that all the automorphisms δ i of odd prime
order are field automorphisms of S. Hence the result also follows by applying Lemma 5.1. So it
17

remains to show that CShδ f i (R) ≤ S. In this case, we have |Shδ f i : S| = 2. Observe that CShδ f i (R)
is contained in some proper maximal subgroup of Shδ f i.
By [We92, Fig. 5], there are two S-conjugacy classes of maximal subgroups containing R.
Moreover, all of them are isomorphic to 3 D4 (q).3. If δ f normalizes such a maximal subgroup
M, then all those maximal subgroups are conjugate in Shδ f i. Hence we may prove the lemma
by applying Lemma 5.1 and a similar argument as in the proof of Lemma 5.5. We now assume
that δ f normalizes none of those maximal subgroups. Then all of them are only in the maximal
subgroup S of Shδ f i. Thus it follows that CShδ f i (R) ≤ S, finishing the proof.

5.3 Simple groups with a graph automorphism, II
In this subsection we investigate the centralizer of a Sylow subgroup of a simple group S
b0 of the automorphism group of S generated by S and all of its field automorin the subgroup A
phisms, where S is one of the groups B2 (q) (q = 2 f ) or G2 (q) (q = 3 f ).

Lemma 5.7. Let S = B2 (q) ∼
= O5 (q), where q = 2 f > 2. Let r be a Zsigmondy prime of 22 f − 1
with respect to (2, 2 f ) unless f = 3, in which case let r = q − 1 = 7. If R ∈ Sylr (S), then
CAb0 (R) ≤ S.
Proof. We may assume f 6= 1. In order to prove the lemma, it suffices to show that CShφ i (R) ≤ S
for any field automorphism φ of S of prime order.
We may first suppose that f 6= 3. Since the Weyl group of S is a 2-group and r is clearly
odd, it follows from [BMM93, Proposition 5.2] that R is O5 (q2 )-conjugate to
R1 = {diag(λ , µ , 1, µ −1 , λ −1 ) | λ , µ ∈ F∗q2 and have order (q + 1)r }.
k

The field automorphism φ extends to O5 (q2 ), and we may assume that φR1 : R1 → R1 via t 7→ t p
for some 1 ≤ k < f . In order to prove the lemma, it suffices to show that for any g ∈ O5 (q2 ),
−1
there is some t ∈ R1 such that t φ g 6= t, namely, t φ 6= t g .
k
φ
Let u1 = diag(λ , 1, 1, 1, λ −1 ) ∈ R1 be of order (q + 1)r . Clearly, λ p 6= 1, λ , λ −1 . So u1
φ
and u1 have different eigenvalues, which means that u1 and u1 are not conjugate in O5 (q2 ), as
wanted.
We now let f = 3 and so r = 7. In this case, the Sylow 7-subgroup R is O5 (q)-conjugate to
R1 = {diag(λ , µ , 1, µ −1 , λ −1 ) | λ , µ ∈ F∗q and have order (q − 1)7 = 7}.
Similarly, we may assume that φR1 : R1 → R1 via t 7→ t 2 and take u′1 = diag(λ ′ , 1, 1, 1, λ ′−1 ) ∈ R1
′φ
with λ ′ 6= 1. Checking eigenvalues of u1 and u′1 again, we conclude that they are not conjugate
in O5 (q), and we are done.
Lemma 5.8. Let S = G2 (q), where q = 3 f and f > 1. Assume that φ is a field automorphism
of S of prime order. If R is a Sylow r-subgroup of S for some Zsigmondy prime divisor r of Φ2 ,
then CAb0 (R) ≤ S.

18

Proof. We may assume f 6= 1. As in Lemma 5.7, it suffices to show that CShφ i (R) ≤ S for any
field automorphism φ of S of prime order.
Let (G, F) be the Fγ -set-up for S and T2 a Sylow 2-torus of G. Since φ is of prime order,
k
we have f > 1. So we may assume that φ sends t ∈ T2 to t p for some integer 1 ≤ k < f . In
addition, since the order of the Weyl group of S is 12 and r ≥ 5, we may assume that R is a
Sylow r-subgroup of TF2 by [MT, Theorem 25.14 (1)].
In order to show the lemma, it suffices to show that for any g ∈ S, there is some t ∈ R such
−1
2
that t φ g 6= t, namely, t φ 6= t g . We now denote by ι an embedding of G2 (q) into H = PΩ+
8 (q ).
k

Notice that H has a field automorphism, also denoted by φ , mapping (mi j )8×8 ∈ H to (mipj )8×8 .
Hence it is enough to show that for any g ∈ H, there is some t ∈ R such that ι (t)φ 6= ι (t)g .
Clearly, all eigenvalues of elements of TF2 are in F∗q2 . There is h ∈ H such that

ι (TF )h = TD = {diag(λ , µ , λ µ −1 , 1, 1, λ −1 µ , µ −1 , λ −1 ) | λ , µ ∈ F∗q2 and have order q + 1}.
Let t ∈ R be such that
u = ι (t)h = diag(1, α , α −1 , 1, 1, α , α −1 , 1) ∈ TD ,
where α = ζ m , m = (q2 − 1)r′ and ζ is a generator of F∗q2 . In particular, φ (u) is H-conjugate to
φ (ι (t)).
k
If φ (u) is H-conjugate to u, then φ (u) and u have the same eigenvalues. This implies α p =
α −1 , which is not possible because of the choice of r. Hence φ (u) and u are not conjugate in H,
and we are done.
Corollary 5.9. Theorem 1.6 (ii) holds.
Proof. The case where S = A2 (4) can be directly checked using [GAP]. For the other cases, the
result follows by Lemmas 5.7 and 5.8.

6 Block graphs of almost simple groups
In this section we show that block graphs of almost simple groups have a triangle two of
whose vertices can be determined.
e0 . Let π be a set of primes, and for
We keep the notation in Section 5, including A0 and A
a finite group G, let π (G) be the set of prime divisors of |G|. We write ΓB (G)|π for the full
subgraph of ΓB (G) whose vertices are those of π (G) ∩ π . The main purpose of this section is to
prove the following result.
Theorem 6.1. Let S ≤ G ≤ A, where A = Aut(S) and S is a nonabelian simple group. Then for
each prime divisor ℓ of |S|, the subgraph ΓB (G)|π (S) has a triangle containing ℓ.
Proof. For the case where S is not of Lie type, Theorem 6.1 follows by Propositions 3.1 and
3.2. The case where S = A6 ∼
= A1 (9) can be directly checked by [GAP]. For the case where S is
a simple group of Lie type, this is done by the subsequent Proposition 6.7.

19

6.1 Principal blocks and diagonal automorphisms
From now on, we investigate block graphs of almost simple groups with socle isomorphic
to a simple group of Lie type. Here we mention a fundamental result.
Theorem 6.2. Let S be a finite simple group of Lie type defined over a finite field of characteristic
p, and let ℓ be a prime different from p. Denote by Uch(S) the set of unipotent characters of
S. Then the restriction map from Uch(A0 ) to Uch(S) is bijective and keeps their partitions into
ℓ-blocks.
Proof. This is [CE, Theorem 17.1].
Lemma 6.3. Let S ≤ H ✂ G ≤ A, where A = Aut(S) and S is a finite simple group of Lie type
over a finite field of characteristic p. Then the principal p-block of G is the unique p-block
covering the principal p-block of H.
Proof. Let P ∈ Syl p (S) and PH ∈ Syl p (H) with P ⊆ PH . By [BZ08, Lemma 2.2], we know that
CA (P) is a p-group. Hence CG (PH ) ≤ CG (P) ≤ CA (P) is a p-group. Now the lemma follows by
[LZ17, Lemma 2.3].
Lemma 6.4. Let S ≤ G ≤ A0 , where S is a finite simple group of Lie type over a finite field of
characteristic p. Then ΓB (G) is complete.
Proof. Clearly, we have π (G) = π (S). Let ℓ1 , ℓ2 ∈ π (S). If p ∤ ℓ1 ℓ2 , then by Lemma 3.4, there
is a nontrivial unipotent character of S lying in both principal ℓ1 - and ℓ2 -blocks of S. It follows
from Theorem 6.2 that there is a nontrivial unipotent character χ of A0 lying in both principal ℓ1 and ℓ2 -blocks of A0 . Since A0 /S is abelian, we have that G is normal in A0 . Hence χG ∈ Irr(G)
is in the principal ℓi -block of G for i = 1, 2, namely ℓ1 and ℓ2 are adjacent in ΓB (G) in this case.
Now we may assume that ℓ1 = p. Then by Lemma 6.3, the principal p-block of G is the
unique p-block covering the principal p-block of S. Thus ℓ1 and ℓ2 are also adjacent in ΓB (G)
by Lemma 2.6 and the completeness of the block graph of S, and we are done.

6.2 Almost simple groups with Lie-type socle
In this subsection, we shall find a triangle in the block graph of an almost simple group
according to the results in the previous section.
We first investigate some almost simple groups with socle S which is one of the groups
B2 (2 f ) or G2 (3 f ). We always let (G, F) be the Fγ -set-up for S. The notation and symbols for
unipotent characters follow [Car]. They make sense due to Theorem 6.2.
e0 , where S = B2 (q) with q = 2 f . Let r be a prime as in Theorem 1.6.
Lemma 6.5. Let S ≤ G ≤ A
Then ΓB (G)|{p,r,ℓ} is a triangle for any prime divisor ℓ of |S| different from p and r.
Proof. Note that A0 = S and B0 (G)2 is the unique 2-block of G covering B0 (S)2 . The lemma
e0 .
directly follows by Proposition 3.5 if G = S, and so we may assume that G = A
20

!
!
1
2
0
1
and
,
Let χ , χ ′ be the unipotent characters of S corresponding to the symbols
0
2
respectively. Let T be a maximal torus of G containing a Sylow 2-torus of G if f 6= 3 or a Sylow
1-torus of G if f = 3. Since 1, 2 are regular numbers of S by [KM15, Lemma 3.17], it follows
that T is also a Sylow 2-split Levi subgroup of G if f 6= 3 or a Sylow 1-split Levi subgroup of G
otherwise. Using [GH+96], we know that χ and χ ′ are irreducible constituents of RG
T (1TF ). By
[KM15, Theorem A], both lie in the principal r-block of S. However, by [Ma08, Theorem 2.5],
the inertia group of χ in G is exactly S. Hence χ induces irreducibly to G, and so by Lemma
2.8, B0 (G)r is the unique r-block of G covering B0 (S)r . Now the lemma follows by Lemma 2.6
and the completeness of the block graph of S.
′ , φ ′′ of G (q), we may similarly conclude the folConsidering the unipotent characters φ1,3
2
1,3
lowing result.

e0 , where S = G2 (3 f ). Let r be a prime as in Theorem 1.6. Then
Lemma 6.6. Let S ≤ G ≤ A
ΓB (G)|{p,r,ℓ} is a triangle for any prime divisor ℓ of |S| different from p and r.
Proposition 6.7. Let S ≤ G ≤ A, where A = Aut(S) and S is a simple group of Lie type defined
over a finite field of characteristic p. Let r be a prime as in Theorem 1.6. Then ΓB (G)|{p,r,ℓ} is
a triangle for any prime divisor ℓ of |S| different from p and r.
e0 . Let RM ∈ Sylr (M) be such
Proof. Use the notation in Theorem 1.6, and write M = G ∩ A
e0 . This
that R ⊆ RM . Clearly, we have CG (RM ) ≤ CG (R) ≤ CA (R). By Theorem 1.6, CA (R) ≤ A
implies CG (RM ) ≤ M, so that B0 (G)r is the unique r-block of G covering B0 (M)r .
By Lemma 6.3, B0 (G) p is the unique p-block of G covering B0 (M) p . Therefore, the proposition follows from Lemma 2.6 if ΓB (M)|{p,r,ℓ} is a triangle for any prime divisor ℓ of |S| different
from p and r. However, this is true by Lemma 6.4 if S has no graph automorphism, and by
Lemmas 6.5 and 6.6 if S is one of the groups B2 (2 f ) or G2 (3 f ). So it remains to consider the
cases where S = An (q)(n ≥ 2), Dn (q), F4 (q) and E6 (q). The case where S = A2 (4) can be directly checked using [GAP]. For the other cases, we have CG (R) ≤ A0 ∩ G by Lemmas 5.3–5.6,
so that B0 (M)r is the unique r-block of M covering the principal r-block of A0 ∩ G, and so the
proposition follows by Lemma 2.6.

7 Triangles and p-solvability
In this section we prove Theorem 1.4, starting with two straightforward observations that
will be used for a reduction of the proof.
Lemma 7.1. Let N be a normal subgroup of G. If p and q are two distinct primes which are
adjacent in ΓB (G/N), then they are adjacent in ΓB (G).
Proof. Note that B0 (G/N) p can be viewed as a subset of a unique p-block of G. Moreover, as
B0 (G/N) p contains the trivial character, it follows that Irr(B0 (G/N)) p ⊆ Irr(B0 (G)) p . Thus if χ
is a non-trivial character in Irr(B0 (G/N)) p ∩ Irr(B0 (G/N))r , then χ yields a non-trivial character
in Irr(B0 (G)) p ∩ Irr(B0 (G))r . Hence p and r are adjacent in ΓB (G).
21

Lemma 7.2. Let G = H ≀K = (H1 × · · ·× Ht )⋊ K with K ≤ Sym(t). Furthermore, let 1 6= Li ≤ Hi
and set L = L1 × · · · × Lt . Then CG (L) ≤ H1 × · · · × Ht .
Proof. Choose an element (h̄, σ ) ∈ CG (L) with h̄ ∈ H1 × · · · × Ht and σ ∈ K and assume there
exist 1 ≤ r 6= s ≤ t with σ (r) = s. Consider an element (l1 , . . . , lt ) ∈ L such that li = 1 if and
only if i 6= r. Then (l1 , . . . , lt )(h̄,σ ) = (l1h1 , . . . , ltht )σ , where lihi = 1 if and only if i 6= r. By writing
(l1h1 , . . . , ltht )σ = (l1′ , . . . , lt′ ), we observe that li′ = 1 if and only if i 6= s. Thus r = s. In particular,
σ must be trivial and the result follows.
We now prove Theorem 1.4. Also, we restate it here.
Theorem 7.3. Let G be a finite group and p a prime divisor of |G|. If the block graph of G has
no triangle containing p, then G is p-solvable.
Proof. Assume that G is a minimal counterexample to Theorem 7.3. We deduce a contradiction
by the following steps.
Step 1. The group G has a unique minimal normal subgroup which must be non-abelian and
have order divisible by p.
Assume that G has two distinct minimal normal subgroups N1 and N2 . If ΓB (G/Ni ) has
a triangle containing p, then so does ΓB (G) by Lemma 7.1. Thus, by the minimality of |G|,
it follows that both G/N1 and G/N2 are p-solvable. Since G embeds into the direct product
G/N1 × G/N2 , we have that G is p-solvable, giving a contradiction. So G must have a unique
minimal normal subgroup. Moreover, it must be non-abelian and have order divisible by p,
otherwise G/N and N are both p-solvable.
We now assume the direct product of t copies of S, simply denoted by St , is the unique
minimal normal subgroup of G so that St ≤ G ≤ Aut(S) ≀ Sym(t), where t ∈ N and S is a nonabelian simple group. Write A = Aut(S) and M = At ∩ G.
Step 2. The subgraph ΓB (M)|π (S) has no triangle containing p.
Let q be a prime divisor of |S| and Q ∈ Sylq (M). As St ≤ M it follows that there exists
Q0 ∈ Sylq (St ) such that Q0 ≤ Q. Therefore CG (Q) ≤ CG (Q0 ), which by Lemma 7.2, is contained
in At . Thus CG (Q) ≤ M. Therefore, by Lemma 2.7, for any prime divisor q of |S| the principal qblock of G is the unique q-block covering the principal q-block of M. Now, applying Lemma 2.6,
we get that ΓB (M)|π (S) is a subgraph of ΓB (G). In particular, the block graph ΓB (M)|π (S) has no
triangle containing p as the block graph ΓB (G) does.
Since NM (S) = M, we have CM (S) ✂ M. Write M = M/CM (S).
Step 3. The subgraph ΓB (M)|π (S) has no triangle containing p.
By Lemma 7.1, the block subgraph ΓB (M)|π (S) is a subgraph of ΓB (M)|π (S) . Hence, the
subgraph ΓB (M)|π (S) has no triangle containing p.
Final contradiction. Notice that M is almost simple with socle isomorphic to S. Finally, we get
a contradiction by applying Theorem 6.1.

22

Acknowledgements
Most of the work was done during the visit of the second author at the TU Kaiserslautern
from July 2016 to July 2017. The authors are deeply grateful to Professor Jiping Zhang for
pointing out to us Theorem 1.5, to Professor Wolfgang Willems for his suggestion about the
problems in this paper, and to Professor Gunter Malle for his invaluable advice and support.

References
[BMO06] C. Bessenrodt, G. Malle, J. B. Olsson, Separating characters by blocks, J. London
Math. Soc. 73 (2006), 493-505.
[BZ08] C. Bessenrodt, J. Zhang, Block separations and inclusions, Adv. Math. 218 (2008),
485-495.
[BZ11] C. Bessenrodt, J. Zhang, Character separation and principal covering, J. Algebra 327
(2011), 170-185.
[Br79] R. Brauer, Blocks of characters and structure of finite groups, Bull. Amer. Math. Soc. 1
(1979), 21-62.
[BM85] P. Brockhaus, G. O. Michler, Finite simple groups of Lie type have non-principal pblocks, p 6= 2, J. Algebra 94 (1985), 113-125.

[BMM93] M. Broué, G. Malle, J. Michel, Generic blocks of finite reductive groups, Astérisque
212 (1993), 7-92.

[BGL77] N. Burgoyne, R. Griess, R. Lyons, Maximal subgroups and automorphisms of
Chevalley groups, Pacific J. Math. 71 (1977), 365-403.
[CE] M. Cabanes, M. Enguehard, Representation theory of finite reductive groups, New Math.
Monogr. 1, Cambridge Univ. Press, Cambridge, 2004.
[Car] R. W. Carter, Finite groups of Lie type: Conjugacy classes and complex characters, John
Wiley, Chichester, 1985.
[DM] F. Digne, J. Michel, Representations of finite groups of Lie type, London Mathematical
Society Student Texts, 21. Cambridge University Press, Cambridge, 1991.
[DR14] O. Dudas, R. Rouquier, Coxeter orbits and Brauer trees III, J. Amer. Math. Soc. 27
(2014), 1117-1145.
[FS86] P. Fong, B. Srinivasan, Generalized Harish-Chandra theory for unipotent characters of
finite classical groups, J. Algebra 104 (1986), 301-309.
[GAP] The GAP Group, GAP – Groups, Algorithms, and Programming, 4.8.6; 2016.
(http://www.gap-system.org)
[Gec] M. Geck, An introduction to algebraic geometry and algebraic groups, Oxford Graduate
Texts in Mathematics, 20. Oxford University Press, Oxford, 2013.
[GH+96] M. Geck, G. Hiss, F. Lübeck, G. Malle, and G. Pfeiffer, CHEVIE – A system for
computing and processing generic character tables for finite groups of Lie type, Weyl
groups and Hecke algebras. Appl. Algebra Engrg. Comm. Comput., 7 (1996), 175-210.

23

[GLS3] D. Gorenstein, R. Lyons, R. Solomon, The classification of the finite simple groups.
Number 3. Part I. Chapter A. Almost simple K-groups, Mathematical Surveys and Monographs, 40.3. American Mathematical Society, Providence, RI, 1998.
[Gr82] F. Gross, Automorphisms which centralize a Sylow p-subgroup, J. Algebra 77 (1982),
202-233.
[GM12] R. Guralnick, G. Malle, Products of conjugacy classes and fixed point spaces, J. Amer.
Math. Soc. 25 (2012), 77-121.
[HK85] M. Harris, R. Knörr, Brauer correspondence for covering blocks of finite groups,
Comm. Algebra 13 (1985), 1213-1218.
[Hi10] G. Hiss, Principal blocks and the Steinberg character, Algebra Colloq. 17 (2010), 361364.
[Is] I. M. Isaacs, Character theory of finite groups, New York, Academic Press, 1994.
[KM15] R. Kessar, G. Malle, Lusztig induction and ℓ-blocks of finite reductive groups, Pacific
J. Math. 279 (2015), 269-298.
[KS] H. Kurzweil, B. Stellmacher, The theory of finite groups, an introduction, Universitext.
Springer-Verlag, New York, 2004.
[LZ17] Y. Liu, J. Zhang, Small intersections of principal blocks, J. Algebra 472 (2017), 214225.
[Ma08] G. Malle, Extensions of unipotent characters and the inductive McKay condition, J.
Algebra 320 (2008), 2963-2980.
[MT] G. Malle, D. Testerman, Linear algebraic groups and finite groups of Lie type, Cambridge
Studies in Advanced Mathematics, 133. Cambridge University Press, Cambridge, 2011.
[NT] H. Nagao, Y. Tsushima, Representations of finite groups, Academic Press, 1989.
[Nav] G. Navarro, Characters and blocks of finite groups, London Mathematical Society Lecture Note Series, 250. Cambridge University Press, Cambridge, 1998.
[NTW05] G. Navarro, A. Turull, T. R. Wolf, Block separation in solvable groups, Arch. Math.
85 (2005), 293-296.
[NW97] G. Navarro, W. Willems, When is a p-block a q-block?, Proc. Amer. Math. Soc. 125
(1997), 1589-1591.
[SL13] X. Song, Y. Liu, The Steinberg characters of finite classical groups, Algebra Colloq. 20
(2013), 163-168.
[Sp09] B. Späth, The McKay conjecture for exceptional groups and odd primes, Math. Z. 261
(2009), 571-595.
[Sp10] B. Späth, Sylow d-tori of classical groups and the McKay conjecture. I, J. Algebra 323
(2010), 2469-2493.
[Spr74] T. A. Springer, Regular elements of finite reflection groups, Invent. Math. 25 (1974),
159-198.
[Spr] T. A. Springer, Linear algebraic groups, Progress in Mathematics, 9. Birkhäuser Boston,
Inc., Boston, MA, 1998.

24

[We92] T. Weigel, Generation of exceptional groups of Lie-type, Geom. Dedicata 41 (1992),
63-87.
[Zsi] K. Zsigmondy, Zur Theorie der Potenzreste, Monatsh. Math. Phys. 3 (1892), 265-284.

25

