Criterio de Buchberger
- Pure Mathematics -
Algebra Dictionary
Definición
Una caracterización que afirma que un conjunto finito de polinomios es una base de Gröbner (para un orden monomial fijo) si y sólo si cada S-polinomio de cada par de elementos del conjunto se reduce a cero módulo ese conjunto.