[GAP Forum] Projection of Group onto subset of points

[Alexander Hulpke]

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
Action(G,[1..m],OnPoints)
gives the group acting on [1..m]

Best,

    Alexander