REGULAR ORBITS OF SPORADIC SIMPLE GROUPS

arXiv:1801.04561v1 [math.RT] 14 Jan 2018

JOANNA B. FAWCETT, JÜRGEN MÜLLER, E. A. O’BRIEN, AND ROBERT A. WILSON
Abstract. Given a finite group G and a faithful irreducible F G-module V where F has
prime order, does G have a regular orbit on V ? This problem is equivalent to determining
which primitive permutation groups of affine type have a base of size 2. We classify the
pairs (G, V ) for which G has no regular orbit on V , where G is a covering group of an
almost simple group whose socle is sporadic and V is a faithful irreducible F G-module
such that the order of F is prime and divides the order of G. For such (G, V ), we also
determine the minimal base size of G in its action on V .

1. Introduction
A base B for a group X acting faithfully on a finite set Ω is a subset of Ω with the
property that only the identity of X fixes every element of B. The base size of X, denoted
by b(X), is the minimal cardinality of a base for X. Recently, much work has been done on
classifying the finite primitive permutation groups of almost simple, diagonal and twisted
wreath type with base size 2 [7–9, 11, 12]. For groups of affine type, this problem turns
out to be equivalent to the regular orbit problem for fields with prime order.
Given a finite group G, a field F and a faithful F G-module V , we say that G has a
regular orbit on V if there exists v ∈ V such that only the identity of G fixes v; in other
words, {v} is a base for G. Hall, Liebeck and Seitz [20, Theorem 6] proved that if G is a
finite quasisimple group with no regular orbit on a faithful irreducible F G-module V where
F is a field of characteristic p, then either G is of Lie type in characteristic p, or G = An
where p 6 n and V is the fully deleted permutation module, or (G, V ) is one of finitely
many exceptional pairs. While these exceptional pairs are unknown in general, they have
been determined when F = Fp and either p ∤ |G| [16, 26], or p | |G| and G/Z(G) = An [13].
In this paper, we consider the case where G/Z(G) is a sporadic simple group whose order
is divisible by p. We also consider the covering groups of the automorphism groups of the
sporadic groups, and for those groups G with no regular orbit on V , we determine the
base size of G in its action on V .
Theorem 1.1. Let G be a covering group of an almost simple group whose socle is sporadic. Let V be a faithful irreducible Fp G-module where p is a prime dividing |G|. If G
has no regular orbit on V , then (G, p, dimFp (V ), b(G)) is listed in Table 1.
By convention, if there are exactly n faithful irreducible Fp G-modules with dimension d
on which G has no regular orbit, then we list d exactly n times in Table 1. Except for the
case (G, p, dimFp (V )) = (M11 , 3, 10), this is sufficient to identify the non-regular modules.
However, there are three faithful irreducible F3 M11 -modules of dimension 10, only one of
which has base size 2: the F3 M11 -module with the property that an involution of M11 ,
viewed as an element of GL10 (3), has trace −1.
Key words and phrases. regular orbit; base size; sporadic simple group; primitive affine group.
Fawcett was supported by the Australian Research Council Discovery Project grant DP130100106 and
by the London Mathematical Society. O’Brien was supported by a University of Auckland Hood Fellowship.
Both they and Wilson were supported by the Marsden Fund of New Zealand via grant UOA 1323.
1

2

JOANNA B. FAWCETT, JÜRGEN MÜLLER, E. A. O’BRIEN, AND ROBERT A. WILSON

Note that there are Fp G-modules in Table 1 that are not absolutely irreducible. For
example, when G = 3. J3 , there is a unique faithful irreducible but not absolutely irreducible F2 G-module with dimension 18 (corresponding to the two absolutely irreducible
F4 G-modules with dimension 9 that cannot be realised over F2 ), in which case b(G) = 2,
and this module should not be confused with the four faithful absolutely irreducible F4 Gmodules with dimension 18 that cannot be realised over F2 (see [24]).
G
M11

p
2
3
2
3
2
3

dimFp (V )
10
5, 5, 10
M12
10
10, 10
M12 :2
10
2. M12
6, 6
10, 10
2. M12 :2+ 3 12, 10, 10, 10, 10
2. M12 :2− 3 12
M22
2 10, 10
M22 :2
2 10, 10
3. M22
2 12
M23
2 11, 11
M24
2 11, 11
J1
2 20
J2
2 12
J2 :2
2 12
2. J2
3 12, 14
5 6
+
2. J2 :2
3 12
2. J2 :2−
3 12, 14, 14
3. J3
2 18
Table 1. Fp G-modules

G
b(G)
2
HS
2
HS :2
3
McL
2
3
McL :2
3
2
Ru
2
2. Suz
2
2. Suz :2+
3
2. Suz :2−
3
3. Suz
3
6. Suz
3
3
Co3
2
2
Co2
2
2
Co1
2
2. Co1
2
2
2
V on which G has no

p
2
2
2
3
2
3
2
3
3
3
2
7
13
2
3
2
3
2
3
5
7

dimFp (V )
20
20
22
21
22
21, 21
28
12
12, 12
24
24
12, 12
12, 12
22
22
22
23
24
24
24
24

b(G)
2
2
2
2
2
2
2
3
3
2
2
2
2
2
2
3
2
3
2
2
2

regular orbit

A finite primitive permutation group X is of affine type if its socle V is an Fp -vector
space for some prime p, in which case X = V :X0 and V is a faithful irreducible Fp X0 module, where X0 denotes the stabiliser of the vector 0 in X. Now b(X) = b(X0 ) + 1, so
classifying the primitive permutation groups of affine type with a base of size 2 amounts to
determining which finite groups G, primes p, and faithful irreducible Fp G-modules V are
such that G has a regular orbit on V . Thus, as an immediate consequence of Theorem 1.1,
we obtain the following.
Corollary 1.2. Let X be a primitive permutation group of affine type with socle V ≃ Fdp
where p is a prime dividing |X0 | and X0 is a covering group of an almost simple group
whose socle is sporadic. If b(X) > 2, then (G, p, d) is listed in Table 1 where G := X0 ,
and b(X) = b(G) + 1. In particular, b(X) 6 4.
This paper is organised as follows. In §2 we collect some notation, definitions and
basic facts. In §3 we determine bounds both for the dimensions of faithful irreducible
representations admitting no regular orbit and for base sizes. In §4 we prove Theorem 1.1;

REGULAR ORBITS OF SPORADIC SIMPLE GROUPS

3

