Definition:Kernel of Ring Homomorphism