Algoritmos y técnicas para calcular el radical sqrt(I) de un ideal I, es decir, el conjunto {f | f^n ∈ I para algún n}, que identifica el ideal de funciones que se anulan en la misma variedad y por tanto la componente geométrica reducida subyacente.

Principio

Calcular el cierre por raíces: usar bases de Gröbner, descomposición primaria, saturación o algoritmos especializados (por ejemplo, el truco de Rabinowitsch, ideales de prueba) para detectar si un polinomio es nilpotente módulo I y por tanto pertenece al radical.

Demostración

Para I = (x^2, xy) en k[x,y], se observa que x^2 ∈ I y xy ∈ I, por lo que cualquier f cuya potencia sea divisible por x está en el radical; explícitamente sqrt(I) = (x). Esto puede verificarse mediante una base de Gröbner o localizando en primos y comprobando pertenencia.

Aplicación incorrecta

Suponer que el cálculo del radical cuesta lo mismo que la prueba de pertenencia al ideal puede ser engañoso: calcular radicales puede requerir una descomposición primaria costosa; usar heurísticas ingenuas sin certificación puede devolver radicales incorrectos en presencia de componentes embebidas o en característica positiva.

Consecuencia

Conocer sqrt(I) da la estructura reducida del esquema y el soporte a nivel de conjuntos, simplifica muchas cuestiones geométricas y es un paso previo al cálculo de componentes primarias o multiplicidades.

Inversión

Centrarse sólo en radicales elimina la multiplicidad scheme-teórica y la estructura nilpotente; por el contrario, intentar deducir toda la estructura scheme-teórica solo a partir de radicales es imposible porque los radicales ignoran la información embebida y nilpotente.

Límite

Existen algoritmos efectivos para álgebras de tipo finito sobre cuerpos, especialmente en característica cero o en pequeña característica positiva con precauciones; en característica grande, sobre anillos de coeficientes infinitos o en anillos no noetherianos el problema puede ser más difícil o indecidible.

Tensión semántica

El cálculo del radical frecuentemente se contrapone a la descomposición primaria: el radical da información a nivel de conjuntos con menor coste, mientras que la descomposición primaria ofrece datos scheme-teóricos más finos a mayor coste computacional.

Síntesis

El cálculo del radical identifica el soporte reducido de un ideal encontrando todos los elementos cuyas potencias están en el ideal; los métodos van desde pruebas de pertenencia con Gröbner hasta saturación y descomposición primaria, intercambiando coste computacional por detalle estructural.