Prime ideal
= Prime ideal
{wiki}
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.
= Prime ideal
{wiki}
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.