How does as_permutation_group() work?

asked 2023-04-04 20:52:53 +0100

Xxxharsh gravatar image

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?

edit retag flag offensive close merge delete

Comments

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 group G?

John Palmieri gravatar imageJohn Palmieri ( 2023-04-05 19:45:46 +0100 )edit