[GAP Forum] something wrong with NewmanInfinityCriterion?

Bill Allombert Bill.Allombert at math.u-bordeaux1.fr
Mon Apr 8 19:47:08 BST 2013


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.



More information about the Forum mailing list