Ask Your Question

Revision history [back]

Regarding your first problem: in the group you defined, x^-1 is the same as x^4, and x^-2 is the same as x^3, so the answer returned by GAP is correct. I don't know if there is a way to ask GAP to display only positive powers.

As for the multiplication table, you need to spell it MultiplicationTable instead of MultTable:

gap> f := FreeGroup("x");                                             
<free group on the generators [ x ]>
gap> AssignGeneratorVariables(f);
#I  Assigned the global variables [ x ]
gap> x^5 * x^-7;
x^-2
gap> g := f/[x^5];
<fp group on the generators [ x ]>
gap> AssignGeneratorVariables(g);
#I  Global variable `x' is already defined and will be overwritten
#I  Assigned the global variables [ x ]
gap> Size(g);
5
gap> List(g);
[ <identity ...>, x, x^-1, x^2, x^-2 ]
gap> MultTable(g);
Error, Variable: 'MultTable' must have a value
not in any function at line 16 of *stdin*
gap> MultiplicationTable(g);
[ [ 1, 2, 3, 4, 5 ], [ 2, 3, 4, 5, 1 ], [ 3, 4, 5, 1, 2 ], [ 4, 5, 1, 2, 3 ], [ 5, 1, 2, 3, 4 ] ]
gap>