[GAP Forum] AllGroups(273)[3] revisited.

Nilo de Roock ndroock1 at gmail.com
Tue Aug 22 10:04:01 BST 2006


Dear Mike (Newman),

Thank you very much for your reply!


You wrote that

Put H1 = {a,b,c | a^7 = b^13 = a^3 = 1, ab = ba, a^c = a^2, b^c = b^3}.,

Put H2 = {a,b,c | a^7 = b^13 = a^3 = 1, ab = ba, a^c = a^2, b^c = b^9}.

are presentations for the groups of type C91 : C3 and are isomorphic to
AllGroups(273)[3] and AllGroups(273)[4]

I tried to create these groups to have GAP confirm an isomorphism but until
now I failed.


For example, for A4, I would do it as follows. ( A4. a^3=1,b^2=1,
a*b*a=b*a^-1*b. )

F:=FreeGroup(2);; a:=F.1;; gap> b:=F.2;;

H1:=F/[a^3,b^2,a*b*a*b^-1*a*b^-1];;

gap> Size(H1);
12
gap> StructureDescription(H1);
"A4"

gap> List(AllGroups(12),StructureDescription);
[ "C3 : C4", "C12", "A4", "D12", "C6 x C2" ]
gap> IsomorphismGroups(H1,AllGroups(12)[3]);
[ f1, f2 ] -> [ f1*f3, f2*f3 ]

And then I get the isomorphism confirmed.



Now for H1 = {a,b,c | a^7 = b^13 = a^3 = 1, ab = ba, a^c = a^2, b^c = b^3},
I tried the same.

gap> H1:=F/[a^7,b^13,a^3,a*b*a^-1*b^-1,a^c*a^-2,b^c*b^-3];
<fp group on the generators [ f1, f2, f3 ]>
gap> Size(H1);
infinity
gap>

I get a group of inifite order. What am I doing wrong here??

Any hints? Thanks on beforehand for any help.

-- 
met vriendelijke groet / kind regards,
nilo de roock


More information about the Forum mailing list