Teorema de las bases de Gröbner

Abstract

Por lo tanto lo que se espera de las Bases de Gröbner, es que se cada ideal que se tome se puede hallar una Base Gröbner ya sea de un dominio entero de una o varias variables con la restricci´on de que sea un campo; que fue tanto mecánico y engorroso en épocas pasadas de la historia que fue revolucionando la creación de algoritmos como el último fue de Buchberger con la optimización del algoritmo.