Proving an ideal is prime

Mar 14, 2025 10:24 PM

Suppose ϕ:RS is a ring homomorphism, and S has no (nonzero) zero-divisors. Prove from the definitions that ker(ϕ) is a prime ideal.