Algebracomputacional

Introducion al algebra conmutativa
computacional: bases de Grobner

Oswaldo Lezama
Grupo de

Algebra Conmutativa Computacional-SAC
2
Departamento de Matematicas
Universidad Nacional de Colombia, Bogota, COLOMBIA
Resumen
Existen problemas en algebra conmutativa, geometra algebraica y
algebra homologica que tienen un planteamiento claro y sencillo, pero
cuya solucion efectiva resulta muy intrincada y extensa usando tecnicas
tradicionales no algortmicas. Divulgamos en el presente trabajo la
teora basica de la bases de Grobner y su aplicacion para resolver este
tipo de problemas. En particular, si k es un cuerpo y R = k[x
1
, . . . , x
n
]
es el anillo de polinomios en n indeterminadas, mostramos como calcu-
lar intersecciones y cocientes de ideales, n ucleos e imagenes de homo-
morsmos, as como tambien mostramos un uso de las bases de Grobner
en geometra algebraica para decidir si dos variedades son iguales, y
un metodo para establecer si un morsmo entre variedades constituye
un isomorsmo. Como una aplicacion sencilla en algebra homologica,
calcularemos el modulo Hom de dos submodulos de un modulo libre
de bases nitas sobre un anillo polinomial con coecientes en un anillo
conmutativo noetheriano.
Key words and phrases. Bases de Grobner, algoritmo de Buchberger,
ideales, variedades, teorema de ceros de Hilbert, modulos de presenta-
cion nita, Hom.
2000 Mathematics Subject Classication. Primary: 13P10. Secondary:
13F20, 13E15, 13D02, 13D07.
1
2 Oswaldo Lezama
1 Introduccion
Las bases de Grobner constituyen una herramienta algortmica y computa-
cional efectiva para resolver problemas en algebra conmutativa, geometra
algebraica y algebra homologica, entre otras muchas areas dentro y fuera del
algebra. Esta tecnica fue creada y desarrollada principalmente por Wolf-
gang Grobner y su discpulo Bruno Buchberger ([2]) en la decada del 60.
Sin embargo, las bases de Grobner adquieren importancia solo a partir de
la decada del 80 debido a la aparicion de los computadores personales y los
paquetes que permiten calcularlas en forma efectiva. Dentro de los princi-
pales paquetes se encuentra CoCoA ([5]), un software desarrollado hacia 1983
en la Universidad de Genova bajo la direccion de Lorenzo Robbiano. Co-
CoA tiene implementados en lenguaje C los principales algoritmos necesarios
para realizar calculos en anillos de polinomios en varias indeterminadas con
coecientes racionales y en cuerpos nitos modulo p, as como tambien los
algoritmos para efectuar calculos propios de la geometra algebraica.
Se debe mencionar el intenso estudio que se esta realizando en la actuali-
dad en los aspectos teoricos, algortmicos y en las aplicaciones de las bases
de Grobner, se destacan los trabajos del grupo de Lorenzo Robbiano en
Italia ([13],[14]), los de Adamas, Loustaunau y Sturmfels en Estados Unidos
(veanse [1], [15], [16], [17], [19], [20], [23]), los de Buchberger en Austria
([2], [3]), el grupo de Kaiserslautern en Alemania (vease [12]), el grupo del
INRIA en Francia (veanse [7], [21], [22]), el grupo de espa noles con Gomez
Torrecillas y Gago-Vargas (veanse [4], [10], [11]), solo para mencionar al-
gunos.
Introduccion al algebra conmutativa computacional 3
El proposito del presente trabajo divulgativo es mostrar de una manera no
formal, el uso de las bases de Grobner en la solucion de problemas elemen-
tales de algebra conmutativa, geometra algebraica y algebra homologica.
El material ha sido tomado principalmente de [1] y [18], y las pruebas que
omitamos pueden ser consultadas en esas fuentes bibliogracas. Para los
topicos elementales de geometra algebraica que usaremos se puede consul-
tar por ejemplo [8]. Hemos organizado el material en 2 partes:
Bases de Grobner de ideales
Planteamiento de los problemas
Bases de Grobner y algoritmos
Resultados teoricos y solucion de los problemas
Solucion de problemas con CoCoA
Bases de Grobner de modulos
Motivacion y antecedentes
Bases de Grobner y algoritmos
Aplicaciones elementales en algebra homologica
4 Oswaldo Lezama
2 Bases de Grobner de ideales
Estudiaremos la teora basica de las bases de Grobner para los ideales del
anillo de polinomios en varias inderterminadas con coecientes en un cuerpo.
2.1 Planteamiento de los problemas
Las aplicaciones que presentamos en esta primera parte estan circunscritas al
anillo de polinomios en varias indeterminadas, k[x
1
, . . . , x
n
], con coecientes
en el cuerpo k. En los problemas y ejemplos, el cuerpo k sera Q o bien Z
p
,
con p primo. Estas restricciones sobre k obedecen al uso posterior que
haremos del paquete CoCoA para resolver en forma no manual algunos de
los problemas planteados. Para los problemas de geometra algebraica, los
ideales I seran de k[x
1
, . . . , x
n
] y las variedades V
k
(I) seran del espacio afn
k
n
, donde k es la clausura algebraica de k.
2.1.1 Problemas en teora de anillos
Problema 1. Sea I =< x
2
y y +x, xy
2
x > un ideal en el anillo Q[x, y].
Determinar si el polinomio y
4
x + 2y
2
x
3
y
2
x + 2yx
2
x
3
y pertenece al
ideal I.
2
+ y
2
+ 1, x
2
y + 2xy + x > un ideal en el anillo
Z
5
[x, y]. Calcular dim
Z
5
(Z
5
[x, y]/I).
Problema 3. En Q[x, y, z], sean I =< x
2
+z, xy+y
2
+z, xz y
3
2yz, y
4
+
3y
2
z +z
2
> y J =< x
2
+z, xy +y
2
+z, x
3
yz > dos ideales. Determinar
si I = J.
6 Oswaldo Lezama
Problema 4. Sean I =< x
2
+y
3
1, xyx+3 > y J =< x
2
y 1 > ideales
de Q[x, y]. Calcular I J.
Problema 5. Sean g
1
= x(x +y)
2
, g
2
= y, f
1
= x
2
y f
2
= x +y polinomios
de Q[x, y]. Calcular J : I, donde J =< g
1
, g
2
> e I =< f
1
, f
2
>.
Problema 6. Para el homomorsmo de Q-algebras:
Q[u, v, w]/J
Q[x, y]/I
u +J x +y +I
v +J x y +I
w +J 2xy +I
donde J =< uvw, u
2
v
2
w
2
2w > Q[u, v, w], e I =< x
2
2xy, y
2
>
Q[x, y], calcular ker() e im().
2.1.2 Problemas en geometra algebraica
2
z
2
+x
3
, xz
4
+2x
2
z
2
+x
3
, y
2
z 2yz
2
+z
3
, x
2
y +
y
3
> y J =< xz
2
+x
2
, yz
2
z
3
, x
2
yx
2
z, y
4
x
3
, x
4
zx
3
z, z
6
+x
4
, x
5
x
4
>
ideales de Q[x, y, z]. Determinar si V
Q
(I) = V
Q
(J).
Problema 8. Sea V C
2
la variedad denida por el polinomio x
2
yx+1,
y W C
4
la variedad denida por el polinomio u
4
+ u
3
+ 2u
2
v + v
2
+
uv + 1. Es decir, V = V
C
(I) con I =< x
2
yx + 1 > y W = V
C
(J) con
J =. Determinar si la funcion denida
por
: V
C
(I) V
C
(J)
(a, b)
_
b, b
2
a
_
.
es un isomorsmo de variedades.
8 Oswaldo Lezama
2.2 Bases de Grobner y algoritmos
2.2.1 Algoritmo de la division
Sean f, g k[x], con g(x) ,= 0, entonces existen q(x), r(x) k[x] tales que
f(x) = g(x)q(x) +r(x),
donde r(x) = 0 o gr(r(x)) < gr(g(x)), ademas q(x) y r(x) son unicos.
Esta propiedad se puede extender al caso de varias indeterminadas intro-
duciendo un orden sobre los productos de potencias que conforman los poli-
nomios y deniendo un concepto de reduccion de un polinomio respecto
de otro o, mas generalmente, de un polinomio respecto de un sistema de
polinomios dados.
Un polinomio de k[x
1
, . . . , x
n
] es una suma nita de terminos de la forma
cx
1
1
x
n
n
,
donde c k y
1
, . . . ,
n
son enteros no negativos. Diremos que c es el
coeciente y x
1
1
x
n
n
es el producto de potencias del termino, o tambien
que x
1
1
x
n
n
es el monomio del termino.
El conjunto de todos los productos de potencias o monomios en las indeter-
minadas x
1
, . . . , x
n
se denota por
T
n
:= x
1
1
x
n
n
[
i
N, i = 1, . . . , n,
o tambien mediante Mon(A), con A := k[x
1
, . . . , x
n
]. En ocasiones de-
notaremos x
1
1
x
n
n
simplemente por x
, donde = (
1
, . . . ,
n
) N
n
.
Tambien se usa la notacion X := x
1
1
x
n
n
. Existen muchas maneras de
ordenar T
n
, pero las mas usadas en el contexto de las bases de Grobner son
las siguientes.
Denicion 2.1. El orden lexicograco sobre T
n
, denotado por lex, se dene
por
(a) x
1
> x
2
> x
3
> > x
n
(b) Para = (
1
, . . . ,
n
) y = (
1
, . . . ,
n
) N
n
,
x
> x
las primeras coordenadas

i
y
i
en y desde la
izquierda, las cuales son diferentes, satisfacen
i
>
i
.
Por ejemplo, el polinomio f Q[x, y] = y
4
x + 2y
2
x
3
y
2
x + 2yx
2
x
3
y
con orden lexicograco en el cual x > y se ordena de mayor a menor en la
forma
2x
3
y
2
x
3
+ 2x
2
y +xy
4
xy
2
y.
10 Oswaldo Lezama
Denicion 2.2. El orden lexicograco con grado en T
n
, denotado por de-
glex, se dene por
(a) x
1
> x
2
> x
3
> > x
n
(b) Para = (
1
, . . . ,
n
) y = (
1
, . . . ,
n
) N
n
,
x
> x
_
_
_
n
i=1
i
>
n
i=1
i
o
n
i=1
i
=
n
i=1
i
y x
> x
en el orden lex.
As pues, el polinomio f Q[x, y] = y
4
x + 2y
2
x
3
y
2
x + 2yx
2
x
3
y con
orden lexicograco con grado en el cual y > x ya se encuentra ordenado de
mayor a menor.
Para un polinomio f ordenado mediante alg un orden, se denen:
su coeciente principal lc(f)
su producto principal de potencias lp(f), o tambien denominado su
monomio principal y denotado por lm(f)
y su termino principal lt(f) = lc(f)lp(f).
En el ejemplo,
lc(f) = 1
lp(f) = y
4
x
lt(f) = y
4
x.
Una vez ordenados dos polinomios f y g mediante alg un orden, podemos
realizar un proceso de reduccion seg un la siguiente division:
y
4
x + 2y
2
x
3
y
2
x + 2yx
2
x
3
y y
2
x x
2y
2
x
3
+ 2yx
2
x
3
y y
2
Notemos que la relacion entre el dividendo f, el divisor g, el cociente y
2
y
el residuo r es la siguiente
r = 2y
2
x
3
+ 2yx
2
x
3
y = f
lt(f)
lt(g)
g
Esta sencilla operacion da origen a las siguientes deniciones y al algoritmo
de la division en varias indeterminadas.
Denicion 2.3. Dados f, g k[x
1
, . . . , x
n
] con g ,= 0 decimos que f se
reduce a r modulo g en un paso, lo cual denotamos por
f g
r,
si, y solo si, lp(g) divide un monomio x
de alg un termino no nulo cx
que
aparece en f, y ademas
r = f
cx
lt(g)
g
La idea de la reduccion es eliminar en f el termino cx
. En la mayora de
los casos la idea es eliminar el termino principal lt(f).
12 Oswaldo Lezama
Denicion 2.4. Sean f, r, f
1
, . . . , f
s
k[x
1
, . . . , x
n
], donde f
i
,= 0 para cada
1 i s, y sea F = f
1
, . . . , f
s
. Decimos que f se reduce a r modulo F,
lo cual denotamos por
f
F
+
r,
si, y solo si, existe una secuencia nita de ndices i
1
, i
2
, . . . , i
t
1, . . . , s
y una secuencia de polinomios r
1
, . . . , r
t1
k[x
1
, . . . , x
n
] tales que
f
f
i
1
r
1
f
i
2
r
2
f
i
3
r
3

f
i
t1
r
t1
f
i
t
r.
Denicion 2.5. Un polinomio r se dice reducido con respecto a un conjunto
F = f
1
, . . . , f
s
de polinomios no nulos si r = 0 o ning un producto de
potencias de r es divisible por alguno de los lp(f
i
), i = 1, . . . , s. En otras
palabras, r no puede ser reducido modulo F.
Denicion 2.6. Si f
F
+
r y r es reducido con respecto a F, entonces se
dice que r es un residuo con respecto a F.
Ejercicio 2.7. (i) Reducir el polinomio f := y
2
x mediante los polinomios
f
1
:= yx y y f
2
:= y
2
x, utilizando el orden deglex con y > x. (ii)
Repetir el ejercicio pero utilizando el orden lex con x > y. (iii) Repetir el
ejercicio con el orden deglex con y > x, pero asumiendo que f
1
:= y
2
x y
f
2
:= yxy. (iv) Reducir el polinomio g := y
4
x+2y
2
x
3
y
2
x+2yx
2
x
3
y
mediante los polinomios f
1
:= yxy, f
2
:= y
2
x y f
3
:= x
2
y, utilizando
el orden deglex con y > x.
14 Oswaldo Lezama
El proceso de reduccion permite denir un algoritmo de division adaptado
del algoritmo de division en una indeterminada. Este algoritmo tambien
podramos denominarlo algoritmo de reduccion ya que para un polinomio
dado f produce un polinomio reducido r respecto de un conjunto F de
polinomios dados mediante la aplicacion reiterada del metodo de reduccion
establecido en la denicion 2.3.
Sean f, f
1
, . . . , f
s
k[x
1
, . . . , x
n
], donde f
i
,= 0 para cada 1 i s, este
algoritmo produce cocientes u
1
, . . . , u
s
k[x
1
, . . . , x
n
] y un residuo r
k[x
1
, . . . , x
n
] tales que
f = u
1
f
1
+ +u
s
f
s
+r
y
maxlp(u
1
)lp(f
1
), . . . , lp(u
s
)lp(f
s
), lp(r) = lp(f).
ENTRADA: f, f
1
, . . . , f
s
k[x
1
, . . . , x
n
] , donde f
i
,= 0 para cada 1 i s
SALIDA: u
1
, . . . , u
s
, r k[x
1
, . . . , x
n
] tales que
f = u
1
f
1
+ +u
s
f
s
+r y r es reducido con respecto a
f
1
, . . . , f
s
y maxlp(u
1
)lp(f
1
), . . . , lp(u
s
)lp(f
s
), lp(r) = lp(f).
INICIO: u
1
:= 0, u
2
:= 0, . . . , u
s
:= 0, r := 0, h := f
MIENTRAS h ,= 0 HAGA
SI existe i tal que lp(f
i
) divide a lp(h) ENTONCES
escoja i mas peque no tal que lp(f
i
) divide a lp(h)
u
i
:= u
i
+
lt(h)
lt(fi)
h := h
lt(h)
lt(fi)
f
i
DE LO CONTRARIO
r := r +lt(h)
h := h lt(h)
Algoritmo de la division en varias indeterminadas
Ejemplo 2.8. Mostramos el algoritmo de la division aplicado a f = y
2
x
entre F = f
1
, f
2
, donde f
1
= yx y, f
2
= y
2
x Q[x, y]. El orden es
deglex con y > x.
INICIO: u
1
= 0, u
2
= 0, r = 0, h = y
2
x.
Primer paso a traves del ciclo MIENTRAS:
yx = lp(f
1
) divide a lp(h) = y
2
x
u
1
= u
1
+
y
2
x
yx
= y
h = h
lt(h)
lt(f
1
)
f
1
= y
2
x
y
2
x
yx
(yx y)
= y
2
Segundo paso a traves del ciclo MIENTRAS:
yx = lp(f
1
) no divide a lp(h) = y
2
y
2
= lp(f
2
) divide a lp(h) = y
2
u
2
= u
2
+
y
2
y
2
= 1
h = h
lt(h)
lt(f2)
f
2
= y
2
y
2
y
2
_
y
2
x
_
= x
Tercer paso a traves del ciclo MIENTRAS:
yx = lp(f
1
) no divide a lp(h) = x
y
2
= lp(f
2
) no divide a lp(h) = x
r = r +lt(h) = x
h = h lt(h) = 0
FIN
Se tiene entonces que
f
F
+
x
f = y (yx y) + 1
_
y
2
x
_
+x
lp(f) = y
2
x = lp(u
1
)lp(f
1
) = maxlp(u
1
)lp(f
1
), lp(u
2
)lp(f
2
).
16 Oswaldo Lezama
2.2.2 Bases de Grobner para ideales
En el ejemplo anterior notemos que el proceso de reduccion de f = y
2
x entre
F = f
1
= yx y, f
2
= y
2
x puede realizarse de dos maneras:
f
x,f
2
x
2
y
f
y,f
1
y
2
1,f
2
x
Se obtienen dos residuos distintos para f respecto de F. Como veremos mas
adelante, una de las principales caracterizaciones de las bases de Grobner
consiste en que los residuos en el proceso de reduccion son unicos.
Denicion 2.9. Un conjunto de polinomios no nulos G = g
1
, . . . , g
t
con-
tenido en un ideal I es una base de Grobner para I si, y solo si, para todo
f I no nulo existe i 1, . . . , t tal que lp(g
i
) divide a lp(f).
Ejemplo 2.10. Sean f
1
= yx y, f
2
= y
2
x e I =< f
1
, f
2
>. Usamos el
orden deglex con y > x. Entonces notemos que
x
2
x = yf
1
+ (1 x)f
2
I,
pero x
2
= lp(x
2
x) no es divisible por lp(f
1
) = yx ni por lp(f
2
) = y
2
. Esto
indica que F = f
1
, f
2
no es una base de Grobner para I.
Veremos en la siguiente seccion que todo ideal I de k[x
1
, . . . , x
n
] tiene una
base de Grobner. El metodo para construirla es el algoritmo de Buchberger
que veremos mas adelante.
18 Oswaldo Lezama
2.2.3 Caracterizacion
Existen varias caracterizaciones de las bases de Grobner, comenzamos con
tres de las m as importantes. Para esto necesitamos la siguiente denicion.
Denicion 2.11. Para un subconjunto S de k[x
1
, . . . , x
n
], se dene el ideal
de terminos principales de S como el ideal
Lt(S) :=< lt(s) [ s S > .
Teorema 2.12. Sea I un ideal no nulo de k[x
1
, . . . , x
n
]. Las siguientes
armaciones son equivalentes para cada conjunto de polinomios no nulos
G = g
1
, . . . , g
t
I.
(i) G es una base de Grobner para I.
(ii) f I si, y solo si, f
G
+
0.
(iii) f I si, y solo si, f =
t
i=1
h
i
g
i
, con lp(f) = max
1it
(lp(h
i
)lp(g
i
)).
(iv) Lt(G) = Lt(I).
Proof. (i)(ii) Sea f k[x
1
, . . . , x
n
], por el algoritmo de la division, existe
r k[x
1
, . . . , x
n
], reducido con respecto a G, tal que f
G
+
r. De esta forma,
f r I, con lo cual, f I si, y solo si, r I. Si r = 0, es decir, si f
G
+
0,
entonces f I . Recprocamente, si f I y r ,= 0 entonces r I y por (i)
existe i 1, . . . , t tal que lp(g
i
) divide a lp(r). Esto contradice el hecho
que r es reducido con respecto a G. En consecuencia, r = 0 y f
G
+
0.
(ii)(iii) Esto es consecuencia directa del algoritmo de la division.
(iii)(iv) Claramente Lt(G) Lt(I). Para la inclusion recproca es suente
probar que para todo f I, lt(f) Lt(G), ya que los elementos lt(f)
generan Lt(I). Escribiendo f como en (iii) se sigue inmediatamente que
lt(f) =
i
lt(h
i
)lt(g
i
),
donde la suma se toma sobre todos los i tales que lp(f) = lp(h
i
)lp(g
i
). El
resultado se obtiene entonces inmediatamente.
(iv)(i) Sea f I, entonces lt(f) esta en Lt(G), y por lo tanto,
lt(f) =
t
i=1
h
i
lt(g
i
), (2.1)
para algunos h
i
k[x
1
, . . . , x
n
]. Si se expande el lado derecho de la ecuacion
(2.1), vemos que cada termino es divisible por alg un lp(g
i
), en particular el
termino principal del lado derecho. De esta forma, lt(f), el unico termino
del lado izquierdo, debe ser tambien divisible por alg un lp(g
i
).
Corolario 2.13. Si G = g
1
, . . . , g
t
es una base de Grobner para el ideal
I, entonces I =< g
1
, . . . , g
t
> .
20 Oswaldo Lezama
Teorema 2.14. Cada ideal no nulo I de k[x
1
, . . . , x
n
] tiene una base de
Grobner.
Proof. Probemos inicialmente la siguiente propiedad: sea I un ideal ge-
nerado por un conjunto S de terminos no nulos, y sea f k[x
1
, . . . , x
n
].
Entonces, f I si, y solo si, para cada termino X en f existe Y S tal
que Y divide a X. Ademas, existe un subconjunto nito S
0
de S tal que
I =< S
0
> . En efecto, si f I entonces
f =
l
i=1
h
i
X
i
, (2.2)
donde h
i
k[x
1
, . . . , x
n
] y X
i
S, para i = 1, . . . , l. Si expandimos el lado
derecho de la ecuacion (2.2) vemos que cada termino es divisible por alg un
termino X
i
de S, y por lo tanto, cada termino del lado izquierdo debe ser
tambien divisible por alg un termino X
i
de S. Recprocamente, si para cada
termino X de f existe un termino Y en S tal que Y divide a X, entonces
cada X esta en I =< S >, y en consecuencia, f pertenece a I. Para probar
la ultima armacion, notemos que por el Teorema de la base de Hilbert, I
es generado por un conjunto nito. Por lo probado antes, cada termino en
cada elemento de este conjunto nito es divisible por un elemento de S. El
conjunto S
0
de tales terminos es nito y genera a I.
Por la armacion probada anteriormente, el ideal Lt(I) tiene un conjunto
nito de generadores que puede ser asumido de la forma lt(g
1
), . . . , lt(g
t
),
donde g
1
, . . . , g
t
I. Sea G = g
1
, . . . , g
t
, entonces Lt(G) = Lt(I), y en
consecuencia, G es una base de Grobner para I.
22 Oswaldo Lezama
Otra caracterizacion muy importante de las bases de Grobner se presenta
en el siguiente teorema.
Teorema 2.15. Sea G = g
1
, . . . , g
t
un conjunto de polinomios no nulos
de k[x
1
, . . . , x
n
]. Entonces, G es una base de Grobner para < G > si, y solo
si, para cada f k[x
1
, . . . , x
n
] el residuo de la division de f por G es unico.
Proof. Vease el teorema 1.6.7 de [1]
2.2.4 Bases de Grobner reducidas
Sea I un ideal no nulo de k[x
1
, . . . , x
n
] y sea G = g
1
, . . . , g
t
una base de
Grobner para I; puesto que cada g
i
I, entonces puede existir g
j
G con
j ,= i tal que lp(g
j
) divida a lp(g
i
), o en forma mas general, que lp(g
j
) divida
alg un termino de g
i
. Es decir, que podramos reducir g
i
por medio de g
j
.
Diremos en este caso que G no es una base de Grobner reducida.
Denicion 2.16. Sean I un ideal no nulo de k[x
1
, . . . , x
n
] y G = g
1
, . . . , g
t
una base de Grobner para I; se dice que G es reducida si para cada 1 i t

se tiene que lc(g
i
) = 1, y ademas no existe producto de potencias en g
i
que
sea divisible por alg un lp(g
j
), j ,= i.
24 Oswaldo Lezama
Teorema 2.17. Sean I un ideal no nulo de k[x
1
, . . . , x
n
] y G = g
1
, . . . , g
t
una base de Grobner para I calculada a traves de un orden de terminos que

se ja. Entonces, I tiene una unica base de Grobner reducida construida de
la siguiente manera:
(i) Se eliminan todos los g
i
para los cuales existe un j ,= i tal que lp(g
j
)
divide a lp(g
i
), y ademas se divide cada uno de los g
i
que quedan por
su coeciente principal lc (g
i
).
(ii) Se realiza el siguiente proceso de reduccion:
g
1
H
1
+
h
1
, donde h
1
es reducido respecto de H
1
= g
2
, . . . , g
t
g
2
H
2
+
h
2
, donde h
2
2
= h
1
, g
3
, . . . , g
t
g
3
H
3
+
h
3
, donde h
3
3
= h
1
, h
2
, g
3
, . . . , g
t
.
.
.
g
t
Ht
+
h
t
, donde h
t
t
= h
1
, h
2
, . . . , h
t1
.
(iii) H = h
1
, . . . , h
t
es la base de Grobner reducida para I.
Proof. Vease el teorema 1.8.7 de [1].
2.2.5 Algoritmo de Buchberger
Presentamos ahora el metodo de Bruno Buchberger para construir bases de
Grobner (vease [1] y [2]). La clave del metodo radica en la introduccion de
los llamados S-polinomios.
Denicion 2.18. Sean f, g polinomios no nulos de k[x
1
, . . . , x
n
]. Sea L =
lcm(lp(f), lp(g)). Entonces el polinomio
S(f, g) :=
L
lt(f)
f
L
lt(g)
g
es llamado el S-polinomio de f y g.
Ejemplo 2.19. Sea f = 2yx y, g = 3y
2
x Q[x, y] con el orden deglex
y y > x. Entonces lcm(yx, y
2
) = y
2
x y
S(f, g) =
y
2
x
2yx
(2yx y)
y
2
x
3y
2
_
3y
2
x
_
=
1
2
yf
1
3
xg =
1
2
y
2
+
1
3
x
2
.
Notemos que los producto de potencias lp(
1
2
yf) = y
2
x = lp(
1
3
xg) han sido
cancelados en S(f, g).
26 Oswaldo Lezama
El siguiente teorema debido a Buchberger muestra que la vericacion de la
reduccion a cero de los polinomios de un ideal basta realizarla solamente
sobre los S-polinomios.
1
, . . . , g
t
un conjunto de polinomios no nu-
los de k[x
1
, . . . , x
n
]. Entonces, G es una base de Grobner para el ideal
I =< g
1
, . . . , g
t
> si, y solo si, para cada i ,= j
S(g
i
, g
j
)
G
+
0.
Teorema 2.21 (Buchberger, [2]). Dado F = f
1
, . . . , f
s
con f
i
,= 0
(1 i s), el siguiente algoritmo debido a Buchberger produce una base de
Grobner para el ideal I = f
1
, . . . , f
s
):
ENTRADA: F = f
1
, . . . , fs k[x
1
, . . . , xn] , donde f
i
,= 0 para cada 1 i s
SALIDA: G = g
1
, . . . , gt una base de Grobner para f
1
, . . . , fs)
INICIO: G := F, G := f
i
, f
j
[ f
i
,= f
j
G
MIENTRAS G ,= HAGA
Escoja f, g G
G := Gf, g
S(f, g)
G
+
h, donde h es reducido con respecto a G
SI h ,= 0 ENTONCES
G := G u, h [ para cada u G
G := G h
Algoritmo de Buchberger para calcular bases de Grobner
28 Oswaldo Lezama
Ejemplo 2.22. Calculemos una base de Grobner reducida para el ideal
I =< x
2
y y + x, xy
2
x > en el anillo Q[x, y] mediante el algoritmo de
Buchberger. Usamos el orden deglex con y > x. Lo primero que debemos
hacer es reescribir los polinomios dados seg un el orden elegido: f
1
= yx
2
y +x, f
2
= y
2
x x.
INICIO: G := f
1
, f
2
, G := f
1
, f
2
.
Primer paso a traves del ciclo MIENTRAS:
G ,=
Escogemos f
1
, f
2
G
G := Gf
1
, f
2
=
S (f
1
, f
2
) =
y
2
x
2
yx
2
_
yx
2
y +x
_
y
2
x
2
y
2
x
_
y
2
x x
_
= y
2
+xy +x
2
(reducido respecto de G)
f
3
:= y
2
+yx +x
2
Como f
3
,= 0,
G := f
1
, f
3
, f
2
, f
3
.
G := f
1
, f
2
, f
3
Segundo paso a traves del ciclo MIENTRAS:

G ,=
Escogemos f
1
, f
3
G
G := Gf
1
, f
3
= f
2
, f
3
S (f
1
, f
3
) =
y
2
x
2
yx
2
_
yx
2
y +x
_
y
2
x
2
y
2
_
y
2
+xy +x
2
_
=
yx
3
+x
4
y
2
+yx
yx
3
+x
4
y
2
+yx
f
1
x
4
y
2
+ 2yx x
2
f
3
x
4
+yx 2x
2
f
4
:= x
4
+yx 2x
2
.
Como f
4
,= 0,
G := f
2
, f
3
, f
1
, f
4
, f
2
, f
4
, f
3
, f
4
G := f
1
, f
2
, f
3
, f
4
Tercer paso a traves del ciclo MIENTRAS:

G ,=
Escogemos f
2
, f
3
G
G := Gf
2
, f
3
= f
1
, f
4
, f
2
, f
4
, f
3
, f
4
S (f
2
, f
3
) =
y
2
x
y
2
x
_
y
2
x x
_
y
2
x
y
2
_
y
2
+yx +x
2
_
= yx
2
+x
3
x
f
1
x
3
+y 2x
f
5
:= x
3
+y 2x
Como f
5
,= 0,
G := f
1
, f
4
, f
2
, f
4
, f
3
, f
4
,
f
1
, f
5
, f
2
, f
5
, f
3
, f
5
, f
4
, f
5
G := f
1
, f
2
, f
3
, f
4
, f
5
Cuarto paso a traves del ciclo MIENTRAS:

G ,=
Escogemos f
1
, f
4
G
G := Gf
1
, f
4
= f
2
, f
4
, f
3
, f
4
,
f
1
, f
5
, f
2
, f
5
, f
3
, f
5
, f
4
, f
5
S (f
1
, f
4
)
G
+
0
Quinto paso a traves del ciclo MIENTRAS:
G ,=
Escogemos f
2
, f
4
G
G := Gf
2
, f
4
= f
3
, f
4
, f
1
, f
5
,
f
2
, f
5
, f
3
, f
5
, f
4
, f
5
S (f
2
, f
4
)
G
+
0
Sexto paso a traves del ciclo MIENTRAS:
G ,=
Escogemos f
3
, f
4
G
G := Gf
3
, f
4
= f
1
, f
5
, f
2
, f
5
, f
3
, f
5
, f
4
, f
5
S (f
3
, f
4
)
G
+
0
Septimo paso a traves del ciclo MIENTRAS:
G ,=
Escogemos f
1
, f
5
G
G := Gf
1
, f
5
= f
2
, f
5
, f
3
, f
5
, f
4
, f
5
S (f
1
, f
5
)
G
+
0
Octavo paso a traves del ciclo MIENTRAS:
G ,=
Escogemos f
2
, f
5
G
G := Gf
2
, f
5
= f
3
, f
5
, f
4
, f
5
S (f
2
, f
5
)
G
+
0
Noveno paso a traves del ciclo MIENTRAS:
G ,=
Escogemos f
3
, f
5
G
G := Gf
3
, f
5
= f
4
, f
5
S (f
3
, f
5
)
G
+
0
Decimo paso a traves del ciclo MIENTRAS:
G ,=
Escogemos f
4
, f
5
G
G := Gf
4
, f
5
=
30 Oswaldo Lezama
S (f
4
, f
5
)
G
+
0
FIN
G = f
1
, f
2
, f
3
, f
4
, f
5
es una base de Grobner para I.
Esta no es una base reducida ya que lp(f
2
) = y
2
x es divisible por lp(f
3
) = y
2
y lp(f
4
) = x
4
es divisible por lp(f
5
) = x
3
. Eliminamos entonces f
2
y f
4
.
Ademas el coeciente principal de f
3
es 1. Se tiene entonces que
f
1
= yx
2
y +x, f
3
= y
2
yx x
2
, f
5
= x
3
+y 2x
satisface la primera condicion de la denicion de base reducida. Notemos
que esta es en realidad una base reducida con respecto al orden deglex y con
y > x.
2.3 Resultados teoricos y solucion de los problemas
Presentamos en esta seccion algunos resultados clasicos de la teora de bases
de Grobner y las soluciones de los problemas planteados en la subseccion
2.1. Tambien incluimos algunos resultados basicos de geometra algebraica
necesarios para una mejor comprension de las soluciones a los problemas 7
y 8 (vease 2.1.2).
2.3.1 Problemas en teora de anillos
Comencemos con el problema de la pertenencia a un ideal.
2
y y +x, xy
2
x > un ideal en el anillo Q[x, y].
Determinar si el polinomio y
4
x + 2y
2
x
3
y
2
x + 2yx
2
x
3
y pertenece al
ideal I.
Sean f
1
, . . . , f
s
polinomios de k[x
1
, . . . , x
n
] y sea G = g
1
, . . . , g
t
una base
de Grobner reducida para el ideal I =< f
1
, . . . , f
s
> respecto de un orden
de terminos que hemos jado. Hemos visto que para un polinomio f
k[x
1
, . . . , x
n
] se tiene que
f I f
G
+
0.
As pues, el problema de la pertenencia esta resuelto: calculamos una base
de Grobner para I y enseguida realizamos el algoritmo de la division del
polinomio f entre la base G, si el residuo es nulo entonces f I, en caso
contrario f no pertenece a I. En el caso positivo, es decir, si f I, se
encuentran u
1
, . . . , u
t
tales que
f = u
1
g
1
+ +u
t
g
t
.
En efecto, por el algoritmo de la division se tiene que f = u
1
g
1
+ +u
t
g
t
+r,
donde r es reducido respecto de G, pero entonces r I, y si r fuera no nulo
existira lp(g
i
) que divide a lp(r), pero esto contradice la armacion sobre
la reduccion de r respecto de G. Por tanto r = 0.
32 Oswaldo Lezama
Solucion del Problema 1. Sean f
1
= x
2
y y + x, f
2
= xy
2
x, e
I =< f
1
, f
2
>. El primer paso para la solucion fue realizado en el ejemplo
2.22. All vimos que una base de Grobner reducida para I es
G = f
1
= yx
2
y +x, f
3
= y
2
yx x
2
, f
5
= x
3
+y 2x.
Consideremos entonces el polinomio f = y
4
x +2y
2
x
3
y
2
x +2yx
2
x
3
y
y realicemos el algoritmo de la division de f entre la base G. Mostramos
la realizacion del algoritmo por medio del proceso de reduccion, indicando
en cada paso el cociente y el polinomio de G utilizado. Recordemos que el
orden es deglex con y > x:
f y
2
x +yx
2
+ 4x
3
, f
3
5yx
4
+ 4x
5
y
2
x + 2yx
2
x
3
y
5x
2
, f
1
4x
5
y
2
x + 7yx
2
6x
3
y
4x
2
, f
5
y
2
x + 3yx
2
+ 2x
3
y
x, f
3
2yx
2
x
3
y
2, f
1
x
3
+y 2x
1, f
5
0
Esto indica que f I. Ademas,
f =(y
2
x +yx
2
+ 4x
3
x)f
3
+ (5x
2
+ 2)f
1
+ (4x
2
+ 1)f
5
. (2.3)
2
+ y
2
+ 1, x
2
y + 2xy + x > un ideal en el anillo
Z
5
[x, y]. Calcular dim
Z
5
(Z
5
[x, y]/I).
La solucion de este problema se apoya en el siguiente resultado.
Teorema 2.23. Una base para el k-espacio vectorial k[x
1
, . . . , x
n
]/I consta
de las clases de todos los productos de potencias X T
n
tales que para cada
1 i t, lp (g
i
) X, donde G = g
1
, . . . , g
t
es una base de Gr obner
reducida del ideal I.
Proof. Nosotros hemos visto que para cualquier f k[x
1
, . . . , x
n
],
f
G
+
r,
donde r es un polinomio reducido respecto de la base de Grobner G. Ademas,
f = h
1
g
1
+ + h
t
g
t
+ r, donde h
i
k[x
1
, . . . , x
n
], 1 i t. Entonces,
tomando clases en el anillo cociente se tiene que f = r, y por la denicion de
reduccion, r es una combinacion k-lineal de productos de potencias X T
n
tales que lp(g
i
) no divide a X, para todo i = 1, 2, . . . , t. Finalmente, las
clases de tales productos son linealmente independientes: en efecto, sea
1
X
1
+ +
1
X
m
= 0 una combinacion nula de tales clases, entonces
1
X
1
+ +
1
X
m
I y este polinomio reducido se debe reducir a cero,
pero el residuo es unico, entonces necesariamente
1
X
1
+ +
1
X
m
= 0,
es decir, los coecientes son nulos.
34 Oswaldo Lezama
Solucion del Problema 2. Se puede probar que una base de Grobner
reducida para el ideal I =< f
1
, f
2
> Z
5
[x, y], donde f
1
= x
2
+ y
2
+ 1 y
f
2
= x
2
y + 2xy + x con respecto al orden lex y con x > y es g
1
, g
2
, g
3
,
donde g
1
= f
1
, g
2
= xy + 3x + 2y
3
+ 2y y g
3
= y
5
+ 2y
4
+ 4y
2
+ 4y + 2.
Seg un el teorema anterior, una base para Z
5
[x, y] / I es 1, x, y, y
2
, y
3
, y
4
, y
en consecuencia, dim
Z
5
(Z
5
[x, y] / I) = 6.
Problema 3. En Q[x, y, z], sean I =< x
2
+z, xy+y
2
+z, xz y
3
2yz, y
4
+
3y
2
z +z
2
> y J =< x
2
+z, xy +y
2
+z, x
3
yz > dos ideales. Determinar
si I = J.
Como consecuencia del teorema 2.17 se desprende que dos ideales I, J son
iguales si y solo si, jando un cierto orden de terminos, sus bases reducidas
son iguales. En caso de no cumplirse la igualdad, podemos aplicar lo ex-
puesto en el problema 1 para determinar si I J o J I o bien no se tiene
ninguna de estas dos opciones.
36 Oswaldo Lezama
Solucion del Problema 3. Aplicando el algoritmo de Buchberger (vease
el teorema 2.21) ilustrado en el ejemplo 2.22, podemos calcular bases de
Grobner para I y J mediante el orden deglex con x > y > z. Entonces,
f
1
= x
2
+z, f
2
= xy +y
2
+z, f
3
= y
3
+xz 2yz, f
4
= y
4
+3y
2
z +z
2
y se
tiene que G = f
1
, f
2
, f
3
, f
4
es una base de Grobner para I. Esta base no
es reducida. Una base reducida para I es
f
1
, f
2
, f
3
.
Para J se tiene que g
1
= x
2
+z, g
2
= xy+y
2
+z, g
3
= x
3
yz y entonces H =
g
1
, g
2
, g
3
, g
4
= y
3
xz +2yz, g
5
= xz +yz, g
6
= z
2
, g
7
= y
2
z +z
2
es una
base de Grobner para J. Esta base no es reducida. Debemos ahora aplicar
el metodo de reduccion visto en el teorema 2.17: primero aplicamos (i) del
mencionado teorema y obtenemos g
1
, g
2
, g
4
, g
5
, g
6
, g
7
. Ahora aplicamos
(ii): h
1
= g
1
, h
2
= g
2
, h
3
= y
3
+ 3yz (obtenido de g
4
reducido con g
5
),
h
4
= g
5
, h
5
= g
6
, h
6
= y
2
z (obtenido de g
7
reducido con h
5
). Se tiene pues
que
h
1
, h
2
, h
3
, h
4
, h
5
, h
6
es una base de Grobner reducida para el ideal J.

Con la informacion anterior podemos concluir que I ,= J pero I J: en
efecto, f
1
= g
1
= h
1
, f
2
= g
2
= h
2
y para f
3
se tiene que
f
3
1,h
3
xz +yz
1,h
4
0,
de donde f
3
= h
3
h
4
.
2
+y
3
1, xyx+3 > y J =< x
2
y 1 > ideales
de Q[x, y]. Calcular I J.
Consideremos dos conjuntos de indeterminadas x
1
, . . . , x
n
y y
1
, . . . , y
m
,
y supongamos que los productos de potencias en las indeterminadas x y
los productos de potencias en las indeterminadas y estan ordenados por
los ordenes de terminos >
x
y >
y
, respectivamente. Denimos un orden de
terminos > sobre el producto de potencias en las indeterminadas x, y de la
siguiente manera.
Denicion 2.24. Para X
1
, X
2
productos de potencias en las indeterminadas
x y Y
1
, Y
2
productos de potencias en las indeterminadas y, se dene
X
1
Y
1
> X
2
Y
2

_
_
_
X
1
>
x
X
2
o
X
1
= X
2
y Y
1
>
y
Y
2
_
_
_
Este orden de terminos es llamado un orden eliminacion con las indetermi-
nadas x mas grandes que las indeterminadas y.
Ejemplo 2.25. Si los ordenes >
x
y >
y
son lex, entonces el orden eliminacion
es lex sobre todas las indeterminadas, con las variables x mas grandes que
las indeterminadas y.
38 Oswaldo Lezama
Teorema 2.26. Sea L un ideal no nulo de k[x
1
, . . . , x
n
, y
1
, . . . , y
m
] y sea
> un orden eliminacion con las indeterminadas x mas grandes que las
indeterminadas y. Sea G = g
1
, . . . , g
t
una base de Grobner para este
ideal. Entonces, G k[y
1
, . . . , y
m
] es una base de Grobner para el ideal
L k[y
1
, . . . , y
m
].
Proof. Claramente G k[y
1
, . . . , y
m
] L k[y
1
, . . . , y
m
]. Sea ahora 0 ,=
f (y
1
, . . . , y
m
) Lk[y
1
, . . . , y
m
]. Ya que G es una base de Grobner para L,
entonces existe i tal que lp (g
i
) divide a lp(f). Ademas, ya que f tiene sola-
mente las indeterminadas y, vemos que lp (g
i
) incluye solamente las indeter-
minadas y, y por tanto, cada termino en g
i
incluye solamente las indetermi-
nadas y, es decir, g
i
Gk[y
1
, . . . , y
m
]. As, para cada f Lk[y
1
, . . . , y
m
],
existe g
i
G k[y
1
, . . . , y
m
] tal que lp (g
i
) divide a lp(f), y por tanto,
G k[y
1
, . . . , y
m
] es una base de Grobner para L k[y
1
, . . . , y
m
].
Como una aplicacion del teorema anterior presentamos un metodo para
encontrar generadores para la interseccion de dos ideales.
Teorema 2.27. Sean I, J ideales de k[x
1
, . . . , x
n
], y sea w una nueva in-
determinada. Considerese el ideal < wI, (1 w)J > en k[w, x
1
, . . . , x
n
].
Entonces,
I J =< wI, (1 w)J > k[x
1
, . . . , x
n
].
Proof. Sea f I J, ya que
f = wf + (1 w) f
tenemos que f < wI, (1 w)J > k[x
1
, . . . , x
n
]. Recprocamente, supon-
gamos que f < wI, (1 w)J > k[x
1
, . . . , x
n
] k[w, x
1
, . . . , x
n
], entonces
f (x
1
, . . . , x
n
) =
s
i=1
wf
i
(x
1
, . . . , x
n
) h
i
(w, x
1
, . . . , x
n
)
+
p
j=1
(1 w) l
j
(x
1
, . . . , x
n
) t
j
(w, x
1
, . . . , x
n
) ,
con f
i
I y l
j
J; ya que w no aparece en f (x
1
, . . . , x
n
), podemos hacer
w = 1 y obtener que f I, y tambien tomando w = 0 resulta f J.
40 Oswaldo Lezama
Si I =< f
1
, . . . , f
s
> y J =< h
1
, . . . , h
p
>, entonces un conjunto de
generadores para el ideal < wI, (1 w)J > es
wf
1
, . . . , wf
s
, (1 w)h
1
, . . . , (1 w)h
p
.
Como una consecuencia del resultado anterior obtenemos un metodo para
calcular los generadores del ideal I J. Primero calculamos una base de
Grobner reducida para el ideal < wI, (1 w)J > k[x
1
, . . . , x
n
, w] usando
un orden eliminacion con x
1
, . . . , x
n
mas peque no que w. Luego obtenemos
una base de Grobner para I J calculando Gk[x
1
, . . . , x
n
], lo cual se hace
simplemente por inspeccion.
Solucion del Problema 4. Debemos calcular una base de Grobner re-
ducida para el ideal
< w
_
x
2
+y
3
1
_
, w(x yx + 3) , (1 w)
_
x
2
y 1
_
> Q[x, y, w].
Elegimos el orden deglex sobre las variables x, y con x > y y un orden
eliminacion con w mayor que x, y. El resultado, usando el paquete CoCoA
que veremos mas adelante, es:
G =x
2
y
4
+x
4
y x
2
y y
3
x
2
+ 1,
x
5
y + 3x
2
y
3
+ 3x
2
y
2
x
3
+ 3x
2
y 3y
2
3y 3,
x
3
y
2
x
3
y 3x
2
y xy +x + 3,
w + 118/12853x
4
y + 9/12853x
2
y
3
357/12853x
3
y 972/12853x
2
y
2
+
2152/12853x
2
y 118/12853x
2
9/12853y
2
+
357/12853x + 972/12853y 2152/12853.
Al calcular la interseccion de G con Q[x, y] obtenemos los generadores de
I J:
x
2
y
4
+x
4
y x
2
y y
3
x
2
+ 1,
x
5
y + 3x
2
y
3
+ 3x
2
y
2
x
3
+ 3x
2
y 3y
2
3y 3,
x
3
y
2
x
3
y 3x
2
y xy +x + 3.
42 Oswaldo Lezama
Problema 5. Sean g
1
= x(x +y)
2
, g
2
= y, f
1
= x
2
y f
2
= x +y polinomios
de Q[x, y]. Calcular J : I, donde J =< g
1
, g
2
> e I =< f
1
, f
2
>.
Sean I y J ideales en k[x
1
, . . . , x
n
]. El ideal cociente J : I se dene por
J : I := g k[x
1
, . . . , x
n
] [ gI J.
Lema 2.28. Sean I =< f
1
, . . . , f
s
> y J ideales en k[x
1
, . . . , x
n
]. Entonces,
J : I =
s
i=1
J :< f
i
> .
Proof. Si g J : I, entonces gI J, y en particular gf
i
J para
i = 1, . . . , s, y por tanto g

s
i=1
J :< f
i
>. Recprocamente, si g
s
i=1
J :< f
i
>, entonces g < f
i
> J para i = 1, . . . , s, y por tanto gI J,
g J : I.
Hemos visto un metodo para calcular la interseccion de ideales, as, en vista
del lema anterior, necesitamos solamente concentrarnos en calcular J :< f >
para un polinomio f.
Lema 2.29. Sea J un ideal y f ,= 0 un polinomio en k[x
1
, . . . , x
n
]. En-
tonces,
J :< f >=
1
f
(J < f >) .
Proof. Si g
1
f
(J < f >), entonces gf J, y en consecuencia g
J :< f >. Recprocamente, si g J :< f >, entonces gf J, y por
tanto, gf J < f >, as que g
1
f
(J < f >).
44 Oswaldo Lezama
Solucion del Problema 5. Consideremos los ideales I =< f
1
= x
2
, f
2
=
x + y > y J =< g
1
= x(x + y)
2
, g
2
= y >. Queremos calcular J : I. Por el
lema 2.28 tenemos
J : I = (J :< f
1
>) (J :< f
2
>) ,
y tambien por el lema 2.29,
J : I =
1
f
1
(J < f
1
>)
1
f
2
(J < f
2
>) .
Primero calculamos J < f
1
> mediante una base de Grobner G
1
para el
ideal < wg
1
, wg
2
, (1 w) f
1
> Q[x, y, w] con respecto al orden lex y con
w > x > y, encontramos que
G
1
= x
2
w x
2
, wy, x
3
, x
2
y,
as que
1
f
1
(J < f
1
>) =< x, y >. En segundo lugar calculamos J < f
2
>
mediante una base de Grobner G
2
para el ideal < wg
1
, wg
2
, (1 w) f
2
>
Q[x, y, w] usando el mismo orden de arriba, y obtenemos
G
2
= wx x y, wy, x
3
+y
3
, xy +y
2
,
as que
1
f
2
(J < f
2
>) =< x
2
xy + y
2
, y >. Para concluir calculamos
< x, y > < x
2
xy+y
2
, y > mediante una base de Grobner G para el ideal
< wx, wy, (1 w)
_
x
2
xy +y
2
_
, (1 w) y > Q[x, y, w] con respecto al
orden lex y con w > x > y, resulta
G = wx, x
2
, y.
Entonces, J : I =< x
2
, y >.
Problema 6. Para el homomorsmo de Q-algebras
Q[u, v, w]/J
Q[x, y]/I
u +J x +y +I
v +J x y +I
w +J 2xy +I
donde J =< uvw, u
2
v
2
w
2
2w > Q[u, v, w], e I =< x
2
2xy, y
2
>
Q[x, y], calcular ker() e im().
Sean I y J ideales en k[x
1
, . . . , x
n
] y k[y
1
, . . . , y
m
], respectivamente, y sea
: k[y
1
, . . . , y
m
]/J k[x
1
, . . . , x
n
]/I
y
i
+J f
i
+I
un homomorsmo denido por los polinomios f
1
, . . . , f
m
k[x
1
, . . . , x
n
]. El
n ucleo y la imagen de se pueden calcular en forma efectiva aplicando bases
de Grobner, tal como veremos a continuacion.
46 Oswaldo Lezama
Comencemos con un preliminar.
Lema 2.30. Sean a
1
, . . . , a
n
, b
1
, . . . , b
n
elementos de un anillo conmutativo
R. Entonces, a
1
a
n
b
1
b
n
< a
1
b
1
, a
2
b
2
, . . . , a
n
b
n
>.
Proof. La prueba se realiza facilmente por induccion usando el hecho que
a
1
a
n
b
1
b
n
= a
1
(a
2
a
n
b
2
b
n
) +b
2
b
n
(a
1
b
1
) .
Teorema 2.31. Sea L el ideal de k[x
1
, . . . , x
n
, y
1
, . . . , y
m
] cuyos generadores
son los de I junto con los polinomios y
i
f
i
, 1 i m, es decir, L =
< I, y
1
f
1
, . . . , y
m
f
m
>. Entonces, ker () = L k[y
1
, . . . , y
m
]. Es decir,
si L k[y
1
, . . . , y
m
] =< g
1
, . . . , g
p
>, entonces ker () =< g
1
, . . . , g
p
>.
Proof. Sea I =< v
1
, . . . , v
t
>, con v
j
k[x
1
, . . . , x
n
], 1 j t. Sea
g L k[y
1
, . . . , y
m
]. Entonces podemos escribir
g (y
1
, . . . , y
m
) =
m
i=1
(y
i
f
i
(x
1
, . . . , x
n
)) h
i
(x
1
, . . . , x
n
, y
1
, . . . , y
m
)
+v (x
1
, . . . , x
n
, y
1
, . . . , y
m
) ,
donde
v (x
1
, . . . , x
n
, y
1
, . . . , y
m
) =
t
l=1
u
l
(x
1
, . . . , x
n
, y
1
, . . . , y
m
) v
l
(x
1
, . . . , x
n
) ,
con h
i
, u
l
k[x
1
, . . . , x
n
, y
1
, . . . , y
m
]. Entonces,
(g) = g (f
1
, . . . , f
m
)
= v (x
1
, . . . , x
n
, f
1
, . . . , f
m
) = 0
ya que
v (x
1
, . . . , x
n
, f
1
, . . . , f
m
) =
t
l=1
u
l
(x
1
, . . . , x
n
, f
1
, . . . , f
m
) v
l
(x
1
, . . . , x
n
) I.
48 Oswaldo Lezama
Recprocamente, sea g k[y
1
, . . . , y
m
] con (g) = g (f
1
, . . . , f
m
) = 0. En-
tonces, g (f
1
, . . . , f
m
) I. Sea g (y
1
, . . . , y
m
) =
v
c
v
y
v
1
1
y
vm
m
, donde
v = (v
1
, . . . , v
m
) N
m
, c
v
k, y solamente un n umero nito de coecientes
c
v
son no nulos. Entonces,
g (y
1
, . . . , y
m
) = (g (y
1
, . . . , y
m
) g (f
1
, . . . , f
m
)) +g (f
1
, . . . , f
m
)
Por el lema 2.30,
(g (y
1
, . . . , y
m
) g (f
1
, . . . , f
m
)) =
v
c
v
(y
v
1
1
y
vm
m
f
v
1
1
f
vm
m
)
esta en el ideal < y
1
f
1
, . . . , y
m
f
m
> y por tanto
g (y
1
, . . . , y
m
) < I, y
1
f
1
, . . . , y
m
f
m
>= L,
ya que g (f
1
, . . . , f
m
) I. Entonces, g (y
1
, . . . , y
m
) L k[y
1
, . . . , y
m
].
Teorema 2.32. Sea L el ideal como en el teorema 2.31, y sea G la base
de Grobner reducida para L con respecto a un orden eliminacion con las
variables x mas grandes que las variables y. Entonces, es sobreyectivo si,
y solo si, para cada i = 1, . . . , n existe g
i
G en la forma g
i
= x
i
h
i
G,
con h
i
k[y
1
, . . . , y
m
].
50 Oswaldo Lezama
Solucion del Problema 6. Notemos primero que la funcion esta bien
denida:
(uv w +J) = (x +y) (x y) 2xy +I
= x
2
y
2
2xy +I = 0,
y
_
u
2
v
2
w
2
2w +J
_
= (x +y)
2
(x y)
2
4x
2
y
2
4xy +I
= 4x
2
y
2
+I = 0.
Ahora calculamos el n ucleo de como en el teorema 2.31. Sea
K =< x
2
2xy, y
2
, u (x +y) , v (x y) , w 2xy > Q[x, y, u, v, w].
Calculamos una base de Grobner reducida G para K con respecto al orden
lex y con x > y > u > v > w y obtenemos
G = u
2
2w, v
2
, y
1
2
u +
1
2
v, x
1
2
u
1
2
v, uv w, vw, uw, w
2
.
Por los teoremas 2.26 y 2.31 tenemos que
ker () =
=
(recordemos que uv w J). El teorema 2.32 garantiza que la funcion
es sobreyectiva ya que x
1
2
u
1
2
v y y
1
2
u +
1
2
v estan en G. De manera
mas explcita tenemos que
x +I =
_
1
2
(u +v) +J
_
y y +I =
_
1
2
(u v) +J
_
.
2.3.2 Problemas en geometra algebraica
2
z
2
+x
3
, xz
4
+2x
2
z
2
+x
3
, y
2
z 2yz
2
+z
3
, x
2
y +
y
3
> y J =< xz
2
+x
2
, yz
2
z
3
, x
2
yx
2
z, y
4
x
3
, x
4
zx
3
z, z
6
+x
4
, x
5
x
4
>
ideales de Q[x, y, z]. Determinar si V
Q
(I) = V
Q
(J).
Sean V
k
(I) y V
k
(J) dos variedades de k
n
. Es claro que si I = J, entonces sus
variedades coinciden, pero podemos tener ideales distintos con variedades
iguales. Por ejemplo, V (< x
2
+ y
2
>) = (0, 0) = V (< x, y >). Si
I =

J, entonces claramente V
k
(I) = V
k
(
I) = V
k
(
J) = V
k
(J). El
siguiente teorema permite probar que el recproco es cierto.
Teorema 2.33 (Teorema de ceros de Hilbert, [1],[8]). Sea I un ideal
de k[x
1
, . . . , x
n
]. Entonces,
(a) V
k
(I) = I = k[x
1
, . . . , x
n
]
(b) I(V
k
(I)) =
I.
Supongamos que V
k
(I) = V
k
(J), entonces, I(V
k
(I)) = I(V
k
(J), y por el
teorema de ceros de Hilbert,
I =
J. Se tiene entonces, que dos variedades

V
k
(I) y V
k
(J) son iguales si, y solo si,

I =
J.
El calculo efectivo del radical de un ideal se puede realizar con bases de
Grobner como veremos a continuacion.
52 Oswaldo Lezama
Teorema 2.34. Sea I =< f
1
, . . . , f
s
> un ideal de k[x
1
, . . . , x
n
]. Entonces,
f
I si, y solo si, < f

1
, . . . , f
s
, 1 wf >= k[x
1
, . . . , x
n
, w], donde w es
una nueva indeterminada.
Proof. Sabemos que

I = I(V
k
(I)), y por tanto, f
I si, y solo si,

f (a
1
, . . . , a
n
) = 0 para cada (a
1
, . . . , a
n
) V
k
(I). Sea f
I, si
(a
1
, . . . , a
n
, b) V
k
(< f
1
, . . . , f
s
, 1 wf >), entonces
f
i
(a
1
, . . . , a
n
) = 0 para cada i = 1, 2, . . . , s y 1 bf(a
1
, . . . , a
n
) = 0.
Luego, (a
1
, . . . , a
n
) V
k
(I), y por tanto f (a
1
, . . . , a
n
) = 0, lo cual es con-
tradcitorio con 1 = bf(a
1
, . . . , a
n
). Entonces, V
k
(< f
1
, . . . , f
s
, 1wf >) = ,
y por el teorema 2.33, tenemos que < f
1
, . . . , f
s
, 1wf >= k[x
1
, . . . , x
n
, w].
Recprocamente, si 1 < f
1
, . . . , f
s
, 1 wf >, entonces
1 =
s
i=1
h
i
f
i
+h(1 wf) ,
para algunos h
i
, h k[x
1
, . . . , x
n
, w]; luego para cada (a
1
, . . . , a
n
) V
k
(I)
tenemos que
1 = h(a
1
, . . . , a
n
, w) (1 wf (a
1
, . . . , a
n
)) .
Notemos que el lado derecho es un polinomio en w. Si f (a
1
, . . . , a
n
) ,= 0, en-
tonces podemos hacer w =
1
f(a
1
,...,an)
y obtener una contradiccion. Entonces,
f (a
1
, . . . , a
n
) = 0, y por tanto f
I.
Corolario 2.35. Sea I =< f
1
, . . . , f
s
> un ideal de k[x
1
, . . . , x
n
] y sea G
una base de Grobner reducida para el ideal < f
1
, . . . , f
s
, 1wf >. Entonces,
f
I si, y solo si, G = 1.

El corolario anterior da un metodo para determinar si dos ideales I y J
tienen el mismo radical, y por tanto, si determinan la misma variedad de
k
n
. Sean I =< f
1
, . . . , f
s
> y J =< g
1
, . . . , g
r
>. Calculando una base de
Grobner reducida para el ideal < g
1
, . . . , g
r
, 1 wf
i
> podemos decidir si f
i
esta en

J, para cada 1 i s. De ser as, entonces I
J y por tanto
I
_
J =
J. La otra inclusion se verica en forma similar.

54 Oswaldo Lezama
Solucion del Problema 7. Sean I =< x
2
z
2
+x
3
, xz
4
+ 2x
2
z
2
+x
3
, y
2
z
2yz
2
+ z
3
, x
2
y + y
3
> y J =< xz
2
+ x
2
, yz
2
z
3
, x
2
y x
2
z, y
4
x
3
, x
4
z
x
3
z, z
6
+x
4
, x
5
x
4
> ideales de Q[x, y, z]. Veamos que V
Q
(I) = V Q(J).
En primer lugar es importante se nalar que calculando bases de Grobner
reducidas para I y J se observa que I ,= J. Sin embargo, veamos que
I =

J. Para cada generador f
i
de I debemos calcular una base de
Grobner reducida para el ideal < J, 1 wf
i
> Q[x, y, z, w], y en forma
similar, para cada generador g
j
J debemos calcular una base de Grobner
reducida para el ideal < I, 1 wg
j
> Q[x, y, z, w]. En todos los casos
usamos el orden deglex con x > y > z > w y se obtuvieron los siguientes
resultados:
x
2
z
2
+x
3
: < xz
2
+x
2
, yz
2
z
3
, x
2
y x
2
z, y
4
x
3
, x
4
z x
3
z, z
6
+x
4
, x
5
x
4
, 1 x
2
z
2
w x
3
w > Base de Grobner reducida: 1
xz
4
+ 2x
2
z
2
+ x
3
: < xz
2
+ x
2
, yz
2
z
3
, x
2
y x
2
z, y
4
x
3
, x
4
z x
3
z, z
6
+
x
4
, x
5
x
4
, 1 xz
4
w 2x
2
z
2
w x
3
y
2
z 2yz
2
+ z
3
: < xz
2
+ x
2
, yz
2
z
3
, x
2
y x
2
z, y
4
x
3
, x
4
z x
3
z, z
6
+
x
4
, x
5
x
4
, 1 y
2
zw + 2yz
2
w z
3
x
2
y +y
3
: < xz
2
+x
2
, yz
2
z
3
, x
2
y x
2
z, y
4
x
3
, x
4
z x
3
z, z
6
+x
4
, x
5
x
4
,
1 x
2
yw y
3
Los calculos anteriores muestran que

I
J.
De igual manera se comprueba que

J
I:
xz
2
+x
2
: < x
2
z
2
+x
3
, xz
4
+2x
2
z
2
+x
3
, y
2
z 2yz
2
+z
3
, x
2
y +y
3
, 1xz
2
w
x
2
yz
2
z
3
: < x
2
z
2
+x
3
, xz
4
+2x
2
z
2
+x
3
, y
2
z 2yz
2
+z
3
, x
2
y +y
3
, 1yz
2
w+
z
3
x
2
yx
2
z: < x
2
z
2
+x
3
, xz
4
+2x
2
z
2
+x
3
, y
2
z 2yz
2
+z
3
, x
2
y+y
3
, 1x
2
yw+
x
2
zw > Base de Grobner reducida: 1
y
4
x
3
: < x
2
z
2
+x
3
, xz
4
+2x
2
z
2
+x
3
, y
2
z 2yz
2
+z
3
, x
2
y +y
3
, 1 y
4
w +
x
3
x
4
z x
3
z: < x
2
z
2
+x
3
, xz
4
+2x
2
z
2
+x
3
, y
2
z 2yz
2
+z
3
, x
2
y+y
3
, 1x
4
zw+
x
3
zw > Base de Grobner reducida: 1
z
6
+x
4
: < x
2
z
2
+x
3
, xz
4
+2x
2
z
2
+x
3
, y
2
z 2yz
2
+z
3
, x
2
y +y
3
, 1 z
6
w
x
4
x
5
x
4
: < x
2
z
2
+x
3
, xz
4
+2x
2
z
2
+x
3
, y
2
z 2yz
2
+z
3
, x
2
y +y
3
, 1 x
5
w +
x
4
Se tiene entonces que

I =
J.
56 Oswaldo Lezama
Problema 8. Sea V C
2
la variedad denida por el polinomio x
2
yx+1,
y W C
4
la variedad denida por el polinomio u
4
+ u
3
+ 2u
2
v + v
2
+
uv + 1. Es decir, V = V
C
(I) con I =< x
2
yx + 1 > y W = V
C
(J) con
J =. Determinar si la funcion denida
por
: V
C
(I) V
C
(J)
(a, b)
_
b, b
2
a
_
.
es un isomorsmo de variedades.
Denicion 2.36. Sean V k
n
, W k
m
variedades no vacas. Un mor-
smo polinomial de V en W es una funcion : V W denida por poli-
nomios f
1
, . . . , f
m
k[x
1
, . . . , x
n
] de tal forma que
(a
1
, . . . , a
n
) = (f
1
(a
1
, . . . , a
n
) , . . . , f
m
(a
1
, . . . , a
n
))
para cada (a
1
, . . . , a
n
) V . Se dice que es un isomorsmo si existe un
morsmo polinomial : W V tal que = id
W
y = id
V
.
Teorema 2.37. Cada morsmo polinomial entre V y W dene un homo-
morsmo entre las algebras anes k[y
1
, . . . , y
m
]/I(W) y k[x
1
, . . . , x
n
]/I(V ).
Recprocamente, cada homomorsmo entre estos anillos induce un morsmo
polinomial entre las variedades. Ademas, cada morsmo polinomial entre V
y W es la restriccion de un morsmo polinomial entre los espacios anes k
n
y k
m
.
Proof. Sea : V W un morsmo polinomial denido por los polinomios
f
1
, . . . , f
m
k[x
1
, . . . , x
n
]. El morsmo da origen a un homomorsmo
entre las k-algebras anes como sigue:
: k[y
1
, . . . , y
m
]/I(W) k[x
1
, . . . , x
n
]/I(V )
y
i
+I(W) f
i
+I(V )
es decir,
g (y
1
, . . . , y
m
) +I(W) g (f
1
, . . . , f
m
) +I(V )
Para ver que
esta bien denido, necesitamos probar que para cada g

I(W) se cumpla que g (f
1
, . . . , f
m
) I(V ). Pero para cada (a
1
, . . . , a
n
) V ,
tenemos que (a
1
, . . . , a
n
) W, y por tanto
g (f
1
, . . . , f
m
) (a
1
, . . . , a
n
) =g (f
1
(a
1
, . . . , a
n
) , . . . , f
m
(a
1
, . . . , a
n
))
=g ((a
1
, . . . , a
n
)) = 0.
Tenemos entonces que
es un homomorsmo de k-algebras.
58 Oswaldo Lezama
Recprocamente, sea
: k[y
1
, . . . , y
m
]/I(W) k[x
1
, . . . , x
n
]/I(V )
un homomorsmo de k-algebras, y sea (y
i
) = f
i
, con f
i
k[x
1
, . . . , x
n
],
1 i m. Se dene entonces el morsmo polinomial
: k
n
k
m
(a
1
, . . . , a
n
) (f
1
(a
1
, . . . , a
n
) , . . . , f
m
(a
1
, . . . , a
n
))
Veamos que
(V ) W: en efecto, sea (a
1
, . . . , a
n
) V , puesto que W es
algebraico, W = V (I(W)) y entonces basta probar que
(f
1
(a
1
, . . . , a
n
) , . . . , f
m
(a
1
, . . . , a
n
)) V (I(W)).
Sea pues g I(W), entonces (g) = 0 = g (f
1
, . . . , f
m
) y g (f
1
, . . . , f
m
)
I(V ), de esta forma
g (f
1
(a
1
, . . . , a
n
) , . . . , f
m
(a
1
, . . . , a
n
)) = g (f
1
, . . . , f
m
) (a
1
, . . . , a
n
) = 0.
Hemos probado entonces que la restriccion de
a la variedad V es un
morsmo polinomial, este morsmo lo denotamos tambien por
.
Probemos ahora la ultima armacion del teorema. Sea : V W un mor-
smo polinomial denido por los polinomios f
1
, . . . , f
m
k[x
1
, . . . , x
n
] de tal
forma que (a
1
, . . . , a
n
) = (f
1
(a
1
, . . . , a
n
) , . . . , f
m
(a
1
, . . . , a
n
)), y sea
el
homomorsmo correspondiente de algebras anes, entonces
(y
i
) = f
i
, y
seg un acabamos de probar,
induce un morsmo polinomial
: k
n
k
m
de tal forma que
(a
1
, . . . , a
n
) = (f
1
(a
1
, . . . , a
n
) , . . . , f
m
(a
1
, . . . , a
n
)),
y para su restriccion sobre V se tiene entonces que
(a
1
, . . . , a
n
) =
(a
1
, . . . , a
n
), es decir,
= es la restriccion del morsmo polinomial
: k
n
k
m
.
60 Oswaldo Lezama
Usando la notacion de la prueba anterior se tienen las siguientes conclu-
siones.
Corolario 2.38. Sean V k
n
, W k
m
y Z k
r
variedades no vacas y
sean : V W y : W Z morsmos polinomiales, entonces es
un morsmo polinomial y ademas
.
Corolario 2.39. Sean V k
n
, W k
m
y Z k
r
variedades no vacas,
: k[y
1
, . . . , y
m
]/I(Z) k[y
1
, . . . , y
m
]/I(W))
y
: k[y
1
, . . . , y
m
]/I(W) k[y
1
, . . . , y
m
]/I(V )
homomorsmos de algebras anes. Entonces,
.
Proof. Sean (y
i
) = f
i
y (z
j
) = g
j
, donde f
i
k[x
1
, . . . , x
n
],1 i m y
g
j
k[y
1
, . . . , y
m
], 1 j r. Entonces,
: k[y
1
, . . . , y
m
]/I(Z) k[y
1
, . . . , y
m
]/I(V )
z
j
g
j
(f
1
, . . . , f
m
)
y por lo tanto,
viene denida de la siguiente manera:
: V Z
(a
1
, . . . , a
n
) (h
1
(a
1
, . . . , a
n
) , . . . , h
r
(a
1
, . . . , a
n
))
donde h
j
= g
j
(f
1
, . . . , f
m
), 1 j r. Pero esta es la denicion de
.
Teorema 2.40. Sean V k
n
, W k
m
variedades no vacas. Entonces,
(a) Existe una correspondencia biyectiva entre la coleccion de morsmos
polinomiales de V en W y la coleccion de homomorsmos de
k[y
1
, . . . , y
m
]/I(W) en k[y
1
, . . . , y
n
]/I(V ).
(b) En la correspondencia anterior los isomorsmos polinomiales corres-
ponden a isomorsmos de las algebras anes.
Proof. (a) Sea / = Mor (V, W) la coleccion de morsmos polinomiales
de V en W y sea H = Hom(k[y
1
, . . . , y
m
]/I(W), k[y
1
, . . . , y
m
]/I(V )) la
coleccion de homomorsmos de k[y
1
, . . . , y
m
]/I(W) en k[y
1
, . . . , y
n
]/I(V ).
Denimos entonces las aplicaciones
: / H

y
: H /

Veamos entonces que = id

/)
y que = id
1
. Al nal de la
demostracion del teorema 2.37 probamos que ( ) () = . Sea ahora
H, con (y
i
) = f
i
, entonces
(a
1
, . . . , a
n
) = (f
1
(a
1
, . . . , a
n
) , . . . , f
m
(a
1
, . . . , a
n
)),
para cada (a
1
, . . . , a
n
) V y por lo tanto
(y
i
) = f
i
. Esto signica que
= , es decir, ( ) () = .
62 Oswaldo Lezama
(b) Sea ahora : V W un isomorsmo polinomial, entonces existe un
morsmo polinomial : W V tal que = id
W
y = id
V
. Seg un el
corolario 2.38,
=
id
W
= id
(W)
=
y tambien
=
id
V
=
id
(V )
=
. Hemos mostrado que
es un isomorsmo de algebras.
Recprocamente, si : k[y
1
, . . . , y
m
]/I(W) k[y
1
, . . . , y
n
]/I(V ) es un iso-
morsmo de algebras, entonces existe
: k[y
1
, . . . , y
n
]/I(V ) k[y
1
, . . . , y
m
]/I(W)
tal que = id
k[y
1
,...,ym]/I(W)
y = id
k[y
1
,...,yn]/I(V )
. Seg un el corolario
2.39,
= id
W
y
= id
V
, es decir,
es un
isomorsmo polinomial de variedades.
Solucion del Problema 8. La idea es aplicar el teorema anterior junto
con los teoremas 2.26 y 2.31. Para comenzar veamos que los ideales I =
< x
2
yx + 1 > y J = son primos.
De ser as, entonces tendremos que I(V ) = I(V
C
(I)) =

I = I y tambien
I(W) = I(V
C
(J)) =
J = J.
I es primo: basta probar que el polinomio a = x
2
yx + 1 es irreducible.
Sea p(x, y) [ a, entonces existe q (x, y) tal que qp = a. Podemos escribir los
polinomios en el anillo C[x][y], de tal forma que por razones de grado en
la indeterminada y el polinomio q = q
0
(x) y p = p
0
(x) + p
1
(x)y. Resulta
entonces que q
0
p
0
= x
2
+ 1 y q
0
p
1
= x; pero entonces q
0
= x + i o bien
q
0
= x i, en cualquiera de los dos casos obtenemos una contradiccion:
x +i [ x, x i [ x. Esto completa la prueba de que a es irreducible.
En forma similar se puede probar que b = u
4
+ u
3
+ 2u
2
v + v
2
+ uv + 1 es
irreducible, y en consecuencia, J es primo.
64 Oswaldo Lezama
Se dene la funcion
: V W
(a, b)
_
b, b
2
a
_
.
Probaremos que es un isomorsmo entre las variedades V y W. Los
polinomios que denen este morsmo polinomial son f
1
= y, f
2
= y
2
x.
Primero probemos que enva V en W. Sea (a, b) V . Entonces, (a, b) =
_
b, b
2
a
_
, veamos que
_
b, b
2
a
_
satisface el polinomio que dene a W:
si reemplazamos u y v por b y b
2
a respectivamente obtenemos
b
4
+b
3
+ 2b
2
_
b
2
a
_
+
_
b
2
a
_
2
+b
_
b
2
a
_
+ 1 = a
2
ab + 1 = 0.
Ahora consideremos el homomorsmo correspondiente de algebras anes:
: C[u, v]/J C[x, y]/I

f +J f
_
y, y
2
x
_
+I
Sea L :=< x
2
yx + 1, u y, v + y
2
+ x > C[u, v, x, y] como en el teorema
2.31; calculamos una base de Grobner para L con respecto al orden lex con
x > y > u > v y obtenemos
G = x +u
2
+v, y u, u
4
+u
3
+ 2u
2
v +uv +v
2
+ 1.
Seg un el teorema 2.26, una base de Grobner para la interseccion Lk[u, v] es
Gk[u, v]. De esta forma, Lk[u, v] == J,
y en consecuencia ker (
) = 0. Por lo tanto,
es inyectiva. Tambien, ya
que x + u
2
+ v y y u estan en G, la funcion
es sobreyectiva debido al
2.32. En consecuencia,
es un C-isomorsmo de algebras y, por el teorema

2.40, es un isomorsmo entre las variedades V y W.
2.4 Solucion de problemas con CoCoA
Mostramos en esta seccion el uso del paquete CoCoA para resolver en forma
directa algunos de los problemas estudiados. En cada uno de los siguientes
ejercicios, la ultima lnea corresponde a la respuesta de CoCoA, las otras
lneas son los comandos requeridos en cada caso. Por defecto, CoCoA usa
orden deglex.
1. Algoritmo de la Division (ejemplo 2.8)
Use R ::= Q[y,x],DegLex;
DivAlg(y2x,[yx-y,y2-x]);
Record[Quotients = [y, 1], Remainder = x]
Use R ::= Q[y,x];
DivAlg(y2x,[yx-y,y2-x]);
Record[Quotients = [y, 1], Remainder = x]
2. Bases de Grobner reducidas (ejemplo 2.22)
Use R ::= Q[y,x];
G := ReducedGBasis(Ideal(yx2-y+x,y2x-x));
G;
[yx2 - y + x, y2 - yx - x2, x3 + y - 2x]
66 Oswaldo Lezama
3. Pertenencia a un ideal (Problema 1, compare con (2.3))
Use R::=Q[y,x];
I:=Ideal(yx2-y+x,y2x-x);
GenRepr(y4x+2y2x3-y2x+2yx2-x3-y,I);
[yx + 1, y2 + x2 + 1]
En este caso CoCoA expresa al polinomio f en terminos de los polinomios
dados f
1
, f
2
.
4. Dimension de un algebra cociente (Problema 2)
Use R::=Z/(5)[x,y],Lex;
I:=Ideal(x2+y2+1,x2y+2xy+x);
QuotientBasis(I);
[1, y, y2, y3, y4, x]
5. Interseccion de dos ideales (Problema 4)
Use R ::= Q[x,y];
I := Ideal(x2+y3-1,x-xy+3);
J := Ideal(x2y-1);
L := Intersection(I,J);
L;
Ideal(x2y4 + x4y - x2y - y3 - x2 + 1,
x5y + 3x2y3 + 3x2y2 - x3 + 3x2y - 3y2 - 3y - 3,
x3y2 - x3y - 3x2y - xy + x + 3)
6. Cociente de dos ideales (Problema 5)
Use R ::= Q[x,y];
I := Ideal(x2,x+y);
J := Ideal(x(x+y)2,y);
J:I;
Ideal(y, x2)
68 Oswaldo Lezama
3 Bases de Grobner de modulos
En esta seccion presentamos la teora y los metodos de las bases de Grobner
para submodulos del modulo libre A
m
, donde m 1, A = R[x
1
, . . . , x
n
]
y R es un anillo conmutativo Noetheriano (vease [18]). Generalizamos la
teora de las bases de Grobner que mostramos en la dos primeras secciones.
Esta generalizacion haba sido parcialmente considerada antes en [23], sin
embargo nuestra presentacion en [18] es mas completa y detallada ya que in-
cluye los algoritmos y pruebas omitidas en [23], ademas ilustramos la teora
y algoritmos con algunos ejemplos. Incluimos algunas aplicaciones elemen-
tales en algebra homologica. En particular, presentamos el calculo efectivo
del modulo Hom.
3.1 Motivacion y antecedentes
Problema 9. Sean M =< f
1
, f
2
> y N =< g
1
, g
2
, g
3
> submodulos de
(Z
10
[x, y])
2
, donde
f
1
= (3x
2
y + 3x, xy 2y)
f
2
= (7xy
2
+y, y
2
4x)
g
1
= (0, x)
g
2
= (y, x)
g
3
= (2x, x).
Calcular presentaciones nitas de M y N.
Problema 10. Sean M y N como en el problema anterior. Calcular el
modulo Hom
A
(M, N), donde A = Z
10
[x, y]. Calcular quiere decir determi-
nar una presentacion y un sistema de generadores para Hom
A
(M, N).
70 Oswaldo Lezama
Los antecedentes de las bases de Grobner para modulos sobre anillos de
polinomios con coecientes en anillos conmutativos Noetherianos, son fun-
damentalmente los siguientes:
(i) Bases de Grobner para ideales de K[x
1
, . . . , x
n
], donde K es un cuerpo
(este es el contenido de las dos primeras secciones del presente trabajo.
Vease tambien [1], [12] y [13]).
(ii) Bases de Grobner para submodulos de (K[x
1
, . . . , x
n
])
m
(vease [1], [12]
y [13]).
(iii) Bases de Grobner para ideales de R[x
1
, . . . , x
n
], donde R es un anillo
conmutativo Noetheriano (vease [1]).
La teora de las bases de Grobner para submodulos de (R[x
1
, . . . , x
n
])
m
generaliza los tres casos anteriores. La estrategia de generalizacion consistio
en combinar y adaptar las tecnicas y metodos de los casos (ii) y (iii).
3.2 Monomios y ordenes
Denicion 3.1. Un monomio de A
m
es un vector X = Xe
i
, donde X es
un monomio de A e 1 i m, i.e.,
X = Xe
i
= (0, . . . , X, . . . , 0),
donde X esta en la posicion i. Mon(A
m
) es el conjunto de monomios de
A
m
.
Denicion 3.2. Un orden monomial en Mon(A
m
) es un orden total > que
satisface las siguientes condiciones:
(i) ZX > X, para cada monomio X A
m
y cada momonio Z ,= 1 de A.
(ii) Si Y > X, entonces ZY > ZX para todos los monomios X, Y A
m
y cada monomio Z Mon(A).
72 Oswaldo Lezama
Proposicion 3.3. Cada orden monomial en Mon(A
m
) es un buen orden.
Denicion 3.4. Sean X, Y Mon(A
m
), decimos que X divide a Y si
i = j y X divide a Y en Mon(A). Si Y = ZX, con Z Mon(A), entonces
escribimos
Y
X
=
Y e
i
Xe
i
= Z.
Dado un orden monomial en Mon(A) se pueden denir 4 ordenes monomia-
les destacados en Mon(A
m
).
Denicion 3.5. Sean X = Xe
i
, Y = Y e
j
Mon(A
m
).
(i) El orden TOP (term over position) es denido por
X > Y
_
_
X > Y
o
X = Y e i > j
(ii) El orden TOPREV es denido por
X > Y
_
_
X > Y
o
X = Y e i < j
Denicion 3.6. (i) El orden POT (position over term) es denido por
X > Y
_
_
i > j
o
i = j y X > Y
(ii) El orden POTREV es denido por
X > Y
_
_
i < j
o
i = j y X > Y.
74 Oswaldo Lezama
Fijando un orden sobre Mon(A), sea f ,= 0 un vector de A
m
, entonces f se
puede escribir como una suma nita de terminos
f = c
1
X
1
+ +c
t
X
t
,
donde c
1
, . . . , c
t
R0 y X
1
> X
2
> > X
t
son monomios de Mon(A
m
).
Denicion 3.7. (i) lm(f) = X
1
es el monomio principal de f.
(ii) lc(f) = c
1
es el coeciente principal de f.
(iii) lt(f) = c
1
X
1
es el termino principal de f.
3.3 Reduccion y algoritmo de la division
En la teora de las bases de Grobner la denicion de reduccion es pieza fun-
damental para la construccion de los dos algoritmos centrales: el algoritmo
de la division y el algoritmo que permite calcular bases de Grobner (algo-
ritmo de Buchberger). La idea central de la reduccion es cancelar terminos
principales.
Denicion 3.8. Sea F = f
1
, . . . , f
s
un conjunto de vectores no nulos de
A
m
y f, h A
m
, decimos que f se reduce a h modulo F en un paso, lo cual
denotamos por f
F
h, si, y solo si,
(i) Existe al menos un ndice j 1, 2, . . . , s tal que lm(f
j
) divide lm(f).
(ii) Si J = j [ lm(f
j
) divides lm(f), entonces la ecuacion
lc(f) =
jJ
c
j
lc(f
j
)
es soluble en R.
(iii) h puede ser expresado como
h = f
jJ
c
j
lm(f)
lm(f
j
)
f
j
.
Notemos que si f
F
h, entonces
lt(f ) =
jJ
c
j
lm(f )
lm(f
j
)
lt(f
j
),
ademas, lm(h) < lm(f ).
76 Oswaldo Lezama
La reduccion en un paso puede ser iterada en la siguiente forma
1
, . . . , f
s
A
m
y f, h A
m
, decimos que f se reduce a h modulo F, lo cual denotamos
por f
F
+
h, si y solo si existen vectores h
1
, . . . , h
t1
A
m
tales que
f
F
h
1
F
h
2
F

F
h
t1
F
h.
Observemos que el proceso de reduccion implica tener un metodo para re-
solver ecuaciones lineales en R. Introducimos el siguiente concepto (vease
[1]).
Denicion 3.10. El anillo R es soluble seg un Grobner (GS) si
(i) Dados a, a
1
, . . . , a
r
R existe un procedimiento para determinar si
a < a
1
, . . . , a
r
>, y en tal caso, un procedimiento para calcular
c
1
, . . . , c
r
R tales que a = a
1
c
1
+ +a
r
c
r
.
(ii) Dados a
1
, . . . , a
r
R existe un procedimiento para calcular un sistema
de generadores para el R-modulo
Syz
R
[a
1
a
r
] = (c
1
, . . . , c
r
) R
r
[ a
1
c
1
+ +a
r
c
r
= 0.
Ejemplos de anillos GS son los cuerpos, Z, Z
m
, Z[i] y Z[
5], vease [6]. En

adelante en el presente trabajo asumiremos que R es un anillo GS, es decir,
un anillo conmutativo noetheriano y soluble seg un Grobner.
78 Oswaldo Lezama
1
, . . . , f
s
A
m
y sea f A
m
, se dice que f es reducido con respecto a F si f = 0 o alguna
de las dos primeras condiciones de la denicion 3.8 falla. Si f
F
+
r y r
es reducido con respecto a F, entonces se dice que r es un residuo de f con
respecto a F.
Teorema 3.12. Sea F = f
1
, . . . , f
s
A
m
y sea f A
m
, entonces el algoritmo que se presenta a continuacion
produce polinomios q
1
, . . . , q
s
A y un vector reducido r A
m
tales que
f
G
+
r y
f = q
1
f
1
+ +q
s
f
s
+r
con
lm(f) = maxlm(q
1
)lm(f
1
), . . . , lm(q
s
)lm(f
s
), lm(r).
Algoritmo de la division en A
m
ENTRADA: f, f
1
, . . . , f
s
A
m
con f
j
,= 0 (1 j s)
SALIDA: q
1
, . . . , q
s
A, r A
m
con f = q
1
f
1
+ +q
s
f
s
+r, r reducido con
respecto a f
1
, . . . , f
s
y
lm(f) = maxlm(q
1
)lm(f
1
), . . . , lm(q
s
)lm(f
s
), lm(r)
INICIO: q
1
:= 0, q
2
:= 0, . . . , q
s
:= 0, r := f
MIENTRAS r ,= 0 y exista j tal que lm(f
j
) divida a lm(r) HAGA
Calcule J = j [ lm(f
j
) divide a lm(r)
SI la ecuacion lc(r) =

jJ
c
j
lc(f
j
) es soluble EN-
TONCES
Calcule una solucion (c
j
)
jJ
r := r (
jJ
c
j
lm(r)
lm(f
j
)
f
j
)
PARA j J HAGA
q
j
:= q
j
+c
j
lm(r)
lm(f
j
)
EN CASO CONTRARIO
Pare
Proof. Vease [18].
80 Oswaldo Lezama
3.4 Bases de Grobner
Denicion 3.13. Sea G ,= 0 un subconjunto no vaco de A
m
, entonces
Lt(G) =< lt(g)[g G >
es el submodulo de A
m
generado por los terminos principales de G.
Teorema 3.14. Sea M ,= 0 un submodulo de A
m
y sea G = g
1
, . . . , g
t
un subconjunto nito de vectores no nulos de M. Entonces las siguientes

condiciones son equivalentes:
(i) Lt(M) = Lt(G).
(ii) Para cada vector f A
m
se tiene que
f M si, y solo si, f
G
+
0.
(iii) Dado f M, existen polinomios q
1
, . . . , q
t
A tales que
f = q
1
g
1
+ +q
t
g
t
,
con lm(f) = maxlm(q
1
)lm(g
1
), . . . , lm(q
t
)lm(g
t
)
Proof. Vease [18].
Denicion 3.15. Sea M ,= 0 un submodulo de A
m
y sea G ,= 0 un subcon-
junto nito no vaco de M, decimos que G es una base de Grobner para M
si M cumple una cualquiera de las condiciones del teorema anterior.
Corolario 3.16. Sea M ,= 0 un submodulo de A
m
. Entonces,
(i) M tiene una base de Grobner.
(ii) Si G es una base de Grobner para M, entonces M =< G >.
Proof. Vease [18].
82 Oswaldo Lezama
3.5 Algoritmo de Buchberger
Bruno Buchberger desarrollo un procedimiento para calcular bases de Grob-
ner de ideales de K[x
1
, . . . , x
n
], donde K es un cuerpo. Este metodo fue
posteriormente adaptado para calcular bases de Grobner de ideales de A =
R[x
1
, . . . , x
n
] y tambien para calcular bases de Grobner de submodulos de
(K[x
1
, . . . , x
n
])
m
. Nosotros adaptamos estos metodos para calcular bases de
Grobner de submodulos de A
m
.
Denicion 3.17. Sea L = [c
1
X
1
c
t
X
t
] una matriz de tama no m t,
donde X
1
= X
1
e
i
1
, . . . , X
t
= X
t
e
it
son monomios de A
m
, c
1
, . . . , c
t

A0 y 1 i
1
, . . . , i
t
m (los subndices i
1
, . . . , i
t
no son necesariamente
distintos). Syz(L) es el submodulo de A
t
de vectores (h
1
, . . . , h
t
) tales que
h
1
c
1
X
1
+ +h
t
c
t
X
t
= 0.
En la teora de las bases de Grobner las sicigias homogeneas ocupan un lugar
importante. Nos ocuparemos de ellas enseguida.
84 Oswaldo Lezama
Denicion 3.18. Sea L como antes. Se dice que una sicigia h = (h
1
, . . . , h
t
)
Syz(L) es homogenea de grado X = Xe
i
, con X Mon(A) y 1 i m,
si
(i) h
j
es un termino para cada 1 j t.
(ii) Para cada 1 j t se tiene que h
j
= 0 o si h
j
,= 0 entonces
lm(h
j
)X
j
= X.
Proposicion 3.19. Sea L como antes. Entonces, Syz(L) tiene un conjunto
nito de generadores conformado por sicigias homogeneas.
Proof. Vease [18].
El procedimiento que veremos mas adelante para calcular bases de Grobner
asume que R es un anillo GS y que disponemos de un metodo para calcular
sistemas de generadores homogeneos de Syz(L).
86 Oswaldo Lezama
Denicion 3.20. Sean X
1
, . . . , X
t
Mon(A
m
) y J 1, . . . , t. Sea
X
J
= lcmX
j
[j J.
Se dice que J es saturado con respecto a X
1
, . . . , X
t
si
X
j
[X
J
j J,
para cada j 1, . . . , t.
Ejemplo 3.21. Consideremos X
1
= (xy, 0) = xye
1
, X
2
= (x
2
z, 0) =
x
2
ze
1
, X
3
= (yz
2
, 0) = yz
2
e
1
y X
4
= (xy
2
z, 0) = xy
2
ze
1
. Los sub-
conjuntos saturados de 1, 2, 3, 4 con respecto a X
1
, X
2
, X
3
, X
4
son
1, 2, 3, 1, 2, 1, 3, 1, 4, 1, 2, 3, 1, 2, 41, 3, 4, 1, 2, 3, 4.
Con la notacion de la presente seccion, observemos que Syz
R
[c
j
[j J] es
un submodulo de R
k
, donde k es el tama no del conjunto J, y sea B
J
=
b
J
1
, . . . , b
J
r
J
un conjunto de generadores de Syz
R
[c
j
[j J]. Observemos
que cada elemento de B
J
es de la forma b
J
v
= (b
J
vj
)
jJ
, 1 v r
J
. Con esta
notacion adicional tenemos el siguiente sistema de generadores para Syz(L).
Lema 3.22. Un sistema de generadores homogeneos para Syz(L) es
s
J
v
[J 1, . . . , t es saturado , 1 v r
J
,
con
s
J
v
=
jJ
b
J
vj
X
J
X
j
e
j
.
Proof. Vease [18].
88 Oswaldo Lezama
1
, . . . , g
t
A
m
. Sea B un conjunto nito de generadores homogeneos de Syz(lt(g
1
),
. . . , lt(g
t
)). Entonces, G es una base de Grobner para < G > si, y solo si,
para cada (h
1
, . . . , h
t
) B, se tiene que
h
1
g
1
+ +h
t
g
t
G
+
0.
Proof. Vease [18]
Teorema 3.24. Sea F = f
1
, . . . , f
s
A
m
. El siguiente algoritmo produce una base de Grobner para el modulo
< f
1
, . . . , f
s
>:
Algoritmo para calcular bases de Grobner
ENTRADA: F = f
1
, . . . , f
s
A
m
con f
i
,= 0 (1 i s)
SALIDA: G = g
1
, . . . , g
t
una base de Grobner para < F >
INICIO: G := , G
t
:= F
MIENTRAS G
t
,= G HAGA
G := G
t
Calcule un conjunto de generadores B para
Syz(lt(g
1
), . . . , lt(g
t
)), donde g
1
, . . . , g
t
son los ele-
mentos de G.
PARA cada h = (h
1
, . . . , h
t
) B HAGA
h
1
g
1
+ + h
t
g
t
G
+
r, con r reducido con
respecto a G
t
SI r ,= 0 ENTONCES
G
t
:= G
t
r
Proof. Vease [18].
90 Oswaldo Lezama
Ejemplo 3.25. En este ejemplo ilustramos el algoritmo del teorema anterior
calculando una base de Grobner para M =< f
1
, f
2
>, con f
1
= (3ix
2
y +
(1 + i)z, 2ixy
2
+ 5z), f
2
= ((2 + i)x
2
z + y, 3xy
2
+ y
2
+ 4iz) vectores de
A
2
y A = Z[i][x, y, z]. Usamos el orden TOP sobre Mon(A
2
) y el orden
deglex sobre Mon(A) con x > y > z. Escribamos primero los vectores
seg un el orden elegido: f
1
= 3ix
2
ye
1
+ 2ixy
2
e
2
+ 5ze
2
+ (1 + i)ze
1
y
f
2
= (2 + i)x
2
ze
1
+ 3xy
2
e
2
+ y
2
e
2
+ ye
1
+ 4ize
2
. Sea F = f
1
, f
2
,
entonces iniciamos con G := y G
t
:= F.
Paso 1. Ya que G
t
,= G hacemos G := G
t
y debemos calcular un con-
junto B de generadores para Syz(3ix
2
ye
1
, (2+i)x
2
ze
1
). Aplicamos el lema
3.22, y encontramos que los subconjuntos saturados de 1, 2 son J
1
= 1,
J
2
= 2 y J
3
= 1, 2. Ya que Z[i] es un dominio de integridad, los con-
juntos unitarios no producen sicigias no nulas. De esta manera solo nece-
sitamos considerar subconjuntos con al menos dos elementos. Calculamos
Syz(3i, (2 +i)) =< (2i 1, 3) > y entonces
s
J
3
1
= (1 + 2i)
x
2
yz
x
2
y
e
1
+ 3
x
2
yz
x
2
z
e
2
= ((1 + 2i)z, 3y)
es el unico generador de Syz(3ix
2
ye
1
, (2 + i)x
2
ze
1
). Para este generador
tenemos
(1 + 2i)zf
1
+ 3yf
2
= f
3
,
con
f
3
=9xy
3
e
2
+ (4 2i)xy
2
ze
2
+ 3y
3
e
2
+ 3y
2
e
1
+
12iyze
2
+ (5 + 10i)z
2
e
2
+ (3 +i)z
2
e
1
.
Puesto que f
3
es reducido con respecto a G
t
, hacemos G
t
:= f
1
, f
2
, f
3
.
92 Oswaldo Lezama
Paso 2. Ya que G
t
,= G, hacemos G := G
t
y debemos calcular un conjunto B
de generadores para Syz(3ix
2
ye
1
, (2 + i)x
2
ze
1
, 9xy
3
e
2
). Los subconjuntos
saturados de 1, 2, 3 son 1, 2, 3 y J = 1, 2, 3, luego solo necesi-
tamos considerar el ultimo de ellos. Si h = (h
1
, h
2
, h
3
) es una sicigia de
Syz(3ix
2
ye
1
, (2 +i)x
2
ze
1
, 9xy
3
e
2
), entonces h
3
= 0 debido a que Z[i] es un
dominio de integridad. Entonces, s
J
1
= ((1 + 2i)z, 3y, 0) es el unico gen-
erador para Syz(3ix
2
ye
1
, (2 + i)x
2
ze
1
, 9xy
3
e
2
), y nuevamente obtenemos
f
3
. Pero f
3
puede ser reducido a 0 mediante G
t
. Por tanto, G = G
t
y el
procedimiento termina.
3.6 Aplicaciones elementales en algebra homologica
3.6.1 Calculo de sicigias
Las bases de Grobner pueden ser usadas para calcular la sicigia de un modulo
y de matriz.
Denicion 3.26. Sea M =< f
1
, . . . , f
s
> un submodulo de A
m
y con-
sideremos la matriz F = [f
1
f
s
]. Syz(F) consta de los vectores h =
(h
1
, . . . , h
s
) A
s
tales que
h
1
f
1
+ +h
s
f
s
= 0,
i.e., Fh = 0. Diremos tambien que Syz(M) := Syz(F).
Notemos que Syz(F) es un submodulo de A
s
.
94 Oswaldo Lezama
El modulo de sicigias es calculable mediante bases de Grobner.
Teorema 3.27 ([12]). Sea F = f
1
, . . . , f
s
un conjunto de vectores no
nulos de A
m
. Consideremos la inyeccion canonica
A
m
A
m+s
y la proyeccion canonica
: A
m+s
A
s
.
Sea G = g
1
, . . . , g
t
una base de Grobner para < f
1
+e
m+1
, . . . , f
s
+e
m+s
>
con respecto al orden POTREV sobre Mon(A
m+s
). Si G(
m+s
i=m+1
Ae
i
) =
g
1
, . . . , g
l
, entonces, Syz(F) =< (g
1
), . . . , (g
l
) >.
3.6.2 Presentacion de un modulo
Para M =< f
1
, . . . , f
s
> A
m
, existe un homomorsmo natural sobreyec-
tivo
M
: A
s
M
denido por
M
(e
i
) = f
i
,
donde e
i
1is
es la base canonica de A
s
.
Notemos que ker(
M
) = Syz(M), y entonces se tiene el isomorsmo
M
: A
s
/Syz(M)
= M
denido por
M
(e
i
) = f
i
Denicion 3.28. Decimos que A
s
/Syz(M) es una presentacion de M.
Calculando Syz(M) con bases de Grobner tenemos entonces un metodo
computacional para calcular una presentacion de M !.
96 Oswaldo Lezama
Es posible extender las ideas anteriores para calcular presentaciones de
modulos cociente. En efecto, sean N M submodulos de A
m
, con M =
< f
1
, . . . , f
s
>, N =< g
1
, . . . , g
t
> y M/N = < f
1
, . . . , f
s
>, se tiene
el homomorsmo canonico sobreyectivo A
s
M/N tal que M/N

=
A
s
/Syz(M/N) es una presentacion de M/N.
Syz(M/N) puede ser calculada de la siguiente manera: h = (h
1
, . . . , h
s
)
Syz(M/N) si, y solo si, h
1
f
1
+ +h
s
f
s
< g
1
, . . . , g
t
> si, y solo si, existen
h
s+1
, . . . , h
s+t
A tales que h
1
f
1
+ +h
s
f
s
+h
s+1
g
1
+ +h
s+t
g
t
= 0
si, y solo si, (h
1
, . . . , h
s
, h
s+1
, . . . , h
s+t
) Syz(H), donde
H = [f
1
f
s
g
1
g
t
]. (3.1)
Se tiene entonces el siguiente resultado.
Teorema 3.29. Sea M y N como antes. Entonces, una presentacion de
M/N es A
s
/Syz(M/N), donde un conjunto de generadores para Syz(M/N)
son las primeras s componentes de los generadores de Syz(H).
Solucion del Problema 9. Vamos a calcular una presentacion para M
usando el metodo descrito en la presente seccion. Usaremos el orden deglex
sobre Mon(Z
10
[x, y]) con x > y. Para el modulo N se procede en forma
similar y encontramos que
N

= A
3
/ < (5, 0, 5), (2x + 9y, 8x, y) >.
Sea M =< f
1
, f
2
> (Z
10
[x, y])
2
, con f
1
= (3x
2
y + 3x, xy 2y) y f
2
=
(7xy
2
+y, y
2
4x). Sabemos que una presentacion de M viene dada por
M

= A
2
/Syz(M),
luego basta con calcular Syz(M) mediante el teorema 3.27.
98 Oswaldo Lezama
Comencemos calculando una base de Grobner G para
M =< f
1
+e
3
, f
2
+e
4
> (Z
10
[x, y])
4
con respecto al orden POTREV en (Z
10
[x, y])
4
y deglex sobre los monomios
de Z
10
[x, y] con x > y, donde
f
1
=
_
3x
2
y + 3x, xy 2y, 0, 0
_
, f
2
=
_
7xy
2
+y, y
2
4x, 0, 0
_
.
Aplicando el algoritmo de Buchberger, teorema 3.24, se encuentra que
G = f
1
, f
2
, f
3
, f
4
, f
5
, f
6
, f
7
,
con
f
1
=3x
2
ye
1
+ 3xe
1
+xye
2
2ye
2
+e
3
f
2
=7xy
2
e
1
+ye
1
+y
2
e
2
4xe
2
+e
4
f
3
=4xye
1
+ 2xy
2
e
2
4x
2
e
2
2y
2
e
2
+ye
3
+xe
4
f
4
=5ye
3
+ 5xe
4
f
5
=6xe
1
+ 2x
2
y
2
e
2
4x
3
e
2
2xy
2
e
2
+ 2xye
2
4ye
2
+xye
3
+ 2e
3
+x
2
e
4
f
6
=8ye
1
+ 2xy
3
e
2
4x
2
ye
2
2y
3
e
2
+ 8y
2
e
2
2xe
2
+y
2
e
3
+xye
4
+ 8e
4
f
7
=2x
2
y
3
e
2
4x
3
ye
2
2xy
3
e
2
+ 4xy
2
e
2
4x
2
e
2
6y
2
e
2
+xy
2
e
3
+ 3ye
3
+x
2
ye
4
+xe
4
,
luego seg un el teorema 3.24,
Syz(M) =< (5y, 5x) >.
100 Oswaldo Lezama
3.6.3 Calculo del Hom
Presentamos el calculo del modulo Hom
A
(M, N) a traves de un procedi-
miento que permite mostrar en forma explcita uno de sus sistemas de ho-
momorsmos generadores.
Solucion del Problema 10. Sean M =< f
1
, . . . , f
s
>, N =< g
1
, . . . , g
t
>
submodulos de A
m
y A
l
, respectivamente. Ilustramos el procedimiento con
el ejemplo presentado en el problema de la motivacion (3.1): A = Z
10
[x, y],
R = Z
10
, m = 2, s = 2, l = 2, t = 3, orden POTREV sobre los monomios de
A
2
y orden deglex con x > y sobre los monomios de A.
Paso 1. Seg un vimos, se tienen las siguientes presentaciones de M y N:
M

= A
2
/ < (5y, 5x) >, N

= A
3
/ < (5, 0, 5), (2x + 9y, 8x, y) >,
luego
Hom
A
(M, N)
= Hom
A
(A
s
/Syz(M), A
t
/Syz(N))
= Hom
A
(A
2
/ < (5y, 5x) >, A
3
/ < (5, 0, 5), (2x + 9y, 8x, y) >).
102 Oswaldo Lezama
Paso 2. Calculamos presentaciones para Syz(M) y Syz(N) y obtenemos las
sucesiones exactas
A
s
1

M
A
s
j
M
A
s
/Syz(M) 0
A
t
1

N
A
t
j
N
A
t
/Syz(N) 0,
donde s
1
= 1 es el n umero de generadores de Syz(M) y t
1
= 2 es el n umero
de generadores de Syz(N).
Aplicamos Hom
A
( , A
t
/Syz(N)) a la primera sucesion y obtenemos la
sucesion exacta
0 Hom
A
(A
s
/Syz(M), A
t
/Syz(N))
p
Hom
A
(A
s
, A
t
/Syz(N))
d
Hom
A
(A
s
1
, A
t
/Syz(N)),
luego
Hom
A
(M, N)
= Hom
A
(A
s
/Syz(M), A
t
/Syz(N))
= ker(d). (3.2)
Paso 3. Mediante representacion matricial para los homomorsmos se prue-
ba en [18] que
Hom
A
(A
s
, A
t
/Syz(N))
= A
ts
/ (3.3)
y
Hom
A
(A
s
1
, A
t
/Syz(N))
= A
ts
1
/ , (3.4)
donde
N
es la matriz de
N
: A
t
1
A
t
en las bases canonicas, es decir,
sus columnas son los generadores de Syz(N), y indica producto tensorial
de matrices.
104 Oswaldo Lezama
En el ejemplo,
N
=
_
_
5 2x + 9y
0 8x
5 y
_
_
,
luego
=
_
_
5 2x + 9y 0 0
0 8x 0 0
5 y 0 0
0 0 5 2x + 9y
0 0 0 8x
0 0 5 y
_
_
, =
_
_
5 2x + 9y
0 8x
5 y
_
_
,
y en consecuencia
Hom
A
(A
2
, A
3
/ < (5, 0, 5), (2x + 9y, 8x, y) >)
= A
6
/ ,
Hom
A
(A, A
3
/ < (5, 0, 5), (2x + 9y, 8x, y) >)
= A
3
/ .
Paso 4. El homomorsmo
A
s
1

M
A
s
induce el siguiente diagrama conmutativo
Hom
A
(A
s
, A
t
)
d
M
Hom
A
(A
s
1
, A
t
)
s,t
_
s
1
,t
A
ts
d
M
A
ts
1
j
_
j
1
A
ts
/ 
d
M
A
ts
1
/ ,
donde
s,t
y
s
1
,t
son los isomorsmos canonicos que permiten represen-
tar homomorsmos por medio de matrices; j j
1
son los homomorsmos
canonicos; d
M
:=
s
1
,t
d
M
1
s,t
y d
M
es el homomorsmo inducido por d
M
.
106 Oswaldo Lezama
A partir de los resultados de los pasos anteriores se puede mostrar que el
siguiente diagrama conmutativo (vease [18]):
Hom
A
(A
s
, A
t
/Syz(N))
d
Hom
A
(A
s
1
, A
t
/Syz(N))
(3.3)
_
(3.4)
A
ts
/ 
d
M
A
ts
1
/ .
,
luego
Hom
A
(M, N)
= ker(d)
= ker(d
M
). (3.5)
Paso 5. Denimos la matriz U donde sus columnas son los vectores genera-
dores de ker(j
1
d
M
), i.e.,
= ker(j
1
d
M
).
Por medio de sicigias se pueden calcular n ucleos de homomorsmos, vease
[18],
ker(j
1
d
M
) =primeras st coordenadas de los generadores de
Syz ([(
M
I
t
)
T
[I
s
1

N
)]).
As pues,
= Syz ([(
M
I
t
)
T
[I
s
1

N
)]).
En el ejemplo,
U =
_
_
1 0 0 0 0 0 0 0
0 x 2 0 0 0 0 0
1 0 0 x 2 0 0 0
0 0 0 y 0 1 0 0
0 9y 0 0 0 0 2 0
0 0 0 0 0 1 0 2
_
_
. (3.6)
108 Oswaldo Lezama
Paso 6. Con los argumentos anteriores se puede demostrar que
ker(d
M
) = / , (3.7)
luego puede formular el siguiente resultado.
Teorema 3.30.
Hom
A
(M, N)
= / , (3.8)
y por lo tanto, una presentacion de / es una pre-
sentacion para Hom
A
(M, N).
Paso 7. La presentacion de un modulo cociente se calcula tambien por medio
de una sicigia tal como vimos en el teorema 3.29; en el ejemplo entonces
calculamos
Syz([U[I
2
N
]),
y obtenemos
Hom
A
(M, N)
= A
8
/ < v
1
, v
2
, v
3
, v
4
, v
5
, v
6
, v
7
, v
8
, v
9
>
v
1
=< 5, 0, 0, 0, 0, 0, 0, 0 >, v
2
=< 8x +y, 0, 6x, 0, x + 4y, 0, 0, 0 >
v
3
=< 0, 0, 5, 0, 0, 0, 0, 0 >, v
4
=< 0, 8, x, 0, 0, 0, 4y, 0 >
v
5
=< 0, 0, 0, 0, 5, 0, 0, 0 >, v
6
=< 0, 0, 0, 8, x, 2y, 0, 0 >
v
7
=< 0, 0, 0, 0, 0, 0, 5, 0 >, v
8
=< 0, 0, 0, 0, 0, 0, 0, 5 >
v
9
=< 0, 0, 0, 0, 0, 4x + 8y, 8x, y > .
110 Oswaldo Lezama
Paso 8. Para terminar podemos calcular un sistema de generadores para
Hom
A
(M, N). Cada columna de U dene un generador U
i
para
Hom
A
(M, N)
= Hom
A
(A
s
/Syz(M), A
t
/Syz(N))
A
s
/Syz(M)
U
i
A
t
/Syz(N)
z U
i
z.
La matriz U
i
es de orden t s y su primera columna son las primeras t
entradas de la -esima columna de U, la segunda columna son las siguientes
t entradas de la -esima columna de U, y as sucesivamente.
En el ejemplo tenemos 8 generadores correspondientes a las 8 columnas de
U, vease 3.6:
U
1
=
_
_
1 0
0 0
1 0
_
_
, U
2
=
_
_
0 0
x 9y
0 0
_
_
U
3
=
_
_
0 0
2 0
0 0
_
_
, U
4
=
_
_
0 y
0 0
x 0
_
_
U
5
=
_
_
0 0
0 0
2 0
_
_
U
6
=
_
_
0 1
0 0
0 1
_
_
U
7
=
_
_
0 0
0 2
0 0
_
_
U
8
=
_
_
0 0
0 0
0 2
_
_
.
112 Oswaldo Lezama
Los isomorsmos
A
2
/Syz(M)
= M A
3
/Syz(N)
= N
e
i
f
i
e
t
j
g
j
decriben los 8 homomorsmos de Hom
A
(M, N),
M

1
N
f
1
e
1
U
1
e
1
= e
t
1
+e
t
3
= g
1
+g
3
f
2
e
2
U
1
e
2
= 0
M

2
N M

3
N M

4
N
f
1
xg
2
f
1
2g
2
f
1
xg
3
f
2
9yg
2
f
2
0 f
2
yg
1
M

5
N M

6
N M

7
N
f
1
2g
3
f
1
0 f
1
0
f
2
0 f
2
g
1
+g
3
f
2
2g
2
M

8
N
f
1
0
f
2
2g
3
.
Bibilografa
[1] Adams, W.W. and Loustaunau, P., An Introduction to Grobner
Bases, Graduate Studies in Mathematics, AMS, Providence, 1994. 2, 3,
22, 24, 25, 26, 51, 70, 77
[2] Buchberger, B., Ein Algorithmus zum Aunden der Basiselemente
des Restklassenringes nach einem nulldimensionalen Polynomideal,
Ph.D. Thesis, Inst. University of Innsbruck, Innsbruck, Austria, 1965.
2, 25, 27
[3] Buchberger, B. and Winkler, F., Grobner Bases and Applications,
London Mathematical Society, Lecture Notes Series, 251, Cambridge
University Press, Cambridge, 1998. 2
[4] Bueso, J., Gomez-Torrecillas, J. and Lobillo, F., Homological com-
putations in PBW modules, Algebra and Representation Theory, 4, 2001,
201-218. 2
[5] http://cocoa.dima.unige.it 2
[6] Cohen, H., A Course in Computational Algebraic Number Theory,
Springer, 1993 77
[7] Fabia nska, A and Quadrat, A., Applications of the Quillen-
Suslin theorem to multidimensional systems theory, INRIA, Rapport de
recherche n
6126, 2007. 2
[8] Fulton, W., Algebraic Curves, Benjamin, New York, 1969. 3, 51
[9] Gago-Vargas, J., Bases for projective modules in A
n
(k), J. Symb.
Comp., 36, 2003, 845-853.
[10] Gago-Vargas, J., Constructions in R[x
1
, . . . , x
n
]: applications to K-
theory, J. Algebra, 171, 2002, 185-196. 2
[11] Gago-Vargas, J., On Suslins Stability Theorem for R[x
1
, . . . , x
m
],
in: Ring Theory and Algebraic Geometry, Lecture Notes in Pure and
Applied Mathematics, Vol. 221, Marcel Dekker, New York, 2001, pp.
203-210. 2
[12] Greuel, G. and Pster, G., A Singular Introduction to Commutative
Algebra, Springer, 2002. 2, 70, 94
114 Oswaldo Lezama
[13] Kreuzer, M. and Robbiano, L, Computational Commutative Alge-
bra 1, Springer, Heidelberg, 2000. 2, 70
[14] Kreuzer, M. and Robbiano, L, Computational Commutative Alge-
bra 2, Springer, Heidelberg, 2005. 2
[15] Laubenbacher, R.C. and Schlauch, K., An algorithm for the
Quillen-Suslin theorem for quotients of polynomial rings by monomial
ideals, J. Symb. Comp., 30, 2000, 555-571. 2
[16] Laubenbacher, R.C. and Woodburn, C., A new algorithm for
the Quillen-Suslin theorem, Contributions to Algebra and Geometry, 41,
2000, 23-31. 2
[17] Laubenbacher, R.C. and Woodburn, C., An algorithm for the
Quillen-Suslin theorem for monoid rings, J. Pure Appl. Algebra, 117-
118, 1997, 395-429. 2
[18] Lezama, O., Grobner bases for modules over Noetherian polynomial
commutative rings, Georgian Mathematical Journal, Vol. 15, 2008, 121-
137. 3, 68, 79, 80, 81, 84, 87, 88, 89, 103, 106, 107
[19] Logar, A. and Sturmfels, B., Algorithms for the Quillen-Suslin the-
orem, J. of Algebra, 145, No. 1, 1992. 2
[20] Park, H. and Woodburn, C., An algorithmic proof of Suslins sta-
bility theorem for polynomial rings, J. Algebra, 178, 1995, 277-298. 2
[21] Quadrat, A. and Pommaret, J.F., Localization and parametrization
of linear multidimensional control systems, Systems & Control Letters,
37, 1999, 247-260. 2
[22] Quadrat, A., Robertz, D., Computation of bases of free mod-
ules over the Weyl algebras, Journal of Symbolic Computation (2007),
doi:10.1016/j.jsc.2007.06.005. 2
[23] Rutman, E.W., Grobner bases and primary decomposition of modules,
J. Symb. Comp., 14, 1992, 483-503. 2, 68
Departamento de Matematicas
Universidad Nacional de Colombia
Bogota, COLOMBIA
jolezamas@unal.edu.co

Algebracomputacional

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebracomputacional

Cargado por

Copyright:

Formatos disponibles

Introducion al algebra conmutativa

computacional: bases de Grobner

las primeras coordenadas

de alg un termino no nulo cx

una base de Grobner para I; se dice que G es reducida si para cada 1 i t

una base de Grobner para I calculada a traves de un orden de terminos que

Segundo paso a traves del ciclo MIENTRAS:

Tercer paso a traves del ciclo MIENTRAS:

Cuarto paso a traves del ciclo MIENTRAS:

es una base de Grobner reducida para el ideal J.

J. Se tiene entonces, que dos variedades

I si, y solo si, < f

I si, y solo si,

I si, y solo si, G = 1.

J. La otra inclusion se verica en forma similar.

entre las k-algebras anes como sigue:

esta bien denido, necesitamos probar que para cada g

induce un morsmo polinomial

= es la restriccion del morsmo polinomial

viene denida de la siguiente manera:

Veamos entonces que = id

. Hemos mostrado que

: C[u, v]/J C[x, y]/I

es un C-isomorsmo de algebras y, por el teorema

5], vease [6]. En

un subconjunto nito de vectores no nulos de M. Entonces las siguientes

=< U > / < I

También podría gustarte