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