9.

6 Polinomios en varias variables sobre un campo y bases Grbner

En esta seccin consideramos polinomios en varias variables, presentamos algunas
herramientas de clculo bsicas, e indicamos algunas aplicaciones. Los resultados de esta seccin
no son requeridos en los captulos del 10 al 14. Aplicaciones adicionales sern dadas en el captulo
15.
Probamos en la seccin 2 que un anillo polinmico F[x] en una variable x sobre un campo F es
un Dominio Euclideo, y el corolario 8 mostr que un anillo polinmico es un Dominio
de factorizacin nica. Sin embargo, se sigue a partir del corolario 8 en la seccin 8.2 que este
ltimo anillo no es un dominio ideal principal a menos que n=1. Nuestro primer resultado de
arriba muestra que los ideales en tales anillos polinmicos, aunque no necesariamente principales,
son siempre generados finitamente. A los anillos generales con esta propiedad se les da un
nombre especial:
Definicin: Un anillo conmutativo R con 1 es llamado Noetheriano si todo ideal de R es
finitamente generado
Los anillos Noetherianos sern estudiados en mayor detalle en el captulo 15 y 16. En esta
seccin desarrollamos algo de la teora bsica y algoritmos resultantes para trabajar con ideales
(finitamente generados) en
Como vimos en la seccin 1, un anillo polinomial en n variables puede ser considerado como un
anillo polinmico en una variable con coeficientes en un anillo polinmico en n-1 variables.
Siguiendo este enfoque inductivo como lo hicimos en el teorema 7 y corolario 8 podemos
deducir que es Noetheriano a partir del siguiente resultado ms general.
Teorema 21. (El Teorema de Bases de Hilbert) Si R es un anillo Noetheriano entonces tambin
lo es el anillo polinmico R[x]
Prueba: Sea I un ideal en R[x] y sea L el conjunto de todos los coeficientes principales de los
elementos en I. Primero mostramos que L es un ideal de R, como sigue. Dado que I contiene al
polinomio cero, . Sean polinomios en I de grado d,e y
coeficientes principales . Entonces para cualquier o ra-b es cero o es el coeficiente
principal del polinomio . Dado que este ltimo polinomio est en I tenemos
lo cual muestra que L es un ideal en R. Dado que r es asumido como Noetheriano, el
ideal L. En R es finitamente generado, digamos por . Para cada i=1,,n sea f
i
un
elemento de I cuyo coeficiente principal es a
i
. Denote e
i
el grado de f
i
, y sea N el mximo de





Para cada sea L
d
el conjunto de todos los coeficientes principales de los
polinomios en I de grado d junto con 0. Un argumento similar que aquel para L muestra que cada
L
d
es tambin un ideal de R, de nuevo finitamente generado dado que R es Noetheriano. Para cada
ideal no cero L
d
sea el conjunto de generadores para L
d
, y sea f
d,i
un
polinomio en I de grado d con coeficiente principal b
d,i
:
Mostramos que los polinomios junto con todos los polinomios f
d,i
para todos los
ideales no cero L
d
son un conjunto de generadores para I, es decir, que

Por construccin, el ideal I arriba en la derecha est contenido en I dado que todos los
generadores fueron elegidos en I. Si existe un polinomio no cero de grado mnimo
con Sea d=grado f y sea a el coeficiente principal de f.
Suponga primero que . Dado que podramos escribir a como una R-combinacin
lineal de generadores de L: Entonces es
un elemento de I con el mismo grado d y el mismo coeficiente principal a que f. Entonces
es un polinomio en I de grado menor que f. Por la minimalidad de f, debemos tener
as que una contradiccin.
Suponga luego que d<N. En este caso para algn d<N, y as podramos escribir
para algn es un polinomio en I
con el mismo grado d y con el mismo coeficiente principal a que f, y tenemos una contradiccin
como antes.
Dado que un campo es claramente Noetheriano, el teorema de la base de Hilbert e induccin
dan inmediatamente:
Corolario 22. Todo ideal en el anillo polinmico con coeficientes de un campo F
es finitamente generado.
Si I es un ideal en generado por un conjunto (posiblemente infinito) de polinomios,
el corolario 22 muestra que I es finitamente generado, y de hecho I es generado por un nmero
finito de polinomios del conjunto (ver ejercicio 1)
Como muestra la prueba del Teorema de la base de Hilbert, la coleccin de coeficientes
principales de los polinomios en un ideal I en R[x] forma una idea extremadamente til en R que
puede ser usado para entender I. Esto sugiere estudiar los trminos principales en
ms generalmente (y algo ms intrnsecamente). Para hacer esto necesitamos
especificar un ordenamiento total en los monomios, dado que sin ningn tipo de ordenamiento no
podemos en general cual es el trmino principal de un polinomio. Implcitamente escogemos un
ordenamiento tal en la prueba inductiva del corolario 22 primero vimos un polinomio f como un
polinomio en x
1
con coeficientes en , digamos, luego vimos su coeficiente
principal en como un polinomio en x2 con coeficientes en etc. Esto
es un ejemplo de ordenamiento monomial lexicogrfico en el anillo polinmico el
cual es definido primero declarando un ordenamiento de las variables, por ejemplo
y luego declarando que el trmino monomio con exponentes
tiene orden mayor que el trmino monomio con exponentes
si el primer componente donde la n-tuplas difieren tiene Esto es
anlogo al ordenamiento usado en un diccionario (y de ah el nombre), donde la letra a viene
antes de b la cual a su vez viene antes de c, etc, y luego aardvark viene antes de abacus
(aunque la palabra viene antes de a en orden lexicografico). Note que el ordenamiento
es solo definido en lo que respecta a multiplicacin por unidades (Elementos de F
X
) y que
multiplicar dos monomios por el minimo monomio no cero no cambia su ordenamiento. Esto
puede formalizarse en general.
Definicin. Un ordenamiento monomial es un buen ordenamiento en el conjunto de
monomio que satisface cuando para monomio Equivalentemente,
un ordenamiento monomial podra ser especificado al definir un buen ordenamiento en las n-
tuplas de multigrados de monomios que satisfacen

Es fcil mostrar que para ordenamiento monomial que m1 para todo monomio m (ver
ejercicio 2). No es difcil mostrar, usando el teorema de la base de Hilbert, que cualquier
ordenamiento total en los monomios el cual para todo monomio m satisface
cuando , es necesariamente un buen ordenamiento (y por tanto
un ordenamiento monomial) este conjunto equivalente de axiomas para un ordenamiento
monomial podra ser ms fcil de verificar. Por simplicidad limitaremos los ejemplo al
ordenamiento lexicogrfico que particularmente fcil e intuitivo, pero es importante notar que
existen ventajas de clculo tiles en usar otros ordenamientos monomiales en la prctica. Algunos
otros ordenamientos monomiales comnmente usados son introducidos en los ejercicios.
Como se mencion, una vez que tenemos un ordenamiento monomial podemos definir un
trmino principal como un polinomio:
Definicin: Fije un ordenamiento monomial en el anillo polinmico
(1) El trmino monomial de un polinomio no cero f en , denotado LT(f), es el
trmino monomial de orden mximo en f y el trmino principal de f=0 es 0. Defina el
multigrado de f, denotado , como el multigrado del trmino principal de f.
(2) Si I es un ideal en el ideal de trminos principales, denotado LT(I), es el
ideal generado por los trminos principales de todos los elementos en el ideal, es decir,

