arXiv:1608.03804v1 [math.GR] 12 Aug 2016

THE UNIQUENESS OF PSU3 (8) IN THE MONSTER
ROBERT A. WILSON

Abstract. As a contribution to an eventual solution of the problem of the
determination of the maximal subgroups of the Monster we show that there is
a unique conjugacy class of subgroups isomorphic to PSU3 (8). The argument
depends on some computations in various subgroups, but not on computations
in the Monster itself.

1. Introduction
The maximal subgroup problem for almost simple groups became a major focus
for research in group theory in the 1980s, and remains so today. In the case of the
sporadic groups, a systematic attack on the problem began earlier, with Livingstone
and his students in the 1960s. The problem was solved in the 20th century for
25 of the 26 sporadic simple groups, and their automorphism groups, but one
case, namely the Fischer–Griess Monster group M, remains outstanding. A great
deal of work on this case has already been done. The maximal p-local subgroups
were classified in [12, 7, 8], and some theoretical work on non-local subgroups
was accomplished in [9, 10]. Following successful computer constructions of the
Monster [6, 3] other techniques became available, and more progress was made
[4, 5, 2, 11, 15, 16, 17], including discovery of five previously unknown maximal
subgroups, isomorphic to
• PSL2 (71), PSL2 (59), PSL2 (41), PGL2 (29), PGL2 (19).
The cases left open by this published work are possible maximal subgroups with
socle isomorphic to one of the following simple groups:
• PSL2 (8), PSL2 (13), PSL2 (16), PSU3 (4), PSU3 (8).
Of these, PSL2 (8) and PSL2 (16) have been classified in unpublished work of P. E.
Holmes, although the results seem not to be publicly available. In this paper we
deal with the case PSU3 (8). Specifically, we show that, up to conjugacy, there is
a unique subgroup PSU3 (8) in the Monster. Its normalizer is the already known
maximal subgroup (A5 × PSU3 (8):3):2. Notation follows [1, 14], where required
background information can be found.
2. Existence
Exactly one conjugacy class of subgroups of M isomorphic to PSU3 (8) is contained in the known maximal subgroups. The normalizer of such a group is
(A5 × PSU3 (8):3):2, itself a maximal subgroup of M. For details, see [9].
Date: Skeleton version begun 15th August 2015. First complete draft 18th July 2016. This
version 7th August 2016.
1

2

ROBERT A. WILSON

3. Strategy for proving uniqueness
The group PSU3 (8) can be generated from a group PSL2 (8) × 3 by extending
D18 × 3 to (9 × 3):S3 . Note that 9 × 3 contains three cyclic subgroups of order 9,
which are permuted by the S3 . Similarly, there are three complements of order 3,
which are also permuted by the S3 . Hence it is sufficient to extend 9 × 3 to D18 × 3
normalizing one of the other two cyclic subgroups of order 9.
We note in particular that all cyclic groups of order 9 in PSU3 (8) are conjugate,
and hence we need only consider subgroups PSL2 (8) × 3 in which the diagonal
elements of order 9 are conjugate in the Monster to the elements of order 9 inside
PSL2 (8). We shall show that there is only one class of PSL2 (8) × 3 in the Monter
that satisfies this condition. Moreover, the cyclic group of order 9 extends to a
unique D18 in PSU3 (8). Hence the D18 × 3 we wish to construct is conjugate in
the Monster to the one inside PSL2 (8) × 3.
4. The subgroup 3 × PSL2 (8)
Since PSL2 (8) contains elements of order 9, the elements of order 3 fuse to
M-class 3B. Since it contains a pure 23 , the involutions are in M-class 2B. In
[9] Norton accounts for many of the structure constants of type (2, 3, 7) in the
Monster. In particular he shows that there is no 3 × PSL2 (8) in which the PSL2 (8)
is of type (2B, 3B, 7B). He also shows that there are three classes of PSL2 (8) of
type (2B, 3B, 7A), just two of which centralize elements of order 3. The respective
normalizers are:
(1) PSL2 (8):3 × 3S6 . Here the central 3 in 3A6 is in Monster class 3A, as are
the 3-cycles. The elements mapping to fixed-point-free 3-elements in A6
are in Monster class 3C.
(2) PSL2 (8) × 2 × S4 . Here, the elements of order 3 in S4 are in Monster class
3A.
Hence there are exactly four classes of PSL2 (8) × 3 in the Monster.
5. Fusion of elements of order 9
Consider first the case where the central elements of 3 × PSL2 (8) are in class 3C
in the Monster. We restrict the character of degree 196883 to S3 × Th. Using the
character values on 3C and 2A, we obtain a decomposition as
2 ⊗ 65628 + 1+ ⊗ 34999 + 1− ⊗ 30628
where the first factor denotes the representation of S3 . The values on classes 2A
and 7A of Th are easily computed:
1A
2A 7A
34999 183 13
30628 −92
3
65628
92 17
from which it is easy to see that the decomposition into irreducibles of Th is given
by
34999 =
30628 =

30875 + 4123 + 1
30628

65628 =

61256 + 4123 + 248 + 1

THE UNIQUENESS OF PSU3 (8) IN THE MONSTER

3

