EVEN DEGREE CHARACTERS IN PRINCIPAL BLOCKS

arXiv:1710.01596v1 [math.RT] 4 Oct 2017

EUGENIO GIANNELLI, GUNTER MALLE, AND CAROLINA VALLEJO RODRÍGUEZ
Abstract. We characterise finite groups such that for an odd prime p all the irreducible
characters in its principal p-block have odd degree. We show that this situation does not
occur in non-abelian simple groups of order divisible by p unless p = 7 and the group is
M22 . As a consequence we deduce that if p 6= 7 or if M22 is not a composition factor of
a group G, then the condition above is equivalent to G/Op′ (G) having odd order.

1. Introduction
Let G be a finite group, let p be a prime dividing the order of G and let B0 be the
Brauer principal (p-)block of G. Brauer’s height zero conjecture asserts that p does not
divide the degrees of the irreducible ordinary characters belonging to B0 if, and only if,
a Sylow p-subgroup P of G is abelian. Let q be a prime different from p. It would be
interesting to characterise when all degrees of irreducible ordinary characters belonging
to B0 are coprime with q. When q = 2, G. Navarro predicted that all irreducible ordinary
characters in B0 have odd degree if, and only if, G/Op′ (G) has odd order. We confirm
here that this claim holds whenever p 6= 7. For p = 7, the group M22 is a counterexample,
and the only counterexample among finite simple groups.
Theorem A. Let p be an odd prime, and let B0 be the principal p-block of a group G
of order divisible by p. If p 6= 7 or M22 is not a composition factor of G, then every
irreducible character in B0 has odd degree if, and only if, G/Op′ (G) is a group of odd
order.
It is worth mentioning that G. Navarro, G. Robinson and P.H. Tiep [NRT17] have
recently characterised the groups for which G/Op′ (G) has odd order in terms of the
number of real-valued characters in the principal p-block of G. Namely they have shown
that the principal p-block B0 contains only one real-valued irreducible character if, and
only if, G/Op′ (G) has odd order.
The proof of Theorem A ultimately relies on the fact that for every finite non-abelian
simple group G and every odd prime divisor p of its order, the principal p-block of G
contains an even degree character, except for p = 7 and G = M22 .
2010 Mathematics Subject Classification. 20C15, 20C20, 20C30, 20C33.
Key words and phrases. Principal blocks, even degree characters.
The first author’s research is funded by Trinity Hall, University of Cambridge. The second author
gratefully acknowledges financial support by SFB TRR 195. The third author is partially supported by
the Spanish Ministerio de Educación y Ciencia Proyectos MTM2016-76196-P and the ICMAT Severo
Ochoa project SEV-2011-0087.
1

2

EUGENIO GIANNELLI, GUNTER MALLE, AND CAROLINA VALLEJO RODRÍGUEZ

