 Prime ideal

An ideal $\mathfrak{p}$ is prime when $ab\in \mathfrak{p}$ implies $a\in \mathfrak{p}$ or $b\in \mathfrak{p}$, equivalently when the quotient is an integral domain.