If $R$ is a commutative ring $R$, an ideal $I$ is **prime** if for all $a,b\in R$,
$$ ab\in I \implies a\in I \quad \text{or}\quad b\in I.$$

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by John Jones on 2018-08-06 04:14:39

**Referred to by:**

**History:**(expand/hide all)

- 2018-08-06 04:14:39 by John Jones (Reviewed)