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 |