[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