A presentation of the Monster and a set of matrices which satisfy it. (English) Zbl 1279.20024
Summary: We transform the “projective plan” presentation of the Monster sporadic simple group into a new form and verify the relations on explicit generators found using the 2-local computer construction of the Monster. This could in principle be used as part of a new, computer-based, proof of existence of the Monster, independent of that of Griess.
MSC:
| 20D08 | Simple groups: sporadic groups |
| 20F05 | Generators, relations, and presentations of groups |
| 20C40 | Computational methods (representations of groups) (MSC2010) |
| 68W30 | Symbolic computation and algebraic computation |
