 Primary ideal

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

In ring theory, a branch of abstract algebra, a **primary ideal** is a specific type of ideal that has certain properties related to the concept of prime ideals.