Thanks Mike, Jim, Steve, ( I should have seen that typo myself, it's a 'logical' one. ) Anyway, case closed. Here is the proof.
gap> H1:=F/[a^7,b^13,c^3,a*b*a^-1*b^-1,a^c*a^-2,b^c*b^-3]; <fp group on the generators [ f1, f2, f3 ]> gap> H2:=F/[a^7,b^13,c^3,a*b*a^-1*b^-1,a^c*a^-2,b^c*b^-9]; <fp group on the generators [ f1, f2, f3 ]> gap> IsomorphismGroups(H1,AllGroups(273)[3]); [ f1, f2, f3 ] -> [ f2, f3, f1 ] gap> IsomorphismGroups(H2,AllGroups(273)[3]); fail gap> IsomorphismGroups(H2,AllGroups(273)[4]); [ f1, f2, f3 ] -> [ f2^3, f3^8, f1^2*f2^6*f3^5 ] -- met vriendelijke groet / kind regards, nilo de roock _______________________________________________ Forum mailing list [email protected] http://mail.gap-system.org/mailman/listinfo/forum
