On Tue, 3 Sep 1996, Norai Romeu Rocco wrote:
> I haven't been able to understand the following situation in the coset > enumeration: > > Given, for instance, the finitely presented (finite) group g, > > gap> F:=FreeGroup("a", "b");; > gap> > gap> g:=F/[F.1^4, F.2^4, Comm(F.1, F.2)^F.1/Comm(F.1, F.2^(-1)), > Comm(F.1, F.2)^F.2/Comm(F.1^(-1), F.2), > Comm(F.1^2, F.2)/Comm(F.1, F.2^(-1))*Comm(F.1, F.2)]; > Group( a, b ) > gap> > > then GAP computes its Size quickly: > > gap> Index(g, TrivialSubgroup(g)); > 128 > > Now observe that the last relator comes from the commutator identity > > [x^2, y] = [x, y]^x*[x, y] > > which should give the last relator as a consequence of the third one > > [F.1^2, F.2] = [F.1, F.2^(-1)]*[F.1, F.2] > ............... > Could anyone tell me what's wrong? Seems to be a small bug in coset > enumaration (?). > NO --- User error: missing parentheses in
Comm(F.1^2, F.2)/Comm(F.1, F.2^(-1))*Comm(F.1, F.2)];
should be:
Comm(F.1^2, F.2)/ ( Comm(F.1, F.2^(-1))*Comm(F.1, F.2)] );
/ and = are not equivalent operators in presentations.
I think this explains it all.
George Havas (havas@cs.uq.edu.au) Phone: +61 7 3365 2904; Fax: +61 7 3365 1999 Department of Computer Science AUS http://www.cs.uq.oz.au/personal/havas The University of Queensland UK http://www-groups.dcs.st-and.ac.uk/~havas Queensland 4072 AUSTRALIA US http://dimacs.rutgers.edu/~havas