La operación que asigna a una subestructura (típicamente un ideal) el conjunto de elementos cuya alguna potencia pertenece a la subestructura; para un ideal I, su radical rad(I) = {x | x^n ∈ I para algún n ≥ 1}, produciendo un objeto cerrado por radical (un ideal igual a su propio radical).

Principio

Formar el radical cerrando bajo la toma de raíces de potencias: un elemento pertenece al radical exactamente cuando está en todo ideal primo que contenga la subestructura original; los radicales son intersecciones de sobreideales primos y detectan cocientes reducidos.

Demostración

En k[x], el radical de (x^2) es (x) porque cualquier polinomio cuya potencia esté en (x^2) debe ser divisible por x. En Z, rad((12)) = (6) ya que los primos que dividen 12 son 2 y 3 y el radical está generado por el producto de los primos distintos.

Aplicación incorrecta

Confundir el cierre radical con el cierre integral o con la adición de elementos algebraicos; tomar radicales sin considerar la estructura ambiente puede borrar información de multiplicidad y confluir componentes primarias distintas.

Consecuencia

Tomar radicales produce cocientes reducidos (el cociente por un ideal radical es reducido) e identifica el soporte primo; elimina información nilpotente y simplifica la imagen geométrica a costa de perder multiplicidad y datos embebidos.

Inversión

La operación inversa es pasar a potencias o a espesamientos primarios (reemplazar un ideal por sus potencias o componentes primarias), lo que reintroduce nilpotentes e información de multiplicidad que el radical olvida.

Límite

El cierre radical es una operación intrínseca sobre ideales y subvariedades, pero no captura integralidad ni estructuras algebraicas más finas; es más débil que el cierre integral y la descomposición primaria y puede no reflejar propiedades de finitud o descenso.

Tensión semántica

El cierre radical compite con el cierre integral y la descomposición primaria: registra el soporte (primos) pero no las multiplicidades ni relaciones integrales, por lo que puede entrar en conflicto con tareas que requieren información de finitud o normalización.

Síntesis

El cierre radical es el cierre canónico por toma de raíces de una subestructura que produce un objeto radical (reducido) mediante la intersección de todos los sobreideales primos; revela el soporte y elimina nilpotentes mientras descarta sutilezas de multiplicidad e integralidad.