En un anillo conmutativo R, el nilradical Nil(R) es el ideal formado por todos los elementos nilpotentes de R; equivalentemente es la intersección de todos los ideales primos de R. Captura la parte no reducida de la estructura.
El ideal de un anillo R formado por todos los elementos nilpotentes; es decir, el conjunto {a ∈ R : a^n = 0 para algún n>0}, que es un ideal y coincide con la intersección de todos los ideales primos de R.