Theorem B. Let G be a non-abelian simple group of order divisible by an odd prime p.
Let B0 be the principal p-block of G. Then B0 contains an irreducible character χ of even
degree unless G = M22 and p = 7.
In order to show that Theorem B holds for alternating groups we prove a more general
result that we believe to be of independent interest, concerning the principal block of
symmetric (and alternating) groups.
Theorem C. Let n ≥ 5, and let p and q be distinct primes with q < p ≤ n. Let B0 be
the principal p-block of either Sn or An . Then B0 contains an irreducible character χ of
degree divisible by q.
This article is structured as follows. In Section 2 we prove that Theorem A holds
assuming Theorem B. The rest of the article is devoted to the proof of Theorem B on
finite non-abelian simple groups. In Section 3 we prove Theorem C, which includes the
alternating group case of Theorem B. Finally, in Section 4 we show that Theorem B holds
for sporadic groups and for groups of Lie type, and conclude using the Classification of
Finite Simple Groups.
We follow the notation of [Is76] for ordinary characters and the notation of [Nav98] for
blocks. By a block, we shall mean a p-block. Also, if B is a block of G, we will denote
by Irr(B) the set of irreducible complex characters lying in the block B. In general, we
will denote by B0 (H) the principal block of a group H. Finally if n is a natural number,
then we denote by νp (n) the maximal integer k such that pk divides n.
Acknowledgement. Part of this work was done while the third author was visiting the
Department of Mathematics at the TU Kaiserslautern. She would like to thank everyone
at the department for the warm hospitality. The authors would also like to thank Gabriel
Navarro for his insight.
2. A reduction to finite simple groups
In this section we assume that Theorem B holds and we prove Theorem A. In this
sense, we reduce Theorem A to a problem on finite simple groups.
We assume that the reader is familiar with the theory of blocks and normal subgroups
(see for example Chapter 9 of [Nav98]). Also, we recall that if G1 and G2 are finite
groups, then Irr(B0 (G1 × G2 )) = Irr(B0 (G1 )) × Irr(B0 (G2 )) (this follows directly from the
definition of the principal block, see [Nav98, Def. 3.1]).
Proof of Theorem A. We remark that Irr(B0 ) ⊆ Irr(G/Op′ (G)), since B0 covers the principal block of Op′ (G) which only consists of the trivial character. Also, whenever N E G,
we have that Irr(B0 (G/N)) ⊆ Irr(B0 ).
The “if part” follows from the first remark. To prove the “only if part” we first show
that the hypotheses imply the p-solvability of G. Otherwise, since the hypotheses are
inherited by quotients of G, we may assume that there is a minimal
normal subgroup N
Q
of G which is neither a p-group nor a p′ -group. Hence N = ti=1 S xi , where S E N is a
simple non-abelian group of order divisible by p and xi ∈ G. By hypothesis, either p 6= 7
or S 6= M22 . By Theorem B, let θ ∈ Irr(B0 (S)) have even degree. Then φ = θx1 × · · · × θxt

EVEN DEGREE CHARACTERS IN PRINCIPAL BLOCKS

3

Q
has even degree and belongs to Irr(B0 (N)) = ti=1 Irr(B0 (S))xi . By [Nav98, Thm. 9.4],
some χ ∈ Irr(B0 ) lies over φ. Since χ(1) is odd by hypothesis, we get a contradiction.
As G is p-solvable, we have that Irr(B0 ) = Irr(G/Op′ (G)), by [Nav98, Thm. 10.20].
Hence, the hypothesis that all irreducible characters in B0 have odd degree implies that
the group G/Op′ (G) has a normal Sylow 2-subgroup by the Ito–Michler theorem (see

[It51] and [Mi86]). This forces G/Op′ (G) to be a group of odd order, as desired.
Recall that our motivation is to characterise when a prime q does not divide the degrees
of the irreducible characters in the principal block. The Ito–Michler theorem characterises
when a prime q does not divide the degrees of the irreducible characters of a group.
A natural version of the Ito–Michler theorem for principal blocks would be: If all the
irreducible characters of B0 (G) have degree coprime to q, for some prime q 6= p, then
some Sylow q-subgroup Q of G is normalised by a Sylow p-subgroup P of G. In [NW01]
the authors prove this result under the assumption that G is a {p, q}-separable group.
However, such a version does not hold outside {p, q}-separable groups, as the authors also
point out that the separability condition of G is necessary (as shown by G = J1 , p = 2,
q = 5). For q = 2 and p 6= 7 we have the characterisation given by Theorem A.
3. Alternating groups
The aim of this section is to prove Theorem C, which in particular implies Theorem B
for alternating groups.
We start by recalling some facts in the representation theory of symmetric groups.
We refer the reader to [Ja79], [JK81] or [Ol94] for a more detailed account. A partition
λ = (λ1 , λ2 , . . . , λℓ ) is a finite
P non-increasing sequence of positive integers. We say that
λ is a partition of |λ| =
λi , written λ ⊢ |λ|. The Young diagram of λ is the set
[λ] = {(i, j) ∈ N × N | 1 ≤ i ≤ ℓ, 1 ≤ j ≤ λi }, where we orient N × N with the x-axis
pointing right and the y-axis pointing down. We denote by λ′ the conjugate partition of
λ, whose Young diagram is obtained from the Young diagram of λ by a reflection over
the main diagonal.
Given (r, c) ∈ [λ], the corresponding hook H(r,c) (λ) is the set defined by
H(r,c) (λ) = {(r, y) ∈ [λ] | y ≥ c} ∪ {(x, c) ∈ [λ] | x ≥ r}.
We set hr,c (λ) = |H(r,c) (λ)| = 1 + (λr −c) + (λ′c −r), and we denote by H(λ) the multiset of
hook-lengths in [λ]. Similarly we let Hr (λ) be the multiset of hook-lengths in the rth row of
S
[λ]. For e ∈ N we let He (λ) = ℓr=1 Hre (λ), where Hre (λ) = {(r, c) ∈ [λ] | e divides hr,c (λ)}.
If (r, c) ∈ He (λ), then we say that H(r,c) (λ) is an e-hook of λ, so that |He (λ)| is the number
of e-hooks of λ. The e-core Ce (λ) of λ is the partition obtained from λ by successively
removing all e-hooks.
Let q be a prime number. An important combinatorial object for our analysis is the
q-core tower T q (λ) of a partition λ of n (we refer the reader to [Ol94, Chap. II] for a
comprehensive description of this object). Every partition of a given natural number is
uniquely determined by its q-core tower. We write T (λ) instead of T q (λ) when q is clear
from the context. For j ∈ N0 we denote by Tj (λ) the jth layer of T (λ). As explained in