It then follows that the values of the character of degree 196883 on elements
of Th-class 9A, 9B, and 9C are respectively −1, −1, 26, while the values on the
corresponding diagonal elements in 3 × Th are 26, 26, and −1 respectively. In other
words, the diagonal elements are always in a different conjugacy class from the
elements in Th. Hence this case is eliminated. (In fact, in this case the PSL2 (8)
contains elements of Th class 9C, that is, Monster class 9A.)
The remaining three classes of PSL2 (8) × 3, namely the ones with a central
3A-element, are contained in the double cover of the Baby Monster. The work in
[13] then shows that in these cases the elements of order 9 in PSL2 (8) are in Baby
Monster class 9B, so Monster class 9A. Moreover, in two of the three cases, the
diagonal elements of order 9 are in Baby Monster class 9A, so Monster class 9B.
But in PSU3 (8) these two classes of elements of order 9 are fused. Hence these
cases cannot extend to PSU3 (8) in the Monster.
The remaining case therefore is a 3A-type, with normalizer PSL2 (8):3 × 3S6 . We
know there exists such a subgroup PSU3 (8) in the Monster, so all elements of order
9 fuse to 9A.
6. The centralizer of a 9A element
From [12], the centralizer of a 9A-element in the Monster has shape [37 ].PSU4 (2).
Looking more closely, we see that the structure is the central product of the cyclic
group of order 9 with a group of shape 36 . Ω5 (3), in which the action of Ω5 (3) on 36
is uniserial, with a trivial submodule and a natural module as quotient. Moreover,
since this group contains 9 × 3. S6 , the extension is non-split, in the sense that
C(9)/9 ∼
= 35 . Ω5 (3).
These facts can be checked computationally, using the construction of the subgroup 31+12 . 2. Suz:2 described in [6]. But in fact the proof below does not depend
on any of the subtleties, so the sceptical reader can ignore them.
7. The centralizer of 9 × 3
Centralizing the additional element of order 3 reduces the group from 9◦36 . Ω5 (3)
to 9 ◦ 36 . A6 . The structure of the latter group is very subtle, and in particular it
contains several conjugacy classes of 3. A6 , and it is not obvious which one centralizes
PSL2 (8).
In any case, the group of elements which either centralize 9 × 3 or extend it
to D18 × 3 is of shape (9 ◦ 36 ). (A6 × 2) = (9 × 3).34 .(2 × A6 ). We must adjoin
an involution in the conjugacy class which maps to the central involution in the
quotient A6 ×2. But this conjugacy class contains only 36 = 729 elements, while the
group of symmetries is 9 × 3A6 , of order 9720. Hence every group generated in the
prescribed fashion has non-trivial centralizer in the Monster. Indeed, this counting
argument implies that such a centralizer has order at least 9720/729 = 13 31 .
8. Proof of the theorem
The centralizer of an element of order 19 is 19×A5, containing elements of classes
2A, 3C and 5A. The only subgroup of A5 with order at least 14 is A5 itself. Hence
every PSU3 (8) in the Monster has centralizer conjugate to this A5 .
As a corollary we obtain new proofs of the uniqueness of PSU3 (8) as a subgroup
of the Baby Monster, the Thompson group, and the Harada–Norton group.

4

ROBERT A. WILSON

References
[1] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker and R. A. Wilson, An Atlas of Finite
Groups, Oxford University Press, 1985.
[2] P. E. Holmes, A classification of subgroups of the Monster isomorphic to S4 and an application, J. Algebra 319 (2008), 3089–3099.
[3] P. E. Holmes and R. A. Wilson, A new computer construction of the Monster using 2-local
subgroups, J. London Math. Soc. 67 (2003), 349–364.
[4] P.E. Holmes and R. A. Wilson, A new maximal subgroup of the Monster, J. Algebra 251
(2002), 435–447.
[5] P. E. Holmes and R. A. Wilson, On subgroups of the Monster containing A5 ’s, J. Algebra
319 (2008), 2653–2667.
[6] S. A. Linton, R. A. Parker, P. G. Walsh and R. A. Wilson, A computer construction of the
Monster, J. Group Theory 1 (1998), 307–337.
[7] U. Meierfrankenfeld and S. V. Shpectorov,
Maximal 2-local subgroups of
the Monster and Baby Monster, Preprint, Michigan State University, 2002.
http://www.mth.msu.edu/˜meier/Preprints/2monster/maxmon.pdf
[8] U.
Meierfrankenfeld,
The
maximal
2-local
subgroups
of
the
Monster and Baby Monster,
II, Preprint,
Michigan State University,
2003.
http://www.mth.msu.edu/˜meier/Preprints/2monster/2MNC.pdf
[9] S. Norton, Anatomy of the Monster: I, in Proceedings of the Atlas Ten Years On conference
(Birmingham 1995), pp. 198-214, Cambridge Univ. Press, 1998.
[10] S. P. Norton and R. A. Wilson, Anatomy of the Monster: II, Proc. London Math. Soc. 84
(2002), 581–598.
[11] S. P. Norton and R. A. Wilson, A correction to the 41-structure of the Monster, a construction
of a new maximal subgroup L2 (41), and a new Moonshine phenomenon, J. London Math.
Soc. 87 (2013), 943–962.
[12] R. A. Wilson, The odd-local subgroups of the Monster, J. Austral. Math. Soc. (A) 44 (1988),
1–16.
[13] R. A. Wilson, The maximal subgroups of the Baby Monster, I, J. Algebra 211 (1999), 1–14.
[14] R. A. Wilson, The finite simple groups, Springer GTM 251, 2009.
[15] R. A. Wilson, Classification of subgroups isomorphic to PSL2 (27) in the Monster, LMS J.
Comput. Math. 17 (2014), 33–46.
[16] R. A. Wilson, Every PSL2 (13) in the Monster contains 13A-elements, LMS J. Comput. Math.
18 (2015), 667–674.
[17] R. A. Wilson, Is Sz(8) a subgroup of the Monster?, Bull. London Math. Soc. 48 (2016),
355–364.
[18] R.
A.
Wilson
et
al.,
An
Atlas
of
Group
Representations,
http://brauer.maths.qmul.ac.uk/Atlas/.
School of Mathematical Sciences, Queen Mary University of London, London E1
4NS, U.K.
E-mail address: R.A.Wilson@qmul.ac.uk

