Base de Gröbner

Carta Común · N.º 429562

En matemáticas, y más específicamente en álgebra computacional, geometría algebraica computacional y álgebra conmutativa computacional, una base de Gröbner es un tipo particular de conjunto generador de un ideal en un anillo polinominal K [ x 1 , … , x n ] {\displaystyle \mathbb {K} [x_{1},\dots ,x_{n}]} sobre un cuerpo K {\displaystyle \mathbb {K} } . Una base de Gröbner permite deducir fácilmente muchas propiedades importantes del ideal y de la variedad algebraica asociada, como la dimensión y el número de ceros cuando es finito. El cálculo de bases de Gröbner es una de las principales herramientas prácticas para resolver sistemas de ecuaciones polinómicas y calcular imágenes de variedades algebraicas…

Leer en Wikipedia