Base de Gröbner

Una base de Gröbner para un ideal I en un anillo de polinomios sobre un cuerpo (respecto de un orden monomial elegido) es un conjunto finito de generadores cuyos términos principales generan el ideal de términos principales; equivalentemente proporciona un algoritmo de reducción confluyente de polinomios de modo que la división multivariante por la base da restos canónicos y decide pertenencia al

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.