Return to search

Computing with simple groups : maximal subgroups and presentations

For the non-abelian simple groups G of order up to 106 , excluding the groups PSL(2,q), q > 9, the presentations in terms of an involution a and an element b of minimal order (with respect to a) such that G= < a,b > are well known. The presentations are complete in the sense that any pair (x,y) of generators of G satisfying x2=ym=1, with m minimal, will satisfy the defining relations of just one presentation in the list. There are 106 such presentations. Using a computer, we give generators for each maximal subgroup of the groups G. For each presentation of G, the generators of maximal subgroups are given as words in the group generators. Similarly generators for a Sylow p-subgroup of G, for each p, are given. For each group G, we give a representative for each conjugacy class of the group as a word in the group generators. Minimal presentations for each Sylow p-subgroup of the groups G, and for most of the maximal subgroups of G are constructed. To obtain such presentations, the Schur multipliers of the underlying groups are calculated. The same tasks are carried out for those groups PSL(2,q) of order less than 106 which are included in the "ATLAS of finite groups". For these groups we consider a presentation on two generators x, y with x2=y3=1. A finite group G is said to be efficient if it has a presentation on d generators and d+rank(M(G)) relations (for some d) where M(G) is the Schur multiplier of G. We show that the simple groups J1, PSU(3,5) and M22 are efficient. We also give efficient presentations for the direct products A5xA6, A5xA6,A6xA7 where Ĥ denotes the covering group of H.

Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:750959
Date January 1989
CreatorsJamali, Ali-Reza
ContributorsRobertson, E. F.
PublisherUniversity of St Andrews
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Sourcehttp://hdl.handle.net/10023/13692

Page generated in 0.0102 seconds