4

EUGENIO GIANNELLI, GUNTER MALLE, AND CAROLINA VALLEJO RODRÍGUEZ

full details in [Ol94], Tj (λ) = (µ1 , . . . , µqj ) is a sequence of q-core partitions such that
X
|Tj (λ)|q j = n, where |Tj (λ)| = |µ1 | + · · · + |µqj |.
j≥0

P
Note that |T0 (λ)| = |Cq (λ)|. Also note that if n = kj=0 αj q j is the q-adic expansion of
n, then |Ts (λ)| = 0 whenever s > k. It is useful to remark at this point that if m is the
m
maximal integer such that |Tm (λ)| =
6 0, then we have that |Hq (λ)| = |Tm (λ)|.
Partitions of n correspond canonically to the irreducible characters of Sn . We denote
by χλ the irreducible character naturally labelled by λ ⊢ n. We recall that (χλ )An is
irreducible if, and only if, λ 6= λ′ . Otherwise (χλ )An = φ + φg for some φ ∈ Irr(An ) and
g ∈ Sn r An . (See [JK81, Thm. 2.5.7].)
The following result was first proved by MacDonald [Mac71] and it is crucial for our
purposes.
Theorem 3.1 (MacDonald). Let q be a prime and let n be a natural number with q-adic
P
expansion n = kj=0 αj q j . Let λ be a partition of n. Then
λ

νq (χ (1)) =

X
j≥0

|Tj (λ)| −

k
X
j=0


αj /(q − 1).

Useful consequences of this result are recorded in the following two lemmas.
Lemma 3.2. Let q, n and λ be as in Theorem 3.1. If q does not divide χλ (1) then
k
|Hq (λ)| = αk .
Lemma 3.3. Let k ≥ 2 and let n = 2k+1 − 2ℓ , for some ℓ ≤ k − 2. Let λ ⊢ n such that
k
k−1
|H2 (λ)| = 0 and |H2 (λ)| ≤ 2. Then ν2 (χλ (1)) ≥ 2.
k

Proof. Since |H2 (λ)| = 0 we deduce that |Tk (λ)| = 0. Hence we have that |Tk−1 (λ)| =
P
P
k−1
|H2 (λ)| ≤ 2. We know that n = kj=0 |Tj (λ)|2j , hence we obtain that kj=0 |Tj (λ)| ≥
k + 3 − ℓ. Since n has k + 1 − ℓ binary digits, we deduce that ν2 (χλ (1)) ≥ 2 from
Theorem 3.1.

Finally, we state the following consequence of Nakayama’s Conjecture (proved independently by R. Brauer and G. de B. Robinson, see e.g. [Ja79] or [Ol94]). The second
statement follows from [Nav98, Thm. 9.2].
Proposition 3.4. Let p be a prime and let n = a + pw for some a ∈ {0, 1, . . . , p − 1} and
w ∈ N. Let λ ⊢ n. Then χλ lies in the principal p-block of Sn if, and only if, Cp (λ) = (a).
Moreover every irreducible constituent of (χλ )An lies in the principal p-block of An .
In order to prove Theorem C, we devote most of our efforts to show that the following
slightly stronger statement holds.
Theorem 3.5. Let q and p be primes and let n ≥ 5 be a natural number such that
q < p ≤ n. Then there exists an irreducible character χ in the principal p-block of Sn
such that q divides χ(1). Moreover, if φ is an irreducible constituent of the restriction
χAn , then q divides φ(1).

