DEPARTAMENTO DE MATEMATICA FACULTAD DE CIENCIAS F ISICAS Y MATEMATICAS UNIVERSIDAD DE CONCEPCION

Bases de Grobner
Natalia Garc a 27 de febrero de 2009

1.

Introducci on
En este trabajo construiremos un algoritmo para la divisi on en el anillo k [x1 , . . . , xn ], que ser a una generalizaci on del algoritmo para la divisi on en k [x]. Este tiene el problema que no es conmutativo ya que al dividir un polinomio f por otros g1 , . . . , gs se obtienen distintos restos al cambiar el orden de los gi . Las bases de Grobner tienen la propiedad que al dividir un polinomio por los elementos de esta se obtiene un resto u nico, sin importar el orden de divisi on. Esto nos da variadas aplicaciones entre las que se encuentran decidir la pertenencia de un polinomio a un ideal y decidir igualdad de ideales.

2.
2.1.

Bases de Grobner
Ordenes monomiales

En el algoritmo de la divisi on en k [x] hay una noci on de orden en los t erminos de los polinomios, dada por el grado. Si queremos extender este m etodo para k [x1 , . . . , xn ], debemos encontrar una forma de ordenar un vocamente los t erminos de polinomios de m as variables, que adem as sea compatible con su estructura.
a2 an 1 Denici on 2.1 Un monomio sobre k [x1 , . . . , xn ] est a denido por xa 1 x2 xn , donde cada ai es un entero no negativo. Representaremos a este monomio por medio del vector (a1 , . . . , an ) Nn .

Denici on 2.2 Un orden sobre un conjunto A es una relaci on reexiva, antisim etrica y transitiva. Un orden < sobre un conjunto A es un orden total si dados a, b A, entonces a < b , b < a o a = b. Denici on 2.3 Un orden monomial sobre k [x1 , . . . xn ] es un orden total sobre los vectores (a1 , . . . , an ) Nn , el cual satisface las siguientes condiciones: i) Para todo a, b, c Nn , si a b entonces a + c b + c. ii) Es un buen orden sobre Nn , es decir, todo conjunto no vac o de elementos de Nn tiene un elemento minimal. 1

b1 bn an 1 ordenes monomiales son: Si p = xa 1 xn , q = x1 xn , algunos tipos de

Orden Lexicogr aco (lex): Aqu q p si en la resta (a1 , . . . , an ) (b1 , . . . , bn ) la primera coordenada distinta de cero de izquierda a derecha es positiva. Orden Lexicogr aco Graduado (grlex): Los monomios se ordenan por grado total, y las igualdades se resuelven usando el orden lexicogr aco. Es decir, q p si ai > bi , o ai = bi y en (a1 , . . . , an ) (b1 , . . . , bn ) el primer t ermino distinto de cero de izquierda a derecha es positivo. Orden Lexicogr aco Graduado Inverso (grevlex): Los monomios se ordenan por grado total, y las igualdades se resuelven usando el orden lexicogr aco inverso. Es decir, q p si ai > bi , o ai = bi y en (a1 , . . . , an ) (b1 , . . . , bn ) el primer t ermino distinto de cero de derecha a izquierda es negativo. Ejemplo 2.1 Ordenar los siguientes monomios en k [x1 , x2 , x3 ] con respecto a los ordenes monomiales Lexicogr aco y Lexicogr aco Graduado Inverso:
2 a = x3 1 x2 x3

b = x5 2 x3

Representando estos monomios como vectores de N3 , vemos que en la resta (3, 1, 2)(0, 5, 1) = (3, 4, 1) la primera coordenada distinta de cero de izquierda a derecha es positiva, as que con el orden lexicogr aco tenemos que b a. Ordenando con respecto al orden lexicogr aco graduado inverso tenemos que ai = 6 = bi por lo que debemos comparar a y b usando el orden lexicogr aco inverso. Calculamos a b, (3, 1, 2) (0, 5, 1) = (3, 4, 1). La primera coordenada de derecha a izquierda es positiva, as que a b.
an 1 Denici on 2.4 Sea f = ca xa 1 xn un polinomio distinto de cero, con a = (a1 , . . . , an ). Usando un orden monomial jo, denimos:

Multigrado: mdeg (f ):=m ax(a Nn |ca = 0) Coeciente l der: Lc(f ):=cmdeg(f ) Monomio l der: Lm(f ):=xmdeg(f ) T ermino l der: Lt(f ):=Lc(f )Lm(f ) Notar que lo denido var a al cambiar el orden monomial usado. Denici on 2.5 Sea I k [x1 , . . . , xn ] un ideal distinto del {0}. (i) Denotamos por Lt(I ) al conjunto de t erminos lider de elementos de I . Entonces, Lt(I ) = {cxa |existe f I con Lt(f ) = cxa } (ii) LT (I ) es el ideal inicial de I.

