THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS
ALEXANDER J. MALCOLM

arXiv:1611.06900v1 [] 21 Nov 2016

Abstract. For a finite group generated by involutions, the involution width is defined
to be the minimal k ∈ N such that any group element can be written as a product of
at most k involutions. We show that the involution width of every non-abelian finite
simple group is at most 4. This result is sharp, as there are families with involution
width precisely 4.

1. Introduction
Let G be a finite group generated by involutions. The involution width, denoted iw(G), is
defined to be the minimal k ∈ N such that any element of G can be written as a product
of at most k involutions. It is well known that all non-abelian finite simple groups are
generated by their involutions. Furthermore, it was proved by Liebeck and Shalev ([38],
1.4) that there exists an absolute constant N that bounds the involution width of all finite
simple groups. The purpose of this paper is to obtain the minimal value for N .
The involution width was first considered in the case of special linear groups by Wonenburger [56], and later by Gustafson et. al. [27] and Knüppel and Nielsen [31]. Further
work has been completed on orthogonal groups (Knüppel and Thomsen, [32]) and the
exceptional group F4 (K) (Austin, [2]).
More recently, various problems have been resolved involving the related notions of real or
strongly real groups. An element x ∈ G is real if xg = x−1 for some g ∈ G. Furthermore x
is strongly real if g can be taken to be an involution. We call the group G (strongly) real
if all of its elements are (strongly) real. It follows easily that x ∈ G is strongly real if and
only if x is a product of 2 involutions and so the strongly real groups are precisely those of
involution width 2. The classification of strongly real, finite simple groups was completed
in 2010 after work by a number of authors (see [22, 30, 45, 50] and Theorem 2.1 below).
The work of this paper addresses the remaining finite simple groups and is summarised by
the following theorem.
Theorem 1. Every non-abelian finite simple group has involution width at most 4.
Note that the upper bound 4 is sharp, as certain families (for example P SLn (q) such that
n, q ≥ 6 and gcd(n, q − 1) = 1) do have involution width 4 (see Theorem 3.6).
The involution width is one of a number of width questions that have been considered about
simple groups in recent literature. For example, [34] settles the longstanding conjecture of
Ore that the commutator width of any finite non-abelian simple group G is exactly 1. Also,
G is generated by its set of squares and the width in this case is 2 [35]. More generally, given
any two non-trivial words w1 , w2 , if G is of large enough order then w1 (G)w2 (G) ⊇ G\{1}
[26].
Here are some remarks on the proof of Theorem 1. For alternating groups we find the
involution width directly by studying the disjoint cycle decomposition of elements. For
groups G of Lie type we adopt a different approach: we aim to find particular regular
semisimple elements x, y ∈ G such that x and y are strongly real and G\{1} ⊆ xG y G . It
Date: November 22, 2016.
2010 Mathematics Subject Classification. Primary 20D6; Secondary 20C33 .
1

2

ALEXANDER J. MALCOLM

then follows that every element is a product of at most 4 involutions.To do this we make
extensive use of the character theory of finite groups of Lie type, building on methods first
seen in [40] and [25]. Substantial difficulties are faced in the case of unitary groups, where
we develop the theory of minimal degree characters using dual pairs (Sec. 4). Similarly
problematic are a number of exceptional groups of Lie type and in these instances we use
an inductive approach, restricting to subgroups of G for which the involution width is
known (Sec. 5).
Naturally the involution width problem can be generalised to elements of order p, for any
fixed prime p. This has been resolved in the case of alternating groups and work on the
simple groups of Lie type will be forthcoming.
Acknowledgements: This paper forms part of work towards a PhD degree under the supervision of Martin Liebeck at Imperial College London, and the author wishes to thank
him for his direction and support throughout. The author is also very thankful to Pham
Huu Tiep for helpful advice on the character theory of finite simple groups, and EPSRC
for their financial support.

2. Alternating and Sporadic Groups
2.1. Alternating Groups. We first consider the simple alternating groups Am , m ≥ 5.
Conjugacy in Am is easily understood: classes in the full symmetric group Sm are indexed
by cycle type. These types correspond to partitions of m and an Sm -class splits in Am
if and only if the partition consists of distinct odd integers. We can find the involution
width directly by studying the permutations and, unlike later work on groups of Lie type,
require no representation theory.
For reference, we first note the classification of strongly real finite simple groups.
Theorem 2.1. ([22, 30, 45, 50] ). A finite non-abelian simple group is strongly real if and
only if it is one of the following
(1)
(2)
(3)
(4)
(5)
(6)
(7)

P Sp2n (q) where q 6≡ 3 (mod 4) and n ≥ 1;
P Ω2n+1 (q) where q ≡ 1 (mod 4) and n ≥ 3;
P Ω9 (q) where q ≡ 3 (mod 4);
P Ω+
4n (q) where q 6≡ 3 (mod 4) and n ≥ 3;
P Ω−
4n (q) where n ≥ 2;
3
P Ω+
8 (q) or D4 (q);
A5 , A6 , A10 , A14 , J1 , J2 .

Evidently, all but four of the alternating groups are not strongly real. We find that products
of three involutions are needed in general.
Definition 2.2. Let G be a finite group generated by involutions and let g ∈ G. The
involution width of g, denoted iw(g), is the minimal k ∈ N such that g can be written as
a product of k involutions.
Theorem 2.3. The involution width of Am (m ≥ 5) is at most 3.
Proof. Let g ∈ Am and write g as a product of disjoint cycles g = c1 . . . ck where ci ∈ Sn .
Recall that n0 + n2 ≡ 0 mod 2, where nj denotes the number of cycles of g of length
congruent to j mod 4. Denote the length of a cycle by |ci |. We consider single cycles and
also pairs from this decomposition and show how they can be written as a product of at
most 3 involutions.
First consider c ∈ {c1 , . . . , ck } such that |c| = n ≡ 1 mod 4. Without loss of generality we

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

3

