Un conjunto finito de generadores de un ideal de polinomios en un anillo de polinomios, elegido de modo que respecto a un orden monomial fijo cada polinomio del ideal tenga una forma normal única módulo ese conjunto; en la práctica una base de Gröbner hace algorítmicos el test de pertenencia al ideal, la eliminación y el cálculo de invariantes algebraicos.

Principio

Sustituir generadores arbitrarios por otros cuyos términos líderes generen el ideal de términos líderes, de modo que las reducciones terminen y las formas normales sean únicas respecto al orden monomial.

Demostración

Para el ideal I = ⟨x^2 - y, xy - 1⟩ en k[x,y] con orden lexicográfico x > y, se puede calcular una base de Gröbner que contenga un polinomio univariado en y, lo que permite eliminar x y resolver el sistema por sustitución regresiva.

Aplicación incorrecta

Tratar una base de Gröbner calculada como si fuera independiente del orden monomial elegido o asumir que la base es mínima o reducida sin efectuar la reducción y normalización según ese orden.

Consecuencia

Si se calcula y reduce correctamente, la base de Gröbner proporciona un procedimiento de decisión para pertenencia al ideal, formas normales canónicas, facilita la eliminación de variables y permite calcular la dimensión y la serie de Hilbert.

Inversión

Un conjunto generador genérico que no sea una base de Gröbner no produce formas normales únicas: distintas secuencias de reducción pueden dar restos distintos y las pruebas de pertenencia quedan inconclusas.

Límite

Se aplica a ideales en anillos de polinomios conmutativos (y a variantes de módulos con adaptaciones); requiere un orden monomial bien fundado y no se traslada directamente a anillos no conmutativos o series formales sin modificaciones.

Tensión semántica

Se suele confundir con una base de álgebra lineal: una base de Gröbner genera un ideal, no una base del espacio vectorial. También existe tensión entre 'base de Gröbner reducida' (canónica) y un 'conjunto finito de generadores' cualquiera.

Síntesis

La base de Gröbner es un conjunto finito de generadores elegido según un orden monomial de modo que los términos líderes controlen la reducción; esto permite resolver algorítmicamente muchas preguntas sobre el ideal, con una dependencia crucial en la elección del orden.