Primary ideal

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.