[GAP Forum] Projection of Group onto subset of points

[Christopher Jefferson]

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]?

Chris