(3) El trmino principal y el multigrado de un polinomio claramente depende de la eleccin del
ordenamiento. Por ejemplo con multigrado (1,1) si x>y, pero
con multigrado (0,3) si y>x. En particular, el trmino principal de un
polinomio no necesita ser el trmino de grado total mayor. Similarmente, el ideal de
trminos principales LT(I) de un ideal I en general depende del ordenamiento usado. Note
tambin que el multigrado de un polinomio satisface cuando f y g son no
cero, y que en este caso (ver ejercicio 2)

El ideal LT(I) es por definicin generado por monomios. Tales ideales son llamados ideales
monomios y son tpicamente ms fciles de trabajar que con ideales genricas. Por ejemplo, un
polinomio est contenido en un ideal monomio si y solo si cada uno de sus trminos monomios es
un mltiplo de uno de los generadores del para el ideal (ver ejercicio 10)
Fue importante en la prueba del Teorema de Base de Hilbert tener todos los trminos
principales del ideal I. Si , entonces LT(I) contiene los trminos principales
de los generadores para I por definicin. Dado que LT(I) es un ideal, contiene
el ideal general por estos trminos principales:



El primero de los siguientes ejemplos muestra que el ideal LT(I) de trminos principales puede
ser en general estrictamente mayor que el ideal generado solo por los trminos principales de
algunos generadores para I.
Ejemplos
(1) Escoja un ordenamiento lexicogrfico en F[x,y]. Lo trminos principales de los
polinomios (as que el
multigrado de f
1
es ) y (as que ) Si es el ideal
generado por f
1
y f
2
entonces el trmino ideal principal LT(I) contiene a
as . Dado



Vemos que g = x+y es un elemento de I y as el ideal LT(I) tambin contiene el trmino
principal LT(g)=x. Esto muestra que LT(I) es estrictamente mayor que dado
que todo elemento en tiene un grado total de menos 4.
Veremos ms tarde en este caso LT(I)






(2) Con respecto al ordenamiento lexicogrfico y>x, los trminos principales de f
1
y f
2
en el
ejemplo previo son (el cual uno podra escribir como para enfatizar
el ordenamiento elegido) y . Veremos ms tarde que en este ordenamiento
el cual es un ideal diferente que el ideal LT(I) obtenido en el ejemplo
previo usando el ordenamiento x>y, y es de nuevo estrictamente mayor que

(3) Escoja cualquier ordenamiento en F[x,y] y sea cualquier polinomio no cer. El
trmino principal de todo elemento del ideal principal I=(f) es entonces un mltiplo del
trmino principal de f, as que en este caso
En el caso de una variable, los trminos principales son usados en el algoritmo de divisin para
reducir un polonomio g mdulo otro polinomio f para obtener un residuo nico r, y este residuo es
0 si y solo si g est contenido en el ideal (f). Dado que no es un Dominio
Euclideano si n2 (dado que no es un dominio ideal principal), la situacin es ms complicada para
polinomios en ms de una variable. En el primer ejemplo de arriba, ni f
1
ni f
2
dividen a g en F[x,y]
(por consideraciones del grado, por ejemplo), as que intentar primero dividir g por f1 o f2 y luego
por otro para tratar de reducir g modulo el ideal I producira un residuo (no cero) de g mismo. En
particular, esto sugerira que no es un elemento del ideal aunque lo es. La razn
por la cual el polinomio g de grado 1 puede ser una combinacin lineal de los dos polinomios f1 y
f2 de grado 4 es que los trminos principales en se cancelan en la diferencia, y esto es
reflejado en el hecho que no son suficientes para generar a LT(I). A un
conjunto de generadores para un ideal I en cuyos trminos principales generan los
trminos principales de todos los elementos en I se le da un nombre especial.
Definicin. Una base Grbner paraun ideal I en el anillo polinmico es un conjunto
finito de generadores para I cuyos trminos principales generan al ideal de todos los
trminos principales en I, es decir,

Observacin: Note que un base de Grbner es de hecho un conjunto de generadores para I
(eso depende de la eleccin del ordenamiento), es decir, todo elemento en I es una combinacin
lineal de los generadores, y no una base en el sentido de espacios vectoriales (donde una
combinacin lineal sera nica, ver seccin 10.3 y 11.1). Aunque potencialmente confuso, la
terminologa base Grbner ha sido tan ampliamente adoptada que sera difcil introducir una
nomenclatura diferente.
Una de las ms importantes propiedades de una base de Grbner (probada en el Teorema 23
siguiente) es que todo polinomio g puede ser escrito de manera nica como la suma de un
elemento en I y un residuo r obtenido por un divisin de polinomios general. En particular,
veremos que g es un elemento de I si y solo si este residuo r es 0. Mientras que existe un
descomposicin similar en general, veremos que si no usamos una base de Grbner la unicidad se
puerde (y no podemos detectar la pertenencia en I al comprobar si el residuo es 0) dado que
existen trminos principales los cuales no son generados por los trminos principales de los
generadores.
Primero usamos los trminos principales de polinomios definidos por un ordenamiento
monomial en para extender el algoritmo de visin de una variable a una divisin
polinmica no cannica en varias variables. Recuerde que para polinomios en una variable, el
algoritmo de divisin usual determina el cociente q(x) y el residuo r(x) en la ecuacin
al comprobar sucesivamente si el trmino principal del dividendo f(x) es
divisible o no por el trmino principal de g(x): Si el trmino monomio a(x)
es sumado al cociente y el proceso es iterado con f(x) reemplazado por el dividendo
el cual es de grado menor dado que los trminos principales se cancelan (por la
eleccin de a(x)). El proceso termina cuando el trmino principal del divisor g(x) ya no divide el
trmino principal del dividendo, dejando el residuo r(x). Podemos extender esto a la divisin por
un nmero finito de polinomios en varias variables simplemente al permitir divisiones sucesivas,
resultando en un residuo y varios cocientes, como sigue.
Divisin General de Polinomios
Fije un ordenamiento monomial en , y suponga que es un conjunto de
polinomios no cero en . Si f es cualquier polinomio en , empiece con un
conjunto de cocientes y un resto r inicialmente todo igual a 0 y sucesivamente
comprobar si el trmino principal del dividendo f es divisible por el trmino principal de los
divisores en ese orden. Entonces
i. Si LT(f) es divisible por digamos, sume a
i
al cociente q
i
,
reemplace f por el dividendo (un polinomio con trmino principal de orden
menor), y repita el proceso entero
ii. Si el trmino principal del dividendo f no es divisible por cualquiera de los trminos
principales sume el trmino principal de f al residuo r, reemplace f por
el dividendo (es decir, remueva el trmino principal de f), y repita el proceso
entero
El proceso termina (ver ejercicio 3) cuando el dividendo es 0 y resulta en un conjunto de
cocientes y un residuo r con



