radical ideal

(algebra, commutative algebra, ring theory) An ideal I within a ring R that is its own radical (i.e., for any r ∈ R, if rⁿ ∈ I for some positive integer n, then r ∈ I).