2-generations of the sporadic simple groups.

Abstract

A group G is said to be 2-generated if G = (x, y), for some non-trivial elements x, y E G. In this thesis we investigate three special types of 2-generations of the sporadic simple groups. A group G is a (l, rn, n )-generated group if G is a quotient group of the triangle group T(l, rn, n) = (x, y, zlx1 = ym = zn = xyz = la). Given divisors l, rn, n of the order of a sporadic simple group G, we ask the question: Is G a (l, rn, n)-generated group? Since we are dealing with simple groups, we may assume that III +l/rn + l/n < 1. Until recently interest in this type of generation had been limited to the role it played in genus actions of finite groups. The problem of determining the genus of a finite simple group is tantamount to maximizing the expression III +l/rn +Iln for which the group is (l,rn,n)-generated. Secondly, we investigate the nX-complementary generations of the finite simple groups. A finite group G is said to be nX-complementary generated if, given an arbitrary non-trivial element x E G, there exists an element y E nX such that G = (x, y). Our interest in this type of generation is motivated by a conjecture (Brenner-Guralnick-Wiegold [18]) that every finite simple group can be generated by an arbitrary non-trivial element together with another suitable element. It was recently proved by Woldar [181] that every sporadic simple group G is pAcomplementary generated, where p is the largest prime divisor of IGI. In an attempt to further the theory of X-complementary generations of the finite simple groups, we pose the following problem. Which conjugacy classes nX of the sporadic simple groups are nX-complementary generated conjugacy classes. In this thesis we provide a complete solution to this problem for the sporadic simple groups HS, McL, C03, Co2 , Jt , J2 , J3 , J4 and Fi 22 · We partially answer the question on (l, rn, n)-generation for the said sporadic groups. A finite non-abelian group G is said to have spread r iffor every set {Xl, X2, ' , "xr } of r non-trivial distinct elements, thpre is an element y E G such that G = (Xi, y), for all i. Our interest in this type of 2-generation comes from a problem by BrennerWiegold [19] to find all finite non-abelian groups with spread 1, but not spread 2. Every sporadic simple group has spread 1 (Woldar [181]) and we show that every sporadic simple group has spread 2.