Cada tiene multigrado menor o igual que el multigrado de f y el residuo r tiene la
propiedad que ningn trmino no cero en r es divisible por cualquier de los trminos principales
(dado que los nicos trminos con esta propiedad son sumados a r en (ii))
Ejemplos
Fije el ordenamiento lexicogrfico x>y en F[x,y]
(1) Suponga . El trmino principal de f es , el cual no es
divisible por (el trmino principal de ) g, as que es sumado al residuo r (as ahora r=
) y f es reemplazado por y empezamos de nuevo. Dado que es
divisible por m con cociente a=3x, sumamos 3x al cociente q (as que q=3x), y
reemplazamos punto en el cual el proceso termina. El
resultado es el cociente q=3x y el resto r= y

Note que si hubisemos terminado en el primer paso dado que el trmino principal de f no
es divisible por el trmino principal de f (el cual termina el algoritmo de divisin para
polinomios en una variable), entonces habramos terminado con un residuo de f en s
mismo, aunque ms de f es divisible por g. Esta es la razn para el paso 2 en el proceso de
divisin (el cual no es necesario para polinomios en una variable)
(2) Sea y suponga que En la primera iteracin, el
trmino principal x
2
de f no es divisible por el trmino principal de g
1
, pero es divisible por
el trmino principal de g
2
, as que el cociente q
2
es x y el dividendo f es reemplazado por el
dividendo . En la segunda iteracin, el trmino principal de
es divisible por , con cociente -1, as que y el
dividendo es reemplazado por En la tercera
iteracin, el trmino principal de no es divisible por el trmino principal de
g
1
, pero es divisible por el trmino principal de g
1
, con cociente 1, as que 1 es sumado a q
2

(el cual es ahora ) y el dividendo se vuelve El
trmino principal es ahora y
2
, el cual no es divisible por as que
y
2
es sumado al residuo r (el cual es ahora y
2
) y el dividendo se vuelve simplemente 1.
Finalmente, 1 no es divisible por as que es sumado al residuo (as que r es
ahora y
2
+1), y el proceso termina. El resultado es



(3) Sea como en el ejemplo previo e intercambie los divisores g1 y g2:
En este caso un clculo fcil da

Mostrando que los cocientes q
i
y el residuo r son en general no nicos y dependen del
orden de los divisores


El clculo del ejemplo 3 muestra que el polinomio es un elemento del
ideal dado que el residuo obtenido en este caso fue 0 (de hecho f es solo un
mltiplo del primer generador). En el ejemplo 2, sin embargo, el mismo polinomio result en un
residuo no cero cuando era dividido por xy+1 y x+y, y no era del todo claro a partir del
clculo que f era un elemento de I.
El siguiente teorema muestra que si usamos una base de Grbner para el ideal I entonces estas
dificultades no aparecen: obtenemos un residuo nico, el cual a su vez puede ser usado para
determinar si un polinomio f es un elemento del ideal I.

Teorema 23. Fije un ordenamiento monomial en y suponga es una
base de Grbner para el ideal no cero I en R. Entonces

(1) Todo polinomio puede ser escrito de manera nica en la forma


Donde y ningn trmino monomio no cero del residuo r es divisible por cualquier
de los trminos principales
(2) Tanto f
I
como r pueden ser calculados por la divisin polinomial general por y
son independientes del orden en el cual estos polinomios son usados en la divisin.
(3) El residuo r provee un representante nico para la clase lateral de f en el anillo cociente
En particular, si y solo si r=0.

Prueba: Haciendo en la divisin polinmica general de f por
inmediatamente da una descomposicin para cualquier generador
. Suponga ahora que { } es un base de Grbner, y
Entonces as que su trmino principal el cual
es el ideal dado que { } es un base de Grbner para I. Todo
elemento en este ideal es una suma de mltiplos de los trminos monomios
as que es una suma de trminos cada uno de los cuales es divisible por uno de los . Pero
tanto r como r, por tanto tambin r-r, son sumas de trminos monomios de los cuales ninguno es
divisible por , lo cual es una contradiccin a menos que r-r=0. Se sigue que
r=r es nico, por tanto tambin lo es lo cual prueba (1).
Ya hemos visto que pueden ser calculados algortmicamente por divisin polinmica, y
la unicidad en (1) implica que r es independiente del orden en el cual los polinomios
son usados en la divisin. Similarmente est nicamente determinado (Qunque los
cocientes individuales q
i
no son en general nicos), lo cual da (2)
El primer enunciado en (3) es inmediato a partir de la unicidad en (1). Si r=0, entonces
Recprocamente, si entonces f=f+0 junto con la unicidad de r implica que r=0,
y el enunciado final del teorema se sigue.
Como previamente se mencion, la importancia del teorema 23, y uno de los principales usos
de la base de Grbner, es la unicidad de la del representante r, el cual permite el clculo efectivo
en el anillo cociente
A continuacin probamos que el conjunto de polinomios en un ideal cuyos trminos principales
generan todos los trminos principales de un ideal es de hecho un conjunto de generadores para
el ideal en s mismo (y as es una base de Grbner en algunos trabajos esto es tomado como la
definicin de una base de Grbner), y esto muestra en particular que una base de Grbner
siempre existe.

Proposicin 24. Fije un ordenamiento monomio en y sea I un ideal no cero
en R
(1) Si son elementos cualesquiera de I tal que
entonces { } es una base de Grbner para I
(2) El ideal I tiene una base de Grbner.