the groups J4 , Co1 and 2. Co1 require special attention in certain cases, and we address
these cases in §5 and §6. In §7 we briefly discuss computational aspects.
2. Preliminaries
Let G be a finite group. We denote the derived subgroup of G by G′ , the centre of G
by Z(G), and the conjugacy class of g ∈ G by gG . A finite group G is almost simple if
T E G 6 Aut(T ) for some non-abelian simple group T . The subgroup of G generated by
the minimal normal subgroups of G is the socle of G, and G is almost simple precisely
when its socle is a non-abelian simple group. The group G is quasisimple if G = G′ and
G/Z(G) is simple.
A finite group L is a covering group of G (by a group M ) if L/M ≃ G where M 6
Z(L) ∩ L′ . Every finite group G has a universal covering group [17, Theorem 4.226],
which is a covering group of G by M (G), the Schur multiplier of G (see [17, §4.15] for
a definition). If L is a covering group of G by a group M , then L is a homomorphic
image of some universal covering group of G and M is a homomorphic image of M (G) [17,
Proposition 4.227]. Universal covering groups are determined up to isoclinism in general,
and up to isomorphism when G is simple [10, Ch. 4, §1]. A finite group L is a covering
group of an almost simple group G precisely when L/Z(L) ≃ G and Z(L) 6 L′ .
Let T be one of the 26 sporadic simple groups. A wealth of information about these
groups may be found in [10], with which our notation is (more or less) consistent. It is
well known that M (T ) is cyclic (see, for example, [25, Theorem 5.1.4]), and also that
Aut(T ) = T or T :2. If Aut(T ) = T :2, then M (Aut(T )) 6 M (T ) by [30, Lemma 6], so
by [10], M (Aut(T )) = Cs where s = (2, |M (T )|), and if s = 2, then Aut(T ) has exactly two
universal covering groups. The ordinary character table of one of these groups is printed
in [10], and we denote this group by 2.T :2+ ; we denote the other universal covering group
by 2.T :2− (see [10, Ch. 6, §6]).
For a prime p, the (p-modular) Brauer character table of the group G encodes information about the absolutely irreducible representations of G in characteristic p by lifting
the eigenvalues of the matrices representing G to a field of characteristic 0 (see [24, §4]
for a definition). We often use the known Brauer character tables of the sporadic simple
groups. For those sporadic simple groups T whose order is at most | McL |, the Brauer
Atlas [24] contains the Brauer character tables of all bicyclic extensions of T for primes p
dividing |T |. Brauer character tables for some groups of order exceeding that bound are
now known; see [32] for the available data. All of these tables can also be accessed via the
Character Table Library [5] of GAP [14]. When groups of the form 2.T :2 exist, the table
in the library is that of 2.T :2+ , but the table of 2.T :2− can be constructed from that of
2.T :2+ .
Let F be a field. We denote the group algebra of G over F by F G. All F G-modules
in this paper are finite-dimensional, and we denote the dimension or degree of an F Gmodule V by dimF (V ). An irreducible F G-module V is absolutely irreducible if the extension of scalars V ⊗F E is irreducible for every field extension E of F , and this occurs
precisely when EndF G (V ) = F [3, Lemma VII.2.2], where EndF G (V ) denotes the set of
F G-endomorphisms of V . We denote the finite field of order q by Fq .
Let V be an irreducible Fp G-module where p is prime, and let k := EndFp G (V ). Now k
is a finite division ring and therefore a field, so V is an absolutely irreducible kG-module
where scalar multiplication is evaluation. Let χ be the Frobenius character of V as a
kG-module, and let H be the Galois group of the field
L extension k/Fp . By [3, Theorem
VII.1.16], k = Fp ({χ(g) : g ∈ G}) and V ⊗Fp k =
γ∈H Vγ where Vγ is an absolutely
γ
irreducible kG-module with character χ : G → k : g 7→ γ(χ(g)) that is isomorphic to V

4

JOANNA B. FAWCETT, JÜRGEN MÜLLER, E. A. O’BRIEN, AND ROBERT A. WILSON

as an Fp G-module and cannot be realised over any proper subfield of k. Now dimk (V ) is
given by the p-modular Brauer character table of G, and we can use this table to determine
{χ(g) : g ∈ G} (see [24, §2-5]) and therefore the Fp G-module V .
Let N be a subgroup of G with index 2. Let V be an irreducible F G-module, and let
W be an irreducible F N -submodule of V |N , the restriction of V to N . It is well known
from Clifford theory that either V |N = W , or V |N = W ⊕ W g for all g ∈ G \ N . We
frequently use the following observations without reference. If V |N = W ⊕ W g and W is
a faithful F N -module, then the base sizes of N on W and W g are equal, and this base
size is at least b(G) (since N 6= 1). If instead V |N = W and V is a faithful F G-module,
then b(N ) 6 b(G).
3. Some useful bounds
For a group G, field F and F G-module V , define CV (g) := {v ∈ V : vg = v} for all
g ∈ G. The following is a generalisation of [13, Lemma 3.3].
Lemma 3.1. Let G be a finite group and F a finite field. Let V be a faithful F G-module.
Let X be a set of representatives for the conjugacy classes of elements of prime order in G.
If n is a positive integer for which
X
|V |n >
|gG ||CV (g)|n ,
g∈X

then b(G) 6 n.
Proof. Let Y be the set of elements of prime order
F G-module.
P
S in G, and let W be a faithful
If G has no regular orbit on W , then W = g∈Y CW (g), so |W | 6 g∈X |g G ||CW (g)|.
The base size of G on V is at most n if and only if G has a regular orbit on the faithful
F G-module V n . Since CV n (g) = CV (g)n , the result follows.

Let G be a finite group such that G/Z(G) is almost simple with socle T , and let
g ∈ G \ Z(G). Now hT, Z(G)gi is generated by the T -conjugates of Z(G)g, so we may
define r(g) to be the minimal number of T -conjugates of Z(G)g generating hT, Z(G)gi. Let
r(G) := max {r(g) : g ∈ G \ Z(G)}. Explicit upper bounds for r(G) in the cases of interest
to us are given in Table 2 of §4. The following lemma and remark are generalisations of
[13, Lemma 3.5].
Lemma 3.2. Let G be a finite group with G/Z(G) almost simple and V a faithful irreducible Fq G-module where q is a prime power. If G has no regular orbit on V , then
dimFq (V ) 6 r(G) logq |Y | 6 r(G) logq |G|,
where Y is the set of non-central elements of prime order in G.
Proof. Let X be a set of representatives for the
of prime order in G. Let d := dimFq (V ) and
g ∈ Z(G) \ {1}. If G has no regular orbit on V ,
X
qd 6
|gG ||CV (g)| 6
g∈X

conjugacy classes of non-central elements
r := r(G). Note that CV (g) = {0} for
then by Lemma 3.1 and [13, Lemma 3.4],
X
|g G |q d−d/r(g) ,
g∈X

so q d/r 6 |Y |, and the result follows.



Remark 3.3. The proof of Lemma 3.2 also shows that if G has no regular orbit on V ,
then dimFq (V ) is bounded above by the largest integer d satisfying the inequality
X
|gG |(1/q)d/r(g) > 1.
g∈X

REGULAR ORBITS OF SPORADIC SIMPLE GROUPS

5

To bound the numbers r(g), we restrict to the case where G is quasisimple. Let T :=
G/Z(G). For g ∈ G \ Z(G), let C := (Z(G)g)T , and define ρ(g) to be the smallest integer
such that T is the union of the powers C i for 0 6 i 6 ρ(g); note that ρ(g) can be computed
from the ordinary character table of T . Now, given such an element g, by [18], there exists
h ∈ T such that T = hZ(G)g, hi. Hence writing h = g1 g2 · · · gs , where s 6 ρ(g) and
g1 , . . . , gs ∈ C, we conclude that r(g) 6 ρ(g) + 1; see also [19, Lemma 2.12]. Thus, if G has
no regular orbit on V , then dimFq (V ) is bounded above by the largest integer d satisfying
the inequality
X
|gG |(1/q)d/(ρ(g)+1) > 1.
g∈X

While this often yields a better bound than that obtained by using an upper bound for
r(G) in Lemma 3.2, it rarely simplifies the arguments.
If G acts faithfully on a finite set Ω, then |G| 6 |Ω|b(G) since, for any base B of G, each
g ∈ G is uniquely determined by {αg : α ∈ B}. Thus we have the following elementary
but useful result.
Lemma 3.4. Let G be a finite group and F a finite field. If V is a faithful F G-module,
then |G| 6 (|V | − 1)b(G) .
4. Proof of Theorem 1.1
Let T be a sporadic simple group. Let G be a covering group of an almost simple group
with socle T . By [19, Table 1] (see also the proof of [19, Lemma 7.6]), r(G) 6 θ(G) where
θ(G) is listed in Table 2. For the convenience of the reader, for each sporadic simple
group T , we list in Table 2 the orders of T , the Schur multiplier M (T ) and the outer
automorphism group Out(T ). Recall from the discussion in §2 that M (T ) is cyclic, and
if Aut(T ) = T :2, then M (Aut(T )) = Cs , where s = (2, |M (T )|). Further, if s = 2, then
Aut(T ) has exactly two universal covering groups, 2.T :2+ and 2.T :2− .
Let V be a faithful irreducible Fp G-module where p is a prime dividing |G|. Let k :=
EndFp G (V ). Recall that V is a faithful absolutely irreducible kG-module. In particular,
Z(G) 6 k∗ by [13, Lemma 2.2], so p ∤ |Z(G)|. Suppose that G has no regular orbit on V
so b(G) > 1. Let Y be the set of elements of prime order in G, and define
t(G, p) := ⌊θ(G) logp |Y |⌋,
s(G, p) := ⌊θ(G) logp |G|⌋.
Let m(G, p) denote the minimal dimension of a faithful representation of G in characteristic
p. If G is a covering group of T , then m(G, p) is known by [23]. By Lemma 3.2,
m(G, p) 6 dimk (V ) 6 dimFp (V ) 6 t(G, p) 6 s(G, p).
Note that t(G, p) can be computed using the ordinary character table of G [5, 10]. Further,
if p1 and p2 are primes such that p1 6 p2 , and if G1 and G2 are covering groups of an
almost simple group with socle T such that G1 6 G2 , then s(G2 , p1 ) > s(G1 , p2 ) and
t(G2 , p1 ) > t(G1 , p2 ). Lastly, if H 6 G, then m(H, p) 6 m(G, p).
We claim that (G, p, dimFp (V ), b(G)) is as listed in Table 1. We proceed by considering
the various possibilities for T . Throughout the proof, we use Magma [4] to compute the
upper bound on b(G) given by Lemma 3.1; see §7 for more details.

