Un procedimiento de decisión que determina si un elemento dado (habitualmente un polinomio) pertenece a un ideal I especificado en un anillo o estructura algebraica; la salida es sí/no y a menudo un certificado, como una representación del elemento como combinación de generadores del ideal.

Principio

Transformar el conjunto de generadores de I en una base canónica respecto de un orden monomial elegido (para anillos de polinomios suele ser una base de Gröbner) y reducir el elemento objetivo módulo esa base; la pertenencia se da exactamente cuando el resto es cero tras la reducción por la base.

Demostración

En k[x,y], para probar si f(x,y) está en I = (x^2 + y, xy - 1), calcular una base de Gröbner de I respecto de un orden monomial elegido, reducir f por esa base; si la reducción resulta 0, f ∈ I y los pasos de reducción dan una combinación explícita de los generadores que iguala a f.

Aplicación incorrecta

Confiar en la evaluación en un número finito de puntos o en especializaciones aleatorias para concluir pertenencia; la identidad polinómica en muchos puntos no prueba pertenencia a un ideal y puede dar falsos positivos, especialmente sobre cuerpos finitos o esquemas no reducidos.

Consecuencia

Una prueba de pertenencia correcta en anillos de polinomios proporciona certificados algebraicos efectivos, permite procedimientos de eliminación y decisión en geometría algebraica y álgebra computacional, y reduce muchas cuestiones estructurales a cálculos finitos cuando el anillo es noetheriano y los algoritmos terminan.

Inversión

En lugar de probar la pertenencia de un elemento a I, se puede comprobar si I está contenido en un ideal J o si un elemento pertenece a la raíz de I; invertir el enfoque cambia el objetivo desde expresar un elemento por generadores a relaciones de inclusión o a la pertenencia radical (esta última requiriendo algoritmos distintos).

Límite

Ámbito normalmente restringido a anillos noetherianos o entornos donde existen y pueden calcularse bases canónicas; en anillos no noetherianos o en ciertos anillos no conmutativos la pertenencia puede ser indecidible o intratable; la complejidad depende del número de variables, los grados y el cuerpo de coeficientes.

Tensión semántica

Pertenencia a un ideal frente a pertenencia radical y cálculos de síguelas (syzygies): la pertenencia directa pide una expresión mediante generadores, mientras que la pertenencia radical y la descomposición primaria tratan la pertenencia hasta potencias o componentes estructurales; los métodos y la complejidad difieren.

Síntesis

La prueba de pertenencia a un ideal reduce la cuestión de si un elemento está generado por un ideal a la reducción algorítmica mediante una base canónica (por ejemplo, una base de Gröbner); cuando es computable proporciona certificados explícitos y posibilita muchas tareas algorítmicas en álgebra, estando su viabilidad limitada por el anillo, el orden elegido y la complejidad.