EVEN DEGREE CHARACTERS IN PRINCIPAL BLOCKS

5

We split the proof of Theorem 3.5 into a series of lemmas (dealing with symmetric
groups) and corresponding corollaries (concerning alternating groups). We fix below the
notation that will be kept for the rest of this section.
Notation 3.6. Let 2 ≤ q < p be prime numbers and let n ∈ N, which we write as
n = a + pw for uniquely determined a ∈ {0, 1, . . . , p − 1} and w ∈ N. Moreover let
n = αk q k +

k−1
X

αj q j ,

j=0

be the q-adic expansion of n, where αk 6= 0. We need also to fix the notation for the
q-adic expansions of pw and a. We let
k

a = βk q +

k−1
X

βj q

j

k

and pw = ζk q +

k−1
X

ζj q j ,

j=0

j=0

where βj , ζj ∈ {0, 1, . . . , q − 1} for all j ∈ {0, . . . , k − 1} and 0 ≤ βk ≤ ζk ≤ αk ≤ q − 1.
Note that pw 6= ζk q k , as both ζk and q are smaller than p.
Finally we denote by Bn (q, p) the set consisting of all partitions λ of n such that χλ lies
in the principal p-block of Sn and such that q divides χλ (1).
k

Lemma 3.7. Suppose that a = 0. Then λ = (αk q k , 1n−αk q ) ∈ Bn (q, p).
Proof. It is easy to see that Cp (λ) is the empty partition. Therefore χλ lies in the principal
block of Sn , by Proposition 3.4. The hook-length h1,1 (λ) = wp is not divisible by q k .
Moreover, for all j ∈ {2, 3, . . . , αk q k } we have h1,j (λ) + (j − 2) = h1,2 (λ) = αk q k − 1.
Hence we deduce that there are exactly αk − 1 boxes (1, d) ∈ [λ] such that q k divides
k
h1,d (λ). It follows that |H1q (λ)| = αk − 1. Since h2,1 (λ) = n − αk q k < q k we deduce that
k
k
|Hjq (λ)| = 0 for all j ≥ 2. We conclude that |Hq (λ)| = αk − 1 and therefore that q
divides χλ (1), by Lemma 3.2.

We have preferred to show in our proof of Lemma 3.7 the strategy that will be used
to prove Lemmas 3.9 and 3.11 below, instead of using the well-known fact that whenever
µ = (n − d, 1d ) is a hook partition the degree χµ (1) is equal to the binomial coefficient
n−1
. In any case, the necessary analysis of the divisibility of the binomial coefficient
d
would not have sensibly shortened our argument.
Corollary 3.8. Let a and λ be as in Lemma 3.7 and let φ be an irreducible constituent
of (χλ )An . Then φ lies in the principal p-block of An and q divides φ(1).
Proof. Since φ(1) ∈ {χλ (1), χλ (1)/2} the statement follows trivially from Lemma 3.7,
when q 6= 2. Similarly if q = 2 and λ 6= λ′ then, φ = (χλ )An ; and hence the statement
follows, again by Lemma 3.7.
k
k
Suppose that λ = (2k , 1n−2 ) = λ′ . Then n = 2k+1 − 1 and we observe that |H2 (λ)| = 0
k−1
and that |H2 (λ)| = 2. Using Lemma 3.3 we deduce that ν2 (χλ (1)) ≥ 2 and therefore
that φ(1) = χλ (1)/2 is even.

From now on, we assume that 1 ≤ a ≤ p − 1.

6

EUGENIO GIANNELLI, GUNTER MALLE, AND CAROLINA VALLEJO RODRÍGUEZ
k

