Ejercicios para el nal del bloque de Bases de Grobner

De entre estos ejercicios slo es necesario entregar la resolucin de uno de ellos. El archivo conteniendo la solucin deber subirse a la plataforma Moodle en el enlace correspondiente. La fecha lmite de entrega ser el Lunes 11 de Junio a las 12:00. 1. Responder (al menos parcialmente) a la pregunta siguiente: Dado un polinomio F K[X1 , . . . , Xn ] no nulo qu elementos del diagrama de Newton de F pueden ser exponentes para algn orden monomial? 2. En N3 podemos considerar el conjunto de los puntos del cubo de lado 1 sobre el (0, 0, 0):

{(0, 0, 0), (1, 0, 0), (0, 1, 0), (0, 0, 1), (1, 1, 0), (1, 0, 1), (0, 1, 1), (1, 1, 1)} Describir todas las posibles ordenaciones con un orden monomial. 3. Calcular una base de Grbner universal para el ideal < X Y 2 , XY X > en Q[X, Y]. 4. Un ideal a es conito si, y slo si, para un orden monomial se verica Exp(a) es nito. Por tanto, puesto que la codicin de ser conito no depende del orden elegido, para cualquier orden monomial se tiene que Exp (a) es nito. Sin embargo los posibles Exp (a) no son idnticos. Dar un ejemplo. (Hint: utilizar la caracterizacin de la transparencia 28 de la sesin 3 para calcular un ideal conito)