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

_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum

Reply via email to