6

JOANNA B. FAWCETT, JÜRGEN MÜLLER, E. A. O’BRIEN, AND ROBERT A. WILSON

T
|M (T )| | Out(T )| θ(G)
|T |
4
M11
1
1
3
2 .32 .5.11
M12
2
2
4
26 .32 .5.11
M22
12
2
4
27 .32 .5.7.11
7
M23
1
1
4
2 .32 .5.7.11.23
M24
1
1
4
210 .33 .5.7.11.23
J1
1
1
3
23 .3.5.7.11.19
J2
2
2
4
27 .33 .52 .7
7
J3
3
2
4
2 .35 .5.17.19
J4
1
1
4
221 .33 .5.7.113 .23.29.31.37.43
HS
2
2
5
29 .32 .53 .7.11
McL
3
2
4
27 .36 .53 .7.11
He
1
2
5
210 .33 .52 .73 .17
Ru
2
1
4
214 .33 .53 .7.13.29
Suz
6
2
5
213 .37 .52 .7.11.13
O’N
3
2
4
29 .34 .5.73 .11.19.31
Co3
1
1
5
210 .37 .53 .7.11.23
Co2
1
1
5
218 .36 .53 .7.11.23
21
Co1
2
1
5
2 .39 .54 .72 .11.13.23
Fi22
6
2
7
217 .39 .52 .7.11.13
18
Fi23
1
1
7
2 .313 .52 .7.11.13.17.23
Fi′24
3
2
8
221 .316 .52 .73 .11.13.17.23.29
HN
1
2
5
214 .36 .56 .7.11.19
Ly
1
1
4
28 .37 .56 .7.11.31.37.67
Th
1
1
4
215 .310 .53 .72 .13.19.31
B
2
1
5
241 .313 .56 .72 .11.13.17.19.23.31.47
M
1
1
4
246 .320 .59 .76 .112 .133 .17.19.23.29.31.41.47.59.71
Table 2. The sporadic simple groups T
The case T = M11 . Here G = M11 . If p = 2, then t(G, p) = 35, so the only possibilities
for dimFp (V ) are 10, 32 by [24]. If dimFp (V ) = 32, then b(G) = 1 by Lemma 3.1, and if
dimFp (V ) = 10, then b(G) = 2 by Lemmas 3.1 and 3.4.
If p = 3, then t(G, p) = 22, so dimFp (V ) is one of 5, 5, 10, 10, 10 by [24]. If dimFp (V ) = 5,
then b(G) = 2 by explicit computations in Magma and Lemma 3.4. Otherwise dimFp (V ) =
10. Let t be an involution in G. By [24], the trace of t ∈ GL10 (3) is one of −1, 1, 1. If
the trace of t is −1, then b(G) = 2 by Lemma 3.1 and Magma; otherwise, b(G) = 1 by
Magma.
If p = 5, then t(G, p) = 15, so dimFp (V ) is one of 10, 11 by [24]; now b(G) = 1 by Lemma
3.1. If p = 11, then t(G, p) = 10, so dimFp (V ) is one of 9, 10, 10 by [24]; now b(G) = 1 by
Lemma 3.1.
The case T = M12 . Suppose that G = M12 or M12 :2. If p = 2, then t(M12 :2, p) = 60,
so dimFp (V ) is one of 10, 32, 44 by [24]. In the latter two cases, b(G) = 1 by Lemma
3.1. Otherwise, dimFp (V ) = 10, in which case b(G) = 3 by Lemma 3.1 and Magma.
If p = 3, then t(M12 :2, p) = 37, so dimFp (V ) is one of 10, 10, 15, 15, 34 when G = M12
and 20, 30, 34, 34 when G = M12 :2 by [24]. If dimFp (V ) 6= 10, then b(G) = 1 by Lemma
3.1; otherwise, b(G) = 2 by Lemmas 3.1 and 3.4. If p = 5, then t(M12 :2, p) = 25, and

REGULAR ORBITS OF SPORADIC SIMPLE GROUPS

7

dimFp (V ) is one of 11, 11, 16, 16 when G = M12 and is 22 when G = M12 :2; now b(G) = 1
by Lemma 3.1. If p = 11, then t(M12 :2, p) = 17, and dimFp (V ) is one of 11, 11, 16 when
G = M12 and one of 16, 16 when G = M12 :2; now b(G) = 1 by Lemma 3.1.
Suppose that G is one of 2. M12 , 2. M12 :2+ or 2. M12 :2− . If p = 3, then t(G, p) =
37, so dimFp (V ) is one of 6, 6, 10, 10 when G = 2. M12 , one of 12, 10, 10, 10, 10 when
G = 2. M12 :2+ , and one of 12, 20, 20 when G = 2. M12 :2− by [24]. If G = 2. M12 and
dimFp (V ) = 6, then b(G) = 3 by Lemma 3.1 and Magma. If G = 2. M12 :2+ or 2. M12 :2−
and dimFp (V ) = 12, then b(G) = 2 by Lemma 3.1 and Magma. If G = 2. M12 or
2. M12 :2+ and dimFp (V ) = 10, then b(G) = 2 by Lemmas 3.1 and 3.4. If G = 2. M12 :2−
and dimFp (V ) = 20, then b(G) = 1 by Lemma 3.1.
If p = 5, then t(G, p) = 25, so dimFp (V ) is one of 12, 20 when G = 2. M12 and 20, 20, 24
when G = 2. M12 :2+ or 2. M12 :2− by [24]. If dimFp (V ) = 20, then b(G) = 1 by Lemma
3.1. If G = 2. M12 and dimFp (V ) = 12, then b(G) = 1 by Lemma 3.1; it follows that
b(G) = 1 when dimFp (V ) = 24 and G = 2. M12 :2+ or 2. M12 :2− .
If p = 11, then t(G, p) = 17, so dimFp (V ) is one of 10, 10, 12 when G = 2. M12 and one
of 10, 10, 10, 10, 12, 12 when G = 2. M12 :2+ by [24]; now b(G) = 1 by Lemma 3.1.
The case T = M22 . Suppose that G = M22 or M22 :2. If p = 2, then t(M22 :2, p) = 72, so
dimFp (V ) is one of 10, 10, 34 by [24]. If dimFp (V ) = 34, then b(G) = 1 by Lemma 3.1, so
dimFp (V ) = 10, in which case b(G) = 3 by Magma. If p = 3, then t(M22 :2, p) = 46, so
dimFp (V ) is 21 when G = M22 and one of 21, 21 when G = M22 :2 by [24]; now b(G) = 1
by Lemma 3.1. The cases p = 5, 7, 11 are similar.
Suppose that G is one of 2. M22 , 2. M22 :2+ or 2. M22 :2− . Note that t(G, 3) = 46. By
[24], if p = 3, then dimFp (V ) is 20 when G = 2. M22 and one of 20, 20 otherwise; if
p = 5, then dimFp (V ) is 20, 28, 28 when G = 2. M22 and one of 20, 20 otherwise; if p = 7,
then dimFp (V ) is 10 when G = 2. M22 , one of 10, 10 when G = 2. M22 :2+ , and 20 when
G = 2. M22 :2− ; if p = 11, then dimFp (V ) is 10, 10 when G = 2. M22 , one of 10, 10, 10, 10
when G = 2. M22 :2+ , and one of 20, 20 when G = 2. M22 :2− . If p 6= 7, then b(G) = 1
by Lemma 3.1. If p = 7, then b(2. M22 :2+ ) = 1 by Magma, so b(2. M22 ) = 1, whence
b(2. M22 :2− ) = 1.
Suppose that G = 3. M22 . If p = 2, then t(G, p) = 73, so dimFp (V ) is one of 12, 30 by
[24]. In the latter case, b(G) = 1 by Lemma 3.1, and in the former, b(G) = 3 by Lemma
3.1 and Magma. Since s(G, 5) = 35, it follows from [24] that p = 7 and dimFp (V ) is one
of 21, 21; now b(G) = 1 by Lemma 3.1.
Suppose that G = 4. M22 . If p 6= 7, then m(G, p) = 56 by [23], but s(G, 3) = 52, a
contradiction. If p = 7, then t(G, p) = 25, but dimFp (V ) > 32 by [24], a contradiction.
Suppose that G = 6. M22 . If p = 5, 7, then m(G, p) > 54 by [23], but s(G, 5) = 36, a
contradiction. If p = 11, then m(G, p) = 36 by [23], but s(G, p) = 24, a contradiction.
Suppose that G = 12. M22 . If p = 5, 7, then m(G, p) > 48 by [23], but s(G, 5) = 38, a
contradiction. If p = 11, then m(G, p) = 24 by [23], but t(G, p) = 21, a contradiction.
The case T = M23 . Here G = M23 . If p = 2, then t(G, p) = 88, so dimFp (V ) is one of
11, 11, 44, 44 by [24]; if dimFp (V ) = 44, then b(G) = 1 by Lemma 3.1, and if dimFp (V ) = 11,
then b(G) = 3 by Magma and Lemma 3.4. If p = 3, then t(G, p) = 56, so dimFp (V ) = 22
by [24]; now b(G) = 1 by Lemma 3.1. If p = 5, 7, 11, then dimFp (V ) = 22 by [24] since
s(G, 5) = 40; now b(G) = 1 by Lemma 3.1. If p = 23, then s(G, p) = 20, but m(G, p) = 21
by [24], a contradiction.
The case T = M24 . Here G = M24 . If p = 2, then t(G, p) = 103, so dimFp (V ) is one of
11, 11, 44, 44 by [24]; if dimFp (V ) = 44, then b(G) = 1 by Lemma 3.1, and if dimFp (V ) = 11,