2.2.

Algoritmo de la divisi on

Para encontrar un algoritmo de la divisi on para k [x1 , . . . , xn ] probaremos utilizar una generalizaci on del algoritmo de la divisi on para k [x]. Teorema 2.1 (Algoritmo de la divisi on en k [x1 , . . . , xn ]) Sea F = (f1 , . . . , fs ) una s-upla ordenada de polinomios de k [x1 , . . . , xn ]. Entonces cada f k [x1 , . . . , xn ] puede ser escrito como: f = a1 f1 + . . . + as fs + r donde ai , r k [x1 , . . . , xn ] y, o bien r = 0 o bien r es una combinaci on lineal de monomios con coecientes en k , tal que ninguno de ellos es divisible por algun Lt(f1 ), . . . , Lt(fs ). Llamaremos a r el resto de f dividido por F . Adem as, si ai fi = 0, se tiene mdeg (f ) mdeg (ai fi ) Demostraci on: Construimos un algoritmo para la divisi on en k [x1 , . . . , xn ]. Con un orden monomial jo, dividimos f en (f1 , . . . , fs ) Lt(f ) y escribimos f = a 1 f1 + h1 Si Lt(f1 ) divide a Lt(f ), denimos a 1 = Lt (f 1 )
(h1 ) Si Lt(f1 ) divide a Lt(h1 ), a 2 = Lt ,f =a 1 f1 + a 2 f1 + h2 Lt(f1 ) Repetimos hasta f = a1 f1 + r1 con Lt(f1 ) que no divide a Lt(r1 ). Se repite lo anterior con r1 y f2 . r1 = a2 f2 + r2 con Lt(f2 ) que no divide a Lt(r2 ).

f = a1 f1 + a2 f2 + r2 Continuamos con f3 , . . . , fs y al resto rs obtenido le aplicamos los pasos anteriores con f1 , . . . , fs , f1 , . . . hasta f = a1 f1 + . . . + as fs + r(1) (con distintos a1 , a2 ), obteniendo r(1) tal que Lt(fi ) no divide a Lt(r(1) ) para cualquier i. Separamos r(1) = Lt(r(1) ) + r(2) Se repite todo lo anterior para r(2) . Si r(3) es el nuevo resto, r(3) = Lt(r(3) ) + r(4) , entonces f = a1 f1 + + as fs + Lt(r(1) ) + Lt(r(3) ) + r(4) , Lt(fi ) Lt(r(3) ) i

(con distintos ai ) Continuamos y obtenemos f = a1 f1 + + as fs + Lt(r(1) ) + Lt(r(3) ) + + Lt(r(m1) ) + r(m) (con distintos ai ), con Lt(fi ) r(m+1) , i. r = Lt(r(1) ) + + Lt(r(m1) ) + r(m) . Cuando no es cero, es combinaci on lineal de monomios a coecientes en k tales que ninguno de ellos es divisible por Lt(fi ) para todo i. El algoritmo termina porque el orden en los monomios es un buen orden, y en cada divisi on (h i ) Lt(hi ) hi = Lt g + h , tenemos que h = h g donde los Lt ( h ) se cancelan, por lo que i+1 i+1 i i Lt(g ) Lt(g ) mdeg (hi+1 ) < mdeg (hi ). Para probar la relaci on entre mdeg (f ) y mdeg (ai fi ), vemos que cada t ermino en ai es de la forma Lt(p)/Lt(fi ), para alg un p k [x1 , . . . , xn ]. El algoritmo comienza con p = f y en la parte anterior probamos que en cada paso de la divisi on el multigrado disminuye. Esto signica que todo monomio de ai es menor o igual que Lm(f )/Lm(fi ) con el orden monomial utilizado, en particular Lm(ai ) Lm(f )/Lm(fi ). Usando el hecho que Lm(ab) Lm(a)Lm(b), tenemos Lm(ai fi ) Lm(f ), lo que implica mdeg (ai fi ) mdeg (f ).
Debemos repetirlo con f1 , . . . , fs porque al obtener ri nos aseguramos que Lt(ri ) no es divisible por Lt(fi ), pero puede darse que sea divisible por Lt(fj ), con j < i.