Prueba: Suponga Necesitamos ver que
genere al ideal I. Si use la divisin general de polinomios para escribir
donde ningn trmino no cero en el residuo r es divisible por cualquier
Dado que , tambin lo cual significa que LT(r) est en LT(I). Pero entonces
LT(r) sera divisible por uno de los lo cual es una contradiccin a menos que
r=0. Por tanto generan a I, as que son una base de Grbner para I,
lo cual prueba (1)
Para (2), note que el ideal LT(I) de trminos principales de cualquier ideal I es un ideal monomio
generado por todos los trminos principales de los polinomios en I. Por el ejercicio 1 un nmero
finito de esos trminos principales bastan para generar LT(I), digamos
para algn Por (1), los polinomios son
una base de Grbner de I, completando la prueba
La proposicin 24 prueba que las bases de Grbner siempre existen. A continuacin probamos
un criterio que determina si un conjunto dado de generadores de un ideal I es una base de
Grbner, el cual luego usamos para proveer un algoritmo para encontrar una base de Grbner, La
idea bsica es muy simple: los elementos adicionales en LT(I) pueden surgir al tomar
combinaciones lineales de generadores que cancelan trminos principales, como vimos al tomar
en el primer ejemplo de esta seccin. Veremos que obtener nuevos trminos
principales a partir de generadores de esta simple manera es el nico obstculo para que un
conjunto de generadores sea una base de Grbner.
En general, si son dos polinomios en es el mnimo comn mltiplo
mnico de los trminos monomios entonces podemos cancelar los trminos
principales al tomar la diferencia



El siguiente lema muestra que estas combinaciones lineales elementales justifican todas las
cancelaciones en trminos principales de polinomios del mismo multigrado

Lema 25. Suponga que ] son polinomios con el mismo multigrado
y que la combinacin lineal con constantes tiene multigrado
estrictamente menor. Entonces

para algunas constantes

Prueba: escriba es un polinomio mnico de multigrado .
Tenemos



Note que Entonces dado que h y cada tiene multigrado
estrictamente menor que , tenemos as el ltimo trmino del segundo
miembro es 0 y el lema se sigue.
La siguiente proposicin muestra que un conjunto de generadores es una base de
Grbner si entre las diferencias no existen nuevos trminos principales que no estn
ya entre los g
i
. Este resultado provee el ingrediente principal en un algoritmo para construir una
base de Grbner.

Para un ordenamiento monomial fijo en y el conjunto ordenado de
polinomios G={ } en R, escriba si r es el residuo obtenido por divisin de
polinomios general de por (en ese orden).

Proposicin 26. (Criterio de Buchberger) Sea y dije un ordenamiento
monomial en R. Si I=( ) es un ideal no cero en R, entonces G={ } es una base
de Grbner para I si y solo si para

Prueba: Si { } es una base de Grbner para I, entonces por el
teorema 23 dado que cada es un elemento de I.
Suponga ahora que para y tome cualquier elemento .
Para ver que G es una base de Grbner necesitamos mostrar que contiene
a LT(f). Dado que podemos escribir para algunos polinomios
Tal representacin no es nica. Entre todas dichas representaciones exoja uno para
la cual el multigrado mayor de cualquier sumando (es decir, ) es mnimo, digamos
. Es claro que el multigrado de f no es peor que el mayor multigrado de todos los sumando h
i
g
i
,
as que Escriba


Suponga que Entonces dado que el multigrado de las dos segundas sumas es
tambin estrictamente menor que . Si denota los coeficientes constantes del trmino
monomio entonces es un monomio. Podemos aplicar el Lema 25 a
para escribir la primera suma de arriba como
Sea el multigrado de mnimo comn
mltiplo mnico de Entonces un fcil clculo muestra que
es solo multiplicado por el monomio de multigrado El
polinomio tiene multigrado menor que por suposicin, .
Esto significa que luego de la divisin de polinomios general de por , cada
puede ser escrito como la suma Se sigue que cada
es una suma Pero entonces todas las sumas en el
miembro derecho de la ecuacin (2) puede ser escrito como una suma de trminos de la forma
. Con polinomios p
i
que satisfacen Esto contradice la minimalidad de y
muestra que de hecho es decir, el trmino principal de f tiene multigrado .
Si ahora tomamos los trminos en la ecuacin (2) de multigrado vemos que


As que de hecho Se sigue que G= { } es una base
de Grbner.

Algoritmo de Buchberger

El criterio de Buchberger puede se usado para proveer un algoritmo para encontrar una base
de Grbner para un ideal I, como sigue. Si I=( ) y cada da un residuo de 0 cuando
es dividido por G={ } usando la divisin de polinomios general entonces G es una base
de Grbner. De lo contrario tiene un residuo r no cero. Incremente G agregndole el
polinomio y empiece de nuevo (note que esto es de nuevo un
conjunto de generadores para I dado que ). No es difcil comprobar que este
procedimiento termina luego de un nmero finito de pasos en un conjunto G generador que
satisface el criterio de Buchberger, y por tanto es una base de Grbner para I (ver ejercicio 16).
Note que una vez que un da un residuo 0 despus de la divisin por los polinomios en G
tambin da un residuo 0 cuando polinomios adicionales son agregados a G.
Si { } es una base de Grbner para el ideal I y LT(g
j
) es divisible por LT(g
i
) para algn
entonces LT(g
j
) no es necesario como un generador para LT(I). Por la proposicin 24
podramos entonces eliminar g
j
y todava retener una base de Grbner para I. Podramos tambin
asumir sin prdida que el trmino principal de cada g
i
es mnico. Una base de Grbner {
} para I donde cada LT(g
i
) es mnico y donde LT(g
j
) no es divisible por LT(g
i
) para
es llamado una base mnima de Grbner. Mientras que un base mnima de Grbner no es nica, el
nmero de elementos y sus trminos principales son nicos (ver ejercicio 15)

Ejemplos

(1) Escoja un ordenamiento lexicogrfico x>y en F[x,y] y considere el ideal I generado por
como en el ejemplo 1 al principio de esta seccin,
Para probar si G={f
1
,f
2
} es una base de Grbner calculamos
el cual es su propio residuo cuando es dividido por {f
1
,f
2
}, as que G no es una base de
Grbner para I. Haga e incremente el conjunto generador: Ahora
y un breve clculo conlleva a

Sea e incremente el conjunto generador a El previo
residuo 0 es todava 0, y ahora por la eleccin de f
4
. Algunos clculos
adicionales dan

Y as es una base de Grbner para I.


En particular, LT(I) es generado por los trminos principales de estos cuatro polinomio, as
como previamente se mencion. Entonces x+y e
tienen trminos principales que generan LT(I), as por la proposicin 24,
da un base de Grbner mnima para I:

Esta descripcin de I es mucho ms simple que
(2) Escoja el ordenamiento lexicogrfico y>x en F[x,y] y considere el ideal I en el ejemplo
previo. En este caso, produce un residuo de entonces
produce un residuo de y luego todos los residuos son 0 con respecto a la
base de Grbner Aqu
como previamente se mencion, y
da una base mnima de Grbner para I con respecto a este
ordenamiento:

Una descripcin diferente ms simple de I.

En el ejemplo 1 de arriba es fcil comprobar que es de nuevo
una base mnima de Grbner para I (esto es solo {f
3
+f
4
, f
4
}), as que incluso con un ordenamiento
monomial fijo en una base minima de Grbner para un ideal I no es nico. Podemos
obtener una propiedad importante de unicidad al haver ms fuertes la condicin de la divisibilidad
por los trminos principales de la base.

