Definition:Ring Homomorphism