arXiv:1602.04797v2 [] 24 Feb 2016

FINITE GROUPS WITH ODD SYLOW NORMALIZERS
ROBERT M. GURALNICK, GABRIEL NAVARRO, AND PHAM HUU TIEP
Abstract. We determine the non-abelian composition factors of the finite groups
with Sylow normalizers of odd order. As a consequence, among others, we prove
the McKay conjecture and the Alperin weight conjecture for these groups at these
primes.

1. Introduction
Suppose that G is a finite group, p is an odd prime number, and P is a Sylow
p-subgroup of G. In [GMN], the first two authors and G. Malle determined the nonabelian composition factors of G if P = NG (P ). This led to proving a strong form of
the McKay conjecture in [N] and [NTV] for these groups at the prime p. Now, instead
of assuming that NG (P )/P is trivial, we assume that it has odd order. Although in
this case the structure of G can be fairly complicated, we nevertheless are able to
have control on the non-abelian composition factors of G.
Theorem A. Let G be a finite group, let p be a prime, and P ∈ Sylp (G). Assume
that |NG (P )| is odd. If S is a non-abelian composition factor of G, then |S| is divisible
by p, and either S has cyclic Sylow p-subgroups or S = P SL2 (q), for some power
q = pf ≡ 3(mod 4).
There are too many almost simple groups with odd Sylow normalizers to be listed.
However, once Theorem A is proved, we can apply the results in [IMN2], [KS], [S1] and
[S2] to establish the main counting conjectures for groups with odd Sylow normalizers.
(Recall that Irrp′ (G) is the set of the irreducible complex characters of G with degree
not divisible by p.)
2010 Mathematics Subject Classification. Primary 20D06; Secondary 20D20.
The first author gratefully acknowledges the support of the NSF grant DMS-1302886.
The research of the second author is supported by the Prometeo/Generalitat Valenciana, Proyectos MTM2013-40464-P. He would like to express his gratitude to the Mathematics Department of
the University of Southern California where part of the present work was completed for its warm
hospitality.
The third author was partially supported by the NSF grant DMS-1201374 and the Simons Foundation Fellowship 305247. Part of this work was done while the third author visited the Institute
for Advanced Study (Princeton, NJ). It is a pleasure to thank Peter Sarnak and the Institute for
generous hospitality and stimulating environment.
The authors are grateful to Gunter Malle for helpful comments on the paper.
1

2

ROBERT M. GURALNICK, GABRIEL NAVARRO, AND PHAM HUU TIEP

Corollary B. Let G be a finite group, let p be a prime and P ∈ Sylp (G). If |NG (P )|
is odd, then
|Irrp′ (G)| = |Irrp′ (NG (P ))| .
Furthermore, the Alperin-McKay conjecture and the blockwise Alperin weight conjecture hold true for G, for the prime p.
In view of the recent proof by G. Malle and B. Späth [MS] of the McKay conjecture
for the prime 2, we can now state that the McKay conjecture holds for the prime p
and for all finite groups G whenever |NG (P )/P | is odd for P ∈ Sylp (G).
Contrary to the case where NG (P ) = P (see [N] and [NTV]), there does not seem
to exist a canonical choice-free bijection Irrp′ (G) → Irrp′ (NG (P )) if |NG (P )| is odd.
(If G is solvable, A. Turull did find a canonical bijection in [T].) At least, we know for
a fact that there cannot exist a bijection that commutes with complex conjugation.
In this case, the trivial character would be the only real-valued irreducible character
of G of p′ -degree, and this is plainly false: it was proved in [IMN1] that for p > 3 every
non-solvable group has a non-trivial real-valued irreducible character of p′ -degree. On
the other hand, we prove the following.
Theorem C. Let G be a finite group and let p be a prime, let P ∈ Sylp (G), and
assume that |NG (P )| is odd. If χ ∈ Irrp′ (G) is real-valued, then N ≤ ker(χ) for every
solvable N ⊳ G.
Finally, we remark that it is a basic problem in character theory to investigate how
the character table of a finite group reflects (and is reflected by) its group theoretical
properties. We wished to be able to detect from the character table of G whether
or not |NG (P )| is odd, but this seems to be an elusive problem (at least, if P is not
abelian). When finding properties which are detectable in the character table (as
Theorem C), it is easy to prove that if |NG (P )| has odd order, then the only real
class of Ḡ with p′ -size is the identity, for every factor group Ḡ of G. This condition
characterizes that |NG (P )| is odd in many groups, such as solvable groups, or groups
with an abelian Sylow p-subgroups. (We write down proofs of these elementary
results in Section 4 below.) A general if and only if condition, however, remains to
be discovered.
2. Proofs of Theorem A and Corollary B
Our results rely on the following result which will be proved in the next section:
Theorem 2.1. Suppose that G is an almost simple group with socle S. Let P ∈
Sylp (G) such that G = SP , p divides |S|, and |NG (P )| is odd. Then either S has
cyclic Sylow p-subgroups or S = P SL2 (q) for some power q = pf ≡ 3(mod 4).
First we prove Theorem A, which we restate:

