[GAP Forum] ActionHomomorphism: can I also get

[Frederic Vanhove]

Dear forum,

some time ago the command ActionHomomorphism was recommend to me. I was 
now wondering, if I have two equivalent permutation groups, can I get a 
bijection between the groups as well as a corresponding bijection 
between the sets on which they act?

For instance:

g1:=Group((1,2),(3,4),(1,3));
g2:=Group((1,2),(2,3));

gaction1:=Action(Stabilizer(g1,1),[2..4],OnPoints);
gaction2:=Action(g2,[1..3],OnPoints);
ActionHomomorphism(gaction1,gaction2);

(of course, I want to consider much bigger sets)


Thanks,

Kind regards,
Frédéric