论文信息 - A computer aided study of a group defined by fourth powers

A computer aided study of a group defined by fourth powers

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.

Michael Newman

[1] H. Coxeter,et al. Generators and relations for discrete groups , 1957 .

[2] John Leech. Coset enumeration on digital computers , 1963 .

[3] J. W. Wamsley. Computation in Nilpotent Groups (Theory) , 1974 .

[4] I. D. Macdonald. A computer application to finite p-groups , 1974, Journal of the Australian Mathematical Society.

[5] George Havas. A Reidemeister-Schreier Program , 1974 .

[6] Narain Gupta,et al. On groups of exponent four , 1971 .