FINITE GROUPS WITH ODD SYLOW NORMALIZERS

3

Theorem 2.2. Let G be a finite group, let p be a prime, and P ∈ Sylp (G). Assume
that |NG (P )| is odd. If S is a non-abelian composition factor of G, then |S| is divisible
by p, and either S has cyclic Sylow p-subgroups or S = P SL2 (q), for some power
q = pf ≡ 3(mod 4).
Proof. We argue by induction on |G|. Since the hypotheses are inherited by factor
groups, it is enough to show that if N is a minimal non-abelian normal subgroup
of G, and S ⊳ N is simple, then |S| is divisible by p and either S has cyclic Sylow
p-subgroups or S = P SL2 (q), for some prime power q = pf ≡ 3(mod 4). First of all,
if |N| is not divisible by p, then CN (P ) = NN (P ) has odd order, and therefore N
is solvable by a standard application of the Classification of Finite Simple Groups
to coprime action (see Theorem 3.4 of [IMN1]). Hence, we may assume that |S|
has order divisible by p. Now, NP has an odd order Sylow normalizer, so we may
assume that NP = G. Let Q = P ∩ N. We have that NG (P )/P is isomorphic to
CNN (Q)/Q (P ).
We can write N = S x1 × . . . × S xt , where U = {x1 , . . . , xt } is a complete set of
representatives of right cosets of NP (S) in P . Set R = P ∩ S = Q ∩ S, H = SNP (S)
and P1 = NP (S) ∈ Sylp (H). We have that NH (P1 )/P1 is isomorphic to CNS (R)/R (P1 ).
If xR ∈ CNS (R)/R (P1 ) is an involution, then it is straightforward to check that
Y
z :=
xu ∈ NN (Q)
u∈U

and that zQ is an involution centralized by P . But this is impossible since CNN (Q)/Q (P )
has odd order by hypothesis. Hence, we conclude that H is an almost simple group
with socle S and H/S a p-group having a Sylow p-subgroup P1 with normalizer of
odd order. Now we apply Theorem 2.1.

Once Theorem A is completed, Corollary B, which we restate, easily follows.
Corollary 2.3. Let G be a finite group, let p be a prime and P ∈ Sylp (G). If |NG (P )|
is odd, then
|Irrp′ (G)| = |Irrp′ (NG (P ))| .
Moreover, the Alperin-McKay conjecture and the blockwise Alperin weight conjecture
hold true for G, for the prime p.
Proof. It is well known (see e.g. [Is, Corollary (11.21)]) that if a prime r divides
the order of the Schur multiplier of a non-abelian simple group S then the Sylow
r-subgroups of S are non-cyclic. In particular, if Sylow p-subgroups of S are cyclic,
then the same holds for its universal cover. Hence, it follows from [KS, Theorem
1.1, Corollary 6.9, Corollary 7.1] that simple groups with cyclic Sylow p-subgroups
satisfy the inductive Alperin-McKay condition and the inductive condition for the
blockwise Alperin weight conjecture (for the prime p). Next, it is proved in [S1] and
[S2] that P SL2 (q) with q = pf ≡ 3(mod 4) also satisfies both inductive conditions

4

ROBERT M. GURALNICK, GABRIEL NAVARRO, AND PHAM HUU TIEP

(although the case q = 3f > 9 is not explicitly stated there, but follows with the
same argument). Now, if G is a finite group with odd Sylow normalizers, it follows
from Theorem A, elementary group theory, and the classification of the subgroups
of P SL2 (q) with q ≡ 3(mod 4), that every non-abelian composition factor of order
divisible by p of every subgroup of G either has cyclic Sylow p-subgroups, or is
isomorphic to some P SL2 (q ′ ) with q ′ ≡ 3( mod 4). Hence the main results of [IMN2],
[S1] and [S2] apply.

3. Proof of Theorem 2.1
We begin with a simple observation:
Lemma 3.1. Keep the notation and hypothesis of Theorem 2.1. Then S ∩P contains
a non-real p-central element z of order p. In fact, every p-element 1 6= y ∈ S that is
p-central in G must be non-real.
Proof. By assumption, 1 6= Q := P ∩S ⊳ P , and so we can choose 1 6= z ∈ Ω1 (Z(P )) ∩
Q. Since p > 2 and 2 ∤ |NG (P )|, z is not real in NG (P ), whence z is not real in G
(and so in S) by Burnside’s fusion control lemma. The second conclusion also follows
by applying the same argument to y.

