[GAP Forum] Unexpected Behaviour in Size()

Dima Pasechnik dima at ntu.edu.sg
Sun Feb 26 18:08:25 GMT 2006


Dear Forum,
On 2/27/06 12:39 AM, "Nilo de Roock" <ndroock1 at gmail.com> wrote:

> Hello GAP forum,
> 
> I created the free group ( i got this spec. for the group from a
> textbook-exercise ):
> gap> F:=FreeGroup(3);
> <free group on the generators [ f1, f2, f3 ]>
> gap> x:=F.1;
> f1
> gap> y:=F.2;
> f2
> gap> z:=F.3;
> f3
> gap> G:=F/[y^3*z^15,x^4*y^7*z^3,x^8,y^14,z^18];
> <fp group on the generators [ f1, f2, f3 ]>
> 
> Then when I wanted to now the size of the group, GAP became a bit of
> erratic.
> 
That's a huge group for sure (as you can gather, using PQuotient, that it's
at least 2^97)
Can it be ininite?
Anyhow, enumerating conjugacy classes modulo the trivial subgroup (that's
what Size will try to do) is out of the question.

-- 
Dima Pasechnik
http://www.ntu.edu.sg/home/dima/





More information about the Forum mailing list