Commutative ring/Ring homomorphism/Kernel/Ideal/Fact

< Commutative ring < Ring homomorphism < Kernel < Ideal

Let and be commutative rings, and let

be a ring homomorphism.

Then the

kernel

is an ideal

in .