Ejemplo 2.2 Sean f1 = xy + 1, f2 = y 2 1 k [x, y ] con el orden lexicogr aco. Dividiendo 2 f = xy x por F1 = f1 , f2 xy 2 x = y (xy + 1) + 0(y 2 1) + (x y ) tenemos que el resto es (x y ). Dividiendo ahora por F2 = f2 , f1 xy 2 x = x(y 2 1) + 0(xy + 1) + 0 se obtiene que el resto es cero. El segundo c alculo nos dice que f f1 , f2 , pero del primer c alculo nos damos cuenta que un f puede pertenecer a un ideal y aun as su resto al ser dividido por los generadores de este puede ser no nulo. Para arreglar esta situaci on daremos a conocer un sistema de generadores del ideal para los cuales la condici on necesaria y suciente para que f pertenezca al ideal es que el resto al ser dividido por los elementos del sistema de generadores sea cero. Estos sistemas de generadores especiales se llaman las Bases de Grobner.

2.3.

Bases de Grobner

Denici on 2.6 Un ideal I k [x1 , . . . , xn ] es un ideal monomial si existe A Nn (posiblemente innito) de manera que I consiste de todos los polinomios que son sumas nitas de la forma aA ha xa , donde ha k [x1 , . . . , xn ]. En este caso, escribimos I = xa |a A . Lema 2.1 (de Dickson) (Teorema 5, 4, [1]) Un ideal monomial I = xa : a A Nn k [x1 , . . . , xn ] puede ser escrito de la forma I = xa1 , . . . , xas , donde a1 , . . . , as A. En particular, I posee una base nita. Demostraci on (en k [x, y ]): Monomios del ideal monomial se ven como copias del primer cuadrante trasladados. Por ejemplo, con I = xa y b |a + b 2 , cuyos generadores son x2 , xy, y 2 , el esquema es:

Hablaremos de los vectores representantes y los monomios del ideal sin distinci on. Sea I un ideal monomial. Podemos suponer que I no es vac o. Recorremos cada columna del ret culo desde el eje m en forma creciente, comenzando con el eje n, borrando la columna si no encontramos monomios del ideal en ella. Cuando encontramos un monomio del ideal, lo 4

marcamos y dejamos de recorrerlas. Hacemos lo mismo con las las, recorremos cada una desde el eje n comenzando con la de abajo y marcamos el primer monomio que encontremos. Siempre vamos a encontrar estos monomios porque I = . Suponemos que los monomios marcados son xa y b , xc y d respectivamente. Entonces todos los monomios de la forma xm y n con m a y n b, o m c y n d est an en el ideal y son generados por alguno de los 2 monomios marcados. Los monomios con m < a o n < d no est an en el ideal. Por lo tanto, si hay otro generador que no pueda ser generado por los dos anteriores, este estar a en el rect angulo de monomios que cumplen a m < c y d n < b, el cual contiene una cantidad nita de posibilidades. Lema 2.2 Sea I k [x1 , . . . , xn ] un ideal. Entonces: Lt(I ) es un ideal monomial. Existen g1 , . . . , gs I tales que Lt(I ) = Lt(g1 ), . . . , Lt(gs ) Demostraci on: Lm(g ) : g I {0} es un ideal monomial. Como cada Lm(g ) diere s olo en una constante de Lt(g ), tenemos que Lm(g ) : g I {0} = Lt(g ) : g I {0} = Lt(I ) , luego Lt(I ) es ideal monomial. Para la segunda parte, sabemos que Lt(I ) = Lm(I ) . Por el lema de Dickson, Lm(I ) posee una base nita: Lm(g1 ), . . . , Lm(gs ) . Como Lm(gi ) diere s olo por una constante de Lt(gi ), se tiene que Lm(g1 ), . . . , Lm(gs ) = Lt(g1 ), . . . , Lt(gs ) = Lt(I ) . Denici on 2.7 Un subconjunto nito S = {g1 , . . . , gs } de un ideal I k [x1 , . . . , xn ] es una base de Grobner para I si LT (g1 ), . . . , LT (gs ) = LT (I ) Teorema 2.2 Cada ideal I k [x1 , . . . , xn ] distinto del {0} posee una base de Grobner. Adem as, una base de Grobner para un ideal I es una base de I . Demostraci on: Dado el ideal I , por el Lema 2.2 existen g1 , . . . , gs I tales que Lt(I ) = Lt(g1 ), . . . , Lt(gs ) que por denici on es base de Grobner. Nos queda probar que g1 , . . . , gs e I son iguales. g1 , . . . , gs I porque todos los gi I . Sea f I un polinomio. Si usamos el algoritmo de la divisi on para dividir f por g1 , . . . , gs , obtenemos una expresi on de la forma f = h1 g1 + . . . + hs gs + r con hi k [x1 , . . . , xn ]. Si r = 0, tenemos que r = f h1 g1 . . . hs gs I , esto implica que Lt(r) Lt(I ) = Lt(g1 ), . . . , Lt(gs ) , luego Lt(r) ser a divisible por alg un Lt(gi ) lo que contradice el algoritmo de la divisi on. As , r debe valer cero y f g1 , . . . , gs . Por lo tanto, I = g1 , . . . , gs . Ejemplo 2.3 En C[x, y ], I = x2 1, y 2 1, x2 y , G = {g1 , g2 }, con g1 = x2 y , g2 = y 1. Usaremos el orden lexicogr aco. Probaremos que G es base de Grobner de I . Tenemos que Lt(g1 ) = x2 , Lt(g2 ) = y . Lt(I ) {x2 , y }, porque x2 y I e y 1 = (x2 1)(x2 y ) I . Esto implica que Lt(I ) x2 , y = Lt(g1 ), Lt(g2 ) . Necesitamos probar Lt(I ) Lt(g1 ), Lt(g2 ) , que es equivalente a probar Lm(I ) = Lm(g1 ), Lm(g2 ) = x2 , y . Para probar esto u ltimo nos basta vericar que Lm(I ) Lm(g1 ), Lm(g2 ) 5

