find a permutation representation of a group
subgroup of a group given by generators and relations (i.e. a subgrel)
Important: The group package has been deprecated. Use the superseding command GroupTheory[PermutationGroup] instead.
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.
Download Help Document
What kind of issue would you like to report? (Optional)