Bases de Grobner
Coloquio Postgrado, 14.6.2010 a las 17:30
Natalia Garcia
Universidad de Concepción
En la generalización del algoritmo de la división de polinomios para varias variables no se preserva la unicidad del resto. Las bases de Grobner son conjuntos de generadores para ideales de polinomios con la propiedad que al dividir un polinomio por los elementos de este conjunto se obtiene un resto único, sin importar el orden de división. Esto nos da variadas aplicaciones entre las que se encuentran: decidir la pertenencia de un polinomio a un ideal, decidir igualdad de ideales, y decidir si un sistema de ecuaciones polinomiales tiene solución en los complejos.