An ideal p\mathfrak pp of a ring RRR is prime if it is proper proper and if a,b∈Ra,b\in Ra,b∈R such that ab∈Iab \in Iab∈I, then a∈pa\in \mathfrak pa∈p or b∈pb\in \mathfrak pb∈p.
Wikidata ID: Q863912