[GAP Forum] Projection of Group onto subset of points

[Christopher Jefferson]

On 16 Oct 2008, at 22:10, Alexander Hulpke wrote:

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

Chris