Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-23T02:16:21.554Z Has data issue: false hasContentIssue false

A computer aided study of a group defined by fourth powers

Published online by Cambridge University Press:  17 April 2009

M.F. Newman
Affiliation:
Department of Mathematics, Institute of Advanced Studies, Australian National University, Canberra, ACT.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

There is a group defined by fourth powers which did not yield to attempts to determine its order by coset enumerations. This group has now been shown to be infinite with the aid of a computer. An outline of the method is given as well as a simple direct proof inspired by the results of further computer calculations.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1976

References

[1]Burnside, W., “On an unsettled problem in the theory of discontinuous groups”, Quart. J. Math. 33 (1902), 230238.Google Scholar
[2]Coxeter, H.S.M. and Moser, W.O.J., Generators and relations for discrete groups (Ergebnisse der Mathematik und ihrer Grenzgebiete, 14. Springer-Verlag, Berlin, Göttingen, Heidelberg, 1957).CrossRefGoogle Scholar
[3]Havas, George, “A Reidemeister-Schreier program”, Proc. Second Internat. Conf. Theory of Groups, Canberra, 1973, 347356 (Lecture Notes in Mathematics, 372. Springer-Verlag, Berlin, Heidelberg, New York, 1974).Google Scholar
[4]Leech, John, “Coset enumeration on digital computers”, Proc. Cambridge Philos. Soc. 59 (1963), 257267.Google Scholar
[5]Macdonald, I.D., “A computer application to finite p-groups”, J. Austral. Math. Soc. 17 (1974), 102112.Google Scholar
[6]Tobin, John Joseph, “On groups of exponent four” (PhD thesis, Manchester University, Manchester, 1954).Google Scholar
[7]Warnsley, J.W., “Computation in nilpotent groups (theory)”, Proc. Second Internat. Conf. Theory of Groups, Canberra, 1973, 691700 (Lecture Notes in Mathematics, 372. Springer-Verlag, Berlin, Heidelberg, New York, 1974).Google Scholar