[GAP Forum] Displayed name for generators of group

[Gabriel Cardona]

Dear members of the GAP forum,

I am trying to display the elements of a group using names that I specify
for the generators. I could find a way to do it when the group is given as
generators and relations, but not when it is constructed with DirectProduct
(or CyclicGroup,...).

A simplified example is as follows:

gap> F1:=FreeGroup("s");;
gap> G1:=F1/[F1.1^2];;
gap> F2:=FreeGroup("t");;
gap> G2:=F2/[F2.1^2];;
gap> G:=DirectProduct(G1,G2);;
gap> Elements(G1);
[ <identity ...>, s ]
gap> Elements(G2);
[ <identity ...>, t ]
gap> Elements(G);
[ <identity ...>, f1, f2, f1*f2 ]

I would like to get "f1" displayed as "s" and "f2" as "t".
Is there a way to do it?

Thanks!

Gabriel Cardona

PS: I know I could define it as the free group with two generators (that I
can assign a name) modulo the appropiate relations. In the real case I need
to deal with the description of the group gets too complicated and GAP
cannot even find its subgroups.