Corollary 3.2. Suppose that the simple group S in Theorem 2.1 is of Lie type defined
over Fq .
(i) If p ∤ q, then S can only be possibly of types An or 2An with n ≥ 2, Dn or 2Dn
with 2 ∤ n ≥ 5, E6 or 2E6 .
(ii) Suppose p|q. Then either q ≡ 3( mod 4), or p ∈ {3, 5} and S is an exceptional
group of Lie type. Furthermore, S is not of types D4 , 2D4 , 3D4 .
Proof. Recall that p is odd.
(i) Assume the contrary. By [TZ, Proposition 3.1] all semisimple elements in G
are real. In particular, the element z described in Lemma 3.1 is real, a contradiction.
Note that our argument also applies to 2F4 (2)′ .
(ii) Assume the contrary. By Lemma 2.2 and Theorem 1.4 of [TZ], all unipotent
elements in G are real. Hence the element z described in Lemma 3.1 is real, again a
contradiction.

Lemma 3.3. Let S = An be an alternating group.
(i) If n ≥ p + 2, then any element t of order p in S is real. In particular, |NS (Q)|
is even for Q ∈ Syl2 (S).
(ii) Similarly, if n ≥ 2 and P ∈ Sylp (Sn ), then |NSn (P )| is even.
(iii) Theorem 2.1 holds if S = An is an alternating group.
Proof. (i) Write t as a product of b disjoint cycles. Then t has a := n − bp fixed
points. As n ≥ p + 2, we have that a ≥ 2 or b ≥ 2. Hence t is centralized by an odd

FINITE GROUPS WITH ODD SYLOW NORMALIZERS

5

permutation, and so it is real in S. Arguing as in the proof of Lemma 3.1, we see
that |NS (Q)| is even.
(ii) The statement is obvious if n < p. If n ≥ p, then any element (of order p) in
Sn is real, so we can argue as in the proof of Lemma 3.1.
(iii) Applying (i) to the element z obtained in Lemma 3.1 we see that n = p or
p+1. In particular, the Sylow p-subgroups of S are cyclic. (In fact, one can also show
that p ≡ 3(mod 4) in this case, but we do not need this stronger conclusion.)

Lemma 3.4. Theorem 2.1 holds true if S is any of the 26 sporadic simple groups.
Proof. Since p > 2, G = S in this case. Now if P is non-cyclic, then one can check
using [W] that |NG (P )| is even. Otherwise P is cyclic as desired.

In what follows, we use the notation SLǫ to denote SL when ǫ = + and SU when
ǫ = −, and similarly for GLǫ , P SLǫ , etc. We also use E6ǫ to denote E6 when ǫ = +
and 2E6 when ǫ = −.
Proposition 3.5. Theorem 2.1 holds if S = P SLǫn (q) with n ≥ 3, ǫ = ±, and p ∤ q.
Proof. (a) We view S = L/Z(L), where L := SLǫn (q) ⊳ H := GL(V ) ∼
= GLǫn (q),
n
n
and V = Fq for ǫ = +, V = Fq2 for ǫ = −. Fix a basis (e1 , . . . , en ) of V , which is
orthonormal if ǫ = −. If q = r f for a prime r, then we can use this basis to define
a field automorphism σ of H, L, and S, which sends a matrix (xij ) ∈ H (written in
the chosen basis) to (xrij ), and let σ0 denote the p-part of σ.
We will use the description of a Sylow p-subgroup R of H as given in [Hall, §2]
using the results of [GL, Chap. 4, §10] and [GLS, Chap. 4, §4.10]. In particular, R =
RT ⋊ RW , with RT (the “toral part” of R) being homocyclic abelian. Furthermore,
there is a direct sum (orthogonal if ǫ = −) decomposition of V (compatible with the
chosen basis of V ) as RT -module:
V = V0 ⊥ V1 ⊥ . . . ⊥ Vm ,
with Vi ∼
= V1 for 1 ≤ i ≤ m of dimension e := ordp (ǫq), and 0 ≤ dim V0 < e.
Next, RT = R1 × . . . × Rm with Ri a cyclic subgroup of a cyclic maximal torus Ti
of GLǫ (Vi ) and |Ti | = q e − ǫe . Furthermore, there is a subgroup Σ of NH (RT ) with
Σ isomorphic to the symmetric group Sm acting naturally on the sets {V1 , . . . , Vm },
and {R1 , . . . , Rm }, and with RW (the “Weyl part” of R) being a Sylow p-subgroup
of Σ.
Since σ0 normalizes GLǫ (V1 ), we can embed σ0 in a Sylow p-subgroup R̃1 of
GLǫ (V1 ) ⋊ hσ0 i, and then take R1 = R̃1 ∩ GLǫ (V1 ) to ensure R1 to be σ0 -stable.
The subgroups Ri are then constructed using the (fixed) isomorphism Vi ∼
= V1 for
1 ≤ i ≤ m. By its construction, R is σ0 -stable. Then LR is σ0 -stable and p ∤ |H/LR|.
Since p > 2 and G = SP ≤ Aut(S), by a suitable conjugation in Aut(S) we may
assume that G ≤ H ∗ /Z(H ∗ ), where H ∗ := LR ⋊ hσ0 i and P ≤ P ∗ /(P ∗ ∩ Z(H ∗ )),
where P ∗ = R ⋊ hσ0 i. Set Q∗ := L ∩ P ∗ .

