The kernel of a ring homomorphism f:R⟶S is the set of all elements of R which are mapped to zero. It is the kernel of f as a homomorphism of additive groups. It is an ideal of R.

group kernel | ring homomorphism