Skip to main content
×
Home
    • Aa
    • Aa

Nice Efficient Presentions for all Small Simple Groups and their Covers

  • Colin M. Campbell (a1), George Havas (a2), Colin Ramsay (a3) and Edmund F. Robertson (a4)
Abstract
Abstract

Prior to this paper, all small simple groups were known to be efficient, but the status of four of their covering groups was unknown. Nice, efficient presentations are provided in this paper for all of these groups, resolving the previously unknown cases. The authors‘presentations are better than those that were previously available, in terms of both length and computational properties. In many cases, these presentations have minimal possible length. The results presented here are based on major amounts of computation. Substantial use is made of systems for computational group theory and, in partic-ular, of computer implementations of coset enumeration. To assist in reducing the number of relators, theorems are provided to enable the amalgamation of power relations in certain presentations. The paper concludes with a selection of unsolved problems about efficient presentations for simple groups and their covers.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      Nice Efficient Presentions for all Small Simple Groups and their Covers
      Available formats
      ×
      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your Dropbox account. Find out more about sending content to Dropbox.

      Nice Efficient Presentions for all Small Simple Groups and their Covers
      Available formats
      ×
      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your Google Drive account. Find out more about sending content to Google Drive.

      Nice Efficient Presentions for all Small Simple Groups and their Covers
      Available formats
      ×
Copyright
References
Hide All
1. Ahmad ABD Ghafur Bin, ‘The unsolvability of efficiency for groups’, Southeast Asian Math. Bull. 22 (1998) 331336.
2. Bosma Wieb, Cannon John and Playoust Catherine, ‘The Magma algebra system, I: the user language’, J. Symbolic Comput. 24 (1997) 235265; see also http://magma.maths.usyd.edu.au/magma/
3. Campbell C. M., and Robertson E. F., ‘A deficiency zero presentation for SL (2, p)’, Bull. London Math. Soc. 12 (1980) 1720.
4. Campbell C. M., Robertson E. F., Kawamata T., Miyamoto I. and Williams P.D., ‘Deficiency zero presentations for certain perfect groups’, Proc. Roy. Soc. Edinburgh 103A (1986) 6371.
5. Campbell Colin M. and Robertson Edmund F., ‘The efficiency of simple groups of order < 105, Comm. Algebra 10 (1982) 217225.
6. Campbell Colin M. and Robertson Edmund F., ‘On a class of groups related to SL(2, 2n)’, Computational group theory (ed. Atkinson Michael D., Academic Press, London, 1984) 4349.
7. Cambpell Colin M., Havas George, Hulpke Alexander and Robertson Edmund F., ‘Efficient simple groups’, Comm. Algebra 31 (2003) 51915197.
8. Cambpell Colin M., Robertson E. F. and Williams P. D., ‘Efficient presentations for finite simple groups and related groups’, Groups - Korea 1988, Lecture Notes in Math. 1398 (ed. Kim A. C. and Neumann B. H., Springer, New York, 1989) 6572.
9. Cannon John. J., McKay John and Young Kiang Chuen, ‘The non-abelian simple groups G, \G\ < 105 -presentations’, Comm. Algebra 7 (1979) 13971406.
10. Conway J. H., Curtis R. T., Norton S. P., Parker R. A. and Wilson R. A., Atlas of finite groups (Oxford Univ. Press, Oxford, 1985).
11. Coxeter H. S. M., ‘The abstract groups Gmnp Trans. Amer. Math. Soc. 45 (1939)73150.
12. Doković Dragomir Ž., ‘Presentations of some finite simple groups’, J. Austral. Math. Soc. Ser. A 45 (1988) 143168.
13. Gamble Greg, Hulpke Alexander, Havas George and Ramsay Colin, G AP package ACE; Advanced Coset Enumerator, (2004); http://www.gap-system.org/Packages/ace.html.
14. THE GAP GROUP, GAP - Groups, algorithms, and programming, Version 4.3, (2000;) http://www.gap-system.org/.
15. THE GAP GROUP, Balanced presentations for covering groups of simple groups, (2004); http://www.gap-system.org/Doc/Examples/balanced.html.
16. Havas George and Ramsay Colin, ‘Proving a group trivial made easy: a case study in coset enumeration’, Bull. Austral. Math. Soc. 62 (2000) 105118.
17. Havas George and Ramsay Colin, Coset enumeration: ACE version 3.001, (2001); http://www.itee.uq.edu.au/~havas/ace3001.tar.gz.
18. Havas George and Ramsay Colin, ‘Short balanced presentations of perfect groups’, Groups St Andrews 2001 in Oxford, vol. 1, London Math. Soc. Lecture Note Ser. 304 (ed. Campbell C. M., Robertson E. F. and Smith G. C., Cambridge Univ. Press, Cambridge, (2003) 238243.
19. Havas George, Newman M. F. and O'Brien E. A., ‘On the efficiency of some finite groups’, Comm. Algebra 32 (2004) 649656.
20. Kenne P. E., ‘Efficient presentations for three simple groups’, Comm. Algebra 14 (1986) 797800.
21. The New York Group Theory Cooperative, Magnus; http://www.grouptheory.org/.
22. Robertson Edmund. F., ‘Efficiency of finite simple groups and their covering groups’, Contemp. Math. 45 (1985) 287294.
23. Sunday J. G., ‘Presentations of the groups SL(2, m) and PSL(2, m)’, Canad. J. Math. 24(1972)11291131.
24. Wiegold J., ‘The Schur multiplier: an elementary approach’, Groups - St Andrews 1981, London Math. Soc. Lecture Note Ser. 71 (ed. Campbell C. M. and Robertson E. F., Cambridge Univ. Press, Cambridge, 1982) 137154.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

LMS Journal of Computation and Mathematics
  • ISSN: -
  • EISSN: 1461-1570
  • URL: /core/journals/lms-journal-of-computation-and-mathematics
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×
MathJax

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 49 *
Loading metrics...

Abstract views

Total abstract views: 245 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 22nd October 2017. This data will be updated every 24 hours.