6

ROBERT M. GURALNICK, GABRIEL NAVARRO, AND PHAM HUU TIEP

(b) Here we consider the case p|(q−ǫ), whence e = 1 and m = n. Let Vi , 1 ≤ i ≤ m,
be spanned by a vector ei in such a way that Σ acts on {e1 , e2 , . . . , em }.
(b1) Consider the case n ≥ p+2. Then, by Lemma 3.3(i), we can find an involution
t ∈ NAn (RW ). By the choice, we have that t ∈ L r Z(H); furthermore, t normalizes
RW , RT , R, and commutes with σ0 . Next, if x ∈ R1 < RT , then txt−1 x−1 ∈ L∩RT ≤
Q∗ . Since P ∗ = Q∗ R1 hσ0 i, it follows that t centralizes P ∗ /Q∗ . We have shown that
tQ∗ ∈ CNL (Q∗ )/Q∗ (P ∗ /Q∗ ).
Since Q = Q∗ /(Q∗ ∩ Z(H ∗ )) ∈ Sylp (S), we get
tQ ∈ CNS (Q)/Q (P/Q) = NS (P )/Q.
Thus we have shown that |NS (P )| is even, a contradiction.
(b2) Next assume that n = p + 1. Then we can choose RW to be generated by the
p-cycle permuting e1 , . . . , ep cyclically and fixing ep+1 . By choosing t(ep+1 ) = ±ep+1
suitably, we again get a σ0 -invariant monomial matrix t ∈ NL (RW ) r Z(H) of order
2, and then repeat the arguments in (b1) to see that |NS (P )| is even.
If 3 ≤ n < p, then RW = 1. Choosing t = diag(−1, −1, 1, . . . 1) if 2 ∤ q and
t : e1 ↔ e2 , ei 7→ ei , 3 ≤ i ≤ n
if 2|q, we then get a σ0 -invariant monomial involution t ∈ NL (RW ) r Z(H) and finish
as above.
(b3) It remains to consider the case n = p. Fix ω ∈ F×
q 2 of order p and consider
2
p−1
y := diag(ω, ω , . . . , ω , 1). We can also choose RW to be generated by the pcycle permuting e1 , . . . , ep cyclically. Then one can check that y ∈ Z(Q). Note that
p|(q − ǫ) implies that ω σ0 = ω and so [y, σ0 ] = 1. Also, y commutes with T1 . Since
P ∗ = Q∗ R1 hσ0 i, we see that y ∈ Z(P ) ∩ Q. On the other hand, y is inverted by the
element
v : ei ↔ ep−i , 1 ≤ i ≤ p − 1, ep 7→ (−1)(p−1)/2 ep
of L, contradicting Lemma 3.1.
(c) From now on we may assume that p ∤ q(q − ǫ); in particular, R < L and
e > 1. Arguing as in (b), we see that it suffices to produce a σ0 -invariant involution
t ∈ L r Z(L) that induces an element in NSm (RW ) and normalizes RT . Also note
that Sylow p-subgroups of S are cyclic if m = 1, so we may assume that m ≥ 2.
Now, if 2|q, then NΣ (RW ) is contained in L (and σ0 -fixed pointwise), and so we are
done by Lemma 3.3(ii). Similarly, if 2|e, then any transposition in Σ “flips” two
e-dimensional subspaces Vi and Vj and so has determinant 1, whence we are again
done by Lemma 3.3(ii).
So we may assume 2 ∤ qe. If m ≥ p + 2, then we can apply Lemma 3.3(i). If
4 ≤ m < p, then we can take t ∈ Σ that represents (12)(34) under Σ ∼
= Sm .
∼
If p > m = 2, 3, then take s ∈ Σ that represents (12) under Σ = Sm and set
t := (−1V1 )s. Finally, assume that m = p or p + 1. In this case, we may assume that

FINITE GROUPS WITH ODD SYLOW NORMALIZERS

7

