Use this URL to cite or link to this record in EThOS:
Title: Presentations of linear groups
Author: Williams, Peter D.
Awarding Body: University of St Andrews
Current Institution: University of St Andrews
Date of Award: 1983
Availability of Full Text:
Access from EThOS:
Access from Institution:
If d(M) denotes the rank of the Schur multiplicator of a finite group G, then a group is efficient if -def G = d(M). Efficient presentations of the simple groups PSL(2,p), p an odd prime > 3, were obtained by J.G. Sunday. This raised the question of whether or not all finite simple groups are efficient. In this thesis, we investigate the deficiency of the groups PSL(2,pn). J.A. Todd gave presentations for PSL(2,pn) which use large numbers of generators and relations. Starting with these, we obtain, at best, deficiency -1 presentations for PSL(2,2n) (= SL(2,2n)) and deficiency -6 presentations for PSL(2,pn), p an odd prime. If pn = -1(mod 4), the latter can be reduced to a deficiency -4 presentation. Efficient presentations for PSL(2,25), PSL(2,27) and PSL(2,49) are obtained. The Behr-Mennicke presentation for PSL(2,p) is one of the most fundamental in the sense that it forms the basis for others, such as those given by Sunday, Zassenhaus and Sidki. Behr and Mennicke derived their presentation indirectly, and it would be desirable to have a more direct proof. The groups G[sub]p(a) are defined as < U, R, S | U3 = (UR)2 = (US)2 = Sp = Rt = (SaRU)3= 1, Sa2R = RS > where a ε GF(p)* and a2t = 1 (mod p) . We show that G[sub]p (2) is isomorphic with the Behr-Mennicke presentation for PSL(2,p), p > 3. Conditions are found to discover when Gp (a) is isomorphic with PSL(2,p) and, under these conditions, this provides a direct proof of the Behr-Mennicke presentations. For any odd positive integer m, we show that the groups SL(2,Z (m)) and PSL(2,Z(m)) are efficient.
Supervisor: Robertson, E. F. Sponsor: Science Research Council
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: QA385.W5 ; Continuous groups