Let \(R\) be a commutative ring. A proper ideal \(\mfp \normal R\) is prime if for all \(a, b\in R\), \[ ab\in \mfp \implies a\in \mfp \text{ or } b\in \mfp. \]
Prime ideal
D-5BM46
D-5BM46
Let \(R\) be a commutative ring. A proper ideal \(\mfp \normal R\) is prime if for all \(a, b\in R\), \[ ab\in \mfp \implies a\in \mfp \text{ or } b\in \mfp. \]