RW is generated by the element represented by the p-cycle (1, 2, . . . , p) in Sm , and
choose an involution s ∈ NΣ (RW ); in particular, s acts trivially on Vp+1 if m > p.
Then we can take t = suj with u = −1V1 ⊕V2 ⊕...⊕Vp and j ∈ {0, 1} chosen suitably. 
Proposition 3.6. Theorem 2.1 holds if S = P Ωǫ2n (q) with 2 ∤ n ≥ 5, ǫ = ±, and
p ∤ q.
Proof. (a) We view S = L/Z(L), where L = Ω(V ) ∼
= Ωǫ2n (q) and V = F2n
q is a
quadratic space of type ǫ, and let H = GO(V ). Also define ǫp = + if e = ordp (q)
is odd and ǫp = − if 2|e, and let d := lcm(2, e). We again use the description of
R = RT ⋊ RW ∈ Sylp (H) as in part (a) of the proof of Proposition 3.5. The only
differences are that Vi ∼
= V1 for 1 ≤ i ≤ m is a quadratic space of dimension d and
type ǫp , either dim V0 < d or dim V0 = d but V0 has type −ǫp , and |T1 | = q d/2 − ǫp .
We will choose a basis compatible with the decomposition V = V0 ⊥ V1 ⊥ . . . ⊥ Vm
and the isomorphisms Vi ∼
= V1 for 1 ≤ i ≤ m, and use this basis to define the field
automorphism σ : (xij ) 7→ (xrij ) if r is the prime dividing q. Let σ0 denote the p-part
of σ. As in the proof of Proposition 3.5, we can construct R in such a way that all Ri
and R are σ0 -stable. As p > 2, we may identify Q ∈ Sylp (S) with R. Furthermore,
since n ≥ 5 and G = SP , conjugating suitably in Aut(S), we may assume that
P ≤ P ∗ := R ⋊ hσ0 i.
(b) First we consider the case V0 6= 0. Since 2|d = dim V1 , we then have that
dim V0 ≥ 2. It follows that R < Ω±
2n−2 (q) < L. Since 2|(n − 1), the element z
±
obtained in Lemma 3.1 is real in Ω2n−2 (q) by [TZ, Proposition 3.1] and so in L as
well, a contradiction.
Next suppose that p ∤ m but m > 1. Then we can choose RW ∈ Sylp (Σ) to be
contained in Sm−1 under Σ ∼
= Sm . As the p-group hσ0 i acts on Ω1 (Rm ) 6= 1, we can
take 1 6= z ∈ Ω1 (Rm ) to be σ0 -fixed, and then note that z ∈ Z(P ) ∩ R. On the
other hand, [TZ, Proposition 3.1] and the oddness of n again imply that z is real in
Ω±
2n−2 (q) < L, contradicting Lemma 3.1.
(c) If m = 1 then Sylow p-subgroups of S are cyclic. From now on we may therefore
assume that V0 = 0, m ≥ 2, and p|m. It suffices to produce a σ0 -invariant involution
t ∈ L r Z(L) that induces an element in NSm (RW ) and normalizes RT . Indeed, such
an element would belong to NL (P ) and so |NS (P )| would be even.
If m ≥ 2p, then by Lemma 3.3(i), we can choose an involution t ∈ NAm (RW ) which
is then σ0 -fixed and belongs to L r Z(L), and so we are done.
So we may assume that m = p and so RW ∼
= Cp . We can find an involution
s ∈ NΣ (RW ) which is represented by a disjoint product of (p − 1)/2 transpositions
si ∈ Sp , 1 ≤ i ≤ (p − 1)/2. Note that each si flips two d-dimensional subspaces Vk
and Vk′ (and fixes all remaining Vl pointwise), so det(si ) = 1 and s ∈ SO(V ).
(d) Here we assume that 2 ∤ q. Since all Vi have type ǫp and V has type ǫ, we get
ǫ = ǫp . Next, n = dm/2 is odd, so d ≡ 2n(mod 4). If −1V ∈
/ Ω(V ), then we can take
t = (−1V )j s for a suitable j ∈ {0, 1} to get t ∈ L r Z(L) as desired.

8

ROBERT M. GURALNICK, GABRIEL NAVARRO, AND PHAM HUU TIEP

Assume −1V ∈ Ω(V ). Then ǫ = (−1)n(q−1)/2 by [KL, Proposition 2.5.13(ii)],
and so −1Vi ∈ Ω(Vi ) since d ≡ 2n(mod 4) and ǫ = ǫp . Consider for instance a
flip τ : V1 ↔ V2 in Σ that sends an orthogonal basis (e1 , . . . , ed ) of V1 to a basis
(f1 , . . . , fd ) of V2 . Let Q denote the quadratic form on V and let ρv denote the
Q
reflection corresponding to any non-singular v ∈ V . As −1Vi = di=1 ρei ∈ Ω(Vi ), we
Q
Qd
have that di=1 Q(ei ) ∈ F×2
q . Now τ =
i=1 ρei −fi and
d
Y
i=1

d
d
Y
Y
d
Q(ei ) ∈ F×2
(Q(ei ) + Q(fi )) = 2
Q(ei − fi ) =
q .
i=1

i=1

We have shown that τQ∈ Ω(V ). As a consequence, si ∈ Ω(V ) = L for all i, and so we
can just set t := s = i si .
(e) Finally, let 2|q. Again, we consider for a flip τ : V1 ↔ V2 in Σ that sends a
basis (e1 , . . . , ed ) of V1 to a basis (f1 , . . . , fd ) of V2 . Then τ fixes the maximal totally
singular subspace M := he1 + f1 , . . . , ed + fd iFq of V1 ⊕ V2 . It follows by [KL, Lemma
2.5.8] that
Q τ ∈ Ω(V1 ⊕ V2 ) ≤ L. Hence, si ∈ L for all i, and we are done by taking
t := s = i si .

