semilinear map

Also known as semi-linear transformation, semilinear transformation, semi-linear map, semilinear function

homomorphism between modules, paired with the associated homomorphism between the respective base rings