Proving an ideal is prime
Suppose
View code
Suppose $\phi:R\to S$ is a ring homomorphism, and $S$ has no (nonzero) zero-divisors. Prove from the definitions that $\ker(\phi)$ is a prime ideal.
Suppose
Suppose $\phi:R\to S$ is a ring homomorphism, and $S$ has no (nonzero) zero-divisors. Prove from the definitions that $\ker(\phi)$ is a prime ideal.