Definicin. Dije un ordenamiento monomial en Una base de Grbner
para el ideal no cero I en R es llamado una base de Grbner reducida si
(a) Cada g
i
tiene un trmino principal mnico, es decir, LT(g
i
) es mnico, i=1,,m y
(b) Ningn trmino g
j
es divisible por LT(g
i
) para ji

Note que una base de Grbner reducido es, en particular, una base de Grbner mnima. Si G=
es un base de Grbner mnima para I, entonces el trmino principal LT(g
j
) no es
divisible por LT(g
i
) para cualquier ij. Como resultado, si usamos la divisin de polinomios para
dividir g
j
por otros polinomios en G obtenemos un resiguo con el mismo trmino
principal que g
j
(el residuo no depende del orden de los polinomios usado en la divisin por (2)
del teorema 23). Por la proposicin 24, reemplazando g
j
por en G de nuevo da una base de
Grbner mnima
Para I, y en esta base ningn trmino de es divisible por LT(g
i
) para cualquier ij.
Reemplazando cada elemento en G por su residuo despus de la divisin por los otros elementos
en G resulta por ende en una base reducida de Grbner para I. La importancia de las bases de
Grbner reducidas es que son nicas (para un ordenamiento monomial dado), como el muestra el
siguiente resultado.
Teorema 27. Fije un ordenamiento monomial en Entonces existe una
nica base de Grbner reducida para todo ideal no cero I en R.

Prueba: Por el ejercicio 15, dos bases reducidas tiene el mismo nmero de elementos y los
mismos trminos principales dado que las bases reducidas son tambin bases mnimas. Si G={
} y son dos bases reducidas para el mismo ideal no cero I, entonces
despus de un posible reordenamiento podramos asumir para i=1,,m.
Para cualquier i fijo, considere el polinomio Si f
i
es no cero, entonces dado que , su
trmino principal debe ser divisible por algn h
j
. Por definicin de una base reducida, h
j
para ji
no divide ninguno de los trminos en por tanto no divide a Pero h
i
tampoco divide a
dado que todos los trminos en f
i
tiene multigrado estrictamente menor. Esto fuerza
es decir, para todo i, as G=G.
Una aplicacin de la unicidad de la base reducida de Grbner es un mtodo computacional
para determinar cuando dos ideales en un anillo polinmico son iguales.

Corolario 28. Sean I y J dos ideales en . Entonces I=J si y solo si I y J tiene la misma
base de Grbner reducida con respecto a cualquier ordenamiento monomial fijo en .

Ejemplos

(1) Considere el ideal
Usando el ordenamiento lexicogrfico x>y encontramos

Haciendo encontramos para as que

Es una base de Grbner para I. Los trminos principales de esta base son Dado
que y
5
divide tanto a xy
6
como a xy
5
, podramos remover el segundo y tercer generadores
para obtener una base de Grbner mnima para I. El segundo
trmino en el primer generador es divisible por el trmino principal y
5
del segundo
generador, as que esta no es una base de Grbner reducida. Reemplazando
por su residuo despus de la divisin por otros polinomios en la base (el cual
en este caso es solo el polinomio y
5
-y
2
), nos quedamos con la base de Grbner reducida
para I.
(2) Considere el ideal y
Usando el ordenamiento monomial lexicogrfico x>y encontramos
Haciendo
encontramos para as que


Es una base de Grbner para I. Los trminos principales de esta base son
y as es una base de Grbner mnima para J. En este
caso ninguno de lo trminos en son divisible por el trmino principal de x+y e
ninguno de los trminos en x+y son divisibles por los trminos principales en , as
que es la base reducida de Grbner para J. Esta es la base para el ideal I
en el ejemplo 1 que sigue a la proposicin 25, as que estos dos ideales son iguales:



(y ambos son iguales al ideal )

Bases de Grbner y resolucin de ecuaciones algebraicas: Eliminacin

La teora de las bases de Grbner es bstante til en resolver explcitamente sistemas de
ecuaciones algebraicas, y es la base por la cual los programas de computadoras de lgebra
intentar resolver sistemas de ecuaciones. Suponga que es una coleccin de
polinomio en n variables y tratamos de encontrar las soluciones de un sistema de
ecuaciones (es decir, el conjunto comn de ceros de los polinomios en S).
Si es cualquier solucin a este sistema, entonces todo elemento f del ideal I generado
por S tambin satisface Ms an, es un fcil ejercicio ver que si
es cualquier conjunto de generadores para el ideal I entonces el conjunto de soluciones al sistema
es el mismo que el conjunto solucin original.
En esta situacin donde son polinomios lineales, una solucin al sistema de
ecuaciones puede ser obtenida al eliminar sucesivamente las variables por medios
elementales usando combinaciones lineales de las ecuaciones originales para eliminar la
variables x
1
, entonces usando estas ecuaciones para eliminar x
2
, etc. Produciendo un sistema de
ecuaciones que puede ser fcilmente resuelto (esta es la eliminacin de Gauss-Jorden en el
lgebra lineal, ver los ejercicios en la seccin 11.2)
La situacin para ecuaciones polinmicas que son no lineales es naturalmente ms complicada,
pero el principio bsico es el mismo. Si existe un polinomio no cero en el ideal I que involucra solo
una de la variables, digamos entonces la ltima coordenada a
n
es una solucin de p(x
n
)=0. Si
ahora existe un polinomio en OI que involucra solo x
n-1
y x
n
, digamos entonces la
coordenada a
n-1
sera una solucin de etc. Si podemos sucesivamente encontrar
polinomios en I que eliminan las variables entonces seremos capaces de determinar
todas las soluciones de nuestro sistema original de ecuaciones explcitamente.
Encontrar las ecuaciones que se siguen a partir del sistema de ecuaciones en S, es decir, a
encontrar los elementos del ideal I que no involucran algunas de las variables, se le conoce como
teora de eliminacin. Los polinomios en I que no involucran las variables es decir,
es fcilmente visto como un ideal en y se le da un nombre.

Definicin. Si I es un ideal en entonces es llamado el
ideal de eliminacin i-simo de I con respecto al ordenamiento
El xito de usar la eliminacin para resolver un sistema de ecuaciones depende en poder
determinar los ideales de la eliminacin (y, en ltima instancia, en su estos ideales de eliminacin
son no cero)
La siguiente proposicin fundamental muestra que si el ordenamiento monomial lexicogrfico
es usado para calcular una base de Grbner para I entonces los elementos en la
base resultantes que no involucran las variables no solo determinan el i-simo ideal de
eliminacin, sino que de hecho dan una base de Grbner para el i-simo ideal de eliminacin de I.