8

JOANNA B. FAWCETT, JÜRGEN MÜLLER, E. A. O’BRIEN, AND ROBERT A. WILSON

then b(G) = 3 by Magma and Lemma 3.4. If p = 3, then t(G, p) = 65, so dimFp (V ) = 22
by [24]; we show b(G) = 1 by explicit computations using Orb [29]. If p = 5, 7, 11, then
dimFp (V ) = 23 by [24] since t(G, 5) = 44, but b(G) = 1 by Lemma 3.1. If p = 23, then
t(G, p) = 22, but m(G, p) = 23 by [24], a contradiction.
The case T = J1 . Here G = J1 . If p = 2, then t(G, p) = 49, so dimFp (V ) = 20 by [24],
and b(G) = 2 by Lemma 3.1 and Magma. If p = 11, then t(G, p) = 14, so dimFp (V )
is one of 7, 14; now b(G) = 1 by Lemma 3.1. Otherwise, s(G, p) > m(G, p) by [24], a
contradiction.
The case T = J2 . Suppose that G = J2 or J2 :2. If p = 2, then t(J2 :2, p) = 68, so
dimFp (V ) is one of 12, 28, 36. If dimFp (V ) is one of 28, 36, then b(G) = 1 by Lemma
3.1, and if dimFp (V ) = 12, then b(G) = 2 by Magma and Lemma 3.4. If p = 3, then
t(J2 :2, p) = 43, so dimFp (V ) is one of 26, 36, 42 when G = J2 and one of 26, 36, 36, 42
otherwise; now b(G) = 1 by Lemma 3.1. If p = 5, then t(J2 :2, p) = 29, so dimFp (V ) is one
of 14, 21 when G = J2 and 14, 14, 21, 21 otherwise; now b(G) = 1 by Lemma 3.1. If p = 7,
then t(J2 :2, p) = 24, but dimFp (V ) > 28 by [24], a contradiction.
Suppose that G is one of 2. J2 , 2. J2 :2+ or 2. J2 :2− . If p = 3, then t(G, p) 6 43, so
dimFp (V ) is one of 12, 14 when G = 2. J2 , one of 12, 28 when G = 2. J2 :2+ , and one of
12, 14, 14 when G = 2. J2 :2− by [24]. If dimFp (V ) = 12, then b(G) = 2 by Lemmas 3.1
and 3.4. If G = 2. J2 or 2. J2 :2− and dimFp (V ) = 14, then b(G) = 2 by Lemma 3.1 and
Magma. If G = 2. J2 :2+ and dimFp (V ) = 28, then b(G) = 1 by Lemma 3.1.
If p = 5, then t(G, p) = 29, so dimFp (V ) is one of 6, 14 when G = 2. J2 and one of 12, 28
otherwise by [24]. If G = 2. J2 and dimFp (V ) = 14, then b(G) = 1 by Lemma 3.1; hence if
G = 2. J2 :2+ or 2. J2 :2− and dimFp (V ) = 28, then b(G) = 1. If G = 2. J2 :2+ or 2. J2 :2−
and dimFp (V ) = 12, then b(G) = 1 by Lemma 3.1. If G = 2. J2 and dimFp (V ) = 6, then
b(G) = 2 by Lemmas 3.1 and 3.4.
If p = 7, then t(G, p) = 24, so dimFp (V ) is one of 12, 14 when G = 2. J2 , one of 12, 14, 14
when G = 2. J2 :2+ , and 12 when G = 2. J2 :2− by [24]; now b(G) = 1 by Lemma 3.1.
The case T = J3 . Suppose that G = J3 or J3 :2. If p = 2, then t(J3 :2, p) = 95, so
dimFp (V ) = 80 by [24]; now b(G) = 1 by Lemma 3.1. If p = 3, then t(J3 :2, p) = 60, so
dimFp (V ) = 36; now b(G) = 1 by Lemma 3.1. If p > 5, then m(J3 , p) = 85 by [23], but
s(J3 :2, 5) = 45, a contradiction.
Suppose that G = 3. J3 . If p = 2, then t(G, p) = 95, so dimFp (V ) = 18, 36, 36 by [24].
If dimFp (V ) = 36, then b(G) = 1 by Lemma 3.1, and if dimFp (V ) = 18, then b(G) = 2 by
Lemmas 3.1 and 3.4. If p = 5, then t(G, p) = 41, so dimFp (V ) = 36 by [24]; now b(G) = 1
by Lemma 3.1. If p = 17, then t(G, p) = 23, but dimFp (V ) > 36 by [24], a contradiction.
If p = 19, then dimFp (V ) is one of 18, 18, 18, 18 by [24]; now b(G) = 1 by Lemma 3.1.
The case T = J4 . Here G = J4 . If p 6= 2, then m(G, p) = 1333 by [23], but s(G, 3) = 167,
a contradiction. If p = 2, then m(G, p) = 112 by [23] and t(G, p) = 258, but the improved
bound in Remark 3.3 yields dimFp (V ) 6 193, so dimFp (V ) = 112 by Lemma 5.1, and
b(G) = 1 by Lemma 3.1.
The case T = HS. Suppose that G = HS or HS :2. If p = 2, then t(HS :2, p) = 119, so
dimFp (V ) is one of 20, 56 by [24]. If dimFp (V ) = 56, then b(G) = 1 by Lemma 3.1, and if
dimFp (V ) = 20, then b(G) = 2 by Lemmas 3.1 and 3.4. If p = 3, then t(HS :2, p) = 75, so
by [24], either G = HS and dimFp (V ) is one of 49, 49, in which case b(G) = 1 by Lemma
3.1, or dimFp (V ) is 22 when G = HS and 22, 22 otherwise, in which case b(G) = 1 by
Magma. Since t(HS :2, 5) = 51, it follows from [24] that if p = 5, then dimFp (V ) is 21

REGULAR ORBITS OF SPORADIC SIMPLE GROUPS

9

