Constructing Permutation Representations for Matrix Groups

New techniques, both theoretical and practical, are presented for constructing permutation representations for computing with matrix groups defined over finite fields. The permutation representation is constructed on a conjugacy class of subgroups of prime order. We construct a base for the permutation representation, which in turn simplifies the computation of a strong generating set. In addition, we present an elementary test for checking the simplicity of the permutation image. The theory has been successfully tested on a representation of the sporadic simple groupLy, discovered by Lyons(1972). With noaprioriassumptions, we find a permutation representation of degree 9 606 125 on a conjugacy class of subgroups of order 3, find the order of the resulting permutation group, and verify simplicity. A Monte Carlo variation of the algorithm was used to achieve better space and time efficiency. The construction of the permutation representation required four CPU days on a SPARCserver 670MP with 64 MB. The permutation representation was used implicitly in the sense that the group element was stored as a matrix, and its permutation action on a “point” was determined using a pre-computed data structure. Thus, additional computations required little additional space. The algorithm has also been implemented using the MasPar MP-1 SIMD parallel computer and 8 SPARC-2ʹs running under MPI. The results of those parallel experiments are briefly reviewed.