This function finds all the right cosets of the given subgroup in the given group, assigns integers consecutively to these cosets, constructs a permutation on these coset numbers for each group generator, and returns the permutation group generated by these permutations. Thus the permutation group will be a homomorphic image of (but not necessarily isomorphic to) the original group. A permgroup is returned whose generators are named the same as the original group generators.

The command with(group,permrep) allows the use of the abbreviated form of this command.