when G = HS and one of 21, 21 otherwise, and if p = 7, 11, then dimFp (V ) is 22 when
G = HS and one of 22, 22 otherwise; now b(G) = 1 by Lemma 3.1.
Suppose that G is one of 2. HS, 2. HS :2+ or 2. HS :2− . If p = 3, then t(G, p) = 75, so by
[24], either G = 2. HS and dimFp (V ) = 56, or G = 2. HS :2− and dimFp (V ) is one of 56, 56;
now b(G) = 1 by Lemma 3.1. If p = 5, then t(G, p) = 51, so G = 2. HS and dimFp (V ) is
one of 28, 28 by [24]; now b(G) = 1 by Lemma 3.1. If p > 7, then m(2. HS, p) = 56 by [23],
but s(G, 7) 6 48, a contradiction.
The case T = McL. Suppose that G = McL or McL :2. If p = 2, then s(McL :2, p) = 122,
so dimFp (V ) = 22 by [24], and b(G) = 2 by Lemmas 3.1 and 3.4. Now s(McL :2, 3) = 77,
so by [24], either p = 3, 5 and dimFp (V ) is 21 when G = McL and one of 21, 21 when
G = McL :2, or p = 7, 11 and dimFp (V ) is 22 when G = McL and one of 22, 22 when
G = McL :2. If p 6= 3, then b(G) = 1 by Lemma 3.1. If p = 3, then b(G) = 2 by Lemma
3.1 and an application of Orb using helper subgroups.
Suppose that G = 3. McL. If p 6= 5, then m(G, p) = 126 by [23], but s(G, 2) = 125, a
contradiction. If p = 5, then t(G, p) = 48, but dimFp (V ) > 90 by [24], a contradiction.
The case T = He. Suppose that G = He or He :2. If p = 2, then t(He :2, p) = 145, so
dimFp (V ) is one of 51, 51, 101, 101 when G = He and 102 when G = He :2 by [5]; now
b(G) = 1 by Lemma 3.1. If p = 3, 5, then dimFp (V ) > 102 by [5], but t(He :2, 3) = 91, a
contradiction. If p = 7, then t(He :2, p) = 51, so dimFp (V ) is 50 when G = He and 50, 50
otherwise by [5]; now b(G) = 1 by Lemma 3.1. If p = 17, then m(He, p) = 51 by [23], but
s(He :2, p) = 40, a contradiction.
The case T = Ru. Suppose that G = Ru. If p = 2, then t(G, p) = 136, so dimFp (V ) = 28
by [5], and b(G) = 2 by Lemmas 3.1 and 3.4. If p > 3, then m(G, p) > 133 by [23], but
s(G, 3) = 93, a contradiction.
Suppose that G = 2. Ru. If p = 3, then s(G, p) = 96, so dimFp (V ) = 56 by [5]; now
b(G) = 1 by Lemma 3.1. If p = 7, then s(G, p) = 54, but dimFp (V ) > 56 by [5], a
contradiction. If p = 5, 13, 29, then dimFp (V ) is one of 28, 28 by [5] since s(G, 5) = 65, but
b(G) = 1 by Lemma 3.1.
The case T = Suz. Suppose that G = Suz or Suz :2. If p = 2, then t(Suz :2, p) = 183,
so dimFp (V ) = 142 by [5]; now b(G) = 1 by Lemma 3.1. If p = 3, then t(Suz :2, p) = 115,
so dimFp (V ) is one of 64, 78 when G = Suz and 64, 64, 78, 78 when G = Suz :2 by [5]; now
b(G) = 1 by Lemma 3.1. If p > 5, then m(Suz, p) = 143 by [23], but s(Suz :2, 5) = 85, a
contradiction.
Suppose that G is one of 2. Suz, 2. Suz :2+ or 2. Suz :2− . If p = 3, then t(G, p) = 115,
so dimFp (V ) is 12 when G = 2. Suz, one of 12, 12 when G = 2. Suz :2+ , and 24 when
G = 2. Suz :2− . If G = 2. Suz or 2. Suz :2+ and dimFp (V ) = 12, then b(G) = 3 by Lemmas
3.1 and 3.4. If G = 2. Suz :2− , then b(G) = 2 by Lemmas 3.1 and 3.4. If p > 5, then
m(2. Suz, p) = 220 by [23], but s(G, 5) 6 87, a contradiction.
Suppose that G = 3. Suz. If p = 2, then t(G, p) = 183, so dimFp (V ) is one of 24, 132
by [5]. If dimFp (V ) = 132, then b(G) = 1 by Lemma 3.1, and if dimFp (V ) = 24, then
b(G) = 2 by Magma and Lemma 3.4. If p = 5, then s(G, p) = 86, but dimFp (V ) > 132 by
[5], a contradiction. If p > 7, then m(G, p) = 66 by [23], but t(G, 7) = 65, a contradiction.
Suppose that G = 6. Suz. Now t(G, 5) = 79, so by [5], dimFp (V ) is 24 when p = 5, 11
and one of 12, 12 when p = 7, 13. If p = 5, 11, then b(G) = 1 by Lemma 3.1. If p = 7,
then b(G) = 2 by Lemmas 3.1 and 3.4. If p = 13, then b(G) = 2 by Lemma 3.1 and an
application of Orb using helper subgroups.

10

JOANNA B. FAWCETT, JÜRGEN MÜLLER, E. A. O’BRIEN, AND ROBERT A. WILSON

The case T = O’N. Suppose that G is O’N or O’N :2. If p = 2, then m(O’N, p) = 10944
by [23], but s(O’N :2, 2) = 158, a contradiction. Otherwise, m(O’N, p) > 154 by [23], but
s(O’N :2, 3) = 100, a contradiction.
Suppose that G = 3. O’N. If p 6= 2, 7, then m(G, p) = 342 by [23], but s(G, 5) = 69, a
contradiction. If p = 2, then m(G, p) = 153 by [23], but t(G, p) = 148, a contradiction. If
p = 7, then t(G, p) = 52, so dimFp (V ) is one of 45, 45 by [5]; now b(G) = 1 by Lemma 3.1.
The case T = Co3 . Here G = Co3 . Now s(G, 2) = 194 and s(G, 3) = 122, so by [5],
either p = 2, 3 and dimFp (V ) = 22, or p > 5 and dimFp (V ) = 23. In the latter case,
b(G) = 1 by Lemma 3.1. If p = 2, then b(G) = 2 by Magma and Lemma 3.4, and if p = 3,
then b(G) = 2 by Lemmas 3.1 and 3.4.
The case T = Co2 . Here G = Co2 . Now s(G, 2) = 226, so by [5], either p = 2 and
dimFp (V ) = 22, or p > 3 and dimFp (V ) = 23. If p > 7, then b(G) = 1 by Lemma 3.1. If
p = 5, then b(G) = 1 by an application of Orb using helper subgroups. By Lemmas 3.1
and 3.4, if p = 3, then b(G) = 2, and if p = 2, then b(G) = 3.
The case T = Co1 . Suppose that G = Co1 . If p > 3, then m(G, p) = 276 by [23], but
s(G, 3) = 195, a contradiction. If p = 2, then m(G, p) = 24 by [23] and t(G, p) = 293, but
the improved bound in Remark 3.3 yields dimFp (V ) 6 191, so dimFp (V ) = 24 by Lemma
6.2, and b(G) = 3 by Magma and Lemma 3.4.
Suppose that G = 2. Co1 . If p > 7, then dimFp (V ) = 24 by [5] since s(G, 7) = 111. If
p = 3, 5, then dimFp (V ) = 24 by Lemma 6.1 since t(G, 3) = 185 and t(G, 5) = 126. If
p = 11, 13, 23, then b(G) = 1 by Lemma 3.1. If p = 3, then b(G) is 2 or 3 by Lemmas 3.1
and 3.4; if p = 5, then b(G) = 2 by Lemmas 3.1 and 3.4; if p = 7, then b(G) 6 2 by
Lemma 3.1. In Remark 6.3, we prove that b(G) = 2 when p = 7, and in Remark 6.4, we
prove that b(G) = 2 when p = 3.
The case T = Fi22 . Suppose that G = Fi22 or Fi22 :2. Now s(Fi22 :2, 2) = 328, so by [5],
if p = 2, then dimFp (V ) = 78; if p = 3, then dimFp (V ) is 77 when G = Fi22 and one of
77, 77 otherwise; if p > 5, then dimFp (V ) is 78 when G = Fi22 and one of 78, 78 otherwise;
now b(G) = 1 by Lemma 3.1.
Suppose that G is one of 2. Fi22 , 2. Fi22 :2+ or 2. Fi22 :2− . If p = 3, then t(G, p) = 194,
so by [5], the only possibility is G = 2. Fi22 , in which case dimFp (V ) is one of 176, 176;
now b(G) = 1 by Lemma 3.1. If p > 5, then m(2. Fi22 , p) = 352 by [23], but s(G, 5) 6 144,
a contradiction.
Suppose that G = 3. Fi22 . If p = 2, then t(G, p) = 307, so dimFp (V ) = 54 by [5]; now
b(G) = 1 by Orb. If p > 5, then m(G, p) = 351 by [23], but s(G, 5) = 143, a contradiction.
If G = 6. Fi22 , then m(G, p) = 1728 by [23], but s(G, 5) = 146, a contradiction.
The case T = Fi23 . Here G = Fi23 . If p 6= 3, then m(G, p) = 782 by [23], but s(G, 2) =
432, a contradiction. If p = 3, then m(G, p) = 253 by [23] and t(G, p) = 262, but the
improved bound in Remark 3.3 yields dimFp (V ) 6 119, a contradiction.
The case T = Fi′24 . If G = Fi′24 or Fi′24 :2, then m(G, p) > 781 by [23], but s(Fi′24 :2, 2) =
648, a contradiction. If G = 3. Fi′24 , then m(G, p) = 783 by [23], but s(G, 2) = 653, a
contradiction.
The case T = HN. Suppose that G is HN or HN :2. If p > 5, then m(HN, p) = 133 by
[23], but s(HN :2, 5) = 105, a contradiction. If p = 2 or 3, then dimFp (V ) > 264 by [5],
but s(HN :2, 2) = 244, a contradiction.

