[GAP Forum] Displayed name for generators of group
Gabriel Cardona
bielcardona at gmail.com
Mon Sep 3 09:03:20 BST 2018
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.
More information about the Forum
mailing list