Noun
primary ideal (plural primary ideals) (algebra, ring theory) Given a commutative ring R, any ideal I such that for any a,b ∈ R, if ab ∈ I then either b ∈ I or a ∈ I for some integer n > 0.