[GAP Forum] something wrong with NewmanInfinityCriterion?

[Bill Allombert]

On Mon, Apr 08, 2013 at 01:11:47PM -0500, glebsky at cactus.iico.uaslp.mx wrote:
> Well.. It is known that the groups
> M(a,b,c)=<x,y,z | x^y=x^a, y^z=y^b, z^x=z^b> are finite (see for example
> D.L. Johnson Presentations of groups, Ch.7, exercise 16).
> (Here a,b,c are natural numbers, x^y=y^(-1)*x*y.)

At least M(1,1,1) is infinite.

Cheers,
Bill.