REGULAR ORBITS OF SPORADIC SIMPLE GROUPS

11

The case T = Ly. Here G = Ly. If p 6= 5, then m(G, p) > 651 by [23], but s(G, 2) = 222,
a contradiction. If p = 5, then m(G, p) = 111 by [23], but s(G, p) = 95, a contradiction.
The case T = Th. Here G = Th, and m(G, p) = 248 by [23], but s(G, 2) = 225, a
contradiction.
The case T = B. If G = B, then m(G, p) > 4370 by [23], but s(G, 2) = 558, a contradiction. If G = 2. B, then m(G, p) = 96256 by [23], but s(G, 3) = 355, a contradiction.
The case T = M. Here G = M , and m(G, p) > 196882 by [23], but s(G, 2) = 716, a
contradiction.
5. Comments on J4
The 2-modular Brauer character table of G = J4 is not known. In §4 we saw that the
minimal dimension of a faithful representation of G in characteristic 2 (as given by [23])
is strictly smaller than the upper bounds of Lemma 3.2 and Remark 3.3 for the dimension
of a faithful irreducible F2 G-module on which G has no regular orbit.
To address this “dimension gap”, we now prove that that if dimF2 (V ) 6 193, then V is
uniquely determined up to isomorphism and is 112-dimensional. Note that this result (for
the larger dimension bound of 250) is stated in [21], but an explicit proof is omitted. For
completeness, we include a proof motivated by the approach in [23, Section 4.3.21], which
in turn is based on [2, Ch. 6].
Lemma 5.1. There is a unique faithful irreducible 2-modular representation of J4 of degree
at most 193. This representation has degree 112.
Proof. Let V be a faithful irreducible 2-modular representation of G := J4 of degree
at most 193. Recall that G can be generated by subgroups K := U3 (11):2 and L :=
111+2 :(5× 2.S4 ), intersecting in H := 111+2 :(5× 8:2). Now the derived group K ′ = U3 (11),
and K ′ and L also generate G and intersect in H1 := 111+2 :(5 × 8). In particular, there is
an involution z ∈ H \ H1 where z ∈ L and K = hK ′ , zi.
The 2-modular Brauer character table of K shows that V has character restriction
110 + 1k to K. Similarly, V has character restriction 110′ + λ to L, where 110′ is one
of the three irreducible Brauer characters of the indicated degree, and λ has constituents
of degree 1 and 2. By considering the unique conjugacy class of elements of order 3 in
G, we deduce that k > 2, the irreducible Brauer character of degree 110 occurring in the
restriction to L is one of the non-rational ones, and λ has a unique constituent of degree
2 apart from k − 2 linear ones.
By considering the unique conjugacy class of elements of order 5 in G, we deduce that
the constituents of λ are necessarily rational, so are uniquely determined by their degree.
The 2-modular Brauer character table of H shows that the irreducible Brauer characters
of degree 110 of K and L restrict irreducibly to H. A consideration of 2-blocks now yields
the block decomposition of the various restrictions as
V |K ∼ (110 + 1k ) and V |L ∼ 110′ ⊕ (2 + 1k−2 ) and

V |H ∼ 110 ⊕ (1k ).

Hence there is a unique L-submodule U110 of V of dimension 110, which cannot be
K-invariant, so the unique 110-local K-submodule of V is reducible. (Here we freely
use terminology from [27].) By computing suitable cohomology groups, we determine
all possible downward K-extensions of 110 with kernel having only trivial constituents.
This shows that the local submodule in question, say U111 , is uniserial with descending
composition series 110/1. In particular, this specifies a trivial K-submodule U1 of V .
Moreover, (V /U111 )|K ∼ 1k−1 ; thus K ′ , being perfect, acts trivially on this quotient.

12

JOANNA B. FAWCETT, JÜRGEN MÜLLER, E. A. O’BRIEN, AND ROBERT A. WILSON

Observe that [L:H] = 3, where the action of L on the cosets of H is equivalent to the
natural action of S3 ∼
= S4 /V4 ; thus the associated permutation module is semisimple of
shape 2 ⊕ 1. Since U1 cannot be L-invariant, the L-submodule U1L generated by U1 is
either irreducible of degree 2, or semisimple of shape 2 ⊕ 1. Hence we get an L-submodule
110′ ⊕ U1L , which contains U111 , and so is K ′ -invariant. Hence 110′ ⊕ U1L = V , implying
that dimFp (V ) ∈ {112, 113}; in other words, k = 2 or k = 3.
Let X 6 V be the image of the action of 1 + z, where we view the latter as an element
of both Fp K and Fp L. Since 1 + z has an image of dimension 55 on 110, both cases
for V |L yield dimFp (X) = 56, where X intersects non-trivially with the irreducible direct
summand 2.
Next, again using a cohomological approach, we determine all indecomposable Kmodules (up to isomorphism) having the constituent 110 once, and the trivial constituent
1 with multiplicity at most 3, where we restrict to those modules having 110 neither in
their head nor in their socle. This yields two isomorphism types V112 and V112′ of modules,
both uniserial with descending composition series 1/110/1, a module V113 of dimension
∗ of V
113 with head of shape 1 ⊕ 1 and socle of shape 1, and the dual V113
113 . In all cases
the unique 110-local submodule is isomorphic to U111 .
Suppose that k = 3. If V |K = V113 , for which 1 + z indeed has image of dimension 56,
then X 6 U111 . This implies that 110′ ⊕ 2 contains U111 . Since the latter coincides with
the radical of V113 , we conclude that 110′ ⊕ 2 is K ′ -invariant, a contradiction. Similarly,
∗ , then, since V | is self-dual, we obtain a contradiction by dualising the
if V |K = V113
L
picture. Finally, let V |K have a direct summand isomorphic to V112 or V112′ . Now 1 + z
has an image of dimension 55 on V112′ , say, and 1 + z has an image of dimension 56 on
V112 . Hence V |K = V112 ⊕ 1, where again X 6 U111 , yielding a contradiction as above.
This excludes the case k = 3.
Hence k = 2, so dimFp (V ) = 112. By the above, V |K = V112 . The arguments in [2,
Ch. 6, p. 63ff.] now imply that V is uniquely determined up to isomorphism.

