Minimal prime over an ideal (source code)

= Minimal prime over an ideal
{title2=$P\in\operatorname{Min}_R(I)$}

= Minimal primes over an ideal
{synonym}

A <prime ideal> $P$ is minimal over an <ideal> $I$ if $I\subseteq P$ and no smaller <prime ideal> contains $I$. The definition also applies to two-sided <prime ideals of a noncommutative ring>.