Prime ideal of a noncommutative ring (source code)

= Prime ideal of a noncommutative ring

= Prime ideals of a noncommutative ring
{synonym}

A proper two-sided ideal $P$ of a noncommutative ring is prime when $AB\subseteq P$ for two-sided ideals $A,B$ implies $A\subseteq P$ or $B\subseteq P$.