Isolated prime of a primary decomposition (source code)

= Isolated prime of a primary decomposition

= Isolated primes of a primary decomposition
{synonym}

An isolated prime of a minimal primary decomposition is a minimal member of the set of radicals of its primary components.