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

Steve Linton sal at dcs.st-and.ac.uk
Tue Aug 22 10:32:35 BST 2006



I think Mike Newman's reply contained a typo:

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

this should be c^3 and likewise for H2.

	Steve

On Tue, 22 Aug 2006 11:04:01 +0200
"Nilo de Roock" <ndroock1 at gmail.com> wrote:

> 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
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum


-- 
Steve Linton	School of Computer Science  &
      Centre for Interdisciplinary Research in Computational Algebra
	     University of St Andrews 	 Tel   +44 (1334) 463269
http://www.dcs.st-and.ac.uk/~sal	 Fax   +44 (1334) 463278   



More information about the Forum mailing list