Lemma 3.9. Suppose that wp > αk q k and let λ = (αk q k − 1, a + 1, 1n−(αk q +a) ). Then
λ ∈ Bn (q, p) for all n 6= (αk + 1)q k − 1. For n = (αk + 1)q k − 1, we construct µ ∈ Bn (q, p)
as follows:
(
(a, 2, 1p−2)
if q = 2, w = 1 and a = p − 3,
µ=
k
n−(αk q k +a−1)
(αk q − 2, a + 1, 1
) otherwise.
Proof. Let n 6= (αk + 1)q k − 1. Note that h1,1 (λ) = n − a = wp. This implies that
Cp (λ) = (a). Moreover, h1,1 (λ) is not divisible by q k . Analysing other hook-lengths in [λ],
we see that for all j ∈ {3, . . . , λ1 } we have 1 ≤ h1,j (λ) < h1,2 (λ) = αk q k − 1. It follows
k
that |H1q (λ)| ≤ αk − 1. On the other hand, h2,1 (λ) = n − (αk q k − 1) < q k and therefore
k
k
|Hjq (λ)| = 0 for all j ≥ 2. We deduce that |Hq (λ)| ≤ αk − 1 and hence that q divides
χλ (1), by Lemma 3.2. Notice that for n = (αk + 1)q k − 1 we have that h2,1 (λ) = q k . For
this reason we need to construct a different partition in this case.
k
Let µ = (αk q k − 2, a + 1, 1n−(αk q +a−1) ). Then the composition µ defines a partition of
n unless µ2 > µ1 . This happens if, and only if, a ≥ αk q k − 2 and in turn this is equivalent
to the following chain of inequalities:
n = a + pw ≥ (αk q k − 2) + (αk q k + 1) = n + (αk − 1)q k ≥ n.
This is consistent if, and only if, we have equalities everywhere. Equivalently we must
have αk = 1, pw = q k + 1 and a = q k − 2 = pw − 3. Moreover, it is now easy to see that
pw − a = 3 forces w = 1. Hence we have that p = q k + 1, which implies that q = 2. The
above discussion shows that µ2 > µ1 if, and only if, q = 2, w = 1 and a = p − 3. In this
case we set µ = (a, 2, 1p−2). Observing that h2,1 (µ) = q k + 1 and arguing exactly as before
we verify that µ ∈ Bn (q, p) (in both cases).

Corollary 3.10. Let a, wp, λ and µ be as in Lemma 3.9. Let δ ∈ {λ, µ} and let φ be an
irreducible constituent of (χδ )An . Then φ lies in the principal p-block of An and q divides
φ(1).
Proof. Exactly as in the proof of Corollary 3.8, we can focus on the case where q = 2.
If n = 2k+1 − 1 then δ = µ 6= µ′ and therefore χµ (1) = φ(1) is even. If n 6= 2k+1 − 1
then λ = λ′ if and only if a = 1 and n = 2k+1 − 2. Analysing the hook-lengths in [λ]
k
k−1
we observe that |H2 (λ)| = 0 and that |H2 (λ)| ≤ 2. Using Lemma 3.3 we deduce that
ν2 (χλ (1)) ≥ 2 and therefore that φ(1) = χλ (1)/2 is even.

Lemma 3.11. Suppose that wp < αk q k . If βk > 0, then define λ ⊢ n as follows:
λ = (a, a − βk q k + 1, 1n−2a+βk q
Otherwise let λ ⊢ n be defined by:


(n − 2, 2)
λ = (a, 1wp )

(a, 2, 1wp−2)
In all cases we have that λ ∈ Bn (q, p).

k −1

).

if a = 1,
if a > 1 and n 6= αk q k ,
if a > 1 and n = αk q k .

EVEN DEGREE CHARACTERS IN PRINCIPAL BLOCKS

7

Proof. Let us first analyse the case where βk > 0. It is clear that λ is well defined and that
k
we have Cp (λ) = (a) (since h2,1 (λ) = wp). Moreover we observe that |H1q (λ)| = βk − 1,
P
k
k
k
|H2q (λ)| = 0 and that j≥3 |Hjq (λ)| ≤ ζk . It follows that |Hq (λ)| ≤ αk − 1 and hence
that q divides χλ (1), by Lemma 3.2.
We assume now that βk = 0 and let λ = (a, 1wp ). Clearly Cp (λ) = (a). Moreover,
analysing again the hook-lengths in [λ] and using Lemma 3.2 we deduce that q divides
χλ (1) unless a = 1 or n = αk q k . In these two cases we choose λ as described in the
statement and we verify that Cp (λ) = (a) and that q divides χλ (1), again using Lemma 3.2.

Corollary 3.12. Let a, pw and λ be as in Lemma 3.11. Let φ be an irreducible constituent
of (χλ )An . Then φ ∈ B0 (An ) has degree divisible by q.
Proof. As usual, if q 6= 2 then the statement follows easily from Lemma 3.11. When
q = 2 the parameter βk is the coefficient of 2k in the binary expansion of a. Since
a < p ≤ wp < n we deduce that βk < αk ≤ 1, hence βk = 0. Moreover, as usual we only
need to analyse the situations where λ = λ′ . It is easy to check that this never occurs.
Hence χλ (1) = φ(1) is even.

Proof of Theorem C. The statement of Theorem 3.5 concerning Sn follows from Lemmas 3.7, 3.9 and 3.11. On the other hand, the part of Theorem 3.5 concerning An follows
from Corollaries 3.8, 3.10 and 3.12. As already remarked at the beginning of the section,
Theorem 3.5 implies Theorem C.

In order to prove Theorem C without the assumption q < p, we would need a radically
different combinatorial approach. This is not directly relevant for the purpose of the
present article. Nevertheless, it could be material for further investigation.
4. Simple groups of Lie type and sporadic groups
The aim of this section is the proof of Theorem B on the principal blocks for the remaining non-abelian simple groups. The case of sporadic groups is immediately checked from
the known character tables, leading to the unique counter-example M22 at the prime 7,
so by the classification of the finite simple groups we are left to deal with the finite simple
group of Lie type.
Theorem 4.1. Let S be a finite simple group of Lie type and ℓ an odd prime dividing
|S|. Then the principal ℓ-block of S contains an irreducible character of even degree.
Proof. We discuss the various cases. First assume that the defining characteristic p of
S coincides with the (odd) prime ℓ. By a well-known result then the only irreducible
character of S not contained in the principal p-block is the Steinberg character, whose
degree is a power of p, hence in particular odd. The claim in this case now follows from the
fact that a non-abelian simple group has order divisible by at least three distinct primes
together with the remaining part of the proof. (Alternatively, a non-abelian simple group
possesses an irreducible character of even degree by a result of Willems. By what we said
before that character will lie in the principal p-block.)
We may hence assume that ℓ is not the defining characteristic of S. So S is not a Suzuki
group nor one of the big Ree groups. We now set up the following notation. Let G be

8

EUGENIO GIANNELLI, GUNTER MALLE, AND CAROLINA VALLEJO RODRÍGUEZ

a simple algebraic group of simply connected type over an algebraic closure of the finite
field with p elements, and F : G → G a Steinberg map, such that S = G/Z(G), where
G := GF .
By [CE94, Thm.] the principal ℓ-block of G lies in the union of Lusztig series
a
Eℓ (G, 1) =
E(G, t)
t

with t running over the (semisimple) ℓ-elements of the dual group G∗ modulo conjugation,
and in particular, it contains the semisimple character(s) χt from each series E(G, t). Now
the degree of χt is given by
χt (1) = |G∗ : CG∗ (t)|p′ .
In particular this provides a character of even degree in the principal ℓ-block of G if t does
not centralise a Sylow 2-subgroup of G∗ . This is an even degree character in the principal
ℓ-block of the simple group S = G/Z(G) if it has Z(G) in its kernel, which happens if and
only if t ∈ [G∗ , G∗ ]. Thus, to conclude we need to construct an ℓ-element t ∈ [G∗ , G∗ ] ∼
=S
not centralising a Sylow 2-subgroup of G∗ .
First assume that ℓ does not divide the order of the centraliser of a Sylow 2-subgroup
of S. Then clearly any non-trivial ℓ-element of S is as required. Now by [KM03, Thm. 7]
a Sylow 2-subgroup P of S is self-centralising, unless G is one of SLn (q), SUn (q), E6 (q)sc
or 2E6 (q)sc . So it remains to consider these four families of groups. First assume that
G = SLn (q), and let 2t1 + · · · + 2tr , with t1 < . . . < tr be the 2-adic expansion of n. Then
P CS (P )/P is a direct product of at most r − 1 cyclic groups of order dividing q − 1, so
we may assume that r ≥ 2 and ℓ|(q − 1). Now let t ∈ GLn (q) be an ℓ-element with two
distinct eigenvalues, one with multiplicity 2tr + 1, the other with n − 2tr + 1 (respectively
one with multiplicity 2tr − 1, the other with multiplicity 2 if r = 2 and t1 = 0; respectively
with three distinct eigenvalues when n = 3). Then the image of t in G∗ = PGLn (q) does
not centralise a Sylow 2-subgroup of G∗ . If G = SUn (q), then again P CS (P )/P is a direct
product of at most r − 1 cyclic groups, of order dividing q + 1 this time, with r as before.
Hence in this case ℓ divides q + 1, and we can construct an element t as before.
For S = E6 (q) the centraliser of a Sylow 2-subgroup contains a cyclic subgroup of order
dividing q −1. Hence again ℓ divides q −1. Now take t an ℓ-element in the centre of a Levi
subgroup L of S of type A5 . Then L is the full centraliser of t (as L is a maximal reductive
subgroup of S), but its index in S is even, so t is as required. Finally, for S = 2E6 (q),
we need to consider divisors ℓ of q + 1, and here any ℓ-element in the centre of a Levi
subgroup of twisted type 2A5 will do. The proof is complete.

References
[CE94] M. Cabanes, M. Enguehard, On unipotent blocks and their ordinary characters. Invent. Math.
117 (1994), 149–164.
[Is76] I. M. Isaacs, Character Theory of Finite Groups. Academic Press, New York-London, 1976.
[It51] N. Ito, Some studies of group characters. Nagoya Math. J. 2 (1951), 17–28.
[Ja79] G. D. James, The Representation Theory of the Symmetric Groups. Lecture Notes in Mathematics, vol. 682, Springer, Berlin, 1978.
[JK81] G. James, A. Kerber, The Representation Theory of the Symmetric Group, Encyclopedia of
Mathematics and its Applications, vol. 16, Addison-Wesley Publishing Co., Reading, Mass., 1981.

EVEN DEGREE CHARACTERS IN PRINCIPAL BLOCKS

9

[KM03] A. S. Kondrat’ev, V. D. Mazurov, 2-signalizers of finite simple groups. (Russian) Algebra
Logika 42 (2003), 594–623, 638; translation in Algebra Logic 42 (2003), 333–348.
[Mac71] I. G. MacDonald, On the degrees of the irreducible representations of symmetric groups. Bull.
London Math. Soc. 3 (1971), 189–192.
[Mi86] G. Michler, A finite simple group of Lie-type has p-blocks with different defects, p 6= 2. J.
Algebra 104 (1986), 220–230.
[Nav98] G. Navarro, Characters and Blocks of Finite Groups. London Mathematical Society Lecture
Note Series, 250. Cambridge University Press, Cambridge, 1998.
[NRT17] G. Navarro, G. Robinson, P. H. Tiep, On real and rational characters in blocks. Int. Math.
Res. Notices (2017), doi: 10.1093/imrn/rnx170.
[NW01] G. Navarro, T. Wolf, Character degrees and blocks of finite groups. J. reine angew. Math
531 (2001), 141–146.
[Ol94] J.B. Olsson, Combinatorics and Representations of Finite Groups. Vorlesungen aus dem Fachbereich Mathematik der Universität Essen, Heft 20, 1994.
Trinity Hall, University of Cambridge, Trinity Lane, CB21TJ, UK
E-mail address: eg513@cam.ac.uk
FB Mathematik, TU Kaiserslautern, Postfach 3049, 67653 Kaiserslautern, Germany
E-mail address: malle@mathematik.uni-kl.de
ICMAT, Campus Cantoblanco UAM, C/ Nicolás Cabrera, 13-15, 28049 Madrid, Spain
E-mail address: carolina.vallejo@icmat.es