The following simple argument is useful in various situations:
Lemma 3.7. Let M = NP be a finite group with a normal subgroup N, p be a
prime, and P ∈ Sylp (M). Let A be a subgroup of N that contains Q := P ∩ N as a
normal subgroup. Suppose that M acts transitively on the set of N-conjugates of A.
Then, for any prime r, some Sylow r-subgroup X of NN (A)/Q is fixed by a Sylow
p-subgroup of M containing Q.
Proof. Note that Q ∈ Sylp (A) is normal in A and so Q ⊳ NN (A). By assumption,
NP = M = NM (A)N. Hence, without any loss, we may replace (N, M) with
(NM (A), NN (A)) and assume that A ✁ M. Now the p-group P acts on the set of
Sylow r-subgroups of N/Q which has p′ -size, and so it must have a fixed point. 
Proposition 3.8. Theorem 2.1 holds if S is a simple group of type E6ǫ (q) with ǫ = ±
and p ∤ q.
Proof. (i) We can view S as [H, H] where H := E6ǫ (q)ad . If p ∤ (q 5 −ǫ)(q 9 −ǫ), then we
can embed Q := P ∩ S in a subgroup X ∼
= F4 (q) of S and conclude that the element
z obtained in Lemma 3.1 is real in X by [TZ, Proposition 3.1], a contradiction. On
the other hand, if p|(q 5 − ǫ)(q 9 − ǫ) but p ∤ (q 3 − ǫ), then Sylow p-subgroups of S are
cyclic. So we may assume that p|(q 3 − ǫ).
Suppose that p|(q 3 − ǫ) but p ∤ (q − ǫ); in particular, (q, ǫ) 6= (2, −). By the
main result of [LSS] (see Table 5.2 therein), H has a unique conjugacy class of
maximal subgroups A (of maximal rank) of type T · 31+2 · SL2 (3), where T is a
maximal torus of order (q 2 + ǫq + 1)3 . Now we can view Q as Op (T ) and apply
Lemma 3.7 to (M, N, A) = (GH, H, A) to conclude that P fixes a Sylow 2-subgroup

FINITE GROUPS WITH ODD SYLOW NORMALIZERS

9

B ∼
= Q8 of A/Q (note that GH is a group as G ≤ Aut(S) normalizes H and that
NH (A) = A = NH (Q) by maximality of A). It then follows that P fixes the subgroup
[B, B] ∼
= C2 which is contained in NS (Q)/Q. Thus P fixes an involution in NS (Q)/Q
and so |NG (P )| is even, a contradiction.
Assume now that p|(q −ǫ) but p 6= 3 (whence p ≥ 5 and q ≥ 4). By the main result
of [LSS] (see Table 5.1 therein), H has a unique conjugacy class of maximal subgroups
A (of maximal rank) of type Cd · (P SL2 (q) × P SLǫ6 (q)) · Cde , where d = gcd(2, q − 1)
and e = gcd(3, q − ǫ). By the Frattini argument, we may assume that P normalizes
A. Next, the assumption on p implies that we can view Q as a Sylow p-subgroup of
A and so contained in Cd · (P SL2 (q) × P SLǫ6 (q)). As P normalizes the component
A1 := Cd · P SL2 (q) of [A, A], we may choose the element z in Lemma 3.1 to be
contained in A1 . But then z is real in A1 , again a contradiction.
(ii) Finally, we consider the case p = 3|(q −ǫ). View S = L/Z for L = E6ǫ (q)sc = G F
and Z = Z(L), where G is a simple, simply connected algebraic group of type E6
over F̄q and F : G → G a Frobenius endomorphism. According to [MT, Theorem
25.11], there is a unique L-conjugacy class of maximal tori T in G such that T := T F
has order (q − ǫ)6 , and NL (T )/T = W (E6 ) by [MT, Proposition 25.3]. Next, we
can view Q = Q̂/Z for some Q̂ ∈ Syl3 (L). By the Frattini argument, we may
assume that P normalizes A := NL (T ) and T = sol(A); moreover, Q̂ > O3 (T ) and
Q̄ := Q̂T /T ∈ Syl3 (W (E6 )). Recall that W (E6 ) = SU4 (2) ⋊ C2 . Since P normalizes
[A/T, A/T ] ∼
= SU4 (2) and Q̄, we see that P normalizes the subgroups C > B > T of
A, where
B/T = NSU4 (2) (Q̄) = Q̄ ⋊ C2 , C/T = NW (E6 ) (Q̄) = Q̄ ⋊ C22 .
Setting O := O3′ (T ), observe that NB (Q̂)O/O = NB/O (Q̂O/O) and so the previous
equalities imply that
2|Q̂| divides |NB (Q̂)| = |NC (Q̂)|/2.
According to [MN, Table 1], NL (Q̂) = Q̂ ⋊ C22 . As NC (Q̂) ≤ NL (Q̂), we conclude
that NB (Q̂) = Q̂ ⋊ C2 , with the quotient NB (Q̂)/Q̂ ∼
= C2 fixed by P . Since NS (Q) =
NL (Q̂)/Z, we have therefore shown that NS (Q)/Q contains a P -fixed involution.
Thus |NG (P )| is even, again a contradiction.

