[GAP Forum] Subgroups of Finitely Presented Groups

[Jay Taylor]

Dear Forum,

I have the following problem. I start with a free group F on a finite number
of generators and then construct a finite finitely presented group H = F/R,
for some relations R. I now define a subgroup S of H by giving a certain
list of generators for S coming from H. When I call Elements(S) the elements
are presented as words in the generators used to define S. However I would
like to get GAP to express the elements of S as minimal length words in the
original generators of F using the relations R. In other words I want to
work with the image of S under an embedding of S into H. Is this possible?

Thanks for any help anybody can give me.

-Jay

Using: GAP 4, version 4.4.12.