(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).
環 R のイデアル I が、自身の冪根(すなわち、任意の元 r ∈ R について、ある正の整数 n により rⁿ ∈ I ならば必ず r ∈ I となる部分集合)と一致することを意味する。 / 言い換えると、ある正の整数 n に対して rⁿ が含まれるならば、r 自身も含まれている性質を持つイデアルである。