Los u nicos monomios que no est an en Lm(g1 ), Lm(g2 ) son 1 y x. Como V(I ) {(1, 1), (1, 1)} deducimos que V(I ) = , lo que implica que 1 / I. Probaremos ahora que x / Lm(I ). Si no ocurre esto, p = x + q (y ) I . Como V(I ) {(1, 1), (1, 1)}, p(1, 1) = 1 + q (1) = 0 y p(1, 1) = 1 + q (1) = 0, entonces 1 + q (1) = 0 = 1 + q (1) lo que implica que 1 = 1. Contradicci on. Por lo tanto x / Lm(I ). Como probamos que Lt(I ) = Lt(g1 ), Lt(g2 ) tenemos que G es base de Grobner de I .

3.
3.1.

Aplicaciones
Pertenencia de un f a un ideal

Teorema 3.1 Sea G = {f1 , . . . , fs } una base de Grobner de un ideal I de k [x1 , . . . , xn ] y f k [x1 , . . . , xn ]. Entonces, existe un u nico r k [x1 , . . . , xn ] con las dos propiedades siguientes: i) Si r = 0, entonces ning un t ermino de r est a en Lt(f1 ), . . . , Lt(fs ) ii) Existe g I tal que f = g + r En particular, r es el resto que produce el algoritmo de divisi on de f entre G sin importar como se ordenen los elementos de G Demostraci on: Para demostrar la existencia de r usamos el algoritmo de la divisi on en k [x1 , . . . , xn ]. Tenemos que f = g1 f1 + . . . + gs fs + r, para ciertos gi k [x1 , . . . , xn ], con i {1, . . . , s}, y r k [x1 , . . . , xn ] que verican la primera condici on. Para la unicidad, sean r, r k [x1 , . . . , xn ] tales que f = g + r, f = g + r , vericando i) y ii). Entonces r r = g g I . Si r = r , se tiene que Lt(r r ) Lt(I ) = Lt(f1 ), . . . , Lt(fs ) . Esto implica que alg un t ermino de r o de r es divisible por alg un Lt(fi ), con i {1, . . . , s}, lo cual contradice i). Luego, r = r , y de aqu se deduce tambi en la u ltima parte del teorema. A partir del teorema anterior se deduce una condici on para la pertenencia de un polinomio de k [x1 , . . . , xn ] en un ideal. Corolario 3.1 Sean G = {f1 , . . . , fs } una base de Grobner de un ideal I k [x1 , . . . , xn ] y f k [x1 , . . . , xn ]. Entonces, f I si y s olo si el resto de la divisi on de f entre G es cero.

3.2.

Igualdad de ideales

Sabemos que todo ideal I posee una base de Grobner, y adem as esa base genera I . Ahora queremos mostrar una forma de construirla. Para eso se utiliza el Algoritmo de Buchberger. Denici on 3.1 Sean f, g k [x1 , . . . , xn ] polinomios no nulos. Si mdeg (f ) = (1 , . . . , n ), mdeg (g ) = (1 , . . . , n ) entonces = (1 , , n ), donde i = m ax(i , i ) para todo i. Llamamos a x el m nimo com un m ultiplo de Lm(f ) y Lm(g ) y escribiremos x = mcm(Lm(f ), Lm(g )).

