[GAP Forum] Projection of Group onto subset of points

Alexander Hulpke hulpke at math.colostate.edu
Thu Oct 16 22:10:40 BST 2008

Dear Forum,

On Oct 16, 2008, at 10/16/08 2:58, Christopher Jefferson wrote:

> I have a group G on the points [1..n]. I know that for some m<n, G  
> maps the set of points [1..m] to itself. Is there an easy way I can  
> get G only on the points [1..m]?

ActionHomomorphism(G,[1..m],OnPoints,"surjective") gives a homomorphism
or simply
gives the group acting on [1..m]



More information about the Forum mailing list