Creating subgroups in GAP

181 Views Asked by At

Suppose we have a group G:

F := FreeGroup(3);
G := F / [F.1^3, F.2^4, F.3^5, F.1*F.2*F.1^-1];

(the relations don't matter). How do we get a subgroup of G generated by G.1 and G.2?

2

There are 2 best solutions below

2
On BEST ANSWER

Your post was full of typos, which might account for your problems. You can put:

H := Subgroup(G, [G.1,G.2]);

Or, for more general situations:

gens := GeneratorsOfGroup(G);;
H := Subgroup(G, [gens[1], gens[2]] );
2
On

According to the manual, simply use Subgroup(G, [G.1, G.2]);.