Barry Monson wrote:
Suppose G is a permutation group, say with
generators, a,b,c, and with some subgroup
H. How can I get permutations representing the
action of G on the right cosets of H?
I realize this must be a trivial command or two,
but somehow I cannot make Gap do the job.
You want to use `Action' (to get an image group) or `ActionHomomorphism' (to
get a homomorphism to a permutation group). Thus
In fact (since this is such a prominent task) there is a better performing
version, that acts only on representatives of the cosets:
-- Colorado State University, Department of Mathematics,
Weber Building, Fort Collins, CO 80523, USA
email: firstname.lastname@example.org, Phone: ++1-970-4914288