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().
Introduccion al algebra conmutativa computacional 7
2.1.2 Problemas en geometra algebraica
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
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 =< u
4
+ u
3
+ 2u
2
v + v
2
+ uv + 1 >. 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.
Introduccion al algebra conmutativa computacional 9
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
> 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.
Introduccion al algebra conmutativa computacional 11
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
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.
Introduccion al algebra conmutativa computacional 13
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
Introduccion al algebra conmutativa computacional 15
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.
Introduccion al algebra conmutativa computacional 17
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.
Introduccion al algebra conmutativa computacional 19
(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.
Introduccion al algebra conmutativa computacional 21
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]
Introduccion al algebra conmutativa computacional 23
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
+
h
1
, donde h
1
es reducido respecto de H
1
= g
2
, . . . , g
t
g
2
H
2
+
h
2
, donde h
2
es reducido respecto de H
2
= h
1
, g
3
, . . . , g
t
g
3
H
3
+
h
3
, donde h
3
es reducido respecto de H
3
= h
1
, h
2
, g
3
, . . . , g
t
.
.
.
g
t
Ht
+
h
t
, donde h
t
es reducido respecto de H
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].
Introduccion al algebra conmutativa computacional 25
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.
Teorema 2.20. Sea G = g
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.
Proof. Vease el teorema 1.7.4 de [1].
Introduccion al algebra conmutativa computacional 27
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
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
(reducido respecto de G)
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
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
(reducido respecto de G)
f
5
:= x
3
+y 2x
Como f
5
,= 0,
G := f
1
, f
4
, f
2
, f
4
, f
3
, f
4
,
Introduccion al algebra conmutativa computacional 29
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
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.
Introduccion al algebra conmutativa computacional 31
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.
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.
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)
Introduccion al algebra conmutativa computacional 33
Problema 2. Sea I =< x
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.
Introduccion al algebra conmutativa computacional 35
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
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.
Introduccion al algebra conmutativa computacional 41
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.
Introduccion al algebra conmutativa computacional 43
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 >.
Introduccion al algebra conmutativa computacional 45
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
) .
Introduccion al algebra conmutativa computacional 47
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
].
Introduccion al algebra conmutativa computacional 49
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
].
Proof. Vease el teorema 2.4.13 de [1].
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 () =< u
2
2w +J, v
2
+J, uv w +J, vw +J, uw +J, w
2
+J >
=< u
2
2w +J, v
2
+J, vw +J, uw +J, w
2
+J >
(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
_
.
Introduccion al algebra conmutativa computacional 51
2.3.2 Problemas en geometra algebraica
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
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.
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
(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.
Introduccion al algebra conmutativa computacional 53
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
J y por tanto
I
_
J =
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
w > Base de Grobner reducida: 1
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
w > Base de Grobner reducida: 1
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
w > Base de Grobner reducida: 1
Los calculos anteriores muestran que
I
J.
Introduccion al algebra conmutativa computacional 55
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
w > Base de Grobner reducida: 1
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
w > Base de Grobner reducida: 1
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
w > Base de Grobner reducida: 1
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
w > Base de Grobner reducida: 1
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
w > Base de Grobner reducida: 1
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 =< u
4
+ u
3
+ 2u
2
v + v
2
+ uv + 1 >. 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
.
Introduccion al algebra conmutativa computacional 57
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
: 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
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
.
Introduccion al algebra conmutativa computacional 59
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,
: 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,
: 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,
: 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
.
Introduccion al algebra conmutativa computacional 61
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 /
(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 )
=
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.
Introduccion al algebra conmutativa computacional 63
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 =< u
4
+ u
3
+ 2u
2
v + v
2
+ uv + 1 > 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:
) = 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,
_
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.
Introduccion al algebra conmutativa computacional 75
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
Denicion 3.9. 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, 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.
Introduccion al algebra conmutativa computacional 77
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[
+
r y r
es reducido con respecto a F, entonces se dice que r es un residuo de f con
respecto a F.
Introduccion al algebra conmutativa computacional 79
Teorema 3.12. Sea F = f
1
, . . . , f
s
un conjunto de vectores no nulos de
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
+
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].
Introduccion al algebra conmutativa computacional 81
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
.
Introduccion al algebra conmutativa computacional 83
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].
Introduccion al algebra conmutativa computacional 85
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.
Introduccion al algebra conmutativa computacional 87
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
Teorema 3.23. Sea G = g
1
, . . . , g
t
un conjunto de vectores no nulos de
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]
Introduccion al algebra conmutativa computacional 89
Teorema 3.24. Sea F = f
1
, . . . , f
s
un conjunto de vectores no nulos de
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.
Introduccion al algebra conmutativa computacional 91
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.
Introduccion al algebra conmutativa computacional 93
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
) >.
Introduccion al algebra conmutativa computacional 95
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).
Introduccion al algebra conmutativa computacional 97
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
,
Introduccion al algebra conmutativa computacional 99
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.
Introduccion al algebra conmutativa computacional 101
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)
Introduccion al algebra conmutativa computacional 103
Paso 3. Mediante representacion matricial para los homomorsmos se prue-
ba en [18] que
Hom
A
(A
s
, A
t
/Syz(N))
= A
ts
/ < I
s
N
> (3.3)
y
Hom
A
(A
s
1
, A
t
/Syz(N))
= A
ts
1
/ < I
s
1
N
>, (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
< I
2
N
>=
_
_
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
_
_
, < I
1
N
>=
_
_
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
/ < I
2
N
>,
Hom
A
(A, A
3
/ < (5, 0, 5), (2x + 9y, 8x, y) >)
= A
3
/ < I
1
N
>.
Introduccion al algebra conmutativa computacional 105
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
/ < I
s
N
>
d
M
A
ts
1
/ < I
s
1
N
>,
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
/ < I
s
N
>
d
M
A
ts
1
/ < I
s
1
N
> .
,
luego
Hom
A
(M, N)
= ker(d)
= ker(d
M
). (3.5)
Introduccion al algebra conmutativa computacional 107
Paso 5. Denimos la matriz U donde sus columnas son los vectores genera-
dores de ker(j
1
d
M
), i.e.,
< U >= 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,
< U >= 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
) =< U > / < I
s
N
>, (3.7)
luego puede formular el siguiente resultado.
Teorema 3.30.
Hom
A
(M, N)
N
>, (3.8)
y por lo tanto, una presentacion de < U > / < I
s
N
> es una pre-
sentacion para Hom
A
(M, N).
Introduccion al algebra conmutativa computacional 109
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.
Introduccion al algebra conmutativa computacional 111
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
.
Introduccion al algebra conmutativa computacional 113
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