Prime Ideal

An Ideal $I$ such that if $ab\in I$, then either $a\in I$ or $b\in I$.

See also Dedekind Ring, Ideal, Krull Dimension, Maximal Ideal, Stickelberger Relation, Stone Space