Yes, the command is:
hom := FactorCosetAction(G,H);
This gives the permutation representation as a homomorphism. The
permutation group itself can be gotten by:
prmgrp := Image( hom );
See http://www.gap-system.org/Manuals/doc/htm/ref/CHAP039.htm#SECT007
On 2009-05-18, at 11:10, Vivek Jain wrote:
I want to discuss the following problem with Gap Forum
"Let $G$ be a group and $H$ be its proper subgroup. Then using GAP
how can we get the Permutation Representation of $G$ on the set of
right cosets of $H$ in $G$."
Vivek Kumar Jain
HRI, Allahabad
India-211019
Explore and discover exciting holidays and getaways with Yahoo!
India Travel http://in.travel.yahoo.com/
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
