Primary ideal (source code)

= Primary ideal
{wiki}

= Primary
{synonym}

An ideal $I$ is primary when $ab\in I$ and $a\notin I$ imply $b^n\in I$ for some positive integer $n$.