On the Efficiency of the Simple Groups of Order Less Than a Million and Their Covers

Colin M. Campbell, George Havas, Colin Ramsay, Edmund F. Robertson
2007 Experimental Mathematics  
There is much interest in finding short presentations for the finite simple groups. In a previous paper we produced nice efficient presentations for all small simple groups and for their covering groups. Here we extend those results from simple group order less than 100,000 up to order one million, but we leave one simple group and one covering group for which the efficiency question remains unresolved. We give presentations that are better than available before, in terms of length and in terms
more » ... of computational properties, in the process answering two previously unresolved problems about the efficiency of covering groups of simple groups. Our results are based on major amounts of computation. We make substantial use of systems for computational group theory and, in particular, of computer implementations of coset enumeration.
doi:10.1080/10586458.2007.10129006 fatcat:l43stkh2gjhfrfwms3tofcqc7a