Proposition 3.9. Theorem 2.1 holds if S is a simple group of Lie type in characteristic p.
Proof. As p > 2, we can view S = L/Z for L = G F and Z = Z(L), where G is
a simple, simply connected algebraic group over F̄q and F : G → G a Steinberg
endomorphism. Since p ∤ |Z|, we can identify Q := P ∩ S with a Sylow p-subgroup
of L. It is well known that NL (Q) = QT = BF , where T = T F , T is an F -stable
maximal torus of G contained in an F -stable Borel subgroup B of G, see e.g. [GLS,
§2.3]. As G is not of type D4 by Corollary 3.2 and p > 2, it follows that the subgroup

10

ROBERT M. GURALNICK, GABRIEL NAVARRO, AND PHAM HUU TIEP

of field automorphisms in Out(S) contains a Sylow p-subgroup of Out(S). Hence, we
may assume (using the uniqueness of (B, T ) up to conjugacy) that G ≤ H := L ⋊ hσi
for a suitable field automorphism σ and σ acts on T . Any 2-element in T σ will then
belong to CNL (Q)/Q (P ); also, NS (Q)/Q = (NL (Q)/Q)/(QZ/Q) and QZ/Q ∼
= Z.
σ
Hence, |NG (P )| is even whenever the 2-rank a of T is larger than the 2-rank b of Z.
′
Note that T σ = T F for a suitable Frobenius endomorphism F ′ of G. Now, if G is
of type Dn with n ≥ 4, then a ≥ 3 and b ≤ 2. In all other cases Z is cyclic (see eg.
[GLS, Theorem 2.5.12]) and so b ≤ 1. So we only need to consider the cases where
a ≤ b ≤ 1, whence L is of type SL2 (note that (a, b) = (1, 0) for L of type SU3 or
2
G2 ). Finally, when L = SL2 (q) we must have q ≡ 3( mod 4) by Corollary 3.2(ii). 
Theorem 2.1 now follows from Corollary 3.2, Lemmas 3.3, 3.4, and Propositions
3.5, 3.6, 3.8, and 3.9.
✷
4. Odd Sylow Normalizers and Character Tables
In this section we prove several reflections (of elementary nature) of the existence
of odd Sylow normalizers, such as Theorem C, in the character table.
Theorem 4.1. Let G be a finite group and let p be a prime, let P ∈ Sylp (G), and
assume that |NG (P )| is odd. If χ ∈ Irrp′ (G) is real-valued, then N ≤ ker(χ) for every
solvable N ⊳ G.
Proof. Let χ ∈ Irrp′ (G). Since χ has p′ -degree, it follows that χN has a P -invariant
constituent θ. By the Frattini argument, two such P -invariant constituents are
NG (P )-conjugate. Now, since χ is real-valued, it follows that θ̄ also lies under χ.
Hence, there exists g ∈ NG (P ) such that θg = θ̄. Then g 2 fixes θ. Since NG (P ) has
odd order, it follows that g fixes θ, and therefore, we have that θ is a real-valued
P -invariant character. Now, by Lemma 2.1 of [NS], we have that θ has a real extension η to NP . Now, NP is a solvable group with a Sylow p-subgroup P and having
odd Sylow normalizer. By Theorem A of [IMN1], we have that η is principal, and
therefore θ is principal.

If G has no non-trivial real conjugacy classes of p′ -size, then it is not true that this
condition is inherited by normal subgroups. Take G the semidirect product of the
extra-special 3-group F of exponent 3 acted on by an involution that inverts F/Z(F )
and centralizes Z(F ). Set p = 3. Then G/Z possesses a real class of size 3.
Theorem 4.2. Suppose that G is a finite group, let p be an odd prime, and let
P ∈ Sylp (G). If |NG (P )| is odd, then for every N ⊳ G the only real class of G/N
with p′ -size is the trivial class.

FINITE GROUPS WITH ODD SYLOW NORMALIZERS

11

Proof. Suppose that |NG (P )| is odd. If N ⊳ G, then NG/N (P N/N) = NG (P )N/N ∼
=
NG (P )/NN (P ) also has odd order. So assume that xG is a real class of p′ -size. Then
we may assume that there is some t ∈ G such that xt = x−1 and P ≤ CG (x). Then
P t ≤ CG (x) and P t = P v for some v ∈ CG (x). Then n = tv −1 ∈ NG (P ) and
2
xn = x−1 . Thus xn = x. Since hni = hn2 i, we conclude that x = x−1 and so x2 = 1.
Since P ≤ CG (x) we have that x ∈ CG (P ) ≤ NG (P ). Thus x = 1, because NG (P )
has odd order.

