Chinese Remainder Theorem. Eisenbud Ex.2.6. Similar to Atiyah-Macdonald 1.10 and Stacks 00DT

Correspondence theorem

An element is in the kernel if and only if it maps to zero.

If the target is not the zero ring, then one is not in the kernel.

The kernel of a homomorphism to an integral domain is a prime ideal.