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 _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