Proposicin 29 (Eliminacin) Suponga que es una base de Grbner para el
ideal no cero I en con respecto al ordenamiento monomial lexicogrfico
. Entonces es una base de Grbner del i-simo ideal de
eliminacin si y solo si


Prueba: Denote Entonces as que por la proposicin 24,
para ver que G
i
es es una base de Grbner de I
i
basta con ver que , los trminos principales
de lo elementos en G
i
, generan a como un ideal en Ciertamente
como ideales en Para mostra la inclusin reversa, sea f
cualquier elemento en I
i
. Entonces y dado que G es una base de Grbner para I tenemos



Para alguno polinomios Escribiendo cada polinomio a
i
como una
suma de trminos monomios vemos que LT(f) es una suma de trminos monomios de la forma
. Dado que LT(f) involucra solo las variables la suma de todos
dichos trminos que contienen alguna de las variables debe ser 0, as que LT(f) es
tambin la suma de aquellos trminos monomios que solo involucran a Se sigue
que LT(f) puede ser escrito como una combinacin lineal en de algunos trminos
monomios donde no involucra las variables Pero por la eleccin del
ordenamiento,
Si no involucra a entonces tampoco lo hacen los otros trminos en g
t
, es
decir, . Por tanto LT(f) puede ser escrito como una combinacin lineal en de
elementos LT(G
i
), completando la prueba.
Note tambin que las bases de Grbner pueden ser usadas para eliminar cualquier variable
simplemente usando un ordenamiento monomial apropiado.
Ejemplos
(1) La elipse intersecta al crculo en dos puntos. Para
encontrarlos calculamos una base de Grbner para el ideal
usando el orden lexicogrfico x>y para eliminar x,
obteniendo Por tanto e y=0 y=4/5.
Sustituyendo estos valores en g
1
=0 y resolviendo para x encontramos que los dos puntos de
interseccin son
En lugar de usar un orden monomial lexicogrfico y>x para eliminar y resulta en la base de
Grbner Entonces
muestra que x es 1 -3/5 y obtenemos la misma
solucin que antes, aunque con ms esfuerzo
(2) En el ejemplo previo las soluciones podran tambin haber sido encontrados por medios
elementales. Considere ahora la solucin en al sistema de dos ecuaciones

Calculando una base de Grbner para el ideal generado por y
con respecto al orden monomial lexicogrdico x>y obtenemos la base

Cualquier solucin a nuestras ecuaciones originales satisfacera Dado
que tenemos Dado que
vemos que (0,0) es la nica solucin con y=0. Dado que
tienen solo x=1 como un cero comn, la nica
solucin con y=1 es (1,1). Finalmente,

Y una revisin rpida muestra que el cero comn cuando
respectivamente. Por tanto existen precisamente cuatro soluciones al par original de
ecuaciones, a saber

(3) Considere las soluciones en al sistema de ecuaciones

La base de Grbner reducida con respecto al ordenamiento lexicogrfico x>y>z es



Y as z es una raz del polinomio (por simetra, tambin x e y son races de
este mismo polinomio). Para cada uno de las tres races de este polinomio, existen dos valores de
y e un valor correspondiente de x haciendo los dos polinomios en la base de Grbner igual a 0. Se
comprueba rpidamente que las seis soluciones resultantes son tres races distintas del polinomio
(el cual es irreducible en ) en algn orden.

Como el ejemplo anterior muestra, el estudio de soluciones a los sistema de ecuaciones
polinmicas est ntimamente relacionado al estudio del ideal
que los polinomios generan en . Esta conexin fundamental es
el punto de partida para la importante y activa rama de las matemticas llamada geometra
algebraica, introducida en el captulo 15, donde se dan las aplicaciones adicionales de las bases
de Grbner.
Cerramos esta seccin mostrando como calcular las operaciones teorticas de conjuntos
bsicos de sumas, productos e intersecciones de ideales en los anillos polinmicos. Suponga que
son dos ideales en . Entonces
La siguiente proposicin
muestro como calcular la interseccin de dos ideales cualesquiera

Proposicin 30. Si I e J son dos ideales cualesquiera en entonces es
un ideal en En particular,
es el ideal de eliminacin primera de con respecto al ordenamiento


Prueba: Primero, son claramente ideales en , as que tambin su
suma . Si entonces muestra
que De manera recproca, suponga que
es un elemento de donde Entonces
muestra que as que
Dado que es el ideal de
eliminacin primera de con respecto al ordenamiento

Tenemos
Por la proposicin 29, los elementos que no involucran a t en una base de
Grbner para este ideal en calcullados para el ordenamiento lexicogrfico
monomial dan una base de Grbner para el ideal

Ejemplo

Sea para el ordenamiento lexicogrfico monomial t >x >y
la base de Grbner reducida para y as





EJERCICIOS

1. Suponga que I es un ideal en generador por un conjunto (posiblemente
infinito) de polinomios. Pruebe que un subconjunto finito de polinomios en basta para
generar a I. [Use el teorema 21 para escribir y luego escriba cada usando
polinomios en .]
2. Sea cualquier ordenamiento monomial
(a) Pruebe que para cualquier polinomios f y
g no ceros
(b) Pruebe que y la igualdad se cumple si
(c) Pruebe que m 1 para todo monomio m
(d) Pruebe que si m
1
divide a m
2
entonces m
2
m
1
. Deduzca que el trmino principal de un
polinomio no divide ninguno de sus trminos de orden menor
3. Pruebe que si es cualquier ordenamiento total o parcial en un conjunto no vaco entonces las
siguientes afirmaciones son equivalentes
(i) Todo subconjunto no vaco contiene un elemento mnimo
(ii) No existe un sucesin infinita estrictamente decreciente (esto es
llamado un condicin de cadena descendente o D.C.C.)
Deduzca que la divisin de polinomios general siempre termina en un nmero finito de pasos
4. Sea un ordenamiento monomial, y para los monomios m
1
,m
2
defina si o grado m1
> grado m2, o grado m1=grado m2 y m1m2
(a) Pruebe que es tambin un ordenamiento monomial (La relacin es llamada una
graduacin de . Un ordenamiento en el cual el criterio ms importante para la
comparacin es el grado es a veces llamado un ordenamiento graduado o de grado, as
que este ejercicio da un mtodo para construir ordenamientos graduados)
(b) La graduacin del ordenamiento lexicogrfico es llamado el ordenamiento
grlex monomial. Muestre que con respecto al ordenamiento
grlex y con respecto al ordenamiento lexicogrfico
5. El ordenamiento grevlex monomial es definido primero escogiendo un ordenamiento de
variable luego definiendo para monomios m
1
,m
2
si o grado m1 >
grado m2 o grado m1 = grado m2 y el primer exponente de (en ese orden)
donde la diferencia de m1 y m2 es menor a m1.
(a) Pruebe que grevlex es un ordenamiento monomial que satisface
(b) Pruebe que el ordenamiento grevlex en con respecto a {x
1
,x
2
} es el ordenamiento
lexxicogrfico con x
1
>x
2
, pero que el ordenamiento grevlex en no es la
graduacin de ningn ordenamiento lexicogrfico
(c) Muestre que para el
ordenamiento grevlex monomial con respecto a {x
1
,x
2
,x
3
}

