44.1 Creating Finitely Presented Groups

creates a finitely presented group given by the presentation ágens \midrels ñ where gens are the generators of the free group F. Note that relations are entered as relators, i.e., as words in the generators of the free group. To enter an equation use the quotient operator, i.e., for the relation a^b = ab one has to enter a^b/(a*b).

gap> f := FreeGroup( 3 );;
gap> f / [ f.1^4, f.2^3, f.3^5, f.1*f.2*f.3 ];
<fp group on the generators [ f1, f2, f3 ]>

returns the factor group G/N of G by the normal closure N of elts where elts is expected to be a list of elements of G.

[Top] [Up] [Next] [Index]