Kernel of a ring homomorphism