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,

Forum mailing list

Reply via email to