6. Muestre que con respecto al
ordenamiento lexicogrfico x>y>z. Muestre que para el ordenamiento grlex monomial
correspondiente y que
para el ordenamiento grevlex monomial
con respecto a {x,y,z}
7. Ordene los monomios para el ordenamiento monomial
lexicogrfico x>y>z, para el ordenamiento grlex monomial correspondiente , y para el
ordenamiento grevlex monomial correspondiente con respecto a {x,y,z}
8. Muestre que existen n! distintos ordenamiento monomiales lexicogrficos en .
Muestre similarmente que existe n! distintos ordenamiento grlex y grevlex monomiales
9. Se puede mostrar que cualquier ordenamiento monomial en podra ser
obtenido como sigue. Para sean vectore no nulos en el n-espacio
euclideano, , que son ortogonales por parejas: para todo ij, donde es el
producto punto usual, y suponga tambin que todas las coordenadas de v1 son no negativas.
Defina un orden, , en monomios si y solo si para algn t k tenemos que
para todo y
(a) Sea k=n y sea con 1 en su i-sima posicin. Muestre que define
un ordenamiento lexicogrfico con
(b) Sea k=n y defina donde hay i-2
ceros seguidos, Muestre que define un ordenamiento grlex con respecto a

10. Suponga que I es un ideal monomio generado por monomios m
1
,,m
k
. Pruebe que el
polinomio est en I si y solo si todo trmino monomio de f es un
mltiplo de uno de los m
j
. [Para polinomios expanda el polinomio
y note que todo trmino monomio es un mltiplo de al menos uno de los m
j
]
Muestre que del ideal pero no es un elemento
del ideal
11. Fije un ordenamiento monomial en y suponga que es una base de
Grbner para el ideal I en R. Pruebe que si y solo si h es una suma de trminos
monomios cada uno divisible por algn [Use el ejercicio previo]
12. Suponga que I es un ideal monomio con generadores monomios Use el
ejercicios previo para probar directamente que { } es una base de Grbner para I
13. Suponga que I es un ideal monomio con generadores monomios Use el criterio
de Buchberger para probar directamente que { } es una base de Grbner para I
14. Suponga que I es un ideal monomio en R= y suponga que es un
conjunto mnimo de monomios que generan a I, es decir, cada m
i
es un monomio y ningn
subconjunto propio de genera a I. Pruebe que son nicos [Use el
ejercicio 10]
15. Fije un ordenamiento monomial en R=
(a) Pruebe que es una base de Grbner mnima para el ideal I en R si y solo si
es un conjunto generador mnimo para LT(I)
(b) Pruebe que los trminos principales de una base de Grbner mnima para I son
nicamente determinados y el nmero de elementos en cualesquiera dos bases de
Grbner mnimas para I es el mismo [Use (a) y el ejercicio previo]
16. Fije un ordenamiento monomial en y suponga que es un
conjunto de generadores para el ideal no cero I. Muestre que si entonces
el ideal es estrictamente mayor que el ideal
Concluya que el algoritmo para calcular una base de Grbner descrita
despus de la proposicin 26 termina despus de un nmero finito de pasos [use el ejercicio 1]
17. Fije el ordenamiento lexicogrfico x>y en F[x,y]. Use el criterio de Buchberger para mostrar
que es una base de Grbner para el ideal
18. Muestre que es la base de Grbner reducida para el ideal
con respecto al ordenamiento lexicogrfico definido por x>y en F[x,y]
19. Fije el ordenamiento lexicogrfico x>y en F[x,y]
(a) Muestre que es la base de Grbner reducida para el
ideal
(b) Determine si el polinomio es un elemento del ideal I
20. Fije el ordenamiento lexicogrfico x>y>z en F[x,y,z]. Muestre que
es la base de Grbner reducida para el ideal y en
particular concluya que el trmino principal LT(I) requiere cuatro generadores.
21. Fije el ordenamiento lexicogrfico x>y en F[x,y]. Use el criterio de Buchberger para mostrar
que es una base de Grbner para el ideal
22. Sea
(a) Muestre que es la base de Grbner reducida para I con respecto al
ordenamiento lexicogrfico definido por x>y>z
(b) Muestre que es la base de Grbner reducida para I con respecto al
ordenamiento lexicogrfico definido por (note que estos son esencialmente los
mismo polinomios que en (a))
(c) Muestre que es la base de Grbner reducida para I con respecto al
ordenamiento lexicogrfico definido por z>y>x
23. Muestre que los ideales
son iguales
24. Use bases de Grbner reducidas para mostrar que el ideal y el ideal
son iguales
25. Muestre que la base de Grbner reducida usando el ordenamiento lexicogrfico x>y para el
ideal
26. Muestre que la base de Grbner reducida para el ideal
con respecto al ordenamiento lexicogrfico x>y con
respecto al ordenamiento lexicogrfico y>x

Hay generalmente diferencias sustanciales en la complejidad computacional cuando se usan
diferentes ordenamientos monomiales. El ordenamiento grevlex monomial frecuentemente
provee el clculo ms eficiente y produce polinomios ms simples.

27. Muestre que es una base de Grbner reducida para el ideal
I en el ejemplo que sigue al corolario 28 con respecto al ordenamiento grlex monomial (Note
que mientras que estos da tres generadores para I en lugar de dos para el ordenamiento
lexicogrfico como en el ejemplo, los grados son menores)
28. Sea Muestre que existen cinco elementos en un base
de Grbner reducida para I con respecto al ordenamiento lexicogrfico con x>y>z (el grado
mximo entre los cinco generadores es 12 y el nmero mximo de trminos monomios entre
los cinco generadores es 12 y el nmero mximo de trminos monomios entre los cinco
generadores es 35), que existen dos elementos para el ordenamiento lexicogrfico y>z>x
(mximo grado es 6 y mximo nmero de trminos es 8), y que
es la base de Grbner reducida para el
ordenamiento gravlex monomial
29. Resuelva el sistema de ecuaciones sobre
30. Encuentre una base de Grbner para el ideal para el
ordenamiento lexicogrfico x>y y sela para encontrar los cuatro puntos de interseccin de la
elipse con la elipse
31. Use bases de Grbner para encontrar todas las seis soluciones del sistema de ecuaciones
y sobre
32. Use bases de Grbner para mostrar que
33. Use bases de Grbner para calcular la interseccin de los ideales


