group[permrep] - find a permutation representation of a group
|
Calling Sequence
|
|
permrep(sbgrl)
|
|
Parameters
|
|
sbgrl
|
-
|
subgroup of a group given by generators and relations (i.e. a subgrel)
|
|
|
|
|
Description
|
|
•
|
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
Was this information helpful?