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?
Forum mailing list