[GAP Forum] Small Group 8 of Order 24

[Dmytro Savchuk]

Dear Ian,

It looks that you are correct

gap> F:=FreeGroup(["a","b","c"]);
<free group on the generators [ a, b, c ]>
gap> a:=F.1;; b:=F.2;; c:=F.3;;
gap> FF:=F/[a^3,b^4,c^2,b*c*b*c,a*b*a*b^-1,a*c*a^-1*c];
<fp group on the generators [ a, b, c ]>
gap> IdSmallGroup(FF);
[ 24, 8 ]


Best Regards,
Dmytro



Friday, February 29, 2008, 5:56:22 AM, you wrote:

IM> Hi,

IM> would anyone know what small group 8 of order 24 is usually labelled?
IM> I think it is the following group...

IM> < a , b , c | a^3 , b^4 , c^2 , bcb=c , aba=b , ac=ca >.

IM> Thanks,
IM> Ian




-- 
Best regards,
 Dmytro                            mailto:savchuk at math.tamu.edu