assume that c = (1 2 . . . n). Define
n−1 n+3
),
2
2
n+1 n+3
).
x2 := (2 n)(3 n − 1) . . . (
2
2
Then x1 and x2 are involutions in Am and c = x1 · x2 .
Next consider a pair of cycles c, c0 ∈ {c1 , . . . , ck } of even lengths n and n0 respectively.
Without loss of generality we assume these have the form c = (1 . . . n) and c0 = (10 . . . n0 ).
For n > 2 define
n−2 n+2
y1 := (1 n − 1)(2 n − 2) . . . (
),
2
2
x1 := (1 n)(2 n − 1) . . . (

n n+2
),
2 2
n n+2
z1 := (1 n)(2 n − 1) . . . (
),
2 2
n n+3
).
z2 := (2 n)(3 n − 1) . . . (
2 2
When n = 2 define y1 = z2 = 1 and y2 = z1 = (1 2). Furthermore, define y10 , y20 etc to be
the permutations as above, but acting on the letters 10 , . . . , n0 . Evidently all of the above
elements have order dividing two, but note that they are not necessarily even permutations.
In fact, when n ≡ 0 mod 4 , y2 , z1 ∈ Am and y1 , z2 ∈ Sm \Am . If n ≡ 2 mod 4 then the
reverse situation holds. Naturally the same can be said for y10 etc.
First assume that n ≡ n0 ≡ 0 mod 4. Then c · c0 = (y1 y2 ) · (y10 y20 ). But y2 and y10 contain no
common letters and hence commute. We therefore rewrite cc0 = (y1 y10 )·(y2 y20 ), a product of
two involutions, y1 y10 and y2 y20 in Am . In an identical manner we write cc0 = (z1 z10 ) · (z2 z20 )
when n ≡ n0 ≡ 2 mod 4, and cc0 = (y1 z10 ) · (y2 z20 ) when n ≡ 0 mod 4 and n0 ≡ 2 mod 4.
Each bracketed expression is an even permutation and hence in all cases we have written
cc0 as the product of two involutions in Am .
Next we consider cycles of length 3 mod 4. In particular, let c, c0 ∈ {c1 , . . . , ck } be cycles
of lengths n and n0 respectively such that n ≡ n0 ≡ 3 mod 4. Assuming that c = (1 . . . n)
and c0 = (10 . . . n0 ), it follows that c = x1 x2 and c0 = x01 x02 , where x1 , x2 etc are as above.
Note however, that unlike the case above of n ≡ 1 mod 4, here the xi are in Sn \An . But
x2 and x01 commute and it follows that cc0 is indeed the product of the two involutions
x1 x01 and x2 x02 in Am .
Lastly consider the cycle c = (1 . . . n) such that n ≡ 3 mod 4, alone. If we assume
additionally that n ≥ 7, then we can easily write c as the product of three involutions in
Am . Namely
 


n−1 n+3
n−1 n+3
c = x1 (
) · (
)(2 n) · ((2 n)x2 ) .
(1)
2
2
2
2
y2 := (1 n)(2 n − 1) . . . (

Note that this analysis has ignored single cycles of length 3. This, as we shall see below,
is because such cycles must be considered within the context of the whole element g.
Let us now return to our original element g = c1 . . . ck . As the ci commute, we assume
that cycles of lengths congruent to 3 mod 4 appear at the end of the decomposition, and
are ordered by increasing length. In particular, |ck | = 3 if and only if all cycles of length
3 mod 4 are in fact of length 3 (and at least one of these exists).
Assume for now that n3 , the number of cycles of length congruent to 3 mod 4, is even.
Then by the above, each cycle or pair of cycles in g can be decomposed as products of
two involutions in Am . These decompositions have the form ci = t1i t2i or ci ci+1 = t1i t2i ,

4

ALEXANDER J. MALCOLM

where tij ∈ Am denote the involutions. These involutions then commute where necessary
to yield
g = (t11 t21 ) . . . (t1p t2p ) = (t11 . . . t1p ) · (t21 . . . t2p ),
where p = n1 + (n0 + n2 )/2 + n3 /2. Evidently (t11 . . . t1p ) and (t21 . . . t2p ) are involutions
in Am and hence g is strongly real.
Now consider the remaining case, where n3 is odd. Firstly note that gc−1
k is strongly real
by the above method. In particular there exist involutions tij ∈ Am such that
gc−1
k = (t11 . . . t1q ) · (t21 . . . t2q ),
where q = n1 + (n0 + n2 )/2 + (n3 − 1)/2. If |ck | > 3, then ck can be written as a product of
three involutions as shown by (1). Denote this decomposition ck = s1 s2 s3 , for involutions
si ∈ Am . It then follows that g = (t11 . . . t1q s1 ) · (t21 . . . t2q s2 ) · s3 and iw(g) ≤ 3.
This leaves the case where |ck | = 3. Write ck = (1 2 3)=(1 2)(1 3). If g = ck then ck =
((1 2)(4 5)) · ((4 5)(1 3)) and g is strongly real. Suppose instead that gc−1
k 6= 1. Then one
of the elements (t11 . . . t1q ) and (t21 . . . t2q ) is non-trivial, say the latter. Let (i j) be a
transposition in its cycle decomposition. This commutes with ck and hence we can reorder
the transpositions to give
g = ((t11 . . . t1q ) · (t21 . . . t2q (i j)(1 2)) · ((i j)(1 3)).
This is a product of three involutions in Am .



It is worth noting the following corollary of the proof above.
Corollary 2.4. Let g ∈ Am for m ≥ 5. Suppose that g has at least 2 fixed points or an
even number of cycles with length 3 mod 4. Then g can be written as the product of 2
involutions in Am .
Proof. From the proof of Theorem 2.3 it is sufficient to show that if c is a cycle of length
n ≡ 3 mod 4 such that c ∈ An+k for k ≥ 2, then c = t1 t2 for involutions ti ∈ An+k .
Without loss of generality, take c = (1 2 . . . n) with fixed points n + 1 and n + 2. We can
write c as a product of two involutions as follows


n−1 n+3
(1 2 . . . n) =
(1 n)(2 n − 1) . . . (
)(n + 1 n + 2)
2
2


n+1 n+3
· (n + 1 n + 2)(2 n)(3 n − 1) . . . (
) .
2
2

2.2. Sporadic Groups. In this section we prove the following result.
Theorem 2.5. Let G be a sporadic finite simple group. If G ∈ {J1 , J2 } then G has
involution width 2, otherwise G has width 3.
It was found by Suleiman ([50], see also Theorem 2.1) that only two sporadic groups,
namely J1 and J2 are strongly real. Furthermore, [50] lists the non-strongly real classes of
every other sporadic group. We compute the involution width of these classes by calculating
the structure constants, which are defined as follows.
Definition 2.6. Let G be a finite group and let Ci , 1 ≤ i ≤ m be conjugacy classes in G.
For g ∈ G, define the structure constant η(C1 , . . . , Cm , g G ) to be the number of m-tuples
(g1 , . . . , gm ) ∈ C1 × · · · × Cm such that g1 . . . gm = g.
The structure constants can be computed using the following well known formula.

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

5

Theorem 2.7. ([1], 1.10). Let G be a finite group and let Ci , 1 ≤ i ≤ m be conjugacy
classes in G. For g ∈ G,
X χ(g1 ) . . . χ(gm )χ(g −1 )
|G|
,
η(C1 , . . . , Cm , g G ) =
|CG (g1 )| . . . |CG (gm )| χ
χ(1)m−1
where the sum is over all the irreducible characters χ of G.
Naturally η(C1 , . . . , Cm , g G ) is a non-negative integer. However for our purposes we will
only be concerned with showing that η(C1 , . . . , Cm , g G ) 6= 0. Therefore to simplify proceedings, we will predominantly compute
X χ(g1 ) . . . χ(gm )χ(g −1 )
κ(C1 , . . . , Cm , g G ) =
,
χ(1)m−1
χ
which we call the normalised structure constant.
Proof of Theorem 2.5:
The full character tables are known for all sporadic groups ([10]) and hence the structure
constants can be calculated explicitly. We use the software package GAP [19] and a short
function that checks whether η(C1 , C1 , C1 , C2 ) is nonzero for C1 , a class of involutions and
C2 , a chosen non-strongly real class. For almost all the sporadic groups, we find that every
such conjugacy class C2 is contained in the cube of the 2A class. For the exceptions He,
Co2 , F i22 , F i23 and BM , we find instead that each class C2 ⊂ (2B)3 .

3. Non-Unitary Classical Groups
3.1. Preliminary Material. The remainder of this paper will be devoted to proving
Theorem 1 for the simple groups of Lie type. Throughout this section, G denotes a
simple linear algebraic group over an algebraically closed field of characteristic p > 0. Let
F : G → G be a Frobenius endomorphism. Then the set of fixed points G := GF is the
associated finite group of Lie type. Usually we take G to be simply connected, in which
case, with a small number of exceptions, G is quasisimple and G = G/Z(G) is the simple
group of interest.
The general procedure for proving Theorem 1 for a simple group of Lie type G is as follows.
We aim to pick regular semisimple elements x and y in particular classes of G, such that
(1) The projections x, y are strongly real in the simple group G.
(2) G\Z(G) ⊂ xG · y G .
From (2) it will follow that G\{1} ⊂ xG · y G and hence iw(G) ≤ iw(x) + iw(y) ≤ 4 by (1).
The proof that G\Z(G) ⊆ xG · y G involves calculating structure constants using Theorem
2.7. However unlike the sporadic case, complete character tables are currently unavailable
for most groups of Lie type. We therefore rely substantially on estimates of character values.
In particular, technical details of the characters of unitary groups form a substantial part
of this work (see Sec. 4).
Before proceeding, we briefly recall some results on ordinary representations of finite groups
of Lie type (see Carter [9] and Digne and Michel [14]).
Let T be an an F -stable maximal torus in G and θ ∈Irr(T F ). One can define a corresponding Deligne-Lusztig character RTG (θ) of the fixed point group G = GF such that
RTG (θ) ∈ Z[Irr(G)] ([9], 7.2). Moreover, for χ ∈ Irr(G), there is a pair (T , θ) such that χ
occurs in the decomposition of RTG (θ).
We shall work in the setting of Lusztig series of characters. For this let G∗ be the reductive
group in duality with G, with corresponding Frobenius endomorphism F ∗ : G∗ → G∗ .

6

ALEXANDER J. MALCOLM
∗

The dual finite group of Lie type is then the fixed point set G∗ := G∗F (see ([14], 13.10)).
There is a bijective correspondence between G-conjugacy classes of pairs (T, θ) as defined
above, and G∗ -classes of pairs (T ∗ , s), where T ∗ ≤ G∗ is a maximal torus dual to T and
s ∈ T ∗ is semisimple ([14], 13.12). If (T ∗ , s) corresponds to (T, θ) in this manner, we
∗
re-label RTG (θ) as RTG∗ (s). The Lusztig series E(G, (s)) is then defined to be the set of
∗
irreducible constituents of the RTG∗ (s) for T ∗ running over maximal tori of G∗ containing
s. We note the following lemma.
Lemma 3.1. ([25], 3.2). Let g ∈ G be semisimple and χ ∈Irr(G) with χ(g) 6= 0. Then
there exists a maximal torus T 3 g of G and s ∈ T ∗ ≤ G∗ such that χ ∈ E(GF , (s)).
Of the characters of finite groups of Lie type, the best understood are the so-called unipotent characters. These are the elements of the Lusztig series E(G, (1)).
Proposition 3.2. (Jordan decomposition of characters, ([14], 13.23)). For any semisimple
∗
element s ∈ G∗ , there is a bijection ψs from E(G, (s)) to E(CG∗ (s)F , (1)). The degree of
any character χ ∈ E(G, (s)) is given by the formula
∗

χ(1) = |G∗ : CG (s)F |p0 · (ψs (χ))(1).
Note that some caution is required when the centre of G is disconnected. If the centre of
G is connected, then the group CG∗ (s) is connected reductive for any semisimple s ∈ G∗ .
If however the centre of G is disconnected then the definition of the unipotent characters
∗
E(CG∗ (s)F , 1) needs to be generalised to disconnected groups ([14], 13.23).
Recall that for a prime p and a character χ ∈Irr(G), we say that χ has p-defect zero if p
|G|
. The study of p-defect zero characters plays an important role in this
does not divide χ(1)
work and we will often use the following result of Brauer.
Theorem 3.3. (([29], 8.17). Let p be a prime and χ ∈ Irr(G) a character of p-defect zero.
Then χ(g) = 0 whenever p | o(g).
We will predominantly apply the above theorem with respect to particular prime factors
of |G| known as primitive prime divisors.
Definition 3.4. Let q = pf for some prime p and let n ≥ 2. Then a primitive prime divisor,
denoted ppd(q, n), is a prime r such that r|(q n − 1) but r - (q k − 1) for 1 ≤ k ≤ n − 1.
A primitive prime divisor always exists for n > 2 by Zsigmondy’s Theorem ([4], Thm. V)
except when (n, q) = (6, 2).
A final result that will be useful in proving step (2) of the procedure detailed above is the
following due to Gow.
Theorem 3.5. ([23], 2). Let G be a finite simple group of Lie type and let L1 and L2 be
conjugacy classes of G consisting of regular semisimple elements. Then any non-identity
semisimple element of G is expressible as a product xy, where x ∈ L1 and y ∈ L2 .
First we consider the non-unitary classical groups, that is the linear, orthogonal and symplectic finite simple groups. These are denoted P SLn (q), P Ω±
n (q) for n even, P Ωn (q) for n
odd and P Spn (q). We see that for some families, the involution width problem has already
been considered and we quote results where appropriate.
3.2. Linear Groups. In [27] Gustavson et al. proved that the group of matrices in
GLn (K) (K a field) of determinant ±1 has involution at most 4. The problem of the
special linear group was then addressed by Knüppel and Nielsen [31].
Theorem 3.6. ([31], Thm. A). Let G = SLn (q), n ≥ 3. Then G has involution width 3
if and only if at least one of the following holds

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

7

(1) n = 4,
(2) q ∈ {2, 3, 5} and n 6≡ 2 mod 4,
(3) n = 3, and either char(Fq ) = 3 or x2 + x + 1 is irreducible over Fq .
Otherwise G has involution width 4.
Corollary 3.7. Let G = P SLn (q), n ≥ 2 (not P SL2 (2) or P SL2 (3)).
(1) Then iw(G) = 2 if and only if n = 2 and q 6≡ 3 mod 4.
(2) Suppose (n, q) satisfies at least one of the conditions 1-3 of Theorem 3.6 or (n, q) =
(2, 3 mod 4). Then iw(G) = 3.
(3) In any case, iw(G) ≤ 4.
Proof. Part 1 follows from Theorem 2.1. Part 2 follows from Theorem 3.6 together with
([1], Thm 4.2), which shows that C 3 = P SL2 (q) for any non-identity class C. Part 3 is
immediate from Theorem 3.6 .

3.3. Orthogonal Groups. The orthogonal groups are another classical family that have
been considered in the literature. Building on a number of results we prove
Theorem 3.8. Let n ≥ 7 and let G = P Ω±
n (q) (n even) or P Ωn (q) (n odd).
(1) If q is odd then iw(G) ≤ 3.
(2) If q is even then iw(G) ≤ 4.
Proof. Firstly assume that q is odd. By ([32], 8.5), iw(Ωn (q)) ≤ 3. The result then holds
in the simple group after taking the natural map. Next assume that q is even (and hence
G = P Ω2m (q)). By ([15], Thm. 3) we know that any g ∈ G can be written as a product
of two unipotent elements of G. But then, by ([45], Thm. 1.2), such unipotent elements
are strongly real and hence it follows that iw(g) ≤ 4.

3.4. Symplectic Groups. Recall from Theorem 2.1 that the symplectic groups P Sp2n (q)
are strongly real if q 6≡ 3 mod 4. The next result considers P Sp2n (q) for all values of q.
Note also that P Sp2 (q) ∼
= P SL2 (q) and thus by Corollary 3.7 we can assume that n ≥ 2.
Theorem 3.9. Let G = Sp2n (q) with n ≥ 2. Then G = P Sp2n (q) has involution width at
most 4.
Proof. The work of Guralnick and Tiep ([26], Sec. 2.2.3) shows that as long as (n, q) ∈
/
G
G
{(2, 2), (2, 3), (3, 2)} we can find regular semisimple elements x, y ∈ G such that x · y ⊇
G \ Z(G). Such elements are contained in tori T1 of order q n + 1 and T2 of order q n − 1
respectively. The cases where (n, q) ∈ {(2, 2), (2, 3), (3, 2)} are easily dealt with using the
character tables in [10], so we assume (n, q) is not one of these from now on.
Let g be the image of g ∈ G under the canonical map G → G. By ([40] , 2.3(c)), x is
strongly real so iw(x) = 2. We claim that y is also strongly real, from which the theorem
will follow.
Now T2 is a cyclic torus, conjugate to a Singer cycle GL1 (q n ) < GLn (q) < G. Let z ∈ T2
be a generator of the torus. We shall show that a conjugate of z is strongly real and thus
so is z itself.
Let e1 , . . . en , f1 , . . . , fn be a standard basis for the symplectic space, where (ei , fj ) = δij
and Ve = he1 , . . . , en i, Vf = hf1 , . . . , fn i are totally isotropic subspaces. Let H ∼
= GLn (q)
be the stabiliser in G of Ve , Vf . Explicitly,


A
0
H={
| A ∈ GLn (q)}
0 A−T

8

ALEXANDER J. MALCOLM




B
0
and we let z ∈ H have matrix representation
for some B ∈ GLn (q).
0 B −T
Now let t ∈ Sp2n (q) be the map that sends ei → fi and fi → −ei , 1 ≤ i ≤ n. Evidently
this map
 normalises
 the subgroup H and swaps Ve and Vf . Explicitly, t is given by the
0 −In
matrix
and thus conjugation of z ∈ H is given by
In
0



  −T

B
0
0
In
0 −In
B
0
−1
t zt =
=
.
−In 0
In
0
0 B −T
0
B
Clearly, t is an involution and hence to show z is strongly real it suffices to show that B is
conjugate in GLn (q) to a symmetric matrix.
As B is a Singer cycle in GLn (q) it has a minimal polynomial f of degree n. Furthermore
B is cyclic and conjugate to the companion matrix C(f ). In ([6], Thm. 7), Brawley and
Teitloff prove that if f ∈ Fq [x] is monic of degree n and f is not square in Fq [x] then C(f )
is indeed similar to a symmetric matrix.
In conclusion, z is conjugate to some h ∈ H which is inverted by t. Thus z, and hence also
y, is strongly real as claimed.

4. Unitary Groups
In this section we complete the proof of Theorem 1 for classical groups by proving
Theorem 4.1. Let G = P SUn (q) with n ≥ 3 and (n, q) 6= (3, 2). Then G has involution
width at most 4.
After some preliminary material, we treat the cases of even and odd-dimensional unitary
groups separately. Substantially more effort is required for the odd-dimensional case.
4.1. Preliminaries. Regard G = SUn (q) = GF where G = SLn (Fq ) and F is a Frobenius
endomorphism as in Section 3.1. Explicitly, F is the standard Frobenius map that raises
matrix entries to the q th power, composed with the inverse-transpose map. Let Φ denote
the root system of G of type An−1 . Then the maximal tori of G and its dual G∗ = P GUn (q)
correspond to F -conjugacy classes of the Weyl group W = W (Φ) ∼
= Sn . These in turn
correspond to Sn -orbits in the non-trivial coset of Aut(Φ) = Sn × {±1} ([33], 2.2). Such
an orbit is given by a conjugacy class in Sn and therefore a partition (a1 , . . . ak ), of n.
We denote the corresponding maximal torus by Ta1 ,...,ak . Recall that there exists a torus
T ∗ < G∗ that is dual to T in the sense that the Frobenius actions on their character groups
are mutually transpose ([33], 2.2). This duality gives a bijective correspondence between
types of maximal tori in G and G∗ . In particular, Ta1 ,...,ak and its dual denoted Ta∗1 ,...,ak
have the same order
(q a1 − (−1)a1 ) . . . (q ak − (−1)ak )
.
(2)
|Ta1 ,...,ak | = |Ta∗1 ,...,ak | =
(q + 1)
Note that these orders, as well as those for all maximal tori of Lie type groups, can be
calculated using the methods in [7].
Firstly we define what it means for two tori to be weakly orthogonal and explore how this
affects the values of characters evaluated on such tori. This concept was first seen in [40]
and then given a formal definition in [33].
Definition 4.2. We call two maximal tori T1 = T1F and T2 = T2F weakly orthogonal if
∗

∗

S1∗F ∩ S2∗F = 1
for every pair S1∗ , S2∗ of F ∗ -stable conjugates of T1 , T2 .

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

9

If x and y are regular semisimple elements of G = GF with centralizers T1 and T2 respectively, we say x and y are weakly orthogonal if and only if T1 and T2 are weakly
orthogonal.
For unitary groups there are known collections of weakly orthogonal tori pairs:
Proposition 4.3. ([33], 2.3.2). Let G = SUn (q). For 0 ≤ a ≤ n − 1, the maximal tori
Tn and T1,a,n−1−a are weakly orthogonal. If 2 ≤ a ≤ n − 2, the maximal tori T1,n−1 and
Ta,n−a are weakly orthogonal.
Here is a result concerning the vanishing of characters on weakly orthogonal elements.
Proposition 4.4. ([33], 2.2.2). If x and y are weakly orthogonal regular semisimple elements of G, and χ is an irreducible character of G such that χ(x)χ(y) 6= 0, then χ is
unipotent.
It is thus useful when computing structure constants to consider weakly orthogonal elements as this allows for a reduction down to the unipotent characters, of which the most
is known. Recall from Section 3.1 that the unipotent characters are exactly the elements
of the Lusztig series E(G, (1)).
For classical groups we have a combinatorial description for such characters ([9], 13.8). In
particular, for a root system of type An−1 , unipotent characters correspond to partitions
of n.
Let λ = (λ1 ≥ · · · ≥ λk ) be a partition of n and let [λ] be the associated Young diagram.
Denote the
P set of hooks of [λ] by H, and the length of a hook h ∈ H by l(h). Also, define
a(λ) := i<j min(λi , λj ) and the integral polynomial
ρλ (x) =

(xn − 1)(xn−1 − 1) . . . (x − 1) a(λ)
Q
·x
.
l(h) − 1)
h∈H (x

(3)

The degree of the corresponding unipotent character denoted χλ ∈Irr(SUn (q)), is then
given by χλ (1) = ±ρλ (−q), where the sign is chosen such that the highest coefficient is
positive. For example if λ = (n − 1, 1) where n is odd, then χλ (1) = q(q n−1 − 1)/(q + 1).
Note also that the unipotent character of SLn (q) associated to λ has degree ρλ (q).
Recall from Proposition 3.2 that a general character χ ∈ Irr(G) corresponds to a member
∗
of a Lusztig series E(CG∗ (s)F , 1), where s ∈ G∗ is semisimple. Centralizers of semisimple
elements are well understood in unitary groups ([8], Sec. 8) and we shall to only consider
the case where CG∗ (s) is connected. In particular, connected centralizers in GUn (q) of
semisimple elements are direct products of factors of type GLni (q ai ) and GUni (q ai ). We
then consider the image of these products in G∗ = P GU (q). A unipotent character of
∗
CG∗ (s)F restricted to one of these components then corresponds to a partition λi ` ni
as explained above. Hence letting these partitions form the entries of a multi-partition
denoted λ, it follows that a given χ ∈ Irr(G) is completely determined by s and λ. We
therefore adopt the notation χ = χs,λ to refer to this character. We however follow the
usual notation for unipotent characters that we have already used above. That is, when
s = 1 we write χ1,λ = χλ .
Note that the hooks contained in a diagram [λ] match those of the diagram of the conjugate
partition [λ0 ]. Consequently, the degrees χλ (1) and χλ0 (1) differ only by a scalar factor
0
q a(λ )−a(λ) .
We can further relate pairs of characters in Irr(G) using the notion of Alvis-Curtis duality.
For a reductive group G, the Alvis-Curtis duality functor DG sends any χ ∈Irr(GF ) to
another irreducible character of GF up to sign ([14], 8.8). This duality is particularly
important as we will often only have to find character values for one character in each
pairing.

10

ALEXANDER J. MALCOLM

Lemma 4.5. Let g ∈ G be regular semisimple. Then |χs,λ (g)| = |DG (χs,λ )(g)|.
Proof. This follows from part of the proof of ([26], 2.3) which we will summarise here. By
the definition of the functor DG ([14]. 8.8) it is clear that DT (λ) = λ for any F -stable
torus T and λ ∈Irr(T F ). Recall that as g is regular semisimple, CG (g)F = T1 for some
maximal torus T1 < G. Applying this and ([14], Cor 8.16), we see that
|DG (χs,λ )(g)| = |(DCG (g) ◦ ResG
CG (g)F )(χs,λ )(g)| = |χs,λ (g)|.

Recent work of Guralnick, Larsen and Tiep [24] descibes the Alvis-Curtis duality of unitary
groups.
Lemma 4.6. ([24], 5.3). Let G̃ = GUn (q) and χs,λ ∈ Irr(G̃), where s ∈ G̃∗ is semismple
and λ = (λ1 , λ2 , . . . ) is a multi-partition, as described above. Let µ = ((λ0 )1 , (λ0 )2 , . . . ).
Then DG (χs,λ ) = χs,µ .
As we are working in G = GF = SUn (q), we consider the extension of characters to
G̃ = G̃F = GUn (q) before applying Lemmas 4.5 and 4.6. Recall that G∗ = P GUn (q) and
G̃∗ = GUn (q), and let π : G̃∗ → G∗ denote the usual projection map. For a semisimple
element s ∈ G∗ , there exists s̃ ∈ G̃∗ such that π(s̃) = s and we have the Lusztig series
E(G, (s)) ⊆ Irr(G) and E(G̃, (s̃)) ⊆ Irr(G̃) . Furthermore,
E(G, (s)) = {χ ∈ Irr(G) | χ occurs in χ̃|G for some χ̃ ∈ E(G̃, (s̃))}.
To check if χ ∈ Irr(G) extends to a a character of G̃ we use the following result.
Lemma 4.7. ([29], 11.22). Let H be a finite group and let N E G such that G/N is
cyclic. Let χ ∈ Irr(N ) be G-invariant. Then χ is extendible to G.
To obtain information about the splitting of a character χ̃ ∈ E(G̃, (s̃)) upon restriction from
G̃ to G, we study the centralisers H̃ = CG̃∗ (s̃) and H = CG∗ (s). Recall from Proposition
3.2 that ψs (χ̃) is a unipotent character of H̃ F . Let Γ denote the stabiliser of ψs (χ̃) under
the action of H F /H ◦F . Then χ̃|G splits into |Γ| constituents. We will only consider Lusztig
series E(G, (s)) where H = CG∗ (s) is connected and so the characters restrict irreducibly.
4.2. G = SUn (q), n even. In this section we complete the proof of Theorem 4.1 for even
dimensions n ≥ 4.
Proposition 4.8. Let G = SUn (q), n ≥ 4 even. There exist regular semisimple elements
x ∈ Tn and y ∈ T1,1,n−2 such that x and y are strongly real in the simple group G =
P SUn (q).
n

−1
Proof. The maximal torus Tn < G has order qq+1
and is cyclic ([17], 4.5). Choose x ∈ Tn
of prime order r, where r = ppd(q, n) if n ≡ 0 mod 4 and r = ppd (n/2, q) if n ≡ 2
n
n
mod 4. Note in both cases r divides q 2 + (−1) 2 . Such primitive prime divisors exist (see
Definition 3.4) Evidently x is regular as the order formula (2) prevents it from lying in any
other maximal torus.
To show that x is strongly real in G we look for containment in a strongly real subgroup.
n
First note that G has an SL2 (q 2 ) subgroup containing x. Indeed, when n ≡ 2 mod 4,
n
n
SU2 (q 2 ) ∼
= SL2 (q 2 ) is a field extension subgroup of SUn (q), whereas if n ≡ 0 mod 4 we
n
have the embedding SL2 (q 2 ) < SL n2 (q 2 ) < SUn (q).
n

n

In even characteristic, P SL2 (q 2 ) = SL2 (q 2 ) and this subgroup is strongly real by Theorem
n
2.1. In odd characteristic we can find g ∈ SL2 (q 2 ) such that g 2 = −1 and xg = −x−1 . It
follows that g is an involution in G and hence x is strongly real.

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

11

A similar method is used for y where now we want to pick a regular element in a torus of
size |T1,1,n−2 | = (q n−2 − 1)(q + 1). We take y as the product of a regular element y1 in the
cyclic torus Tn−2 < SUn−2 (q) and y2 =diag(µ, µ−1 ) ∈ T1,1 ≤ SU2 (q) where µ 6= µ−1 and
µµ = 1. Here matrices in SU2 (q) are written with respect to an orthonormal basis.
A regular element y1 exists in SUn−2 (q) exactly as we picked x above, and evidently
CSU2 (q) (y2 ) = T1,1 . It follows that CSUn (q) (y) = T12 ,n−2 and so y is regular. As above,
−1
−1
2
there 
exists an
 element g1 ∈ SUn−2 (q) such that g1 = −1 and g1 y1 g1 = −y1 . Let
0 −1
g2 =
∈ SU2 (q). Then it follows that g :=diag(g1 , g2 ) is an involution in G,
1 0
conjugating y to its inverse. Hence y is strongly real.

For the remainder of this section, we fix the elements x, y ∈ G = SUn (q) (n ≥ 4 and
even) as in Proposition 4.8. We now calculate the normalised structure constants using
the formula given in Theorem 2.7. Recall, we wish to show that for arbitrary g ∈ G\Z(G),
X χ(x)χ(y)χ(g −1 )
6= 0.
χ(1)
χ∈Irr(G)

In the following, let Φk (z) denote the usual k th cyclotomic polynomial in the variable z.
Lemma 4.9. Let G = SUn (q) where n ≥ 4 is even. Suppose χ is an irreducible character
of G such that χ(x)χ(y) 6= 0. Then χ is unipotent and corresponds to a partition λ ∈
{(n), (1n ), (n − 1, 1), (2, 1n−2 )}.
Proof. By Proposition 4.3, x and y are weakly orthogonal. It therefore follows from Proposition 4.4 that χ is unipotent. We first consider unipotent characters such that χλ (x) 6= 0.
Recall that χλ (1) = |ρλ (−q)| where the polynomial ρλ (x) is given by the formula (3), and
x has prime order r, defined in the proof of Proposition 4.8. Clearly r divides ρλ (−q) if
and only if Φn (−q) divides ρλ (−q). It follows that either ρλ (−q)r = 1 or ρλ (−q)r = |G|r .
But Φn (−q) divides ρλ (−q) if and only if [λ] has no hooks of length n. Hence χλ (x) 6= 0
implies that [λ] has an n-hook and so the partition must be of the form λ = (k, 1n−k ) for
some k.
The case for characters not vanishing on y is similar as the order of y is divisible by a
primitive prime divisor s, of Φn−2 (−q). If n ≥ 6 then as above, either ρ(−q)s = 1 or
ρ(−q)s = |G|s . Hence if χλ (y) 6= 0, then [λ] contains an (n − 2)-hook. In summary, if
χλ (x)χλ (y) 6= 0 then [λ] contains both an n-hook and an (n−2)-hook. This is only possible
if λ ∈ {(n), (1n ), (n − 1, 1), (2, 1n−2 )}.
The result for n = 4 follows without the need to consider vanishing on y as the partitions
listed in the statement are exactly those containing a 4-hook.

Proposition 4.10. Let G = SUn (q) where n ≥ 4 is even and (n, q) ∈
/ {(4, 2), (4, 3), (6, 2)}.
Let g ∈ G be a non-semisimple element. Then g ∈ xG · y G .
Proof. We show that the normalised structure constant is non-zero by using the formula
given in Theorem 2.7. By Lemma 4.9 we thus far have a reduction to
κ(xG , y G , g G ) =

X χλ (x)χλ (y)χλ (g −1 )
χλ

χλ (1)

(4)

where the sum is over λ ∈ {(n), (1n ), (n − 1, 1), (2, 1n−2 )}.
Note that χn is the trivial character and χ1n is the Steinberg character St which takes
absolute value 1 on regular semisimple elements ([9], 6.4.7). Also note the character degrees:
1

St(1) = q

n
(n−1)
2

q(q n−1 + 1)
q 2 (n−2)(n−1) (q n−1 + 1)
, χ(n−1,1) (1) =
, χ(2,1n−2 ) (1) =
.
q+1
q+1

12

ALEXANDER J. MALCOLM

Now χ(n−1,1) is one of the so called irreducible Weil characters, some characterisations of
which are given by Tiep and Zalesskii in [52]. Fix a generating element γ of F∗q2 and let
δ = γ q−1 . Then by ([52], 4.1) we can compute the character values using the formula
χ(n−1,1) (g) =

q
(−1)n X
−l
(−q)dim Ker(g−δ ) .
q+1

(5)

l=0

By the choice of order, it follows that x has no eigenvalues contained in hδi and hence
χ(n−1,1) (x) = 1. Similarly, χ(n−1,1) (y) = −1 as there exist two 1-dimensional eigenspaces
for the eigenvalues µ and µ−1 .
From ([52], Sec. 4) we see that χ(n−1,1) ∈ E(G, (1)) is the restriction of the unipotent
character χ̃(n−1,1) ∈ Irr(G̃) and it follows from Lemmas 4.5 and 4.6 that |χ(n−1,1) (x)| =
|χ̃(n−1,1) (x)| = |χ̃(2,1n−2 ) (x)|. Then, as CG∗ (1) = G∗ is connected, it follows from Section
4.1 that χ̃(2,1n−2 ) |G = χ(2,1n−1 ) . Hence |χ(n−1,1) (x)| = |χ(2,1n−2 ) (x)| = 1. It follows in an
identical manner that |χ(2,1n−2 ) (y)| = 1.
The value of the Steinberg character is given by ([9], 6.4.7) : St(z) = ±|CG (z)|p if z is
semisimple and zero otherwise. Hence the Steinberg summand vanishes in our consideration
of (4). Combining these results, we simplify (4) to
κ(xG , y G , g G ) = 1 +

χ(2,1n−2 ) (g −1 )(q + 1)
−(q + 1)χ(n−1,1) (g −1 )
±
.
1
q(q n−1 + 1)
q 2 (n−2)(n−1) (q n−1 + 1)

As g is non-scalar it cannot have an eigenvalue in hδi of multiplicity n and thus |χ(n−1,1) (g)| ≤
1
n−1 − 1|. We do not have a method for computing general character values of
q+1 |(−q)
1

χ(2,1n−2 ) but it is enough to use the trivial bound |χ(2,1n−2 ) (g)| ≤ |CG (g)| 2 . Centralizer
orders can be easily computed using the details in ([36], 7.1 and [8], Sec. 8) and this bound
is maximal when g is unipotent with Jordan block structure J2 ⊕ J1n−2 . Excluding a small
number of exceptions when n and q are small, we find that
case

(g −1 )|

|χ(2,1n−2 )
χ(2,1n−2 ) (1)

<

q−1
q

|χ(2,1n−2 ) (g −1 )|
χ(2,1n−2 ) (1)

<

1
.
q2

In any

and hence

|χ(2,1n−2 ) (g −1 )(q + 1)|
(q + 1)|χ(n−1,1) (g)|
1 q−1
+
< +
= 1.
1
n−1
q(q
+ 1)
q
q
q 2 (n−2)(n−1) (q n−1 + 1)
We conclude that κ(xG , y G , g G ) 6= 0 and thus g ∈ xG · y G .



Proof of Theorem 4.1 for n even:
Let G = SUn (q) where n ≥ 4 is even. If (n, q) ∈ {(4, 2), (4, 3), (6, 2)} then the result can
be checked using GAP [19] so we assume this is not the case. Let g ∈ G be a semsimple
element. Then by Theorem 3.5, it follows that g ∈ xG y G . Similarly, g ∈ xG y G for all nonsemsimple elements g ∈ G by Proposition 4.10. As x and y are strongly real by Proposition
4.8, it follows that iw(G) ≤ 4 and Theorem 4.1 is proved for even n ≥ 4.
4.3. G = SUn (q), n odd. This section completes our work on the classical groups by
considering the simple unitary groups of odd dimension. More precisely we complete the
proof of Theorem 4.1 for odd n ≥ 3. Note that the initial cases P SU3 (q) and P SU5 (q)
can be dealt with easily using the computer package CHEVIE ([21]).We do however begin
with a slightly more detailed treatment of SU3 (q) as knowledge of the involution width
here will be of particular use later in the analysis of exceptional Lie-type groups.
Lemma 4.11. Let G = SU3 (q) where q 6= 2. Then G has involution width at most 4.

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

13

Proof. Calculation of structure constants is straightforward in SU3 (q) as the full character
table is known ([47]). Furthermore, products of conjugacy classes in SU3 (q) have been
examined in the work of Orekovkov [44].
Firstly we note that SU3 (q) contains a unique class of involutions regardless of characteristic. If 3 does not divide q + 1, then P SU3 (q) = SU3 (q) and iw(G) ≤ 4 by ([44], 1.9).
Hence assume now that 3 divides q + 1 and q 6= 2. Theorem 1.3 of [44] details when exactly
the identity element is contained in a product of conjugacy classes, and denoting our class
of involutions by A, we find that for an arbitrary class 1 6= C ⊂ G either 1 ∈ A3 C or
1 ∈ A4 C. It follows that the involution width of SU3 (q) is at most 4 for q 6= 2.

Lemma 4.12. P SU5 (q) has involution width at most 4.
Proof. The generic character table of P GU5 (q) is available in the computer package CHEVIE
[21]. These tables can be accessed with Maple ([42]) and we check the relevant structure
constants computationally.

The remainder of this section will be devoted to proving Theorem 4.1 where n ≥ 7 is odd.
Throughout, let G = SUn (q).
The proof of this this result will follow the same method as the case when n is even. That
is, we first pick x, y ∈ G such that the projections of these elements are strongly real in
G and then show that G\Z(G) ⊂ xG · y G . However unlike before, when n is odd we do
not pick x and y from weakly orthogonal tori. Thus when computing structure constants
we now have non-unipotent characters to contend with, which makes things much more
complicated, as we shall see.
Proposition 4.13. There exist regular semisimple elements x ∈ T1,n−1 and y ∈ T13 ,n−3
such that x and y are strongly real in G.
Proof. Firstly note that the torus T1,n−1 of order q n−1 − 1 is cyclic and we can pick
x ∈ T1,n−1 of order r, where r =ppd(q, n − 1) when n − 1 ≡ 0 mod 4 and r =ppd(q, n−1
2 )
when n − 1 ≡ 2 mod 4. These primes exist by Zsigmondy’s Theorem. Now x has minimal
polynomial of the form p(t) = f (t)(t−1) where f (t) is a degree n−1 polynomial, irreducible
over Fq2 . Furthermore, f (t) is self-reciprocal, meaning that if α1 , . . . , αn−1 ∈ Fq are the
Q
Q
roots of f , then (t − αi ) = f (t) = (t − αi−1 ) . Clearly the elementary divisor (t − 1) is
also self-reciprocal and it follows that x is real in SUn (q). It then follows from ([49], 7.1)
and ([20], 2.2 and 2.4) that x is strongly real in SUn (q).
A similar method is used for y where we now pick a regular semisimple element in the torus
T13 ,n−3 of size |T13 ,n−3 | = (q n−3 −1)(q+1)2 . We take y as the product of a regular element y1
in the cyclic torus Tn−3 < SUn−3 (q) and y2 = diag(µ, µ−1 , 1) ∈ T13 < SU3 (q). In particular
y1 has order r0 where r0 =ppd(q, n − 3) when n − 3 ≡ 0 mod 4 and r0 =ppd(q, n−3
2 ) when
2πi/(q+1)
∼
n − 3 ≡ 2 mod 4. Furthermore, if hδi = Cq+1 ⊂ Fq2 and  = e
, then we choose
µ = δ a such that |1 + 2Re(a )| ≤ 1. This is always possible and we can also ensure that
µ∈
/ {1, −1}. In fact if q ≡ −1 mod 3 then we pick µ such that 1 + 2Re(a ) = 0. This will
be important for later calculations of structure constants.
Clearly y2 has the torus T13 as its centralizer in SU3 (q) and it follows that CSUn (q) (y) =
T13 ,n−3 and so y is regular. Note that y has self-reciprocal minimal polynomial p(t) =
f (t)(t − µ)(t − µ−1 )(t − 1) such that f (t) is of degree n − 3, self-reciprocal, and irreducible

over Fq2 . Hence it follows as above that y is strongly real in SUn (q).
As we saw in Section 4.2, the bulk of the work is now to show that the product xG · y G
contains all non-semisimple elements of G. Unlike before however, the two tori T1,n−1 and
T13 ,n−3 are not weakly orthogonal. Hence when computing the structure constant it is

14

ALEXANDER J. MALCOLM

possible that χ(x)χ(y) 6= 0 for a far greater range of characters χ ∈Irr(G). Exactly when
a character may be non-vanishing is detailed below.
Proposition 4.14. Suppose χ ∈Irr(G) such that χ(x)χ(y) 6= 0. Then χ is one of the
following characters.
(1) Unipotent characters:
1G , St, χ(n−3,2,1) , χ(3,2,1n−5 ) .
(2) Non-unipotent characters:
χst ,(n−1) , χst ,(1n−1 ) , χst ,(n−2,1) , χst ,(2,1n−3 ) .
Here s = diag(1, . . . , 1, δ) where hδi ∼
= Cq+1 ⊂ Fq2 , and 1 ≤ t ≤ q. Also CG∗ (s) ∼
=
GUn−1 (q).
Proof. Applying Lemma 3.1 to the elements x and y, it follows that χ ∈ E(G, (s)) where
∗
s ∈ T1,n−1
∩ T1∗3 ,n−3 . This intersection consists of elements of the form s = diag(1, . . . , 1, δ t )
where 0 ≤ t ≤ q. First consider the case of possible unipotent characters, that is when
t = 0 and so s = 1. We proceed as in Lemma 4.9, proving that only the 4 unipotent
characters χλ listed in the conclusion are not of r- or r0 -defect zero (where r, r0 are as
defined in the proof of Proposition 4.13) and then apply Theorem 3.3.
Firstly assume that χλ is a unipotent character such that χλ (x) 6= 0. From the degree
formula (3), it is clear that r divides χλ (1) = ρλ (−q) if and only if Φn−1 (−q) divides
ρλ (−q). It follows that either ρλ (−q)r = 1 or ρλ (−q)r = |G|r . Then note that Φn−1 (−q)
divides ρλ (−q) if and only if [λ] has no hooks of length n − 1. Hence χλ (x) 6= 0 implies that
[λ] does indeed have an (n − 1)-hook and so the partition must be of the form λ = (n), (1n )
or (k, 2, 1n−k−2 ) for some k.
The case for characters that are possibly non-vanishing on y is similar as the order of y is
divisible by a primitive prime divisor factor r0 , of Φn−3 (−q). As n ≥ 7, either ρλ (−q)r0 = 1
or ρλ (−q)r0 = |G|r0 . Hence if χλ (y) 6= 0, then [λ] contains an (n − 3)-hook. In summary,
if χλ (x)χλ (y) 6= 0 then [λ] contains both an (n − 1)-hook and an (n − 3)-hook. Namely
λ ∈ {(n), (1n ), (n − 3, 2, 1), (3, 2, 1n−5 )}.
To conclude, consider non-unipotent characters χ ∈ E(G, (st )) where 1 ≤ t ≤ q. Clearly
C = CG∗ (s) ∼
= GUn−1 (q) and thus χ = χst ,λ where λ ` n − 1. As explained above,
χ(x)χ(y) 6= 0 implies that [λ] contains both an (n − 1)- and (n − 3)-hook. Hence λ ∈
{(n − 1), (1n−1 ), (n − 2, 1), (2, 1n−3 )} and we have the result.

For the remainder of this section, denote the set of irreducible characters listed in (1) and
(2) of Proposition 4.14 by X ⊂Irr(G).
4.3.1. Values of characters in X. Before computing the structure constants in full, we
compute the values of each character χ ∈ X on the elements x and y defined in Proposition
4.13. Firstly, we have 1G and StG ∈ X. These characters are well understood and we have
seen earlier that explicit formulae exist.
Next consider χst ,(n−1) and the dual χst ,(1n−1 ) . For ease of notation denote F = Fq2 . The
reducible Weil character ζn,q of GUn (q) is defined by the formula
ζn,q (g) = (−1)n (−q)dim KerF (g−1) .

(6)

This character is well studied in the literature ([52], Sec. 4); in particular it has the
following decomposition when restricted to G = SUn (q):
ζn,q |G = χ(n−1,1) +

q
X
t=1

χst ,(n−1) .

(7)

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

15

Furthermore explicit formulae for the values of each χst ,(n−1) are known.
Lemma 4.15. ([52], 4.1). Let  = e2πi/(q+1) and hδi ∼
= Cq+1 ⊂ Fq2 . Then for g ∈ G =
SUn (q),
q
(−1)n X −tl
−l
 (−q)dim KerF (g−δ ) .
χst ,(n−1) (g) =
q+1
l=0

Far less is known about the dual characters χst ,(1n−1 ) . We can however apply Lemmas 4.5
and 4.15 to find |χst ,(1n−1 ) (x)| and |χst ,(1n−1 ) (y)|.
The second family of non-unipotent characters χst ,(n−2,1) has also been studied in the more
recent literature. Now ([34], 6.6) describes any character χ ∈ Irr(SUn (q)) of degree less
than the order of q 3n−9 by associating χ to an α ∈Irr(GU2 (q)). In particular we see that
(q+1,u)
for a fixed t, χst ,(n−2,1) has labeling Dα◦ where α = χq−1
for some u ∈ {1, . . . , q}. Here
the labeling of Irr(GU2 (q)) is that used by Ennola ([16]). We then have by ([34], 5.5) that
for g ∈ SUn (q),
X
1
χst ,(n−2,1) (g) = Dα◦ (g) =
α(z)ω(zg)
(8)
|GU2 (q)|
z∈GU2 (q)

where ω(h) = ζ2n (h) = (−q)dim KerF (h−1) is the reducible Weil character of GU2n (q) of
degree q 2n and zg ∈ GU2 (q) ⊗ GUn (q) ⊆ GU2n (q).
For the dual characters χst ,(2,1n−3 ) , we will again see that an application of Lemma 4.5 or
1

the trivial bound, |χ(g)| ≤ |CG (g)| 2 , will be sufficient for calculating structure constants.
Lemma 4.16. Let x, y ∈ SUn (q) be the regular semisimple elements defined in Proposition
4.13. Recall that y has eigenvalue µ chosen such that µ = δ a . Then
χst ,(n−1) (x) = χst ,(n−2,1) (x) = 1,
χst ,(n−1) (y) = χst ,(n−2,1) (y) = 1 + 2Re(a ),
|χst ,(1n−1 ) (x)| = |χst ,(2,1n−2 ) (x)| = 1,
|χst ,(1n−1 ) (y)| = |χst ,(2,1n−2 ) (y)| = |1 + 2Re(a )|.
(q+1,u)

Proof. The values of χst ,(n−1) follow from Lemma 4.15. The values of α = χq−1
∈
◦
Irr(GU2 (q)) are given in full in ([16]) and we then use (8) to evaluate Dα = χst ,(n−2,1) .
To evaluate the characters χst ,(1n−1 ) and χst ,(2,1n−2 ) we follow the method given in the
proof of Proposition 4.10: from ([52], Sec. 4) we see that χst ,(n−1) is the restriction of the
irreducible Weil character χ̃s̃t ,(n−1) ∈ Irr(G̃) where s̃ is a fixed preimage of st ∈ G∗ . It
follows from Lemmas 4.5 and 4.6 that |χst ,(n−1) (x)| = |χ̃s̃t ,(n−1) (x)| = |χ̃s̃t ,(1n−1 ) (x)|. Then,
as CG∗ (st ) ∼
= GUn−1 (Fq ) is connected, it follows from Section 4.1 that χ̃st ,(1n−1 ) |G =
χst ,(1n−1 ) . Hence |χst ,(n−1) (x)| = |χst ,(1n−1 ) (x)| = 1. The value of |χst ,(1n−1 ) (y)| follows
identically.
To evaluate |χst ,(2,1n−2 ) (x)|, first note from formula (8) that χst ,(n−2,1) is G̃-invariant.
Hence as G̃/G is cyclic, χst ,(n−2,1) extends to a character of G̃ by Lemma 4.7. From
Sec 4.1 such extensions lie in Lusztig series E(G̃, s̃z), where s̃ is a fixed preimage of st ∈
G∗ and z ∈ Z(G). Note that if χ̃ ∈ E(G̃, s̃z) restricts irreducibly to χst ,(n−2,1) , then
χ̃(1)p = χst ,(n−2,1) (1)p = q. Checking degrees of the unipotent characters of CG̃ (s̃z) ∼
=
GUn−1 (q)×GU1 (q), it follows that χ̃ = χ̃s̃z,(n−2,1) . Noting again that CG∗ (st ) is connected,
the proof now follows exaclty as above, by considering the Alvis-Curtis dual of χ̃.


16

ALEXANDER J. MALCOLM

Note that when we apply these values later in the calculation of structure constants, we will
only require the bound |1 + 2Re(a )| ≤ 1 given in the proof of Proposition 4.13. However
recall that when q = 2, y is chosen such that 1 + 2Re(a ) = 0.
Lastly we want to estimate values of the unipotent character χ(n−3,2,1) . We use the theory
of dual pairs to extend the work in ([34], Sec. 6.1).
Let G = SUn (q) with n ≥ 7 and odd and let S := GU3 (q). Take G = SU (W )
where W = hv1 , . . . , , vn iFq2 is endowed with a Hermitian form (·, ·), with Gram matrix
diag(1, . . . , 1) with respect to the basis v1 , . . . , vn . Similarly we view S as GU (U ) where
U = he1 , e2 , e3 iFq2 is endowed with Hermitian form (·, ·), with Gram matrix diag(1, 1, 1) in
the basis e1 , e2 , e3 . Next we consider V = U ⊗ W with the Hermitian form (·, ·) defined
via (u ⊗ w, u0 ⊗ w0 ) = (u, u0 ) · (w, w0 ) for u, u0 ∈ U and w, w0 ∈ W . The action of S × G on
V then induces a natural homomorphism S × G → Γ := GU (V ) = GU3n (q).
Let ω = ζ3n,q denote the reducible Weil character of Γ, as defined by (6). It is by studying
the restriction of ω to S × G that we will find the character χ(n−3,2,1) .
Lemma 4.17. Let n ≥ 7. Then
(ω|G , ω|G )G = (q + 1)(q 3 + 1)(q 5 + 1).
Further (ω|G , 1G )G = 0 and (ω|G , ζn,q )G = (q + 1)(q 3 + 1).
Proof. Let A be the matrix of g ∈ G in the basis v1 , . . . , vn of W . Then g has matrix
diag(A, A, A) in the basis {e1 ⊗ vi , e2 ⊗ vi , e3 ⊗ vi } of V . It also follows that ω|G = (ζn,q )3
where ζn,q denotes the reducible Weil character of GUn (q) as in (6). Furthermore
1 X
(ω|G , ω|G )G =
ω(A)2
|G|
A∈G
1 X
=
Fix(A)3 ,
|G|
A∈G

where Fix(A) denotes the number of fixed points under the action on the natural module
W . But this is exactly the number of of G-orbits on W × W × W. Using Witt’s lemma and
the assumptions on n we find that the number of G-orbits is exactly (q + 1)(q 3 + 1)(q 5 + 1).
Next note that (ω|G , 1G )G = (ζn,q 2 , ζn,q )G and similarly (ω|G , ζn,q )G = (ζn,q 2 , ζn,q 2 )G . The
decomposition of ζn,q 2 is studied in ([34], 6.1) and we can check that indeed (ω|G , 1G )G = 0
and (ω|G , ζn,q )G = (q + 1)(q 3 + 1).

Proposition 4.18. Let SP
= GU3 (q) and G = SUn (q) with n ≥ 7 odd. Then the restriction
ζ3n,q |S×G decomposes as α∈Irr(S) α ⊗ Dα where Dα is a character of G. Define aα =
(Dα , χ(n−1,1) )G , btα = (Dα , χst ,(n−1) )G , for 1 ≤ t ≤ q, and
Dα◦

= Dα − aα χ(n−1,1) −

q
X

btα χst ,(n−1) .

t=1

Then the characters Dα◦ of G = SUn (q) are all irreducible and distinct.
Proof.
Applying ([34], 5.5) to the character ω = ζ3n,q gives the decomposition ω|S×G =
P
α∈Irr(S) α ⊗ Dα such that
1 X
Dα (g) =
α(x)ω(xg).
(9)
|S|
x∈S

By definition,
ω|G =

X
α∈Irr(S)

α(1) aα χ(n−1,1) +

q
X
t=1

!
btα χst ,(n−1)

+

X
α∈Irr(S)

α(1)Dα◦

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

17

and it follows from Lemma 4.17 and (7) that
X

α(1) aα +

q
X

!
btα

= (q 3 + 1)(q + 1).

(10)

t=1

α∈Irr(S)

P
P
For ease of notation, relabel α∈Irr(S) α(1)aα = a and α∈Irr(S) α(1)btα = bt .
It also follows from Lemma 4.17 that
X
α(1)2 = |S| = q 3 (q 3 + 1)(q 2 − 1)(q + 1) = (ω|G , ω|G )G − (q + 1)(q 3 + 1)2 .
α∈Irr(S)

Hence
X

α(1)2 = (

X

X

α(1)Dα◦ ,

q
X

b2t ) − (q + 1)(q 3 + 1)2 .

t=1

α∈Irr(S)

α∈Irr(S)

α∈Irr(S)

α(1)Dα◦ )G + (a2 +

Applying the Cauchy-Schwarz inequality to (10) yields
(a2 +

q
X

b2t ) ≥ (q + 1)(q 3 + 1)2 .

t=1

Dα◦ ,

Thus if each
α ∈Irr(S) has positive degree, it will follow that the characters are
irreducible and distinct. The character table of S is known and we follow the notation of
[16]. In particular there are 8 families of irreducible characters of degrees 1, q 2 − q, q 3 , q 2 −
q + 1, q(q 2 − q + 1), (q − 1)(q 2 − q + 1), q 3 + 1 and (q + 1)(q 2 − 1).
We compute the corresponding Dα (1) using (9) and it is a straightforward check that
Dα (1) > q n (q 3 + 1)(q + 1)/α(1) for all α ∈ Irr(S). Furthermore, by the definition of Dα◦ ,
Dα (1) − Dα◦ (1) ≤ (ω|G , ζn,q )G ζn,q (1)/α(1) = q n (q + 1)(q 3 + 1)/α(1).

(11)

Hence Dα◦ (1) > 0 for all α ∈ Irr(S) and the proof is finished.

P
Remark. By the proof of Proposition 4.18, (a2 + qt=1 b2t ) = (q + 1)(q 3 + 1)2 and it follows
from Cauchy-Schwarz that a = bt = (q 3 + 1) for 1 ≤ t ≤ q. Hence
X
ω|G = (q 3 + 1)ζn,q +
α(1)Dα◦ .
α∈Irr(S)

The degrees Dα (1) are listed in Table 1. The notation for characters α ∈ Irr(GU3 (q)) is
taken from [16].
Recall that we wish to find a formula for the values of the unipotent character χ(n−3,2,1) .
From Table 1, we see that there is precisely one character Dα of the correct degree. Specif(q+1)
ically, when α = χq2 −q ,
Dα (1) =

q 4 (q n + 1)(q n−2 + 1)(q n−4 + 1)
= χ(n−3,2,1) (1).
(q 3 + 1)(q + 1)2
(q+1)

Proposition 4.19. Let α = χq2 −q ∈ Irr(GU3 (q)). Then Dα = Dα◦ = χ(n−3,2,1) .
From this we can then calculate values of χ(n−3,2,1) using the known character table of
GU3 (q) and the formula (9). Define
d :=

q n (q + 1)(q 3 + 1)
.
q(q − 1)

To prove the proposition we first note from (11) in the proof of Proposition 4.18, that
Dα (1) − Dα◦ (1) ≤ d.

18

ALEXANDER J. MALCOLM

Table 1. Degrees of Dα for G = SUn (q)

α ∈ Irr(GU3 (q))
(q+1)

χ1
(t)

χ1 , 1 ≤ t ≤ q
(q+1)

χq 3
(t)

χq 3 , 1 ≤ t ≤ q

Dα (1)
q 3 (q n +1)(q n−1 −1)(q n−5 −1)
(q 3 +1)(q 2 −1)(q+1)

+

q(q n−1 −1)
(q+1)

(q n +1)(q n−1 −1)(q n−2 +1)
.
(q 3 +1)(q 2 −1)(q+1)
q 6 (q n−1 −1)(q n−2 +1)(q n−4 +1)
(q 3 +1)(q 2 −1)(q+1)

+

q(q n−1 −1)
(q+1)

q 3 (q n +1)(q n−1 −1)(q n−2 +1)
(q 3 +1)(q 2 −1)(q+1)

χq2 −q

q 4 (q n +1)(q n−2 +1)(q n−4 +1)
(q 3 +1)(q+1)2

χq2 −q , 1 ≤ t ≤ q

q(q n +1)(q n−1 −1)(q n−2 +1)
(q 3 +1)(q+1)2

(q+1)

(t)

(t,q+1)

χq2 −q+1 , 1 ≤ t ≤ q
(q+1,u)

χq2 −q+1 , 1 ≤ u ≤ q
(t,u)

χq2 −q+1 , 1 ≤ t 6= u ≤ q
(t,q+1)

χq(q2 −q+1) , 1 ≤ t ≤ q
(q+1,u)

χq(q2 −q+1) , 1 ≤ u ≤ q

q 2 (q n +1)(q n−1 −1)(q n−4 +1)
(q 2 −1)(q+1)2

+

(q n +1)
(q+1)

q(q n +1)(q n−1 −1)(q n−3 −1)
(q 2 −1)(q+1)2
(q n +1)(q n−1 −1)(q n−2 +1)
(q 2 −1)(q+1)2
q 3 (q n +1)(q n−1 −1)(q n−3 −1)
(q 2 −1)(q+1)2

+

(q n +1)
(q+1)

q 2 (q n +1)(q n−1 −1)(q n−3 −1)
(q 2 −1)(q+1)2

(t,u)

q(q n +1)(q n−1 −1)(q n−2 +1)
(q 2 −1)(q+1)2

(t,u,q+1)

q(q n +1)(q n−1 −1)(q n−3 −1)
(q+1)3

χq(q2 −q+1) , 1 ≤ t 6= u ≤ q
χ(q−1)(q2 −q+1) , 1 ≤ t < u < q + 1
(t,u,v)

χ(q−1)(q2 −q+1) , 1 ≤ t < u < v < q + 1
(q+1,u)

χq3 +1 , 1 ≤ u ≤ q 2 − 2

(q n +1)(q n−1 −1)(q n−2 +1)
(q+1)3
q(q n +1)(q n−1 −1)(q n−3 −1)
(q 2 −1)(q+1)

u 6≡ 0 mod (q − 1)
(t,u)

χq3 +1 , 1 ≤ t ≤ q , 1 ≤ u ≤ q 2 − 2

(q n +1)(q n−1 −1)(q n−2 +1)
(q 2 −1)(q+1)

u 6≡ 0 mod (q − 1)
(t)

χ(q+1)(q2 −1) , t 6≡ 0 mod (q 2 − q + 1);

(q n +1)(q n−1 −1)(q n−2 +1)
(q 3 +1)

if t1 ≡ tq 2 or t2 ≡ tq 4 mod (q 3 + 1), then χ(t) = χ(t1 ) = χ(t2 )
It therefore suffices to show that χ(n−3,2,1) is the only irreducible character with degree in
the range
Dα (1) − d ≤ χ(1) ≤ Dα (1).
We first consider the slightly easier case of unipotent characters, where we will need the
following result.

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

19

Lemma 4.20. ([54], 2.1). Let 2 ≤ a1 < a2 < · · · < al be integers, 1 , . . . , l ∈ {1, −1}.
Then
(q a1 + 1 ) . . . (q al + l )
1
< 2.
<
2
q a1 +···+al
Lemma 4.21. Let χµ ∈ Irr(G) and |χµ (1) − χ(n−3,2,1) (1)| ≤ d. Then µ = (n − 3, 2, 1).
Proof. For ease we adopt the notation of [54] in this proof, reversing the order in which
partitions are written.
Let χµ be the unipotent character corresponding to the partition (µ1 , . . . , µm ) ` n and set
λi = µi + i − 1 for all i. The degree formula (3) in Section 4 can be rewritten ([54], 4.2A)
in terms of λi to give
Q
0
0
(q + 1)(q 2 − 1) . . . (q n − (−1)n ) i0 <i (q λi − (−1)λi +λi q λi )
 m−1 m−2
Q Q
χµ (1) =
.
(12)
λi
k − (−1)k )
q ( 2 )+( 2 )+...
(q
i
k=1
To prove the Lemma we shall use this form of the degree to show that if µ 6= (1, 2, n − 3)
then |χµ (1) − χ(1,2,n−3) (1)| > d. Firstly, the cases n = 7, 9 can be checked directly so we
may assume that n ≥ 11. Furthermore we can check explicitly that the statement holds
when µm ≥ n − 3 and hence we assume that µm ≤ n − 4. We show that χµ (1) ≥ q 4n−17 ,
using induction on the length of the partition, m. The conclusion will then follow as
q 4n−17 − χ(1,2,n−3) (1) > d for n ≥ 9.
The base case for the induction is the set of two-part partitions, namely µ = (k, n − k)
where k ≥ 4. When k = 4,
χ(4,n−4) (1) =

q 4 (q n + 1)(q n−1 − 1)(q n−2 + 1)(q n−7 − 1)
(q 4 − 1)(q 3 + 1)(q 2 − 1)(q + 1)

and it is an easy check that this is greater than q 4n−17 . When k ≥ 5, χµ (1) is
(q + 1)(q 2 − 1) . . . (q n + 1)(q n−k+1 + q k )
(q + 1)(q 2 − 1) . . . (q − (−1)k ) · (q + 1)(q 2 − 1) . . . (q n−k+1 − (−1)n−k+1 )
=

(q n−k+2 − (−1)n−k+2 ) . . . (q n + 1) q k (q n−2k+1 − 1)
·
q+1
(q 2 − 1) . . . (q − (−1)k )

(q n−k+2 · q n−k+3 · · · · · q n )/2
≥ q (k−2)(n−k)+n−2 .
2q 2 · q 3 · · · · · q k
Here we have used Lemma 4.20. As k ≥ 5 it follows that
> qk

(k − 2)(n − k) + (n − 2) − (4n − 17) = (n − k)(k − 5) + 3(k + 5) > 0
which gives the conclusion for two-part partitions.
For the induction step assume that µ has length m ≥ 3. Denote µ1 = k and note that the
conditions m ≥ 3 and n ≥ 11 imply k ≤ n − 8. If µ is (22 , n − 4), (1, 3, n − 4), (2, 3, n −
5), (32 , n − 6), (12 , 2, n − 4) or (14 , n − 4) we can check directly that χµ (1) > q 4n−17 . Hence
we assume that µ is not of this form, in addition to the original assumption that µm ≤ n−4.
Consider the partition ν ` n − k of length m − 1 defined by νi = µi+1 . By the above
exclusions, it follows that νm−1 ≤ n − k − 4 and therefore χν (1) > q 4(n−k)−17 by the
induction hypothesis. From (12) it also follows that
Qn
Q m λi
i
i
λi +k q k )
χµ (1)
i=2 (q − (−1)
i=n−k+1 (q − (−1) ) ·
Qn
Q
=
.
m
i
i
λi
λi
χν (1)
i=1 (q − (−1) ) ·
i=2 (q − (−1) )
Note that
λm = µm + m − 1 ≤ µm + µ1 + µ2 + · · · + µm−1 = n

20

ALEXANDER J. MALCOLM

and hence
2 ≤ λ3 − k ≤ · · · ≤ λm − k ≤ n − k.
We can therefore apply Lemma 4.20 to the collections (a1 , . . . , al ) = (λ3 − k, . . . , λm −
k, n − k + 1, . . . , n) and (a1 , . . . , al ) = (2, 3, . . . , k, λ2 , . . . , λm ). Also using the inequality
(q λ2 − (−1)λ2 +k q k )/(q + 1) ≥ q λ2 −1 /2,
we have
1 λ2 −1 1 λ3
q
· 2 q · · · · · q λm · q n−k+1 · · · · · q n
χµ (1)
q k(n−k)
=
= 2
≥ q k(n−k)−3 .
χν (1)
8
2q 2 · · · · · q k · q λ2 · · · · · q λn

Thus χ1,µ (1) > q (4+k)(n−k)−20 = q (4n−17)+(k(n−k)−4k−3) > q 4n−17 as n − k ≥ 8 and the
induction is complete.

We next move on to proving the analogous result for non-unipotent characters.
Lemma 4.22. Let χ ∈Irr(SUn (q)) be a non-unipotent character such that |χ(1)−χ(n−3,2,1) (1)| ≤
d. Then (n, q) = (7, 2) and
χ(1) ∈ {6622, 10 234, 9030}.
Proof. Let χ = χs,λ where 1 6= s ∈ G∗ as defined in Section 4.1. Following ([54], 4.1), let
G̃ = GUn (q) and consider an inverse image s̃ ∈ G̃ of s. Let C be the complete inverse
image of C ∗ = CG∗ (s) in G̃ and set D = CG̃ (s̃). Note that (G∗ : C ∗ ) = (G̃ : C) and D is a
normal subgroup of C such that C/D ,→ Cq+1 . Thus by Proposition 3.2,
χ(1) ≥ (G∗ : C ∗ )p0 ≥ (G̃ : D)p0 /(q + 1).
Now G̃ acts on the natural module V = Fnq2 and we denote the characteristic polynomial of
Q
s̃ in this action by P (t) ∈ Fq2 [t]. Then P (t) is a product li=1 fi (t)mi of distinct irreducible
polynomials fi (t) over Fq2 , 1 ≤ i ≤ l.
Firstly consider the case where l = 1. It follows from the non-triviality of s that f = f1
2(j−1)
has degree k ≥ 2. If λ ∈ Fq is a root of f (t), then Fq2 (λ) = Fq2k and the roots λj = λq
of f (t) are distinct for 1 ≤ j ≤ k. From ([54], 4.2B) we find further that k is odd and that
D = GUm (q k ) such that mk = n.
Thus by Lemma 4.20
χ(1) ≥
>

(q + 1)(q 2 − 1) . . . (q mk − (−1)mk )
(q + 1)(q k + 1) . . . (q mk − (−1)m )
1 2+3+···+mk
2q
2q k+2k+···+mk

1

=

q 2m

2 k(k−1)−1

4

.
1

Note that χ(n−3,2,1) (1) + d < q 3n−7 for n ≥ 7. Thus it suffices to show that q 2 m
q 3n−7 .

As k ≥ 3,

m2 k(k−1)
2

= n·

2 k(k−1)−3

2
2
≥ n3 and then n3 ≥ 3n − 4 when n ≥ 9. When n
2
have m k(k−1)
− 3 ≥ 3n − 7. This concludes the
2

n−m
2

≥

= 7,

it follows that k = 7 and we still
case
where l = 1 and hence we assume that l > 1 from now on.
L
Here we see that D preserves a non-trivial decomposition V = li=1 Vi where Vi = Pi (s)(V )
and Pi (t) = P (t)/fi (t)mi . We denote ni = dim Vi = mi deg(fi ) and without loss of
generality we assume that dim V1 ≤ · · · ≤ dim Vl .
Suppose D fixes a non-zero totally isotropic subspace W in V. Denote dim W = k and
bk = (G̃ : G̃W )p0 . Clearly 1 ≤ k ≤ n−1
2 , and we check using Lemma 4.20 that if k ≥ 2 then
bk ≥ min{b2 , b(n−1)/2 }. Hence if k ≥ 2, then we have
χ(1) ≥ min{b2 , b(n−1)/2 } > χ(n−3,2,1) (1) + d.
We may therefore assume that any D-invariant totally isotropic subspace has dimension 1.

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

21

Similarly, if D preserves a degenerate subspace W ⊂ V , we may assume that W is totally
isotropic and of dimension 1: firstly note that if U = W ∩ W ⊥ , then dim U = 1 by the
above. Let e denote an isotropic basis vector for U and let vj ∈ V such that e, v1 , . . . , vk is a
basis for W , where hv1 , . . . , vk i is non-degenerate. Note that D ≤ CG̃ (W ) ≤ CG̃ (hei) = P1 ,
where P1 is maximal parabolic. As CG̃ (W ) stabilises the non-degenerate k-space W/hei,
it follows that CG̃ (W ) ≤ CP1 (W/hei) . Hence
χ(1) >

|GUn (q)|p0
.
|GUk (q)|p0 |GUn−2−k (q)|p0 |GL1 (q 2 )|p0 (q + 1)

But the right hand side of the above is greater than χ(n−3,2,1) (1) + d when k ≥ 1. Hence
we may assume that W = U is totally isotropic.
Lastly, if D preserves a non-degenerate subspace U of V , where 1 ≤ k = dim U ≤ n2 , then
we can assume k ≤ 3 : if D preserves such a subspace then D ≤ GUk × GUn−k and χ(1)
is at least
Qn
Qn
i
i
i
i
i=n−k+1 (q − (−1) )
i=1 (q − (−1) )
=
.
Q
Qk
Q
i
i
(q + 1) i=1 (q i − (−1)i ) n−k
(q + 1) ki=1 (q i − (−1)i )
i=1 (q − (−1) )
Now if k ≥ 4,
Qn
(q

i
i
i=n−k+1 (q − (−1) )
Qk
+ 1) i=1 (q i − (−1)i )

≥ q 3n−7

and so χ(1) > χ1,(n−3,2,1) + d as desired.
It follows from the above assumptions that each Vi is totally isotropic of dimension 1 or
non-degenerate of dimension 1, 2, 3, n − 3, n − 2 or n − 1. After a number of very similar
calculations when n = 7 or 9 we may also assume that nl ≥ n − 3 and that D preserves no
non-degenerate subspaces of Vl . Clearly then l ≤ 4 and max{ni }l−1
i=1 ≤ 3.
There now remain a number of subcases to consider. Firstly consider the case where l = 2,
n1 = 3 and n2 = n − 3, and D preserves no non-degenerate subspaces of V1 . If s̃|V2 is not
a scalar it follows from the l = 1 case that D ≤ GU3 (q) × GUm (q k ) where mk = n − 3 and
k ≥ 3. Consequently
χ(1) >
>

(q n + 1)(q n−1 − 1)(q n−2 + 1)
(q + 1)(q 2 − 1) . . . (q mk − 1)
·
2
3
(q + 1)(q − 1)(q + 1)
(q + 1)(q k + 1) . . . (q mk − (−1)m )
1 2
1 2
q 3n−8
· q 2 m k(k−1)−1 > q 3n−14+ 2 m k(k−1)
8(q + 1)
2

≥ m2 k = (n − 3)k ≥ 2(n − 3) ≥ 7 and hence
by Lemma 4.20. Evidently m k(k−1)
2
3n−7
χ(1) > q
. Hence we assume that s̃ does act as a scalar on V2 . As 3 6= n−3, we conclude
that either C = D = GU3 (q)×GUn−3 (q) if s̃|V1 is a scalar, or C = D = GU1 (q 3 )×GUn−3 (q)
otherwise. Hence
(q n + 1)(q n−1 − 1)(q n−2 + 1)
χ(1) ≥ ψ(1) ·
(q 3 + 1)(q 2 − 1)(q + 1)
where ψ(1) is the degree of the unipotent character of C ∗ corresponding to χ as in Propon−4
sition 3.2. Now if ψ|GUn−3 (q) is non-trivial, it has degree at least q(q(q+1)+1) by ([54], 4.1)
and χ(1) > χ(n−3,2,1) + d, as required. To conclude this case, we assume that ψ|GUn−3 (q)
is trivial, and then it is easy to find all possible degrees ψ(1) as the unipotent character degrees of GU1 (q 3 ) and GU3 (q) are known ([9], 13.8). With one exception we find
that d > |χ(1) − χ1,(n−3,2,1) |. The exceptional case occurs when (n, q) = (7, 2), C =
GU3 × GU4 (q) and ψ corresponds to the multi-partition ((1, 2), (4)). Here ψ(1) =
and χ(1) =

2·(27 +1)(26 −1)(25 +1)
(23 +1)(2+1)2

= 6622 as in the conclusion of the Lemma.

2·(22 −1)
(2+1)

22

ALEXANDER J. MALCOLM

Next consider the case where max{ni }l−1
i=1 = 2. By the work above, it follows that D ≤
GU2 (q) × GUn−2 (q) or D ≤ GU1 (q) × GU2 (q) × GUn−3 (q). Assuming the former case for
now, if s̃|V2 is non-scalar then D ≤ GU2 (q) × GUm (q k ) such that m = n−2
k and k ≥ 3. Here
χ(1) >
>

(q n + 1)(q n−1 − 1)
(q + 1) . . . (q n−2 + 1)
·
n−2
(q 2 − 1)(q + 1)2
(q + 1)(q k + 1) . . . (q n−2 − (−1) k )
1 2
q 2n−3
· q 2 m k(k−1)−1 > q 3m−7 .
2
8(q + 1)

This leaves the case where s̃|V2 is a scalar. Assuming additionally that s̃|V1 is also a scalar,
then as n1 < n2 it follows that C = D = GU2 (q) × GUn−2 (q) and
χ(1) = ψ(1) ·

(q n + 1)(q n−1 − 1)
.
(q 2 − 1)(q + 1)

Suppose that ψ|GUn−2 (q) is non-trivial. Then by ([54], 4.1), ψ(1) ≥
χ(1) ≥

q(q n−3 −1)
(q+1)

and hence

q(q n + 1)(q n−1 − 1)(q n−3 − 1)
.
(q 2 − 1)(q + 1)

We can then check that this is greater than χ(n−3,2,1) (1) + d as required, provided (n, q) 6=
(7, 2). If however (n, q) = (7, 2) and ψ(1) =
|χ(1) − χ(4,2,1) (1)| = |

2·(27−3 −1)
(2+1)

then

2 · (27 + 1)(26 − 1)(24 + 1)
− χ(4,2,1) (1)| ≤ d
(22 − 1)(2 + 1)2

and we have another of the listed exceptions to the Lemma. Lastly, if ψ|GUn−2 (q) = 1 then
χ(1) ∈ {

q(q n + 1)(q n−1 − 1) (q n + 1)(q n−1 − 1)
,
}
(q 2 − 1)(q + 1)
(q 2 − 1)(q + 1)

and χ(n−3,2,1) (1) − χ(1) > d. The remaining case where s̃|V1 is non-scalar and D ≤
GL1 (q 2 ) × GUn−2 (q) follows similarly to the above. Indeed, if ψ|GUn−2 (q) is non-trivial
then
q(q n + 1)(q n−1 − 1)(q n−3 − 1)
χ(1) ≥
> χ(n−3,2,1) (1) + d.
(q 2 − 1)
If however ψ|GUn−2 (q) = 1 then
χ(1) =

(q n + 1)(q n−1 − 1)
< χ(n−3,2,1) (1) − d.
(q 2 − 1)(q + 1)

To complete the proof we require a consideration of the cases where D ≤ GU1 (q)×GU2 (q)×
GUn−3 (q) or D ≤ GU1 (q)i × GUn−i (q) for i = 1, 2 or 3. We shall however omit the details
as the proof follows very similarly to the work above. In summary, we find that apart for
one exception, |χ(n−3,2,1) (1) − χ(1)| > d. The single exception occurs when (n, q) = (7, 2),
C = D = GU1 (q)2 × GU5 (q) and ψ corresponds to the multi-partition ((1), (1), (1, 4)). In
this case χ(1) = 9030.

Proof of Proposition 4.19:
(q+1)

Proof. Recall that α = χq2 −q ∈Irr(GU3 (q)). Firstly note from (11) in the proof of Proposition 4.18 that
q n (q 3 + 1)(q + 1)
|Dα◦ (1) − χ(n−3,2,1) (1)| ≤ (ω|G , ζn,q )ζn,q (1)/α(1) =
.
q(q − 1)
It then follows from Lemmas 4.21 and 4.22 that either Dα = Dα◦ = χ(n−3,2,1) as required,
or (n, q) = (7, 2) and
Dα◦ (1) ∈ {6622, 10 234, 9030}.

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

23

Assume the latter statement for a contradiction and first note that here Dα (1) = χ(4,2,1) (1) =
7568. Therefore as Dα (1) ≥ Dα◦ (1), we can discard the second and third possibilities listed
above as they are too large and it follows that Dα◦ (1) = 6622.
From Table 1 we see that SU7 (2) has at least two additional characters of degree 6622.
(t)
Indeed, when β = χq2 −q where t = 1, 2, we have Dβ (1) = 6622. Furthermore the irreducible
component Dβ◦ ∈ Irr(SU7 (2)) has degree lying in the range 4894 ≤ Dβ◦ (1) ≤ 6622 by
Proposition 4.18. But the irreducible character degrees of SU7 (2) are known ([39]) and
we check that there exist exactly two irreducible characters with degrees in this range, a
contradiction.

Lemma 4.23. Let x and y be the regular semisimple elements chosen in Proposition 4.13.
Then χ(n−3,2,1) (x) = χ(n−3,2,1) (y) = 1. Also, |χ(3,2,1n−5 ) (x)| = |χ(3,2,1n−5 ) (y)| = 1.
(q+1)

Proof. By Proposition 4.19, χ(n−3,2,1) = Dα where α = χq2 −q ∈ Irr(GU3 (q)). The values
of α are known ([16], Table 7), and recall for g ∈ G we have the formula
1 X
α(h)ω(hg),
Dα (g) =
|S|
h∈S

where ω = ζ3n,q is the reducible Weil character of GU3n (q). Applying this formula to x and
y then gives the values for χ(n−3,2,1) . It follows from the formula above that χ(n−3,2,1) is G̃invariant and hence extends to a character of G̃ by Lemma 4.7. The values of |χ(3,2,1n−5 ) (x)|
and |χ(3,2,1n−5 ) (y)| then follow by Lemmas 4.5 and 4.6, as in the proof of Proposition
4.10.

4.3.2. Calculating Structure Constants for G = SUn (q), n ≥ 7 odd. We now have sufficient information about the characters in the set X ⊂Irr(G) defined after Proposition
4.14 to calculate structure constants for G. For g ∈ G, let g = su denote the Jordan
decomposition of g with s semisimple and u unipotent. We use the shorthand notation
u ∼ (nrn , . . . , 2r2 , 1r1 ) to indicate the Jordan form of u and let σg denote the spectrum
of eigenvalues of g. The elements x, y ∈ G will always denote those chosen in Proposition
4.13. In this section we first prove the following result.
Proposition 4.24. Let G = SUn (q) where n ≥ 7 is odd and let g = su ∈ G. Assume that
u 6= 1 and also that u  (2, 1n−2 ) when s = 1. Then g ∈ xG y G .
For ease of presentation we treat the cases where g is unipotent and non-unipotent separately.
Lemma 4.25. Let 1 6= u ∈ G be unipotent, and assume that u  (2, 1n−2 ). Then u ∈
xG y G .
Proof. By Theorem 2.7 and Proposition 4.14, u ∈ xG y G if and only if
X
χ(x)χ(y)χ(u−1 )
κ(xG , y G , uG ) =
6= 0.
χ(1)
χ∈X⊂Irr(G)

Removing the contribution of the trivial character, it suffices to show that
X |χ(x)χ(y)χ(u−1 )|
< 1.
χ(1)

(13)

χ∈X\{1G }

The values of |χ(x)χ(y)| are known by Lemmas 4.16 and 4.23, and in all cases |χ(x)χ(y)| ≤
1. Furthermore, when q = 2, χ(y) = 0 for all non-unipotent characters χ ∈ X\{1G }

24

ALEXANDER J. MALCOLM

(Lemma 4.16). Hence for (13) to hold it is sufficient to show that
X
|χ(u)|
< 1, if q ≥ 3,
χ(1)
χ∈X\{1G }⊂Irr(G)

and
|χ(n−3,2,1) (u)| |χ(3,2,1n−5 ) (u)| |St(u)|
+
+
< 1, if q = 2.
χ(n−3,2,1) (1)
χ(3,2,1n−5 ) (1)
St(1)
In either case, denote the sum of character ratios on the left hand side by ∆(u).
To prove that ∆(u) < 1, we bound the character ratio summands on a case by case basis.
Firstly consider the possible values of χ(n−3,2,1) (u). Let u ∼ (nrn , . . . , 2r2 , 1r1 ) and denote
the total number of blocks by r. Recall from Proposition 4.19 that χ(n−3,2,1) = Dα where
(q+1)

α = χq2 −q ∈ Irr(GU3 (q)) and hence
Dα (u) =

1
|GU3 (q)|

X

α(h)ω(hu).

(14)

h∈GU3 (q)

Here ω denotes the reducible Weil character of GU3n (q) that takes values
ω(hu) = −(−q)dim Ker(hu−1) .
The values of α are known ([16], Table 7) and we compute

|GU3 (q)| · χ(n−3,2,1) (u) = (q 2 − q) −(−q)3r − q

− q −(−q)3r−r1 − q (q − 1)(q 3 + 1)

− q 2 (q − 1)(q 2 − q + 1) −q 2r+1 − (−q)r+1 − q(q − 1)

+ q 2 (q − 1)(q 3 + 1) −(−q)2r−r1 +1 − (−q)r+1 − q(q − 1)


−3(−q)r+1 − q(q − 2)
3
2 2
+ 2q (q − 1) (q − q + 1)
6
q4
+
(q + 1)3 (q − 1)2 .
(15)
3
|χ(n−3,2,1) (u)|
χ(n−3,2,1) (1)

Recall that χ(n−3,2,1) (1) ∼ q 3n−7 . Hence when r is large,
checking small cases computationally we see that

|χ(n−3,2,1) (u)|
χ(n−3,2,1) (1)

∼ q 3r−3n and

< q −3 .

We do not have a method for computing general character values of χ(3,2,1n−5 ) but it is
1

enough to use the trivial bound |χ(3,2,1n−5 ) (g)| ≤ |CG (g)| 2 . Note that χ(3,2,1n−5 ) (1) ∼
1

2 −n−8)

q 2 (n

and unipotent centralizers can be easily computed using the details in ([36],

7.1). Hence we can bound the character ratio

|χ(3,2,1n−5 ) (u)|
χ(3,2,1n−5 ) (1) .

These bounds will be useful

for later computations so we list some details in Table 2.
1

1

2 −6n+17)

For the unipotent elements not listed in Table 2, we see that |CG (u)| 2 . q 2 (n
Checking small dimensions computationally we find in these cases that

|χ(3,2,1n−5 ) (u)|
χ(3,2,1n−5 ) (1)

<

.

1
.
q3

Next we consider the contribution to ∆(u) of any character
χ ∈ {χst ,(1n−1 ) , χst ,(2,1n−2 ) | 1 ≤ t ≤ q} ⊂ X.
As stated above, these characters all vanish when q = 2 but in general we use the centralizer
bound once more. In particular note that that χ(1) > q · χ(3,2,1n−5 ) (1) and hence the
bounds found above for

|χ(3,2,1n−5 ) (u)|
χ(3,2,1n−5 ) (1) ,

also apply to q ·

|χ(u)|
χ(1)

. It follows that the sums

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

25

Table 2. Character Ratio Bounds

Block Structure

Conditions

(2, 1n−2 )

n ≥ 9, q = 2, 3

1
q2

n ≥ 9, q ≥ 4

1
q3

n = 7, q = 2

0.263

n = 7, q ≥ 3

1
q2

n≥9

1
q4

n=7

1
q2

n≥9

1
q3

(22 , 1n−4 )

(3, 1n−3 )

|χst ,(1n−1 ) (u)|
t=1 χst ,(1n−1 ) (1)
q −3 otherwise.

Pq

and

|χst ,(2,1n−2 ) (u)|
t=1 χst ,(2,1n−2 ) (1)

Pq

Upper bound for

|χ(3,2,1n−5 ) (u)|
χ(3,2,1n−5 ) (1)

are bounded by the values given in Table 2, or

The remaining characters to consider are the non-unipotent families {χst ,(n−1) }qt=1 and
{χst ,(n−2,1) }qt=1 . Let χ ∈ {χst ,(n−1) }qt=1 . We can calculate character values using Lemma
4.15. We compute some of the largest values and print them below for elements of interest.
n−2

u ∼ (2, 1

):

q
X
|χst ,(n−1) (u)|
t=1

u ∼ (22 , 1n−4 ), (3, 1n−3 ) :

q(q n−1 − 1)
,
qn + 1

=

χst ,(n−1) (1)

q
X
|χst ,(n−1) (u)|
t=1

χst ,(n−1) (1)

For all other unipotent elements it is an easy check that

=

q(q n−2 + 1)
.
qn + 1

|χst ,(n−1) (u)|
t=1 χst ,(n−1) (1)

Pq

<

1
.
q2

Lastly let χ ∈ {χst ,(n−2,1) }qt=1 . Again we have an explicit formula for character values,
namely formula (8) in Section 4.3.1. We find for u ∼ (nrn , . . . , 2r2 , 1r1 ) with a total
number of blocks r, that
|GU2 (q)| · χst ,(n−2,1) (u) = (q − 1)(q 2r − 1)
− (q 2 − 1)((−q)2r−r1 − 1)
+ q(q − 1)((−q)r (−q + 1) + (q − 1)).
This is maximal when u ∼ (2, 1n−2 ) and in this case
q
X
|χst ,(n−2,1) (u)|
t=1

χst ,(n−2,1) (1)

<q·

1
q 15/8

=

For all other unipotent elements,
q
X
|χst ,(n−2,1) (u)|
t=1

χst ,(n−2,1) (1)

<

1
q 5/2

.

1
q 7/8

.

26

ALEXANDER J. MALCOLM

Collating these bounds for character ratios, we can compute upper bounds for ∆(u). Firstly
let q = 2. Here
|χ(n−3,2,1) (u)| |χ(3,2,1n−5 ) (u)| |St(u)|
∆(u) =
+
+
.
χ(n−3,2,1) (1)
χ(3,2,1n−5 ) (1)
St(1)
Using the bounds above and noting that St(u) = 0 ([9], 6.4.7) gives
∆(u) < 0.263 +

1
< 1.
23

Similarly, when q ≥ 3 the bounds above give
X
|χ(u)|
1
1
q(q n−2 + 1)
3
∆(u) =
<
+ 2 + 5/2 + 3 < 1.
n
χ(1)
(q + 1)
q
q
q
χ∈X\{1G }⊂Irr(G)


Lemma 4.26. Let g = su ∈ G such that s, u 6= 1. Then g ∈ xG y G .
Proof. As explained in the proof of Lemma 4.25, for the result to hold it suffices to show
that ∆(g) < 1 where
X |χ(g)|
∆(g) =
, if q ≥ 3,
χ(1)
χ∈X\{1G }

and
∆(g) =

|χ(n−3,2,1) (g)| |χ(3,2,1n−5 ) (g)| |St(g)|
+
+
, if q = 2.
χ(n−3,2,1) (1)
χ(3,2,1n−5 ) (1)
St(1)

Firstly consider χ ∈ {χ(3,2,1n−5 ) } ∪ {χst ,(1n−1 ) , χst ,(2,1n−2) | 1 ≤ t ≤ q} ⊂ X. As |CG (g)| ≤
|χ

n−5

(g)|

)
|CG (u)| we can use the bounds for (3,2,1
calculated in Lemma 4.25. Note however
χ(1)
that Table 2 does not include a treatment of the case n = 7, u ∼ (2, 15 ). However when
s 6= 1 and u ∼ (2, 15 ) we can sufficiently bound the character ratio by estimating |CG (s)|1/2

and find that

|χ(3,2,1n−5 ) (g)|
χ(1)

<

1
q2

in this case.

The value of |χ(n−3,2,1) (g)| has a slightly more complicated formula when s 6= 1 but we can
again find a sufficient bound. Let σg = {λi } denote the eigenvalues of g and note these
are not necessarily in Fq2 . Let δ, ρ, τ ∈ Fq6 be elements of orders q + 1, q 2 − 1 and q 3 + 1
respectively. Then define σg,δ := σg ∩hδi, σg,ρ := {σg ∩hρi}\σg,δ and σg,τ := {σg ∩hτ i}\σg,ρ .
From the presence of the Weil character ω in formula (14), we see that the magnitude of
|χ(n−3,2,1) (g)| is controlled by the dimension of the eigenspaces of each λi ∈ σg,δ , σg,ρ , σg,τ .
Let mδ := maxλ∈σg,δ {dim(Ker(g − λI))} and define mρ and mτ similarly. Then
|χ(n−3,2,1) (g)| ∼ q maxi {3mδ +2,2mρ +5,3mτ +6}−7 .
In general this is maximal when g has Jordan normal form (λJ1n−2 ) ⊕ (µJ2 ) for λ, µ ∈ σg,δ
such that λ 6= µ. Checking small values of (n, q) explicitly we find that

|χ(n−3,2,1) (g)|
χ(n−3,2,1) (1)

≤

1
.
q3

Finally consider χ ∈ {χst ,(n−1) }qt=1 ∪{χst ,(n−2,1) }qt=1 . Here the character values are given by
Lemma 4.15 and formula (8) in Section 4.3.1. Much like the above, |χ(g)| has a non-trivial
contribution for each λi ∈ σg,δ , σg,ρ and is maximised when g has Jordan normal form
(λJ1n−2 ) ⊕ (µJ2 ) for λ, µ ∈ σg,δ such that λ 6= µ. Checking small cases computationally we
find that
q
X
|χst ,(n−1) (g)|
t=1

χst ,(n−1) (1)

=

q n−2 + q + 2
< q −15/8
qn + 1

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

and

q
X
|χst ,(n−2,1) (u)|
t=1

χst ,(n−2,1) (1)

<

27

1
.
q2

We collate the information above to bound ∆(g). Firstly let q = 2. Again, as g is not
semisimple, St(g) = 0 and it follows that
1
∆(g) < 0.263 + 3 < 1.
2
Now let q ≥ 3. By the above it follows that
1
1
1
3
∆(g) < 15/8 + 2 + 2 + 3 < 1.
q
q
q
q

Lemmas 4.25 and 4.26 together complete the proof of Proposition 4.24.
We can now finally prove Theorem 4.1 where n is odd, to conclude our work on simple
unitary groups.
Proof of Theorem 4.1 (n odd):
Proof. We have already seen that the result holds when n = 3, 5 (Lemmas 4.11 and 4.12)
so we can assume that n ≥ 7.
Let g ∈ SUn (q) with Jordan decomposition g = su. If u = 1 then it follows from Theorem
3.5 that g = s ∈ xG y G . Similarly, provided u  (2, 1n−2 ) when s = 1, g ∈ xG y G by
Lemma 4.24. In either case it then follows that iw(g) ≤ 4 by Proposition 4.13. This leaves
the unipotent element g = u ∼ (2, 1n−2 ). Here we can embed u in a subgroup SU3 (q)
when q > 2, and SU4 (q) when q = 2. It follows that iw(u) ≤ 4 by Lemma 4.11 and our
earlier work in Section 4.2 on even-dimensional unitary groups. This completes the proof
of Theorem 4.1.

5. Exceptional Groups of Lie type
In this final section we consider the involution width of the exceptional groups of Lie type.
This will complete our case by case study via the classification of finite simple groups and
finish the proof of Theorem 1.
G = E8 (q). The first case E8 (q) is illustrative of the method used for the majority of
the exceptional groups. Firstly choose regular semisimple elements x, y ∈ G of orders
r =ppd(q, 24) and s =ppd(q, 20) respectively. Then G\{1} ⊆ xG y G by Theorem 7.6 of
[25].
Classes of maximal tori in G correspond to classes in the associated Weyl group W =
W (E8 ) and orders of such tori are given by Carter [7]. By considering possible orders, we
see that x lies in a unique maximal torus Tw such that |Tw | = Φ24 (q) = q 8 − q 4 + 1. In this
instance Tw corresponds to an element w ∈ W of order 24.
We claim that x is strongly real. For this it suffices to show there exists an involution in
G inverting all elements of Tw . Now NG (Tw )/Tw ∼
= CW (w) and thus contains the coset
corresponding to the longest element of the Weyl group, namely w0 = −1. This central
element acts by inversion on the torus Tw and hence so does any preimage n0 ∈ NG (Tw ).
As |Tw | is odd and w0 is an involution, there exists a preimage n0 that is also an involution.
The argument for the element y is almost identical. Here y is contained in a torus Tw of
order Φ20 (q) = q 8 − q 6 + q 4 − q 2 + 1 which is also odd. Hence as before y is strongly real,
and so iw(G) ≤ 4 as required.

28

ALEXANDER J. MALCOLM

G = 2 B2 (22n+1 ), n ≥ 1. Next consider the Suzuki groups 2 B2 (22n+1 ). We take elements x
and y both of order r =ppd(22n+1 , 4) and it follows by Theorem 7.1 of [25] that G\{1} ⊆
xG y G . Suzuki [51] showed that G has q + 3 conjugacy classes of which only two, containing
order 4 elements, are not strongly real. Thus x and y are strongly real, and so iw(G) ≤ 4.
G = G2 (q), q ≥ 3. For q 6= 4 we take elements x and y of order r = ppd(q, 3) and it follows
by Theorem 7.3 of [25] that G\{1} ⊆ xG y G . As x and y are regular semisimple they lie in
a unique maximal torus T , which by choice of r has size q 2 + q + 1. Now W (G2 ) ∼
= D12
has longest element w0 = −1 and thus as T has odd order , we follow the argument given
in the case of E8 (q) to see that x and y are strongly real. Finally, when q = 4 we check
using GAP [19] that G2 (4) has involution width 3.
G = 2 G(q). Consider G = 2 G2 (q) with q = 32n+1 > 3. Here we take x of order r =
ppd(q, 6) and it follows by ([25], Thm 7.1) that G\{1} ⊆ xG xG . The full character table
is known due to Ward [55] and checking orders, x belongs to one of two classes, √
namely
classes V√or W (see [55] for notation). These classes contain elements of orders q + 3q + 1
and q − 3q + 1 respectively. It is now straightforward to show that x is strongly real by
computing structure constants. Letting a be a representative of the single conjugacy class
of involutions (this has size q(q − 1)(q + 1)), there exist exactly four characters χ ∈Irr(G)
such that χ(a)χ(x) 6= 0. By Theorem 2.7
κ(aG , aG , xG ) =

X χ(a)2 χ(x)
χ

= 1−

χ(1)
1
32n+1

+

32n+1 − 1
> 0.
3n (32n+1 + 1 ± 3n+1 )

Hence x ∈ (aG )2 and it follows that iw(G) ≤ 4.
G = 3 D4 (q). This group is strongly real (see Theorem 2.1).
G = 2 F4 (22k+1 )0 , k ≥ 0. Let G = 2 F4 (q)0 with q = 22k+1 . If q = 2 then iw(G) = 3 by
GAP [19], so assume q > 2. Lemma 2.13 of [26] shows that G contains regular semisimple
elements x of order r = ppd(22k+1 , 12) and y of order s = ppd(22k+1 , 6), such that
xG y G = G\{1}. In the notation of Shinoda [46], x is conjugate to t16 or t17 and y is
conjugate to t15 . These lie in unique maximal tori, namely T (10) ∼
= Zq4 −√2q3 +q2 −√2q+1 or
T (11) ∼
= Zq4 +√2q3 +q2 +√2q+1 and T (9) ∼
= Zq4 −q2 +1 respectively.
Note that each of these tori is of odd order. Therefore as the Weyl group W (G) ∼
= D16
again contains the central involution w0 = −1 we can follow the argument for E8 (q) to
show that x and y are strongly real.
G = F4 (q). Take regular semisimple elements x and y of orders r = ppd(q, 12) and s =
ppd(q, 8) respectively and it follows that G\{1} ⊆ xG y G by ([25], 7.6). Note that these
are elements of maximal tori of order |T1 | = Φ12 (q) and |T2 | = Φ8 (q).
If q is even then both tori have odd order and therefore a preimage n0 ∈ G of w0 = −1
can also be taken to be an involution. If q is odd then ([48], Thm.2.3.3) shows that all
semisimple element of F4 (q) are strongly real and hence the result follows.

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

29

G = E7 (q). Let G = E7 (q) and let r = (Φ2 (q)Φ18 (q)){2,3}0 and s = Φ7 (q). By ([25],
7.7) there exists regular semisimple x and y ∈ G of orders r and s respectively, such that
G\{1} ⊆ xG · y G . Let Gad = E7 (q).(2, q − 1) denote the adjoint group of type E7 , that is,
the simple group with additional diagonal automorphism of order (2, q − 1). By ([48], Thm
2.3.3), every semisimple element of Gad is strongly real in Gad . Therefore, when q is even
and so G = Gad , it follows that x and y are strongly real and iw(G) ≤ 4. Now assume
that the characteristic is odd. The structures of maximal tori of Gad are given in [12] and
we check that x ∈ T1,ad where T1,ad is cyclic of order m = (q + 1)(q 6 − q 3 + 1). Again by
([48], Thm 2.3.3), there exists an involution n0 ∈ Gad such that xn = x−1 . In particular,
if hti = T1,ad then x is contained in the dihedral subgroup D2m = ht, n0 i. Note that tk n0
is an involution for all k and inverts x by conjugation. Thus if D2m ∩ E7 (q) contains such
an element then x is strongly real in the simple group. Assuming otherwise, it follows that
D2m ∩ E7 (q) ⊂ T1,ad ∩ E7 (q) and hence |D2m ∩ E7 (q)| ≤ m
2 . This is a contradiction and
hence x is indeed strongly real in E7 (q). The same conclusion for y follows identically as
the maximal torus T2,ad , containing y and of order q 7 − 1, is again cyclic.
G = E6 (q). The final families of exceptional groups E6 (q) and 2 E6 (q) require a more
careful consideration. This is because there no longer exists a central element −1 in the
Weyl group W (E6 ) and we thus have to look harder for strongly real elements. Instead, for
root systems of type E6 (as well as Al , and Dl for l odd) the longest element w0 corresponds
to the product of −1 and the nontrivial symmetry of the Dynkin diagram.
Let G = E6 (Fq )ad denote the adjoint algebraic group of type E6 and F : G → G a
Frobenius endomorphism such that G = GF is the finite adjoint group E6 (q)ad or 2 E6 (q)ad .
These finite groups are not necessarily simple but the derived groups G0 = E6 (q) or 2 E6 (q)
are simple. We will use the notation E6 (q) where  ∈ {+, −}, to denote E6 (q) if  = +
0
and 2 E6 (q) if  = −. Define d := (3, q − ) and note that |G : G | = d.
In the remainder of this section we prove the following result.
Theorem 5.1. Every element in G0 = E6 (q) can be written as a product of at most 4
involutions.
0

0

As before, the strategy is to pick two strongly real classes xG and y G such that the product
0
0
xG · y G covers as much of the group G0 = E6 (q) as possible. If however there exists g ∈ G0
0
0
for which we cannot show that g ∈ xG · y G , then we embed g in a subgroup X ⊂ G0 ,
where X is a Lie type group for which the involution width is already known. Throughout
this section we assume that q 6= 2. The Theorem can be checked for E6 (2) using GAP [19].
Choose x, y ∈ G0 with x of order r =ppd(q, 12) and y of order s =ppd(q, 8) . Note that
r and s divide Φ12 (q) = q 4 − q 2 + 1 and Φ8 (q) = q 4 + 1 respectively. The element x is
contained in a Coxeter torus of a subgroup F4 (q), and |CG0 (x)| = (q 4 −q 2 +1)(q 2 +q +1)/d,
while y is a regular semisimple element contained in the unique maximal torus CG0 (y) = T
where |T | = (q 4 + 1)(q 2 − 1)/d.
Lemma 5.2. The elements x and y are strongly real in G0 = E6 (q).
Proof. Firstly x is contained in a maximal torus of the subgroup F4 (q). This torus has
odd order Φ12 (q) and hence x is inverted by an involution contained in F4 (q). Therefore x
is also strongly real in the full group E6 (q).
We can also embed y in a subgroup, namely a spin group D5 (q) ⊂ E6 (q). Note that in
D5 (q), y is contained in a maximal torus of order (q 4 + 1)(q + ). Let y denote the image
of y in Ω10 (q). It then follows that y is strongly real in Ω10 (q) by ([40], 2.5(c) and 2.6 (c))
and we let t ∈ Ω10 (q) be an involution inverting y. The involutions of Ω10 (q) that lift to
involutions in D5 (q) are those where the dimension of the negative eigenspace is divisible

30

ALEXANDER J. MALCOLM

by 4 ([5], 8.4). This is true for t in our case as in SO10 (Fq ), y is conjugate to an element
2
3
2
3
of the form diag(λ, λq , λq , λq , λ−1 , λ−q , λ−q , λ−q , 1, 1) where |λ| = s. Hence t lifts to an
involution t ∈ D5 (q) that inverts y by conjugation.

0

0

0

As usual, to show that a given conjugacy class g G is contained in the product xG y G , we
compute the structure constants using Theorem 2.7. As in the proof of Theorem 4.1, the
first step is to reduce to the case of unipotent characters.
Firstly consider the untwisted case G0 = E6 (q). In the following lemma, St denotes the
Steinberg character, and there are a further two characters of interest, namely D4,1 and
D4, . These characters arise from cuspidal unipotent characters of the Levi subgroup D4 (q)
of G0 . Full details are available in ([9], Sec. 13.9).
Lemma 5.3. Suppose χ ∈ Irr(G0 ) such that χ(x)χ(y) 6= 0. Then χ is unipotent and
χ ∈ {1, St, D4,1 , D4, }.
Proof. Recall that the irreducible characters are partitioned into Lusztig series as described
in Section 3.1. By Lemma 3.1 there exists a semisimple class (t) such that χ ∈ E(G0 , (t))
and we firstly assume that t = 1. Here, χ is by definition a unipotent character and
the degrees of such characters are given in ([9], 13.9). It is easy to check that, excluding
the characters 1, St, D4,1 and D4, , all unipotent characters are of defect zero for either
r or s. It therefore follows from Theorem 3.3 that χ vanishes on either x or y for χ ∈
/
{1, St, D4,1 , D4, }. Now we consider t 6= 1. In this case we use the formula given in
Proposition 3.2 to find χ(1) and in particular we note that for a given prime l, χ will have
l-defect zero if |CG0∗ (t)|l = 1. But the orders of centralizers of semisimple elements are
known ([13], Table 1 and [11] ,Table 4) and we check that for all t, |CG0∗ (t)|l = 1 for either
l = r or l = s. Hence χ vanishes on either x or y by Theorem 3.3.

Lemma 5.4. Suppose that g ∈ G0 such that |CG0 (g)| ≤ q 26 . Then g ∈ xG · y G .
Proof. By Lemma 5.3 we can so far evaluate the normalised structure constant as follows
0

0

0

κ(xG , y G , g G ) = 1 +

X χ(x)χ(y)χ(g)
,
χ(1)

χ∈X

where X = {D4,1 , D4, , St}.
Furthermore these characters have degrees
St(1) = q 36 , D4,1 (1) =

q3 4 2
q 15 4 2
Φ1 Φ3 Φ5 Φ9 , D4, (1) =
Φ Φ Φ5 Φ9 ,
2
2 1 3

where Φi = Φi (q) is the cyclotomic polynomial.
Recall that St(x),St(y) ∈ {±1} ([9], 6.4.7), and also note the trivial bound |χ(g)| ≤
1
|CG0 (g)| 2 ≤ q 13 for all χ ∈Irr(G0 ). Thus as
|CG0 (x)| · |CG0 (y)| ≤ (q 4 + 1)(q 2 − 1)(q 4 − q 2 + 1)(q 2 + q + 1) ≤ q 13 ,
it follows that
13
13
X χ(x)χ(y)χ(g)
q 2 |D4,1 (g)|
q 2 |D4, (g)|
|St(g)|
|
|≤ 1 3 4 2
+ 1 15 4 2
+
.
χ(1)
q 36
2 q Φ1 Φ3 Φ5 Φ9
2 q Φ1 Φ3 Φ5 Φ9
χ∈X

The right hand side of the above is then strictly less than 1 as |D4,1 (g)|, |D4, (g)| and
|St(g)| are all at most q 13 by the hypothisis |CG0 (g)| ≤ q 26 . Hence κ(xG , y G , g G ) 6= 0 and
0
0
0
g G ∈ xG y G .


THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

31

We can conclude by Lemma 5.2 that if |CG0 (g)| ≤ q 26 then g has involution width at
0
0
most 4. The result also follows if g = s is semisimple as here g ∈ xG y G follows from
Theorem 3.5.To prove the result for the remaining g ∈ E6 (q), we embed the centralizer
(and therefore g) in a group of Lie type for which the involution width is already known.
Recall that G denotes the adjoint algebraic group E6 (F̄q )ad and (as we are currently
assuming G0 = E6 (q)), F is the standard Frobenius map.
Lemma 5.5. Let g ∈ E6 (q) such that |CG0 (g)| > q 26 . Then g has involution width at most
4.
Proof. Let g = su be the usual Jordan decomposition. By the above we can assume that
u 6= 1. Furthermore, as CG0 (su) = CG0 (s) ∩ CG0 (u), it follows that |CG0 (s)|, |CG0 (u)| > q 26 .
Case 1: Unipotent elements: Assume g = u. The centralizer sizes of unipotent elements
are given by Mizuno ([43], Section 4). For a given centralizer, representatives of the
associated class are given in terms of root elements of G. In particular the G-class of
g = u has one of the following labels:
A1 , A21 , A2 , A31 , A2 A1 , A2 A21 , A22 .
In each case, u is a distinguished unipotent element in a Levi subgroup L of G corresponding to the label. Denoting C = CG (u), the number of G-classes in uG ∩ G is equal to the
number of classes in C/C 0 by Lang’s Theorem ([36], 2.12). In all cases except when u is
of type A2 , C = C 0 and hence uG ∩ G is a single class in G. Furthermore, in such cases L
is F -stable and u ∈ L0F . All such subgroups lie in a subsystem subgroup A2 (q)3 of G and
so the result follows from Theorem 3.6. Note in the case where u has label A22 , uG ∩ G0
splits into d = (3, q − 1) classes. However because NG (A2 (q)3 ) contains the diagonal automorphism we may still embed all conjugacy class representatives of uG ∩ G0 in a subgroup
A2 (q)3 . This is not of concern otherwise, as it is only in this case mentioned that the class
splits in the simple group. Next assume that L has label A2 . Here C/C 0 = Z2 and thus
uG ∩ G splits into 2 G-classes. Let us adopt the usual notation where α = c1 . . . c6 denotes
the root Σci αi (here αi refer to the fundamental roots of the E6 system) and xα (t) is a
corresponding root element. Then by [43], there exist representatives of the two classes of
the form
x2 = x100000 (1)x001000 (1),
x21 = x100000 (1)x000100 (1)x000001 (1)x122321 (ζ), p 6= 2,
x40 = x100000 (1)x001000 (1)x000010 (1)x010110 (η), p = 2,
where ζ is a fixed non square and x2 − x + η is irreducible over Fq . Now x2 lies in a Levi
subgroup (L0 )F = A2 (q) and the result follows as before. For x21 , α = 122321 denotes
the longest root of the E6 system and hence the four roots span an A41 subsystem. It
follows that x21 is contained in A1 (q)4 ⊂ D4 (q), a spin group. The unipotent element x21
is uniquely determined by its Jordan decomposition which has form (J32 , J12 ) on the natural
8-dimensional D4 -module. Consequently, x21 is contained in a subgroup SL3 (q) and so
x21 has involution width at most 4 by Theorem 3.6. Finally x40 is contained in a subgroup
D4 (q). This D4 (q) is the orthogonal group in characteristic 2 and the result follows from
Theorem 3.8.
Case 2: Non-unipotent elements: Assuming now that s is non trivial, it follows that CG (s)
is a subsystem subgroup of order at least q 26 . Inspection of such subgroups (see [11]) shows
that CG (s) has a quasisimple normal subgroup
C = D5 (q), D4δ (q), A4 (q) or A5 (q).

32

ALEXANDER J. MALCOLM

Firstly suppose C = D5 (q). Orders of unipotent centralizers in C are given in ([36], Table
8.6a) and are determined by the Jordan block structure of u ∈ C on the natural 10dimensional C-module. As CG (s) = C ◦ (q − 1), it follows that |CC (u)| > q 25 and possible
block structures are
q odd: u = (J3 , J17 ), (J22 , J16 ) or (J110 )
q even: u = (J22 , J16 ) (2 classes) or (J110 ).
In all cases, u is centralised by a fundamental subgroup A1 (q) of C and hence u ∈
CG (A1 (q)) = A5 (q). As s ∈ Z(C), it follows that g = su ∈ A5 (q) and the result follows
from Theorem 3.6. Similarly, if C = D4δ (q), then we can check possible centralizer dimensions in ([36], 8.6) and the restriction |CC (u)| > q 24 forces u to be the identity in C. Hence
we can take u to lie in a subgroup H = A2 (q) of C and then g = su ∈ CG (H)H = A2 (q)3
and we have the result by Theorem 3.6. The remaining cases where C = A5 (q) or A4 (q)
can be dealt with in a similar manner. Unipotent centralizers in linear groups are well
known (see for example [36]) and by checking orders it follows that the projection u0 of u
in C must be 1 or a transvection (i.e. (J2 , J14 ) or (J2 , J13 ) respectively). In either case we
can again embed u in the subgroup H = A2 (q) of C and we have the result.

0

We now turn to the twisted case and complete the proof of Theorem 5.1 when G = 2 E6 (q).
0
Recall that GF = G = 2 E6 (q)ad and G = 2 E6 (q) with q > 2. In the following, φ8,30 and
0
φ8,900 denote unipotent characters of G defined in ([9], Sec. 13.9).
Lemma 5.6. Suppose χ ∈ Irr(G0 ) such that χ(x)χ(y) 6= 0. Then χ is unipotent and
χ ∈ {1, St, φ8,30 , φ8,900 }.
Proof. Here the proof follows exactly as for Lemma 5.3 so we shall be brief. If χ is unipotent
then its degree is given in ([9], 13.9) and we check that unless χ ∈ {1, St, φ8,30 , φ8,900 }, it
is defect zero for r or s. Therefore if χ is not one of these exceptions it will vanish on x
or y respectively. All non-unipotent characters will similarly vanish as for all semisimple
1 6= t ∈ G∗ , |CG∗ (t)|l = 1 for either l = r or l = s.

Lemma 5.7. Suppose that g ∈ G such that |CG0 (g)| ≤ q 28 . Then g ∈ xG · y G .
Proof. The proof follows exactly as in Lemma 5.4, with an application of Lemma 5.6. We
omit the details but note the character degrees
St(1) = q 36 , φ8,30 =

q 15 4 2
q3 4 2
Φ2 Φ6 Φ10 Φ18 , φ8,9” =
Φ Φ Φ10 Φ18 .
2
2 2 6


Hence if |CG0 (g)| ≤ q 28 , then g has involution width at most 4 by Lemma 5.2. Semisimple
elements also have involution width at most 4 by Theorem 3.5. The following result handles
the remaining cases.
Lemma 5.8. Let g ∈ G0 such that |CG0 (g)| > q 28 . Then g has involution width at most 4.
Proof. We employ the same method as Lemma 5.5, embedding g = su in a subgroup of
for which an involution width result already exists. As before, we can assume that
u 6= 1.
Case 1: Unipotent elements: The structure of unipotent centralizers are known in G0 ([36]
Table 22.1.3). Therefore the restriction |CG (u)| > q 28 yields that g = u has one of the
following labels in the algebraic group G:
2 E (q)
6

A1 , A21 , A2 , A31 , A2 A1 , A2 A21 , A22 .
Following the same argument as in the untwisted case, we see that excluding type A2 ,
uG ∩ G is a single unipotent class of G. In particular we note that in G, the labels

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

33

above are all contained in the subsystem A32 . Thus u is contained in a corresponding finite
subsystem subgroup of G0 . These are found in ([12], Sec.A(ii)) and the possibilities are
−
3
3
A2 (q)A2 (q 2 ), A−
2 (q ) or A2 (q) . Thus as these are simply central products of copies of
SL3 and SU3 , the result follows by Theorems 3.6 and 4.11. When u has label A2 , uG ∩ G
2
contains two G-classes. Here the reductive part of CG (u) is D = A22 with DF = A−
2 (q)
2
0
0F
or A2 (q ). This has G-centralizer L = A2 so u ∈ L = A2 (q) and the result follows from
Lemma 4.11.
Case 2: Non-unipotent elements: Assuming now that g = su where s is nontrivial, it
follows that CG (s) is a subsystem subgroup of order at least q 28 . Such centralizers have
been classified and checking against [13] we see that CG (s) has a quasisimple normal
subgroup
−
C = D5− (q), D4δ (q), A−
4 (q) or A5 (q).
Now we complete the proof just as in Lemma 5.5.



This concludes the proof of Theorem 5.1 for the groups E6 (q) and hence the proof of
Theorem 1 is complete.
References
[1] Z. Arad and M., Herzog (eds.), Products of Conjugacy Classes in Groups. Lecture Notes in Math.
1112, Springer-Verlag, Berlin (1985).
[2] P. C. Austin, Products of involutions in the groups of Lie type F4 (K), Comm. Algebra 27 (1999),
557–575.
[3] E. Bertram, Even permutations as a product of two conjugate cycles, J. of Comb. (A), 12 (1972),
368-380.
[4] G. D. Birkhoff and H. S. Vandiver, On the integral divisors of an − bn , Ann. of Math. 5 (1904), 173-80.
[5] A. V. Borovik, Simple locally finite groups of finite Morley rank and odd type, Finite and locally finite
groups (Istanbul 1994), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 471 (1995), 247-284.
[6] J. V. Brawley and T. C, Teitloff, Similarity to symmetric matrices over finite fields, Finite fields Appl.
4 (1998), 261-274.
[7] R. W. Carter, Conjugacy classes in the Weyl group, Seminar on Algebraic Groups and Related Finite
Groups, Springer, Berlin (1972), 297–318.
[8] R. W. Carter, Centralizers of semisimple elements in the finite classical groups. Proc. London Math.
Soc. 42 (1981), 1–41.
[9] R. W. Carter, Finite groups of Lie type. Conjugacy classes and complex characters, Wiley Interscience,
New York (1985).
[10] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, Atlas of finite groups,
Oxford University Press, (1985).
[11] D. I. Deriziotis, Conjugacy classes and centralizers of semisimple elements in finite groups of Lie type,
Vorlesungen aus dem Fachbereich Mathematik der Uni. GH Essen, 11 (1984).
[12] D. I. Deriziotis and A. P. Fakiolas, The maximal tori in the finite Chevalley groups of type E6 ,E7 and
E8 . Comm. Algebra 19 (1991), 889–903.
[13] D. I. Deriziotis and M. W. Liebeck, Centralizers of semisimple elements in finite twisted groups of Lie
type, J. London Math. Soc. 31 (1985), 48-54.
[14] F. Digne and J. Michel, Representations of finite groups of Lie type. London Math. Soc. Student Texts
21, Cambridge Univ. Press (1991).
[15] E. W. Ellers and N. Gordeev, On the conjectures of J. Thompson and O. Ore, Trans. Amer. Math.
Soc. 350 (1998), 3657–3671.
[16] V. Ennola, On the conjugacy classes of the finite unitary groups, Ann. Acad. Sci. Fenn. Serr. A I
313 (1962).
[17] P. C. Gager, Maximal tori in finite groups of Lie type. Thesis, University of Warwick (1973).
[18] A. A. Gal´t, Strongly real elements in finite simple orthogonal groups. J. Sib. Math. J. 51 (2010),
193–198.
[19] The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.7.7; 2015.
(http://www.gap-system.org).
[20] Z. Gates, A. Singh and C. R. Vinroot, Strongly real classes in finite unitary groups of odd characteristic, J. Group Theory 17 (2014), 589-617.

34

ALEXANDER J. MALCOLM

[21] M. Geck, G. Hiss, F. Lï¿œ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.
[22] R. Gow, Products of two involutions in classical groups of characteristic 2, J. Algebra, 71 (1981),
583–591.
[23] R. Gow, Commutators in finite simple groups of Lie type, Bull. London Math. Soc. 32 (2000), 311–315.
[24] R. M. Guralnick, M. Larsen and Pham Huu Tiep, Character levels and character bounds (preprint)
[25] R. M. Guralnick and G. Malle, Product of conjugacy classes and fixed point spaces, J. Amer. Math.
Soc. 25 (2012), 77-121.
[26] R. M. Guralnick and Pham Huu Tiep, The Waring Problem for Finite Quasisimple Groups. II.
arXiv:1302.0333v1 (2013).
[27] W. H. Gustafson, P. R. Halmos and H. Radjavi, Products of involutions, Linear Algebra Appl. 13
(1976), 157-163.
[28] G. D. James, The representation theory of the symmetric groups. Lecture Notes in Mathematics, 682.
Springer, Berlin (1978).
[29] I. M. Isaacs, Character theory of finite groups, AMS Chelsea Publishing (2006).
[30] S. G. Kolesnikov and J. A. N. Nuzhin, On strong reality of finite simple groups, Acta Appl. Math., 85
(2005), 195–203.
[31] F. Knüppel and K. Nielsen. SL(V ) is 4-reflectional, Geom. Ded. 38 (1991), 301-308.
[32] F. Knüppel and G. Thomsen, Involutions and commutators in orthogonal groups. J. Austral. Math.
Soc. (A) 64 (1998), 1-36.
[33] M. Larsen, A. Shalev and P. H. Tiep,The Waring problem for finite simple groups. Ann. of Math. 174
(2011), 1885–1950.
[34] M. W. Liebeck, E. A. O’Brien, A. Shalev and P. H. Tiep, The Ore conjecture, J. Eur. Math. Soc., 12
(2010), 939–1008.
[35] M. W. Liebeck, E. A. O’Brien, A. Shalev and P. H. Tiep, Products of squares in finite simple groups,
Proc. Amer. Math. Soc. 140 (2012), 21–33.
[36] M. W. Liebeck, and G. M Seitz, Unipotent and nilpotent classes in simple algebraic groups and Lie
algebras, Mathematical Surveys and Monographs, 180. Amer. Math. Soc, (2012).
[37] M. W. Liebeck and A. Shalev, Classical groups, probabilistic methods, and the (2,3)-generation problem, Ann. of Math. 144 (1996), 77–125.
[38] M. W. Liebeck, A. Shalev. Diameters of finite simple groups: sharp bounds and applications. Ann. of
Math. 154 (2001), 383–406.
[39] F. Lübeck, http://www.math.rwth-aachen.de/~Frank.Luebeck/chev/DegMult/ index.html#2A6sc.
[40] G. Malle, J. Saxl and T. Weigel, Generation of classical groups, Geom. Ded. 49, (1994) 85-116.
[41] G. Malle and D. Testerman, Linear algebraic groups and finite groups of Lie type, Cambridge Studies
in Advanced Mathematics, 133. Cambridge Univ. Press, (2011).
[42] Maple (2015). Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario.
[43] K. Mizuno, The conjugate classes of Chevalley groups of type E6 , J. Fac. Sci. Univ. Tokyo Sect. IA
Math. 24 (1977), 525–563.
[44] S. Orevkov, Products of conjugacy classes in finite unitary groups GU3 (q 2 ) and SU3 (q 2 ), Ann. Fac.
Sci. Toulouse Math. 22 (2013), 219–251.
[45] J. Ramo, Strongly real elements of orthogonal groups in even characteristic, J. Group Theory 14
(2011), 9–30.
[46] K. Shinoda, The conjugacy classes of the finite Ree groups of type (F4 ), J. Fac. Sci. Univ. Tokyo Sect.
I A Math. 22 (1975), 1–15.
[47] W. A. Simpson and J. S. Frame, The character tables for SL3 (q), SU3 (q 2 ), P SL3 (q), P SU3 (q), Canad.
J. Math. 25 (1973), 486–494.
[48] A. Singh and M. Thakur, Reality properties of conjugacy classes in algebraic groups, Israel J. Math.
165 (2008), 1–27.
[49] A. Schaeffer Fry and C. R. Vinroot, Real classes of finite special unitary groups, to appear in J. Group
Theory.
[50] I. Suleiman, Strongly real elements in alternating and sporadic groups, Jordan J. Math. Stat. 1, (2008),
97-103.
[51] M. Suzuki, A new type of simple groups of finite order, Proc of the National Acad. of Sci. of the USA
46 (1960), 868–870.
[52] P. H. Tiep and A. E. Zalesskii, Some characterizations of the Weil representations of the symplectic
and unitary groups, J. Algebra 192 (1997), 130–165.
[53] P. H. Tiep and A. E. Zalesskii, Real conjugacy classes in algebraic groups and finite groups of Lie
type, J. Group Theory 8 (2005), 291-315.

THE INVOLUTION WIDTH OF FINITE SIMPLE GROUPS

35

[54] P. H. Tiep and A. E. Zalesskii. Minimal characters of the finite classical groups. Comm. Algebra 24
(1996), 2093–2167.
[55] H. N. Ward, On Ree’s series of simple groups, Trans. Amer. Math. Soc. 121 (1966), 62–89.
[56] M. J. Wonenburger, Transformations which are products of two involutions, J. Math. Mech. 16(4)
(1966), 327-338.
Alexander J. Malcolm, Department of Mathematics, Imperial College, London SW7 2BZ,
UK
E-mail address: alexander.malcolm09@imperial.ac.uk

