[GAP Forum] Working with restriction of WreathProduct's Projection

[Jacob Bond]

Hi,


I have constructed F1 wr A5, where F1 is the free group on 1 generator and A5 is embedded in S12, and have the projection map of the wreath product.  However, I would like to restrict the projection to a subgroup of the wreath product given by two generators t0, t1.  I've tried constructing the restriction in a few different ways:  RestrictedMapping, GroupHomomorphismByImages, and GroupHomomorphismByFunction.  None of these would return, and while GroupHomomorphismByImagesNC returned the homomorphism, it was unable to compute the image even of t0*t1.  Is there a better way to construct the restriction of the projection map?  Or am I probably out of luck?


Thank you,

Jacob