Ідеал, що збігається зі своїм радикалом має назву радикальний ідеал.
Властивості
Радикал ідеалу теж є ідеалом.
Нехай деяке комутативне кільце, a два елементи, що належать радикалу ідеалу . Нехай такі, що та . З комутативності і можна використати формулу бінома Ньютона для :
При маємо , тоді і доданки, що відповідають тим індексам рівні нулю. Однак при , одержується . Тобто всі доданки належать і, зважаючи на замкнутість ідеалів щодо додавання, є елементом радикалу .
Далі якщо — деякий елемент кільця і — елемент радикалу такий, що , тоді тобто , що доводить твердження.
Радикал ідеалу рівний перетину всіх простих ідеалів, що містять .(Див. статтю Простий ідеал).