We want to verify as many presentations of sporadic groups in the ATLAS as possible. Where this is not possible, we want to verify as many maximal subgroups as possible. The following groups have presentations available on the ATLAS and still need to be verified (please update where appropriate):
Mathieu Groups
Leech Lattice
Monster sections
Pariahs
Miscellaneous
The other groups don't have presentations on the ATLAS, but might have presentations in the literature.
We want to verify as many presentations of sporadic groups in the ATLAS as possible. Where this is not possible, we want to verify as many maximal subgroups as possible. The following groups have presentations available on the ATLAS and still need to be verified (please update where appropriate):
Mathieu Groups
Leech Lattice
Monster sections
Pariahs
Miscellaneous
The other groups don't have presentations on the ATLAS, but might have presentations in the literature.