Prueba de Pertenencia a un Ideal

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.