6. Comments on Co1 and 2. Co1
When (G, p) is one of (Co1 , 2), (2. Co1 , 3) or (2. Co1 , 5), the p-modular Brauer character
table of G is not known. In §4 we saw that the minimal dimension of a faithful representation of G in characteristic p (as given by [23]) is strictly smaller than the upper bounds
of Lemma 3.2 and Remark 3.3 for the dimension of a faithful irreducible Fp G-module on
which G has no regular orbit. We now address these “dimension gaps”. As in the case of
J4 , the results of Lemmas 6.1 and 6.2 are stated without proof in [21].
Lemma 6.1.
(1) There is a unique faithful irreducible 3-modular representation of 2. Co1 of degree
at most 185. This representation has degree 24.
(2) There is a unique faithful irreducible 5-modular representation of 2. Co1 of degree
at most 126. This representation has degree 24.
Proof. In each case, we can construct such a representation from two copies of 212 : M24 ,
intersecting in 26+12 :3.S6 . Since the orbits of M24 on the linear characters of 212 are
1 + 24 + 276 + 1771 + 2024, the only faithful irreducible representation of 212 : M24 of
degree less than 276 in odd characteristic is the monomial 24. This remains irreducible
on restriction to 26+12 :3.S6 . Hence there is a unique embedding of this amalgamation of
groups into GL24 (3), or GL24 (5), and so a unique representation of 2. Co1 of dimension 24.
Moreover, every larger faithful irreducible representation of 2. Co1 must have character
restriction 24k to each of these subgroups. Since the irreducible 24 for 212 : M24 has no

REGULAR ORBITS OF SPORADIC SIMPLE GROUPS

13

non-splitting self-extensions, the subgroups in question act completely reducibly. Hence
every matrix that commutes with the action of 26+12 :3.S6 commutes with the action
of both copies of 212 : M24 . In particular, for each value of k, there is a unique such
amalgamation, and the constructed representation of 2. Co1 is a direct sum of k copies of
the 24-dimensional.

Lemma 6.2. There is a unique faithful irreducible 2-modular representation of Co1 of
degree at most 191. This representation has degree 24.
Proof. Recall that Co1 can be generated by subgroups 36 :2. M12 and 3. Suz :2, intersecting
in 35 :(2×M11 ). The 2-modular irreducibles of 3. Suz :2 of degree less than 220 have degrees
1, 24, 132 and 142, and some useful character values are:
1A 1Aω 3A
24 −12 −12
132 −66
42
142 142
34
Since the classes 1Aω and 3A fuse in Co1 , every irreducible character of Co1 of degree less
than 220 has character restriction composed out of 1, 24 and 132 + 142. Thus the degree
is 24k + 1j . Restricting to 35 :(2 × M11 ), the 24 remains irreducible. Since the orbits of
2. M12 on the linear characters of 36 are 1 + 24 + 264 + 440, the only possible character
restriction to 36 :2. M12 is 24k + 1j .
The 24 is not in the principal block of either 3. Suz :2, or of 36 :2. M12 . Hence the principal
and non-principal block components of the restrictions to these subgroups coincide. If
j > 0, then the perfect group 36 :2. M12 acts trivially on the non-zero principal block
component, a contradiction. Hence j = 0. Since the irreducible 24 for 3. Suz :2 has no nonsplitting self-extensions, 3. Suz :2 acts completely reducibly, so there is a 24-dimensional
subspace invariant under Co1 , entailing k = 1. Finally, for every irreducible representation
of degree 24, there is a unique amalgamation inside GL24 (2), so there is a unique such
representation of Co1 .

We now report on the computations needed to decide the base size of G := 2. Co1 in its
action on a faithful irreducible Fp G-module V for two hard cases.
Remark 6.3. Suppose that p = 7 and dimF7 (V ) = 24. From §4 we know that b(G) 6 2.
To show that b(G) = 2, or equivalently, that G does not have a regular orbit on V , we
made extensive use of the Orb package [29] of GAP. A detailed account of the package
appears in [28], whose terminology we freely borrow.
The necessary input data on G is available via the Atlas database [31]. In particular,
representing matrices for the action of G on V , and straight line programs giving representatives of the conjugacy classes of cyclic subgroups of G, both in terms of standard
generators, are provided there. We accessed this data through the AtlasRep package [6]
of GAP. The necessary ordinary and Brauer character tables from [10, 24] are available
through the Character Table Library [5] of GAP.
In our application, we used a chain of three helper subgroups {1} = U0 < U1 < U2 <
U3 < U4 = G, which are specified in Table 3; these are chosen so that Z(G) < U1 .
The helper quotients of V , associated with the various helper subgroups, have dimension
d1 = d2 = 8 and d3 = 16, respectively.
Since the Cauchy-Frobenius Lemma shows that there are 1097 G-orbits on V , it is
infeasible to enumerate sufficiently many (randomly chosen) orbits to rule out the existence
of a regular orbit. Instead, we considered the projective space P(V ), the set of 1-spaces
in V , which we view as a G/Z(G)-set. Observe that |P(V )| = (724 − 1)/6 ∼ 3.2 · 1019 ; to

14

JOANNA B. FAWCETT, JÜRGEN MÜLLER, E. A. O’BRIEN, AND ROBERT A. WILSON

