How does as_permutation_group() work?
I am trying to find one specific subgroup of some group G. As subgroups are only accesible in case of permutation group I have to use Gp=G.as_permutation_group() and look for this subgroup in Gp. So i found generators of this subgroup in Gp and I want to come back to my original group G. To do this I need isomorphism ϕ:G→Gp. Are there any ways to get it or maybe the other way to solve the problem?
Can you provide more details? From a quick glance it looks like there are several definitions of
as_permutation_group
, depending on the original group. What is your groupG
?