El S-polinomio de f y g es la combinaci on S (f, g ) = x x f g Lt(f ) Lt(g )

Teorema 3.2 (Algoritmo de Buchberger) (Teorema 2, 7, [1]) Sea I = f1 , . . . , fs = 0 un ideal polinomial. Entonces una base de Grobner para I puede ser construida en un F al resto de n umero nito de pasos a trav es del siguiente algoritmo, donde denotamos por f la divisi on de f por F : Input: F = (f1 , . . . , fs ) Output: a Groebner basis G = (g1 , . . . , gt ) para I , con F G G := F REPEAT G:=G FOR each pair {p, q }, p = q in G DO S := S (p, q ) IF S = 0 THEN G := G {S } UNTIL G = G Ejemplo 3.1 Buscaremos una base de Grobner para I = x2 1, y 2 1, x2 y en C[x, y ] con el orden lexicogr aco. Tomamos G = (x2 1, y 2 1, x2 y ). Calculamos: S (x2 1, y 2 1) =
G x2 y 2 (x2 x2 G

1)

x2 y 2 (y 2 y2

1) = x2 y 2

S (x2 1, y 2 1) = 0 2 (x2 1) S (x2 1, x2 y ) = x x2

G

x2 (x2 x2

y) = y 1 y ) = x2 + y 3

S (x2 1, x2 y ) = y 1 2 2 2 S (y 2 1, x2 y ) = xyy 2 (y 1) S (y 2 1, x2 y )
G

x2 y 2 (x2 x2

=y1

Como algunos S nos dieron distintos de 0, debemos agregarlos a G . Entonces G = (x2 1, y 2 1, x2 y, y 1). De aqu tenemos S (x2 1, y 2 1) S (y 2 1, x2 y)
G G

= 0, S (x2 1, x2 y )
G

=0y

= 0. Los dos u ltimos dan cero porque ahora podemos dividir por y 1.
G G

Nos falta calcular S (x2 1, y 1) , S (y 2 1, y 1) S (x2 1, y 1) =

G x2 y (x2 x2

y S (x2 y, y 1) :

1)

x2 y (y y

1) = x2 y

S (x2 1, y 1) = 0 2 S (y 2 1, y 1) = y (y 2 1) y2
G

y2 (y y

1) = y 1 1) = x2 y 2

S (y 2 1, y 1) = 0 2y S (x2 y, y 1) = x (x2 y ) x2 S (x2 y, y 1)

G

x2 y (y y

=0 7

Ahora que todos los S dan cero, podemos decir que {x2 1, y 2 1, x2 y, y 1} es base de Grobner para I . Lema 3.1 Sea G una base de Grobner para el ideal polinomial I . Sea p G un polinomio tal que Lt(p) Lt(G {p}) . Entonces G {p} es tambi en una base de Grobner para I . Demostraci on: Sabemos por denici on de Base de Grobner que Lt(G) = Lt(I ) . Si Lt(p) Lt(G {p}) , entonces Lt(G {p}) = Lt(G). Por denici on, se deduce que G {p} es tambi en una base de Grobner para I . El algoritmo de Buchberger construye una base de Grobner, pero algunos de los generadores creados son innecesarios (comparar ejemplos 2.3 y 3.1). Para poder eliminar algunos de estos utilizamos el lema anterior, y si adem as multiplicamos por constantes de manera que los t erminos lider posean constante igual a 1, obtenemos lo que se llama una base de Grobner minimal. Denici on 3.2 Una base de Grobner minimal para un ideal polinomial I es una base de Grobner G tal que: i) Lc(p) = 1, para todo p G. ii) Para todo p G, Lt(p) / Lt(G {p}) . Denici on 3.3 Una base de Grobner reducida para un ideal polinomial I es una base de Grobner G para I tal que: i) Lc(p) = 1, para todo p G. ii) Para todo p G, ning un monomio de p est a en Lt(G {p}) . Las bases de Grobner reducidas tienen la propiedad que quer amos: Proposici on 3.1 (Proposici on 6, 7, [1]) Sea I = 0 un ideal polinomial. Entonces I tiene una u nica base de Grobner reducida. A partir de esto, es f acil ver cuando dos ideales de k [x1 , . . . , xn ] son iguales. S olo basta calcular sus bases de Grobner reducidas que ser an iguales si y s olo si los ideales son iguales.

Referencias
[1] D. Cox, J. Little, D. OShea, Ideals, varieties, and algorithms, Springer, 37-92 (1997).