i
Ui
|Ui | [Ui :Ui−1 ]
4
2. Co1 8 315 553 613 086 720 000 46 621 575
+
).O
178 362 777 600
270
3 (2 × 21+8
+
8 (2)
2
7
6
2
(2 .2 ).2 .A8
660 602 880
560
1
[217 ]:32
1 179 648 1 179 648
Table 3. Helper subgroups
exclude a regular G/Z(G)-orbit on P(V ) we must enumerate 1 − |G|/(2 · |P(V )|) ∼ 87%
of it. With a random search we found representatives of 75 G-orbits covering ∼ 90% of
P(V ) without detecting a regular G/Z(G)-orbit.
But there might be a regular vector v ∈ V , having stabiliser CG (v) = {1}, such that the
1-space hvi ∈ P(V ) has non-trivial stabiliser CG (hvi) ∼
= F∗7 . Hence we must also exclude
G-orbits of length |G|/6. To do this by an exhaustive enumeration of P(V ), we must cover
1 − |G|/(6 · |P(V )|) ∼ 96% of the space. The Cauchy-Frobenius Lemma shows that there
are 382 G-orbits on P(V ), some of which may escape a random search.
Hence we proceed differently. If v is as above, then CG (hvi) = htzi, where t ∈ G has
order 3, and 1 6= z ∈ Z(G). Now v is an eigenvector for t with respect to an eigenvalue
ω, where ω ∈ F∗7 is a primitive third root of unity. By [10], there are precisely four
conjugacy classes of elements of order 3 in G; see Table 4, where the associated centralisers
and the dimension dω (t) of the eigenspace Eω (t) of t with respect to the eigenvalue ω
are given. Since the conjugacy classes under consideration are rational, the normaliser
NG (hti) interchanges the eigenspaces Eω (t) and Eω2 (t), so it suffices to consider either of
the primitive third roots of unity in F∗7 . Now CG (t) acts on Eω (t), and hence CG (t)/htzi
acts on P(Eω (t)). Since CCG (t) (hvi) = CG (hvi) = htzi, we conclude that hvi belongs to a
regular CG (t)/htzi-orbit on P(Eω (t)).
t dω (t)
CG (t)
|CG (t)|
3A
12
6.Suz 2 690 072 985 600
3B
6
2.(32 .U4 (3).2)
117 573 120
1+4
3C
9
2.(3 :2.S4 (3))
25 194 240
3D
8
2.A9 × 3
1 088 640
Table 4. 3-centralisers in G
For conjugacy classes 3A and 3B, we check that |P(Eω (t))| = |(7dω (t) −1)/6| < |CG (t)|/6,
hence there cannot possibly be a regular CG (t)/htzi-orbit. To deal with classes 3C and
3D, we pick a representative t, compute the action of CG (t) on Eω (t), and enumerate
P(Eω (t)) completely by a standard orbit computation. For conjugacy class 3C, none of
the 21 CG (t)/htzi-orbits in P(Eω (t)) is regular; for conjugacy class 3D precisely one of
the 26 relevant orbits is regular. We pick hvi from this unique regular CG (t)/htzi-orbit on
P(Eω (t)), and use Orb to enumerate 51% of the G-orbit of hvi in P(V ). This shows that
CG (hvi) ∼
= Z(G) × A4 . Hence b(G) = 2.
Remark 6.4. Suppose that p = 3 and dimF3 (V ) = 24. From §4, we know that b(G) ∈
{2, 3}. We prove that b(G) = 2.
Let M ∼
= 212 : M24 be a maximal subgroup of G and let H ∼
= M24 be a fixed complement
of O2 (M ) ∼
= 212 . As an F2 H-module, O2 (M ) is isomorphic to the binary Golay code, so is
uniserial with descending composition series 11/1. Thus all subgroups of M properly containing H necessarily contain Z(M ) = Z(G). Moreover, by [10], every maximal subgroup
M̃ of G containing H is G-conjugate to M , so we may assume that M̃ = M .

REGULAR ORBITS OF SPORADIC SIMPLE GROUPS

15

Next we show that there exist v, w ∈ V such that CG (v) = H and CH (w) = {1}. The
restriction of V to H is isomorphic to the natural permutation F3 H-module, which is
uniserial with descending composition series 1/22/1. Hence there is 0 6= v ∈ V fixed by
H. Every subgroup of G properly containing H necessarily contains Z(G), so it does not
fix v. This shows that CG (v) = H. Finally, the existence of an H-regular vector w follows
since we have already checked explicitly that the irreducible H-subquotient of dimension
22 of V has a regular vector. Hence b(G) = 2.
7. Comments on computations
Various representations are available via the Atlas package [31]. Magma has an implementation of the Burnside algorithm to construct all faithful irreducible representations of
a finite permutation group over a given finite field. We used this to construct representations, either all or those of specified degree, for certain small degree permutation groups.
We used our implementation of the algorithm of [15] to rewrite a representation over a
smaller field.
We sometimes used the Orb package [29]: either simply as a highly-efficient enumerator
of an orbit of a vector under the action of a group, or more elaborately using helper
subgroups as discussed in §6. We used Lemma 3.1 to decide whether a group G has
a regular orbit, and to determine an upper bound to b(G). It assumes knowledge of
conjugacy classes of G. To perform this task, we sometimes used the infrastructure of [1];
classes in J4 were written down directly using the results of [22] as summarised at [31].
Most remaining computations reported are routine and were performed using Magma.
References
[1] Bäärnhielm, H., Holt, D., Leedham-Green, C. R., and O’Brien, E. A. A
practical model for computation with matrix groups. J. Symbolic Comput. 68 (2015),
27–60.
[2] Benson, D. J. The simple group J4 . Ph.D. Thesis, University of Cambridge, 1981.
[3] Blackburn, N., and Huppert, B. Finite groups II. Springer Verlag, Berlin, 1981.
[4] Bosma, W., Cannon, J., and Playoust, C. The Magma algebra system. I. The
user language. J. Symbolic Comput. 24 (1997), 235–265.
[5] Breuer, T. CTblLib – a GAP package, Version 1.2.2, 2013.
http://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib/.
[6] Breuer, T., Bray, J. N., Nickerson, S., Parker, R. A., and Wilson, R. A.
AtlasRep — a GAP Interface to the Atlas of Group Representations, Version 1.5.1,
2016. http://www.math.rwth-aachen.de/~Thomas.Breuer/ctbllib/.
[7] Burness, T. C., Guralnick, R. M., and Saxl, J. On base sizes for symmetric
groups. Bull. London Math. Soc. 43 (2011), 386–391.
[8] Burness, T. C., Guralnick, R. M., and Saxl, J. Base sizes for S-actions of
finite classical groups. Israel J. Math. 199 (2014), 711–756.
[9] Burness, T. C., O’Brien, E. A., and Wilson, R. A. Base sizes for sporadic
simple groups. Israel J. Math. 177 (2010), 307–333.
[10] Conway, J. H., Curtis, R. T., Norton, S. P., Parker, R. A., and Wilson,
R. A. Atlas of finite groups. Clarendon Press, Oxford, 1985.
[11] Fawcett, J. B. The base size of a primitive diagonal group. J. Algebra 375 (2013),
302–321.
[12] Fawcett, J. B. Bases of primitive permutation groups. Ph.D. Thesis, University of
Cambridge, 2013.

16

JOANNA B. FAWCETT, JÜRGEN MÜLLER, E. A. O’BRIEN, AND ROBERT A. WILSON

[13] Fawcett, J. B., O’Brien, E. A., and Saxl, J. Regular orbits of symmetric and
alternating groups. J. Algebra 458 (2016), 21–52.
[14] The GAP Group. GAP — Groups, Algorithms, and Programming, Version 4.8.8,
2017. http://www.gap-system.org.
[15] Glasby, S. P., Leedham-Green, C. R., and O’Brien, E. A. Writing projective
representations over subfields. J. Algebra 295 (2006), 51–61.
[16] Goodwin, D. P. M. Regular orbits of linear groups with an application to the
k(GV )-problem, 1. J. Algebra 227 (2000), 395–432.
[17] Gorenstein, D. Finite simple groups: an introduction to their classification. Plenum
Press, New York, 1982.
[18] Guralnick, R. M., and Kantor, W. M. Probabilistic generation of finite simple
groups. J. Algebra 234 (2000), 743–792.
[19] Guralnick, R. M., and Saxl, J. Generation of finite almost simple groups by
conjugates. J. Algebra 268 (2003), 519–571.
[20] Hall, J. I., Liebeck, M. W., and Seitz, G. M. Generators for finite simple
groups, with applications to linear groups. Quart. J. Math. 43 (1992), 441–458.
[21] Hiss, G., Malle, G. Low-dimensional representations of quasi-simple groups. LMS
J. Comput. Math. 4 (2001), 22–63.
[22] Janko, Z. A new finite simple group of order 86 · 775 · 571 · 046 · 077 · 562 · 880 which
possesses M24 and the full covering group of M22 as subgroups. J. Algebra 42 (1976),
564–596.
[23] Jansen, C. The minimal degrees of faithful representations of the sporadic simple
groups and their covering groups. LMS J. Comput. Math. 8 (2005), 122–144.
[24] Jansen, C., Lux, K., Parker, R., and Wilson, R. An atlas of Brauer characters.
Clarendon Press, Oxford, 1995.
[25] Kleidman, P., and Liebeck, M. W. The subgroup structure of the finite classical
groups. Cambridge University Press, Cambridge, 1990.
[26] Köhler, C., and Pahlings, H. Regular orbits and the k(GV )-problem. In Groups
and Computation III: Proceedings of the International Conference at the Ohio State
University, June 15-19, 1999 (2001), pp. 209–228.
[27] K. Lux, J. Müller, M. Ringe: Peakword condensation and submodule lattices:
an application of the Meat-Axe. J. Symb. Comput. 17 (1994), 529–544.
[28] Müller, J., Neunhöffer, M., and Wilson, R. A. Enumerating big orbits and
an application: B acting on the cosets of F i23 , J. Algebra 314 (2007), 75–96.
[29] Müller, J., Neunhöffer, M., and Noeske, F. Orb — Methods to enumerate
Orbits, Version 4.7.6, 2016. https://github.com/gap-packages/orb/.
[30] Sonn, J. Rigidity and embedding problems over Qab (t). J. Number Theory 47 (1994),
398–404.
[31] Wilson, R. A., et al. Atlas of finite group representations.
http://brauer.maths.qmul.ac.uk/Atlas.
[32] Wilson, R. A., et al. The Modular Atlas homepage.
http://math.rwth-aachen.de/~MOC.

REGULAR ORBITS OF SPORADIC SIMPLE GROUPS

17

(Fawcett) Department of Mathematics, Imperial College London, South Kensington Campus, London, SW7 2AZ, United Kingdom
E-mail address: j.fawcett@imperial.ac.uk
(Müller) Fakultät für Mathematik und Naturwissenschaften, Bergische Universität, Wuppertal, Germany
E-mail address: juergen.mueller@math.uni-wuppertal.de
(O’Brien) Department of Mathematics, University of Auckland, Auckland, New Zealand
E-mail address: e.obrien@auckland.ac.nz
(Wilson) School of Mathematical Sciences, Queen Mary, University of London, Mile End
Road, London, E1 4NS, United Kingdom
E-mail address: r.a.wilson@qmul.ac.uk