Los siguientes cuatro ejercicios tratan con el cociente ideal de dos ideales I e J en un anillo R.
Definicin. El cociente ideal (I:J) de dos ideales I,J en un anillo R es el ideal


34.
(a) Suponga que R es un dominio integral, Muestre que si
son generadores para el ideal entonces son
generadores para el ideal cociente (I:(f))
(b) Si I es un ideal en el anillo conmutativo R y muestre que el ideal cociente

35. Si muestre que
[Use el ejercicio previo y la proposicin 30]
36. Suponga que K es un ideal en R, que I es un ideal que contiene a K, y J es cualquier ideal. Si y
denotan la imgenes de I y J en el anillo cociente R/K, muestre que donde
es la imagen de R/K del cociente ideal (I:J)
37. Sea K el ideal Para cada uno de los siguientes pares de ideales I y J, use
los dos ejercicios previos junto con la proposicin 30 para verificar los cocientes ideales
en el anillo R/K:

Los ejercicios 38 a 44 desarrollan algunas propiedades elementales adicionales de ideales
monomios en . Se sigue a partir del Teorema de Base de Hilbert que los ideales son
finitamente generados, sin embargo uno no necesita asumir esto en estos ejercicios los
argumentos son los mismos para ideales generados finita o infinitamente. Estos ejercicios podran
ser usados para dar una prueba independiente del Teorema de Base de Hilbert (ejercicio 44). En
estos ejercicios, M y N son ideales monomios con generadores monomios
para algunos conjuntos de ndices I y J respectivamente.
38. Pruebe que la suma y producto de dos ideales monomios es un ideal monomio mostrando que

39. Muestre que si es cualquier coleccin no vaca de ideales monomios que est
totalmente ordenado bajo inclusin entonces es un ideal monomio (En particular, la
unin de cualquier sucesin creciente de ideales monomios es un ideal monomio, ver ejercicio
19, seccin 7.3)
40. Pruebe que la interseccin de dos ideal monomios es un ideal monomio mostrando que
donde e
i,j
es el mcm de m
i
y n
j
. [use el ejercicio 10]
41. Pruebe que para cualquier monomio n, el cociente ideal donde d
i
es
el MCD de m
i
y n (ver ejercicio 34). Muestre que si N es finitamente generado, entonces el
ideal cociente (M:N) de dos ideales monomios es un ideal monomio.
42.
(a) Muestre que M es un ideal primo monomio si y solo si M=(S) para algn subconjunto de S
de (En particular, existen solo un nmero finito de ideales primos
monomios y cada uno es finitamente generado)
(b) Muestre que es el nico ideal mximo monomio

43. (El Lema de Dickson un caso especial del Teorema de la Base de Hilbert) Pruebe que todo
ideal monomio en es finitamente generado como sigue
Sea ={N / N es un ideal monomio que no es finitamente generado}, y asuma por
contradiccin
(a) Muestre que contiene un elemento mximo M [Use el ejercicio 30 y el Lema de Zorn]
(b) Muestre que existen monomios x, y no en M con [Use el ejercicio 33(a)]
(c) Para x como en (b), muestre que M contiene un ideal monomial M
0
generado finitamente
tal que donde es el ideal
(monomio) definido en el ejercicio 32, y es el producto de estos dos ideales.
Deduzca que M es finitamente generado, una contradiccin que prueba [use la
maximalidad de M y los ejercicio previos]
44. Si I es un ideal no cero en , use el Lema de Dickson para probar que LT(I) es
finitamente generado. Concluya que I tiene una base de Grbner y deduzca el Teorema de la
Base de Hilbert [ver proposicin 24]
45. (n-coloracin de grafos) Un grafo finito de tamao N es un conjunto de vrtices
y una coleccin de aristas (i,j) que conectan el vrtice i con el vrtice j. Una n-
coloracin de es la asignacin de uno de n colores a cada vrtice de tal modo que los
vrtices conectados por una arista tengan diferentes colores. Sea F cualquier campo que
contiene al menos n elementos. Si introducimos una variable x
i
para cada vrtice i y
representamos los n colores eligiendo un conjunto S de n elementos distintos de F, entonces
una n-coloracin de es equivalente a asignar un valor para cada
donde es una arista en . Si es el polinomio
en F[x] de grado n cuyas races son los elementos en S, entonces para algn
equivalente a afirmar que x
i
es una solucin de la ecuacin La afirmacin
es entonces afirmar que as que satisfacen la
ecuacin donde es el polinomio Se
sigue que encontrar una n-coloracin de es equivalente a resolver el sistema de
ecuaciones.


(note tambin que podramos usar cualquier polinomio g que satisface
Se sigue por el Nullstellensatz de Hilbert (ver corolario 33 en la seccin 15.3) que este sistema
de ecuaciones tiene una solucin, por tanto tiene una n-coloracin, a menos que el ideal I
en generado por los polinomos para junto con los
polinomios para las aristas (i,j) en el grafo , no es un ideal propio. Esto a su vez es
equivalente a la afirmacin que la base de Grbner reducida para I (con respecto a cualquier
ordenamiento monomial) es simplemente {1}. Ms an, cuando una n-coloracin existe,
resolviendo este sistema de ecuaciones como en los ejemplos que siguen a la proposicin 29
provee una coloracin explcita para .
Existen muchas posibles elecciones para el campo F y el conjunto S. Por ejemplo, use cualquier
campo F que contiene un conjunto S de n-simas races de unidad, en este caso
y podramos tomar , o usar
cualquier subconjunto S de F= con un primo pn (en cuyo caso n=p, entonces, por el
Pequeo Teorema de Fermat, tenemos )

(a) Considere una posible 3-coloracin del grafo con ocho vrtices y 14 aristas (1,3),
Tome
y suponga que el vrtice 1 est coloreado por 0. En este
caso . Si I es el ideal
generado por para las aristas (i,j) en , muestre que la
base de Grbner reducida para I con respecto al ordenamiento monomial lexicogrfico
Deduzca que
toene dos 3-coloraciones distintas, determinadas por la coloracin del vrtice 8 (el cual
debe ser coloreado por un elemento no cero en ), y exhiba las coloraciones de
Muestre que si la arista (3,7) es agregada a entonces el grafo no puede ser 3-coloreado
(b) Tome as que y podramos usar
Muestre que el grafo con cinco vrtice y que tiene 9
aristas (el grafo completo de cinco
vrtices con una arista removida) puede ser 4-coloreada pero no puede ser 3-coloreada
(c) Use las bases de Grbner para mostrar que el grafo con nueve vrtices y 22 aristas
(1,4), (1,6),
tiene precisamente cuatro 4-coloraciones en
cuanto a permutacin de los colores (por tanto un total de 96 4-coloraciones totales).
Muestre que si la arista (1,5) es agerga entonces no puede ser 4-coloreada.