A computer aided study of a group defined by fourth powers
- 17 April 1976
- journal article
- research article
- Published by Cambridge University Press (CUP) in Bulletin of the Australian Mathematical Society
- Vol. 14 (2) , 293-297
- https://doi.org/10.1017/s0004972700025119
Abstract
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.Keywords
This publication has 1 reference indexed in Scilit:
- A reidemeister-schreier programPublished by Springer Nature ,2006