[GAP Forum] AllGroups(273)[3] ( final )

Nilo de Roock ndroock1 at gmail.com
Tue Aug 22 11:36:59 BST 2006


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


More information about the Forum mailing list