If NG (P ) has odd order, there is a deeper necessary condition that can be read off
the character table (assuming the Galois version of the McKay conjecture [N]): If σ
is the Galois automorphism that complex-conjugates p-power roots of unity and fixes
p′ -roots of unity, then every σ-fixed p′ -degree irreducible character of G is p-rational.
References
[Hall]

[GL]
[GLS]

[GMN]
[Is]
[IMN1]
[IMN2]
[KL]

[KS]

[LSS]
[MN]
[MS]
[MT]
[N]
[NS]

A. Beltran, M. Felipe, G. Malle, A. Moreto, G. Navarro, L. Sanus, R. Solomon, and
Pham Huu Tiep, Nilpotent and abelian Hall subgroups in finite groups, Trans. Amer.
Math. Soc. 368 (2016), 2497–2513.
D. Gorenstein and R. Lyons, ‘The Local Structure of Finite Groups of Characteristic 2
Type’, Mem. Amer. Math. Soc. 42 (1983).
D. Gorenstein, R. Lyons, and R. Solomon, ‘The Classification of the Finite Simple
Groups’, Number 3, Mathematical Surveys and Monographs Volume 40, American
Math. Soc. 1998.
R. M. Guralnick, G. Malle, and G. Navarro, Self-normalizing Sylow subgroups, Proc.
Amer. Math. Soc. 132 (2004), 973–979.
I. M. Isaacs, ‘Character Theory of Finite Groups’, Academic Press, New York, 1976.
I. M. Isaacs, G. Malle, and G. Navarro, Real characters of p′ -degree, J. Algebra 278
(2004), 611–620.
I. M. Isaacs, G. Malle and G. Navarro, A reduction theorem for the McKay conjecture,
Invent. Math. 170 (2007), 33–101.
P. B. Kleidman and M. W. Liebeck, ‘The Subgroup Structure of the Finite Classical
Groups’, London Math. Soc. Lecture Note Ser. no. 129, Cambridge University Press,
1990.
S. Koshitani and B. Späth, The inductive Alperin-McKay and blockwise Alperin weight
conditions for blocks with cyclic defect groups and odd primes, J. Group Theory, DOI:
10.1515/jgth-2016-0006, Feb. 2016.
M. Liebeck, J. Saxl, and G. Seitz, Subgroups of maximal rank in finite exceptional
groups of Lie type, Proc. London Math. Soc. 65 (1992), 297–325.
G. Malle and G. Navarro, Extending characters from Hall subgroups, Doc. Math. 16
(2011), 901–919.
G. Malle and B. Späth, Characters of odd degree, arXiv:1506.07690v1.
G. Malle and D. Testerman, ‘Linear Algebraic Groups and Finite Groups of Lie Type’,
Cambridge Studies in Advanced Mathematics, 133, Cambridge University Press, 2011.
G. Navarro, The McKay conjecture and Galois automorphisms, Annals of Math. 160
(2004), 1129–1140.
G. Navarro and B. Späth, On Brauer’s height zero conjecture, J. Eur. Math. Soc. 16
(2014), 695–747.

12

ROBERT M. GURALNICK, GABRIEL NAVARRO, AND PHAM HUU TIEP

[NTV]

G. Navarro, Pham Huu Tiep, and C. Vallejo, McKay natural correspondences on characters, Algebra Number Theory 8 (2014), 1839–1856.
G. Navarro, Pham Huu Tiep, and A. Turull, p-rational characters and self-normalizing
Sylow p-subgroups, Represent. Theory 11 (2007), 84–94.
B. Späth, A reduction theorem for the blockwise Alperin weight conjecture, J. Group
Theory 16 (2013), 159–220.
B. Späth, A reduction theorem for the Alperin-McKay conjecture, J. reine angew. Math.
680 (2013), 153–189.
Pham Huu Tiep and A. E. Zalesskii, Real conjugacy classes in algebraic groups and
finite groups of Lie type, J. Group Theory 8 (2005), 291–315.
A. Turull, Character correspondences in solvable groups, J. Algebra 295 (2006), 157–
178.
R. A. Wilson, The McKay conjecture is true for the sporadic simple groups, J. Algebra
207 (1998), 294–305.

[NTT]
[S1]
[S2]
[TZ]
[T]
[W]

Department of Mathematics, University of Southern California, 3620 S. Vermont
Ave., Los Angeles, CA 90089, USA
E-mail address: guralnic@usc.edu
Departament d’Àlgebra, Universitat de València, 46100 Burjassot, València, Spain
E-mail address: gabriel.navarro@uv.es
Department of Mathematics, University of Arizona, Tucson, AZ 85721, USA
E-mail address: tiep@math.arizona.edu

