Prime ideal of a noncommutative ring
= Prime ideal of a noncommutative ring
{wiki=Prime_ideal#Prime_ideals_for_noncommutative_rings}
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$.