Algebra Conmutativa Computacional - Jara

NOTAS DE TRABAJO, 6
LGEBRA CONMUTATIVA:
lgebra conmutativa computacional
Pascual Jara Martnez
Departamento de lgebra. Universidad de Granada
Granada, 20132014
Primera redaccin: Octubre 2013.
Introduccin general
This text is a compilation of lgebra Conmutativa Computacional.
.
ndice general
Introduccin general I
I lgebra Conmutativa Computacional 1
Introduccin 3
I Anillos e ideales 5
1 Denicin de anillo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2 Homomorsmos de anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3 Producto de anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4 Ideales primos e ideales maximales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
5 Radical de un ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
6 Extensin y contraccin de ideales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
7 lgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
II Anillos de polinomios 35
8 Representacin de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
9 rdenes en N
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
10 Algoritmo de la divisin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
11 Ideales monomiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
12 Bases de Groebner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
13 Aplicaciones de las Bases de Groebner . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
14 Aplicaciones de las Bases de Groebner, II . . . . . . . . . . . . . . . . . . . . . . . . . . 63
III Conjuntos algebraicos anes 69
15 Funciones polinmicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
16 Conjuntos algebraicos anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
17 Ideales asociados a conjuntos de puntos . . . . . . . . . . . . . . . . . . . . . . . . . . 73
18 Anillos coordenados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Bibliography 87
Index 89
Parte I
lgebra Conmutativa Computacional
Introduccin
Este texto recoge las nociones bsicas de lgebra Conmutativa y Computacional. Desde el primer
momento en l hacemos hincapi en el maridaje existente entre nociones abstractas y nociones
computacionales, tratando de profundizar en cada una de ellas, y centrndonos en el clculo efectivo
de los invariantes que vamos introduciendo.
En cada captulo hacemos primero un desarrollo de la teora procurando incluir en el mismo un
gran nmero de ejemplos que ilustren los conceptos introducidos, y lo cerramos con una seccin
dedicada a ejercicios; la gran mayora de los cuales se exponen acompaados de una solucin, que
aparece en la ltima seccin del captulo.
Captulo I
Anillos e ideales
1 Denicin de anillo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2 Homomorsmos de anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3 Producto de anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4 Ideales primos e ideales maximales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
5 Radical de un ideal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
6 Extensin y contraccin de ideales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
7 lgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Introduccin
En este captulo se introducen, entre otros, los conceptos de anillo y homomorsmo de anillos; y en
particular aquellos que tienen relacin con los ideales,
Los anillos objeto de este estudio son anillos conmutativos abstractos, por lo que los ideales estudia-
dos son ideales bilteros. Esto hace especialmente sencillo el estudio de su estructura a travs de los
ideales primos y maximales y los correspondientes radicales: el nilradical y el radical de Jacobson.
Se extiende el radical de un anillo al radical de un ideal utilizando la correspondencia biyectiva,
para cada homomorsmo f : A B, entre los ideales de Im( f ) y los ideales de A que contienen a
Ker( f ). En particular se estudian la extensin y la contraccin de ideales para un homomorsmo de
anillos.
El captulo concluye con una seccin dedicada a las lgebras sobre un anillo; introducimos los anillos
de series formales y nos centramos especialmente en las lgebras nitamente generadas y los anillos
de polinomios.
6 CAP. I. ANILLOS E IDEALES
1. Denicin de anillo
Un anillo
1
es un grupo abeliano (A, +) junto con una operacin binaria
: AA A,
llamada producto o multiplicacin, vericando las siguientes propiedades:
(A-I) Es asociativa, esto es; para cualesquiera a, b, c A se tiene a (b c) = (a b) c.
(A-II) Tiene elemento uno, esto es; existe un elemento 1 A tal que para cualquier elemento
a A se tiene a 1 = a = 1 a.
(A-III) El producto es distributivo respecto a la suma, esto es; para cualesquiera a, b, c A se tiene
a (b +c) = (a b) +(a c) y (b +c) a = (b a) +(c a).
Ejemplos. 1.1.
Hay dos ejemplos arquetpicos de anillo; uno es el anillo Z de los nmeros enteros, y otro es el que
proporciona el anillo End(M) de los endomorsmos de un grupo abeliano M, en el que la suma est
denida punto a punto, la multiplicacin es la composicin y el uno es la identidad.
Si adems el producto verica la propiedad:
(A-IV) Conmutativa, esto es; para cualesquiera a, b A se tiene a b = b a;
entonces el anillo se llama un anillo conmutativo.
Dado un elemento a de un anillo (A, +, , 1), un elemento inverso de a es un elemento b A tal
que a b = 1 = b a. Un elemento a A que tiene inverso se dice que es invertible o tambin que
es una unidad.
Un anillo A en el que todo elemento no nulo tiene un inverso decimos que es un anillo de divisin.
Un anillo de divisin conmutativo se llama un cuerpo.
1
El nombre de anillo (ring en ingls) es debido a David Hilbert (Knigsberg-1862, Gttingen-1943). La historia que
conduce a la introduccin de la estructura abstracta de anillo tiene su punto culminante en 1888, cuando Hilbert, a
la edad de 26 aos, asombra a la comunidad matemtica resolviendo el problema de Gordan". Veinte aos antes Paul
Gordan (Breslau-1837, Erlander-1912) prueba que las formas binarias tienen una base nita, y se plantea el mismo pro-
blema para formas ternarias, ... La demostracin dada por Gordan era larga y complicada y no susceptible de aplicacin
para la resolucin del problema. La solucin que presenta Hilbert es elegante y novedosa y adems supone un cambio
en el paradigma de la resolucin de problemas en Matemticas.
Primero introduce el concepto de Zahlring (anillo de nmeros), que engloba al los anillos de nmeros: enteros, raciona-
les, reales, etc. y los ejemplos nuevos: polinomios sobre stos. Los anillos son la estructura que recoge las propiedades
de estos conjuntos y las operaciones suma, producto y uno.
Segundo establece que sin un anillo R verica la propiedad de que todo ideal, introducido por R. Dedekind
(Braunschweig-1831,1916), es nitamente generado, esta propiedad tambin es cierta para el anillo de polinomios
R[X], y posteriormente extiende este resultado a anillos R[X
1
][X
2
] . . . [X
n
].
A diferencia de la prueba de Gordan, establece que si un ideal de R[X] no fuese nitamente generado, se llegara a una
contradiccin; pero no da una construccin explcita de base alguna. Este es el punto esencial para el desarrollo de la
Matemtica, ya que establece que no es necesario utilizar mtodos constructivos.
Son claras las ventajas de este nuevo mtodo (de reduccin al absurdo o de contradiccin) para construir la Matemti-
ca. Sin embargo esto no fue as advertido en un principio, pues el mismo Gordan deca: Das ist nicht Mathematik, das
ist Theologie". Aunque nalmente reconoce que tambin la Teologa tiene ventajas para el desarrollo de la Matemtica,
despus de que Hilbert en 1892 da una prueba constructiva para el problema de Gordan.
23 de septiembre de 2013 Curso 20132014. NOTAS DE TRABAJO, 6
SEC. 1. DEFINICIN DE ANILLO 7
Lema. 1.2.
El conjunto A
de los elementos invertibles de un anillo A, junto con la multiplicacin, es un grupo

(abeliano si A es conmutativo).
En este texto vamos a trabajar con anillos conmutativos, a los que designaremos simplemente como
anillos. Para cualesquiera elementos a, b A el elemento a b lo representaremos por ab y lo
llamaremos el producto multiplicacin de a por b.
Los siguientes resultados son obvios a partir de las deniciones anteriores, y puede decirse que
constituyen la base de la aritmtica de los anillos (conmutativos).
Lema. 1.3.
Sea A un anillo, los siguientes enunciados son ciertos:
(1) Los elementos cero y uno estn determinados de forma nica;
(2) Para cada elemento a A el opuesto y el inverso, si ste ltimo existe, estn determinados de
forma nica.
DEMOSTRACIN. (1). Si x e y son ceros de A, entonces x = x + y = y.
Si x e y son unos de A, entonces x = x y = y.
(2). Si x e y son opuestos de a A, entonces x = x +0 = x +(a + y) = (x +a) + y = 0 + y = y.
Si x e y son inversos de a A, entonces x = x1 = x(ay) = (xa) y = 1y = y.
El elemento cero se representa por 0, y el elemento uno se representa por 1. El opuesto de un
elemento a A se representa por a, y si a ,= 0, el elemento inverso de a, si existe, se representa
por a
1
.
Proposicin. 1.4.
Sea A un anillo, se verica:
(1) a 0 = 0 para todo a A.
(2) A tiene ms de un elemento si, y slo si, 0 ,= 1.
(3) (a)b = (ab) = a(b), para todos a, b A. En particular (1)a = a.
(4) (n a)b = n (ab) = a(n b), para todos a, b A y n Z.
(5) (
n
i=1
a
i
)(
m
j=1
b
j
) =
n
i=1
m
j=1
a
i
b
j
, para todos a
i
, b
j
A y n, m N
.
(6) Frmula de Newton. (a + b)
n
=
n
i=0
_
n
i
_
a
i
b
ni
, para todos a, b A y n N.
(7) (ab)
n
= a
n
b
n
y (a
n
)
m
= a
nm
, para todos a, b A y n, m N.
LGEBRA CONMUTATIVA: lgebra conmutativa computacional P. Jara
DEMOSTRACIN. (1). Para cada a A se tiene a = a1 = a(1 +0) = a1 +a0 = a +a0, luego a0 = 0.
(2). Si 0 ,= 1 en A, entonces A tiene ms de un elemento. Si 0 = 1, entonces para cada a A se tiene
a = a1 = a0 = 0.
(3). Para a, b A se tiene 0 = a0 = a(b b) = ab +a(b), luego a(b) = (ab). Y de la misma
forma (a)b = (ab).
(4). Para n 0 se hace por induccin sobre n. Si n < 0, entonces 0 = 0a = (n n)a = na +(n)a,
luego (n)a = (na), lo que permite completar el resultado.
(5). Por induccin sobre n y m.
(6). Por induccin sobre n.
(7). Por induccin sobre n y m.
Corolario. 1.5.
Sea A un anillo, para a, b A y para n, m Z se verica:
(n a)(m b) = (nm) (ab).
Segn hemos visto, cuando el elemento 1 coincide con el elemento 0, entonces todos los elementos
del anillo son iguales. Estos anillos se llaman anillos triviales. Los anillos que vamos a considerar
son, en general, anillos no triviales.
Observacin. 1.6.
Observar que la existencia de elemento uno forma parte de la denicin de anillo. As el conjunto
2Z, junto con la suma y el producto usuales, no es un anillo, ya que no tiene elemento uno.
SEC. 2. HOMOMORFISMOS DE ANILLOS 9
2. Homomorsmos de anillos
Sean A y B anillos, una aplicacin f : A B se llama un homomorsmo de anillos si verica las
siguientes propiedades:
(HA-I) Para cualesquiera a, b A se tiene f (a + b) = f (a) + f (b).
(HA-II) Para cualesquiera a, b A se tiene f (ab) = f (a) f (b).
(HA-III) f (1) = 1.
Proposicin. 2.1.
Para cada anillo A existe un nico homomorsmo de anillos f : Z A.
Proposicin. 2.2.
Si f : A B y g : B C son homomorsmos de anillos, entonces la composicin g f : A C
es un homomorsmo de anillos.
La composicin de homomorsmos de anillos es asociativa.
Proposicin. 2.3.
Para cada anillo A existe un homomorsmo id
A
: A A denido id
A
(a) = a para cada elemento
a A; este homomorsmo verica:
(1) Para cada homomorsmo f : A B se tiene f id
A
= f y
(2) Para cada homomorsmo g : C A se tiene id
A
g = g.
Subanillos
Si f : A B un homomorsmo de anillos el subconjunto
Im( f ) = |f (a) B [ a A|
de B verica las siguientes propiedades:
(SA-I) Es un subgrupo de B.
(SA-II) Es cerrado para la multiplicacin en B.
(SA-III) 1 Im( f ).
En general un subconjunto A
/
de un anillo A vericando las propiedades (SA-I), (SA-II) y (SA-III) se
llama un subanillo de A.
El conjunto de los subanillos de un anillo A verica algunas propiedades de inters. Entre ellas
destacamos la siguiente:
Lema. 2.4.
Si |A
[ | es una familia de subanillos de A, entonces tambin lo es su interseccin
.
Como consecuencia, dado un subconjunto de A podemos considerar el menor subanillo de A que
contiene a , ste es simplemente la interseccin
|B [ B, y B es un subanillo de A|.
Se llama el subanillo generado por .
Ejercicio. 2.5.
Prueba que los elementos del subanillo generado por son las expresiones polinmicas en elemen-
tos de |1| con coecientes en Z.
Este subanillo generado por se representa por |1|; y tambin por Z[].
Ideales
Por otro lado, dado un homomorsmo de anillos f : A B, el subconjunto de A
Ker( f ) = |x A [ f (x) = 0|
verica las siguientes propiedades:
(ID-I) Es un subgrupo de A;
(ID-II) Para cualesquiera a A y x Ker( f ) se tiene ax Ker( f ).
En general denimos un ideal de un anillo Acomo un subconjunto a de Avericando las propiedades
(ID-I) y (ID-II). Un ideal a de A es propio si a ,= A, y no trivial si a ,= |0|.
Los ideales verican algunas propiedades interesantes. Por ejemplo:
Lema. 2.6.
(1) La interseccin de una familia de ideales |a
[ | es un ideal y
(2) la suma de una familia de ideales, |a
[ |, denida como,
|a
[ | =
_
a
j
[
j
F nito, a
j
a
j
, para todo
j
F
_
es un ideal.
Decimos que el ideal a es menor que el ideal b si a b. Esto dene una relacin de orden, a b, en
el conjunto, '(A), de todos los ideales del anillo A. Respecto a este orden el nmo de una familia
de ideales es la interseccin y el supremo es la suma.
Dado un subconjunto de A, existe un menor ideal, representado por A (), que contiene a
, y que se puede denir como la interseccin de todos los ideales de A que contienen a . Se
llama el ideal generado por y el conjunto se dice que es un sistema de generadores de A.
Ejercicio. 2.7.
Prueba que los elementos de A son todas las expresiones (nitas) de la forma
i
a
i
x
i
, con a
i
A
y x
i
.
En el caso en el que = |x|, la descripcin de () es especialmente sencilla:
() = (x) = |ax [ a A| = Ax.
Llamaremos a (x) = Ax el ideal principal generado por x.
Un ideal a de A se llama nitamente generado si existe un subconjunto nito de A tal que
a = ().
Existe otra operacin entre ideales, el producto de ideales, denido de la siguiente forma: sean a y
b ideales de un anillo A, denimos ab como el conjunto de todas las expresiones nitas de la forma
|a
i
b
i
[ a
i
a, b
i
b|. Es claro que ab es el ideal generado por los productos ab con a a y b b
y est contenido en la interseccin de a y b.
Dados dos ideales a y b se dene un nuevo ideal, el ideal residual de a por b
(a : b) = |x A [ xb a|.
Lema. 2.8.
Para cada dos ideales a y b se tiene que (a : b) es un ideal que contiene a a.
Anillo cociente
Sea a un ideal de un anillo A. En el grupo cociente A/a podemos denir una operacin binaria
mediante:
(a +a)(b +a) = ab +a,
con esta operacin A/a tiene estructura de anillo, con elemento uno igual a 1 +a, y la aplicacin
cannica
p : A A/a
es un homomorsmo de anillos. El anillo A/a se llama el anillo cociente de A por el ideal a.
Este proceso de la construccin del anillo cociente est determinado de forma nica en el siguiente
sentido. Sea A un anillo, una relacin de equivalencia se llama compatible con las operaciones
de A si verica:
si a b y a
/
b
/
, entonces a + b a
/
+ b
/
,
si a b y a
/
b
/
, entonces ab a
/
b
/
.
Es claro que si es una relacin de equivalencia en un anillo A, entonces es compatible si, y slo
si, en A/ podemos denir una estructura de anillo mediante:
[a] +[b] = [a + b],
[a] [b] = [a b],
y donde el elemento uno es [1]. Esto es, tal que la proyeccin p : A A/ sea un homomorsmo
de anillos.
Adems una relacin de equivalencia compatible determina un ideal a de A en la siguiente forma:
a = |a A [ a 0|,
y recprocamente, dado un ideal a de A, la relacin denida por a b si a b a es una relacin
de equivalencia compatible.
Proposicin. 2.9.
Para cada anillo A existe una correspondencia biyectiva entre:
(I) relaciones de equivalencia compatibles en A,
(II) ideales de A.
Propiedad universal del anillo cociente
Proposicin. 2.10. (Propiedad universal del anillo cociente)
Dado un anillo A y un ideal a A, para cada homomorsmo de anillos f : A B tal que f (a) = 0
existe un nico homomorsmo de anillos f
/
: A/a B tal que f = f
/
p. Esto es, el siguiente
diagrama conmuta.
A
p
//
f
=
=
=
=
=
=
=
=
A/a
1
f
/
~~|
|
|
|
B
Un homomorsmo de anillos f : A B es un isomorsmo si existe un homomorsmo de anillos
g : B A tal que f g = id
B
y g f = id
A
, o equivalentemente si f es una aplicacin inyectiva y
sobreyectiva, esto es, una biyeccin.
Proposicin. 2.11. (Primer Teorema de Isomorfa)
Dado un homomorsmo de anillos f : A B, existe un nico homomorsmo natural f
/
que
completa el siguiente diagrama:
A
f
//
p
B
A/Ker( f )
1
f
/
// _ _ _ _ _ _
Im( f )
i
OO
Adems f
/
es un isomorsmo.
Proposicin. 2.12.
La imagen del nico homomorsmo f : Z A se llama el subanillo caracterstico de A.
El ncleo de f es un ideal de Z, por lo tanto es de la forma nZ, para n 0. Llamamos a n la
caracterstica del anillo A.
Ejemplo. 2.13.
Para cada ideal nZ el anillo Z/nZ se representa por Z
n
, y est formado por las clases de Z mdulo
n. Como consecuencia del Primer Teorema de Isomorfa, si A tiene caracterstica n > 0, entonces
contiene un subanillo isomorfo a Z
n
; y si tiene caracterstica cero, entonces contiene un subanillo
isomorfo a Z.
3. Producto de anillos
Producto de anillos
Dada una familia de anillos |A
i
[ i I |, en el producto cartesiano
i
A
i
consideramos dos opera-
ciones denidas componente a componente
(a
i
)
i
+(b
i
)
i
= (a
i
+ b
i
)
i
,
(a
i
)
i
(b
i
)
i
= (a
i
b
i
)
i
,
que junto con el elemento 1 = (e
i
)
i
, siendo e
i
A
i
el elemento uno, verican:
Lema. 3.1.
Con la notacin anterior (
i
A
i
, +, , 1) es un anillo, que es conmutativo si, y solo si, cada A
i
es
conmutativo.
Para cada ndice j I denimos:
j
: A
j
i
A
i
,
j
(x) = (x
i, j
)
i
, siendo
i, j
=
_
e
i
A
i
si j = i,
0 A
i
si j ,= i.
j
:
i
A
i
A
j
,
j
((a
i
)
i
) = a
j
.
El par (
iI
A
i
, |
j
[ i I |) se llama el anillo producto directo de la familia |A
i
[ i I )}
Lema. 3.2.
Con la notacin anterior se tiene
(1)
j
es un homomorsmo inyectivo para la suma y el producto, pero no es un homomorsmo de
anillos salvo que I sea unitario.
(2)
j
es un homomorsmo de anillos.
(3)
k

j
=
j,k
, siendo
j,k
=
_
id
A
j
, si k = j
0 : A
j
A
k
, si k ,= j.
(4) Propiedad universal del anillo producto. Para cada anillo B y cada familia de homomorsmo
de anillos |f
i
: B A
i
[ i I |, existe un nico homomorsmo de anillos f : B
i
A
i
tal que
f
i
=
i
f .
B
f
i
''
O
O
O
O
O
O
O
O
O
O
O
O
O
O
O
1
f
i
A
i
i
//
A
i
SEC. 3. PRODUCTO DE ANILLOS 15
Lema. 3.3.
Con la notacin anterior, si I = |1, . . . , t| es un conjunto nito, se verica:
(1)

t
j=1
i

i
= id
i
A
i
.
(2) Im(
i
) es un ideal de
i
A
i
, y
t
i=1
Im(
i
) =
t
i=1
A
i
.
(3) Ker(
j
) =
i,=j
Im(
i
) y Ker(
j
) Im(
j
) = 0.
Lema. 3.4.
Sea A un anillo y a
1
, . . . , a
t
A ideales no nulos tales que
(I) a
j
i,=j
a
i
_
= 0 y
(II)

t
i=1
a
i
= A
Un conjunto de ideales vericando estas condiciones se llama un conjunto independiente de idea-
les de A. Se verica:
(1) Existe un isomorsmo, para la suma y el producto,

t
i=1
a
i

= A, denido (a
1
, . . . , a
t
)
a
1
+ +a
t
.
(2) Cada a es un anillo con elemento uno e
i
tal que e
1
+ +e
t
= 1; en este caso a
i
= e
i
A.
(3) Se tiene e
i
e
j
=
i, j
. En particular cada e
i
es un elemento idempotente.
Un conjunto de elementos |e
1
, . . . , e
t
| vericando e
i
e
j
=
i, j
y e
1
+ + e
t
= 1 se llama un
conjunto completo de elementos idempotentes ortogonales del anillo A.
(4) Si e, f son elementos idempotentes tales que eA = f A, entonces e = f .
(5) Existe una biyeccin entre conjuntos completos de idempotentes ortogonales de A y conjuntos
independientes de ideales de A.
DEMOSTRACIN. (4). Si eA = f A, existen a, b A tales que e = f a y f = eb. Se tiene:
e = f a = (eb)a = eab = f aab = f f ab = f af ab = eeb = eb = f .
Un anillo A se llama descomponible si contiene un idempotente e A tal que e ,= 0, 1, en caso

contrario se dice indescomponible.
Teorema chino del resto
Dos ideales a y b de un anillo A se llaman comaximales o primos relativos si a +b = A.
Lema. 3.5.
Sea A un anillo, si a y b son ideales comaximales, entonces se verica: ab = a b.
DEMOSTRACIN. Siempre se verica que ab a b. Por otro lado sea x a b, por la hiptesis
existen a a y b b tales que a+b = 1, entonces x = ax +bx ab, y se verica la igualdad.
Proposicin. 3.6. (Teorema chino del resto.)
Sean A un anillo, a
1
, . . . ,a
n
ideales de A y f la aplicacin cannica denida por las proyecciones
p
i
: A A/a
i
, i = 1, . . . , n:
f : A
n
i=1
A/a
i
, f (a) = (a +a
i
)
i
Entonces se verica:
(1) Si a
i
y a
j
son comaximales, cuando i ,= j, entonces a
1
a
n
= a
1
. . . a
n
;
(2) f es sobreyectiva si, y slo si, a
i
y a
j
son comaximales si i ,= j, para todos los ndices i, j;
(3) f es inyectiva si, y slo si, a
1
. . . a
n
= 0.
DEMOSTRACIN. (1). Hacemos induccin sobre n. Para n = 2 es el Lema (3.5.). Supongamos que es
cierto para n1; ya que a
i
+a
n
= A, para 1 i n 1, tomamos x
i
a
i
, y
i
a
n
tal que x
i
+ y
i
= 1.
Construimos entonces:
x
1
x
n1
= (1 y
i
) (1 y
n1
) = 1 + y
para algn y a
n
; luego (a
1
a
n1
) +a
n
= A, y tenemos:
(a
1
a
n1
)a
n
= (a
1
a
n1
) a
n
= (a
1
a
n1
) a
n
.
(2). Tomamos a
1
, a
i
. Por hiptesis existe x A tal que f (x) = (1, 0, . . . , 0), luego x 1 a
1
y x a
i
,
y tenemos
1 = x (x 1) a
1
+a
i
.
Recprocamente, si a
1
+a
i
= A, para 2 i n, existen x
i
a
1
, y
i
a
i
tales que x
i
+y
i
= 1. Denimos
x = y
2
y
n
= (1 x
2
) (1 x
n
) = 1 + x
/
para algn x
/
a
1
, luego f (x) = (1, 0. . . . , 0).
(3). Es evidente.
SEC. 4. IDEALES PRIMOS E IDEALES MAXIMALES 17
4. Ideales primos e ideales maximales
Sea A un anillo, un elemento a A se llama un divisor de cero si existe un elemento no nulo b A
tal que ab = 0. Los elementos de A que no son divisores de cero se llaman elementos regulares.
Cuando el elemento cero es el nico divisor de cero de un anillo A, se dice que A es un dominio de
integridad, simplemente un dominio.
Un elemento a de un anillo A se llama nilpotente si existe un entero positivo n N
1
tal que a
n
= 0.
Ejercicio. 4.1.
Prueba que los elementos nilpotentes de un anillo forman un ideal.
Sea A un anillo, un ideal propio p de A se llama un ideal primo si para cualesquiera a, b A tales
que ab p, se tiene a p b p.
Ejemplo. 4.2.
En el caso del anillo Z de los nmeros enteros los ideales primos son:
(I) el ideal cero y
(II) los ideales de la forma pZ, siendo p un entero primo (positivo).
Lema. 4.3.
Sea A un anillo y p un ideal propio, las siguientes condiciones son equivalentes:
(a) p es un ideal primo;
(b) A/p es un dominio de integridad.
DEMOSTRACIN. Supongamos que p es un ideal primo, y sea (a +p)(b +p) = 0, entonces ab p,
y ya que p es primo, tenemos a p b p, entonces a +p = 0 b +p = 0. La otra implicacin es
similar.
Estudiamos ahora cmo cambian los ideales primos en un cambio de anillo.
Lema. 4.4.
Sea f : A B un homomorsmo de anillos, se verica:
(1) Si q es un ideal primo de B, entonces f
1
(q) es un ideal primo A.
(2) Existe una correspondencia biyectiva entre los ideales de A que contienen a Ker( f ) y los ideales
de Im( f ).
(3) En esta correspondencia la imagen y la preimagen de ideales primos son tambin ideales pri-
mos.
DEMOSTRACIN. (1). Sean a, b A tales que ab f
1
(p), entonces se verica f (a) f (b) = f (ab)
f f
1
(p) p, luego f (a) p f (b) p, y tenemos a f
1
(p) b f
1
(p).
(2). Si b B es un ideal, entonces f
1
(b) Ker( f ) es un ideal. Por otro lado, si a Ker( f ) es un
ideal, entonces f (a) es un ideal de Im( f ). Slo falta ver que estas aplicaciones son, una inversa de
la otra.
(3). Es claro.
Observa que la siguiente propiedad es en realidad una nueva caracterizacin de ideales primos.
Teorema. 4.5.
Sean a
1
, . . . , a
n
ideales de A y p un ideal primo de A, si a
1
. . . a
n
p, entonces existe un ndice i
tal que a
i
p.
Adems si p = a
1
. . . a
n
, entonces a
i
= p para algn ndice i.
DEMOSTRACIN. Si a
1
. . . a
n
p, y para cada ndice i se verica a
i
p, entonces existe x
i
a
i
\p,
y tenemos x
1
x
n
a
1
a
n
a
1
. . . a
n
p, y como p es primo, existe un ndice i tal que x
i
p,
lo que es una contradiccin.
Ver tambin Ejercicio (??).
Ideales maximales
Sea A un anillo, un ideal propio m de A se llama maximal si para cada ideal propio a de A tal que
m a _ A se tiene m = a.
Lema. 4.6.
Sea A un anillo y m un ideal propio, las siguientes condiciones son equivalentes:
(a) m es un ideal maximal;
(b) A/m es un cuerpo.
De la misma forma que en el caso de ideales primos, vamos a estudiar el comportamiento de los
ideales maximales respecto a un homomorsmo de anillos.
Lema. 4.7.
Sea f : A B un homomorsmo de anillos, entonces la correspondencia descrita en el Lema (4.4.)
establece una correspondencia biyectiva entre los ideales maximales de A que contienen a Ker( f ) y
los ideales maximales Im( f ).
Ejercicio. 4.8.
En general, dado un homomorsmo de anillos f : A B, si m es un ideal maximal de B, no
necesariamente f
1
(m) es un ideal maximal de A. Dar un ejemplo.
Lema. 4.9. (Teorema de Krull)
Sea A un anillo, existe al menos un ideal maximal de A.
DEMOSTRACIN. Se considera el conjunto = |a [ a es un ideal propio de A|. El conjunto es no
vaco, ya que 0 , y est ordenado por la inclusin. Cada cadena en tiene una cota superior en ,
ya que la unin de una cadena de ideales propios es un ideal propio. Luego en existen elementos
maximales. Es claro que cada elemento maximal de es un ideal maximal.
Corolario. 4.10.
Sean A un anillo y a un ideal propio de A, entonces existe un ideal maximal m de A tal que a m.
DEMOSTRACIN.
2
Basta considerar el anillo cociente A/a y la correspondencia establecida en el
Lema (4.4.).
Corolario. 4.11.
Sea A un anillo y x A un elemento que no es invertible en A, existe un ideal maximal m de A tal
que x m.
DEMOSTRACIN. Basta considerar el ideal (x), que es propio por no ser x invertible.
2
El teorema de Krull nos asegura la existencia de un ideal maximal m que contiene a un ideal dado a. Sin embargo,
no nos aporta nada al conocimiento de este ideal maximal. Por ejemplo, al considerar el anillo A = Z
N
2
, tenemos que
para cada t N, el conjunto m
t
=
nN
A
n
, siendo A
n
= Z
2
si n ,= t, y A
t
= 0, es un ideal maximal, pues A/m
t

= Z
2
.
Por otro lado, el ideal b = Z
(N)
2
Z
N
2
no est contenido en ningn ideal maximal m
t
, pero est contenido en algn ideal
maximal m. Cmo describir uno de estos ideales maximales m?
Anillos locales
Un anillo A se llama local si tiene un nico ideal maximal, o equivalentemente, si los elementos no
invertibles forman un ideal. Si A es un anillo local con ideal maximal m, entonces el cuerpo A/m se
llama el cuerpo residual de A.
Lema. 4.12.
Sea A un anillo y m un ideal propio de A, son equivalentes:
(a) cada elemento x A\ m es invertible,
(b) A es un anillo local con ideal maximal m.
DEMOSTRACIN. Dado un ideal propio a de A, los elementos de a no son invertibles, luego a m.
Lema. 4.13.
Sea A un anillo y m un ideal maximal de A tal que cada elemento x 1 +m es invertible, entonces
A es un anillo local.
DEMOSTRACIN. Dado x A\ m, tenemos m+Ax = A, y existen m m, a A tales que m+ax = 1,
luego ax = 1 m 1 + m. Entonces ax es invertible, y por tanto x tambin lo es. Aplicando el
Lema (4.12.) tenemos el resultado.
Un anillo A es un anillo semilocal si tiene un nmero nito de ideales maximales.
Dados dos anillos A B, decimos que B domina a A si para cada ideal maximal m B se tiene que
mA A es un ideal maximal.
Teorema de elusin
Proposicin. 4.14. (Teorema de elusin)
Sea A un anillo, p
1
, . . . , p
n
ideales primos de A y a un ideal de A tal que a p
1
. . . p
n
, entonces
existe un ndice i tal que a p
i
.
DEMOSTRACIN. Hacemos induccin sobre n. Para n = 1 el resultado es cierto. Supongamos que sea
cierto para n 1 (n 2), y sea a p
i
para cada ndice i. Entonces
a p
1
. . . p
i1
p
i+1
. . . p
n
y existe x
i
a\p
1
. . . p
i1
p
i+1
. . . p
n
. Si x
i
/ p
i
, entonces a p
1
. . . p
n
y hemos terminado.
Supongamos entonces que x
i
p
i
para cada ndice i. Denimos
y =
n
i=1
x
1
x
i1
x
i+1
x
n
;
tenemos y a e y / p
i
para cada ndice i, luego a p
1
. . . p
n
.
Un enunciado alternativo es:
Proposicin. 4.15.
Sea a A un ideal y p
1
, . . . , p
n
ideales primos tales que a p
i
para cada i = 1, . . . , n, existe a a tal
que a / p
i
para cada i.
Extensiones del Teorema de elusin (*)
Los siguiente resultados son de aplicacin en contextos ms especcos; los incluimos aqu para ver
posibles extensiones de la teora.
Teorema. 4.16.
Sea A un anillo y p
1
, . . . , p
n
ideales. Si se verica una de las dos condiciones:
(1) a lo ms dos de estos ideales no son primos, cuando n > 2, o
(2) A contiene un cuerpo innito,
para cada ideal a tal que a
n
i=1
p
i
existe un ndice i tal que a p
i
.
DEMOSTRACIN. (1). Hacemos induccin sobre n. Si n = 1, el resultado es cierto. Si n = 2, y
a p
i
, i = 1, 2, existen x
1
a \ p
2
, x
2
a \ p
1
; observar que entonces x
i
p
i
, i = 1, 2. Entonces
y = x
1
+ x
2
/ p
1
p
2
. Supongamos ahora que n > 2. Consideramos p
1
primo y si a p
i
, para
cada ndice i, existe x
i
a \ p
1
. . . p
i1
p
i+1
. . . p
n
. Si x
i
/ p
i
, entonces a
n
i=1
p
i
, lo que
es una contradiccin. Por tanto para cada ndice i se tiene x
i
p
i
. En particular x
2
x
n
p
i
,
2 i n, y denimos y = x
1
+ x
2
x
n
p
i
, 2 i n. Como p
1
es primo y resulta que x
i
/ p
1
,
2 i n, entonces x
2
x
n
/ p
1
. Como x
1
p
1
, resulta y / p
1
. Entonces y /
n
i=1
p
i
, lo que es una
contradiccin.
(2). Si a
n
i=1
p
i
, entonces a =
n
i=1
(a p
i
) es un espacio vectorial propio que es una unin de
espacios vectoriales; esto es una contradiccin.
Radicales
Sea A un anillo, llamamos nilradical de A al conjunto de todos los elementos nilpotentes de A, y lo
representamos por Nil(A), y tambin por n(A).
Lema. 4.17.
Sea A un anillo, entonces Nil(A) es un ideal y el anillo cociente A/Nil(A) no tiene ningn elemento
nilpotente no nulo, esto es, Nil(A/Nil(A)) = 0.
DEMOSTRACIN. Sean a, b Nil(A), entonces existe n N tal que a
n
= 0 = b
n
; entonces se verica:
(a + b)
2n
= 0, y a + b Nil(A). Si tenemos ahora c A, entonces (ca)
n
= 0 y ca Nil(A).
Un anillo A con Nil(A) = 0 se llama un anillo reducido.
Teorema. 4.18.
Para cada anillo A se tiene que Nil(A) es la interseccin de todos los ideales primos de A.
DEMOSTRACIN. Llamamos N a la interseccin de todos los ideales primos del anillo A. Si x Nil(A),
entonces existe n N tal que x
n
= 0, luego para cada ideal primo p se tiene x p, y como
consecuencia x N. Sea ahora x N \ Nil(A), llamamos
= |a A [ n 1, x
n
/ a|
Ya que 0 , se tiene que ,= . Es claro que est ordenado por la inclusin y que es inductivo,
por tanto tiene un elemento maximal. Sea p maximal, y sean a, b Atales que ab p, si a, b / p,
entonces p +Aa, p +Ab / , por lo tanto existen n, m N tales que x
n
p +Aa y x
m
p +Ab, y se
tiene x
n+m
(p +Aa)(p +Ab) = p +Aab p, lo que es una contradiccin.
Utilizando el Teorema (4.18.) como modelo podemos denir un anlogo al nilradical. El radical de
Jacobson de un anillo A, que se dene como la interseccin de todos los ideales maximales de A, y
que se representa por Rad(A) y tambin por j(A).
Rad(A) = |m A [ m es un ideal maximal de A|.
Vamos a buscar una descripcin de los elementos de Rad(A).
Proposicin. 4.19.
Sea A un anillo, entonces las siguientes condiciones son equivalentes:
(a) x Rad(A);
(b) Para todo a A el elemento 1 ax es invertible en A.
DEMOSTRACIN. Supongamos que x Rad(A) y sea a A tal que 1 ax no es invertible en A.
Existe un ideal maximal m tal que 1 ax m, por la hiptesis x m, luego m = (1) = A, lo que
es una contradiccin. Por otro lado, sea x / Rad(A), entonces existe un ideal maximal m tal que
x / m, como consecuencia tenemos m+Ax = A y existe m m tal que m+ax = 1 para algn a A,
entonces 1 ax = m m no sera invertible en A.
Lema. 4.20.
Sea A un anillo, entonces las siguientes condiciones son equivalentes:
(a) A es un anillo local;
(b) A\ Rad(A) es el conjunto de los elementos invertible en A;
(c) Existe un ideal propio a de A tal que A \ a est contenido en el conjunto de los elementos
invertibles.
DEMOSTRACIN. (a) (b). Si A es un anillo local, entonces Rad(A) es el nico ideal maximal de A,
luego A\ Rad(A) es el conjunto de los elementos invertibles de A.
(b) (c). Basta tomar a = Rad(A).
(c) (a). Supongamos que a es un ideal propio de A con A \ a contenido en el conjunto de los
elementos invertibles, entonces a es un ideal maximal y contiene a cualquier otro ideal propio de A,
por tanto A es un anillo local con ideal maximal a.
Ejemplo. 4.21.
En el caso del anillo Z de los nmeros enteros el nilradical es cero, ya que 0 es un ideal primo, y el
radical de Jacobson es cero, ya que la interseccin de todos los ideales maximales (los de la forma
pZ, con p un entero primo positivo) es igual a 0.
Observacin. 4.22.
Para cada anillo A tenemos:
(1) A/Nil(A) es un subanillo del anillo producto
|A/p [ p A es primo|; cada factor del producto

es un dominio de integridad.
(2) A/Rad(A) es un subanillo del anillo producto
|A/m [ m A es primo|; cada factor del pro-

ducto es un cuerpo. En particular si A es un anillo semilocal con ideales maximales m
1
, . . . , m
n
,
entonces A/Rad(A) =
n
i=1
A/m
i
.
5. Radical de un ideal
Sea a un ideal de un anillo A, llamamos radical de a al conjunto
rad(a) = |x A [ n N, x
n
a|.
Lema. 5.1.
Sean A un anillo y a un ideal propio de A, se verica la igualdad:
rad(a)/a = Nil(A/a).
Corolario. 5.2.
En la situacin anterior se verica:
rad(a) = |p [ p es un ideal primo de A y p a|.
Proposicin. 5.3.
Sean A un anillo, a y b ideales de A y p un ideal primo de A, se verica:
(1) a rad(a).
(2) Si a b, entonces rad(a) rad(b).
(3) rad(a) = rad(rad(a)).
(4) rad(ab) = rad(a b) = rad(a) rad(b).
(5) rad(a) = A si, y slo si, a = A.
(6) rad(a +b) = rad(rad(a) +rad(b)).
(7) rad(p
n
) = p para cada n N
.
DEMOSTRACIN. (4). Se tiene la inclusin ab ab a, b, y por tanto se tiene rad(ab) rad(ab)
rad(a) rad(b). Por otro lado, si x rad(a) rad(b), existe n N tal que x
n
a b, y se tiene que
x
2n
ab, luego x rad(ab).
(6). Se tiene a +b rad(a) +rad(b), y por tanto rad(a +b) rad(rad(a) +rad(b)). Por otro lado, si
x rad(rad(a) +rad(b)), existe n N tal que x
n
rad(a) +rad(b). Sea x
n
= a + b, con a rad(a)
y b rad(b). Existe m N tal que a
m
a y b
m
b, entonces (x
n
)
2m
= (a + b)
2m
a +b, luego
x
2mn
a +b y se tiene x rad(a +b).
SEC. 5. RADICAL DE UN IDEAL 25
Corolario. 5.4.
Sean A un anillo, y a, b ideales de A, son equivalentes:
(a) rad(a) y rad(b) son comaximales.
(b) a y b son comaximales.
DEMOSTRACIN. Tenemos las siguientes igualdades:
rad(a +b) = rad(rad(a) +rad(b)) = rad(A) = A,
luego a +b = A.
Ideales primos minimales
Sea a un ideal de un anillo A, un ideal primo p es un ideal primo minimal sobre a si a p y para
cualquier otro ideal primo q tal que a q p se tiene q = p. Los ideales primos minimales sobre 0
en A son los ideales primos minimales de A.
Proposicin. 5.5.
Sea A un anillo y a un ideal propio de A, entonces existen ideales primos minimales sobre a y cada
ideal primo que contiene a a contiene un ideal primo minimal sobre a.
DEMOSTRACIN. Denimos = |p [ p es un ideal primo que contiene a a|. Es claro que es no
vaco, pues cada ideal propio de A est contenido en un ideal maximal, y por tanto en un ideal
primo. Sea |p
i
|
i
una cadena de ideales en , entonces
i
p
i
es un ideal que contiene a a; vamos a
ver que es primo. En efecto, si ab
i
p
i
, existe un ndice i tal que ab p
i
, y como p
i
es primo se
tiene a p o b p
i
, luego
i
p
i
es un ideal primo.
Si q a es un ideal primo, consideramos la familia
q
= |p [ p q es un ideal primo que contiene a a|.
Ver Ejercicio (??).

En consecuencia para cada ideal a el radical de a es la interseccin de todos los ideales primos
minimales sobre a.
rad(a) = |p [ p es un ideal primo minimal sobre a|.
Este resultado ser de inters en el caso en que solamente haya un nmero nito de ideales primos
minimales que contienen a a.
6. Extensin y contraccin de ideales
Sea f : A B un homomorsmo de anillos. Dado un ideal a de A, llamamos extensin de a al
ideal de B generado por f (a), y lo representamos por a
e
. Esto es; a
e
= Bf (a). De la misma forma,
para cada ideal b de B, llamamos contraccin de b a la imagen inversa de b en A, y lo representamos
por b
c
.
Proposicin. 6.1.
Sea f : A B un homomorsmo de anillos, entonces existen dos aplicaciones:
()
e
: |ideales de A| |ideales de B|, a a
e
()
c
: |ideales de B| |ideales de A|, b b
c
que denen una conexin de Galois, esto es;
(1) Si a
1
a
2
son ideales de A, entonces a
e
1
a
e
2
, y si b
1
b
2
son ideales de B, entonces b
c
1
b
c
2
.
(2) Si a es un ideal de A, entonces a a
ec
y si b es un ideal de B, entonces b b
ce
.
(3) Si a es un ideal de A, entonces a
e
= a
ece
y si b es un ideal de B, entonces b
c
= b
cec
.
(4) Si es el conjunto de los ideales contrados en A y 9 es el conjunto de los ideales extendidos
en B, entonces se tiene = |a [ a
ec
= a|, 9 = |b [ b
ce
= b| y existe una biyeccin de a 9.
Proposicin. 6.2.
Sean f : A B un homomorsmo de anillos, a
1
, a
2
ideales de A y b
1
, b
2
ideales de B, se verica:
(1) (a
1
+a
2
)
e
= a
e
1
+a
e
2
y (b
1
+b
2
)
c
b
c
1
+b
c
2
.
(2) (a
1
a
2
)
e
a
e
1
a
e
2
y (b
1
b
2
)
c
= b
c
1
b
c
2
.
(3) (a
1
a
2
)
e
= a
e
1
a
e
2
y (b
1
b
2
)
c
b
c
1
b
c
2
.
(4) (a
1
: a
2
)
e
(a
e
1
: a
e
2
) y (b
1
: b
2
)
c
(b
c
1
: b
c
2
).
(5) rad(a
1
)
e
rad(a
e
1
) y rad(b
1
)
c
= rad(b
c
1
).
SEC. 7. LGEBRAS 27
7. lgebras
Sea A un anillo. Una Algebra es un anillo B junto con un homomorsmo de anillos f : A B.
Como consecuencia una Algebra es un anillo B que tiene estructura de Amdulo y que verica la
siguiente condicin de compatibilidad:
a
1
(ba
2
) = (a
1
b)a
2
para todos a
1
, a
2
A y b B.
Si B y C son Algebras, un homomorsmo de Algebras de B a C es un homomorsmo de anillos
f : B C que es tambin homomorsmo de Amdulos.
El ejemplo ms conocido de A-lgebra se tiene cuando A = Z: todo anillo es una Z-lgebra.
Como ya hemos visto, para cada anillo A existe un nico homomorsmo de anillos f : Z A, el
ncleo es de la forma nZ para algn n N. El nmero entero n se llama la caracterstica de A.
Observar que si n ,= 0, entonces n es el menor entero positivo n tal que na = 0 para cada a A.
Anillos de polinomios
Para cada anillo A existe una forma simple de construir una Algebra, y es considerar A[X], el
anillo de polinomios en la indeterminada X con coecientes en A. Recordar que el anillo A[X] se
construye como el conjunto de todas las expresiones formales del tipo
a
0
+a
1
X + +a
n
X
n
,
en donde a
i
A. En A[X] se denen dos operaciones que le dan estructura de anillo, y la aplicacin
p : A A[X], p(a) = a es un homomorsmo de anillos.
El par (p, A[X]) verica la siguiente propiedad universal:
Teorema. 7.1. (Propiedad universal del anillo de polinomios.)
Para cada anillo B, cada homomorsmo de anillos f : A B y cada elemento b B, existe un nico
homomorsmo de anillos f
b
: A[X] B tal que f
b
(X) = b y f = f
b
p.
A
p
//
f
=
=
=
=
=
=
=
=
A[X]
1
f
b
}}z
z
z
z
B
El homomorsmo f
b
se llama el homomorsmo de evaluacin en X = b.
Observar que el anillo de polinomios con coecientes en A en las indeterminadas X
1
, . . . , X
n
se puede
construir de forma recursiva como A[X
1
, . . . , X
n
] = A[X
1
, . . . , X
n1
][X
n
]. Por tanto los elementos de
A[X
1
, . . . , X
n
] admiten una expresin
i
a
i
X
i
n
, siendo a
i
A[X
1
, . . . , X
n1
] casi todos nulos. Tambin
podemos escribir los elementos de A[X
1
, . . . , X
n
] en la forma
i
1
,...,i
n
a
i
1
,...,i
n
X
i
1
1
X
i
n
n
,
con a
i
1
,...,i
n
A casi todos nulos.
El anillo de polinomios en varias indeterminadas tiene tambin una propiedad universal similar a la
enunciada en el Teorema (7.1.).
Teorema. 7.2. (Propiedad universal del anillo de polinomios.)
Para cada anillo B, cada homomorsmo de anillos f : A B y cada lista de n elementos b
1
, . . . , b
n
B, existe un nico homomorsmo de anillos f

b
1
,...,b
n
: A[X
1
, . . . , X
n
] B tal que f
b
1
,...,b
n
(X
i
) = b
i
para cada ndice i y f = f
b
1
,...,b
n
p.
A
p
//
f
=
=
=
=
=
=
=
=
A[X
1
, . . . , X
n
]
1
f
b
1
,...,b
n
yyr
r
r
r
r
r
B
El homomorsmo f
b
1
,...,b
n
se llama el homomorsmo de evaluacin en X
1
= b
1
, . . . , X
n
= b
n
.
Sobre la aritmtica de los anillos de polinomios ver los Ejercicios (??) y (??).
Dado un anillo A y un conjunto , si consideramos un conjunto de indeterminadas indizado en ,
|X
[ |, el anillo de polinomios con coecientes en A en las indeterminadas |X
[ | se
dene como la unin de los anillos B = |A[X
[ F ] [ F nito, F |. Si se denen en B
la suma y el producto en la forma obvia, cada inclusin A[X
[ F ] B es un homomorsmo
de anillos. El anillo B se representa por A[|X
[ |], y se llama el anillo de polinomios en las

indeterminadas |X
[ |.
Si A es un anillo, una Algebra B se llama nitamente generada si existe un homomorsmo so-
breyectivo de un anillo de polinomios, con coecientes en A en un nmero nito de indeterminadas,
a B. O equivalentemente, si existen elementos b
1
, . . . , b
t
B, tales que cualquier elemento b B se
escribe como una suma nita en la forma b =
N
t
c
1
1
b
t
t
, siendo = (
1
, . . . ,
t
) N
t
, y
c
A, casi todos nulos.

Sea K un cuerpo y B una Klgebra. Un conjunto de n elementos b
1
, . . . , b
n
B se dice que
es algebraicamente independiente sobre K si para cada polinomio F K[X
1
, . . . , X
n
] tal que
F(b
1
, . . . , b
n
) = 0 se tiene que F = 0. Vamos a caracterizar las listas de elementos algebraicamente
independientes como aquellas que generan subanillos que son isomorfos a anillos de polinomios.
Tenemos la siguiente proposicin:
SEC. 7. LGEBRAS 29
Proposicin. 7.3.
Sea K un cuerpo y B una Klgebra. Para una lista b
1
, . . . , b
n
de elementos de B son equivalentes
los siguientes enunciados:
(a) b
1
, . . . , b
n
es algebraicamente independiente;
(b) El homomorsmo f
b
1
,...,b
n
: K[X
1
, . . . , X
n
] B, denido por la propiedad universal, es inyecti-
vo.
DEMOSTRACIN. (a) (b). Siguiendo con la notacin de la propiedad universal del anillo de polino-
mios el homomorsmo de evaluacin para X
1
= b
1
, . . . , X
n
= b
n
es inyectivo, pues si F Ker( f
b
1
,...,b
n
),
entonces F(b
1
, . . . , b
n
) = 0 y al ser los b
1
, . . . , b
n
algebraicamente independientes se tiene F = 0.
(b) (a). Es inmediato.
Anillos de series formales de potencias (*)
Sea A un anillo y X una indeterminada. Una serie formal de potencias en X con coecientes en A
es una expresin formal
i=0
a
i
X
i
. Llamamos A[[X]] al conjunto de las series formales de potencias
en X con coecientes en A.
En el conjunto A[[X]] de las series formales de potencias se denen dos operaciones:
(
i=0
a
i
X
i
) +(
i=0
b
i
X
i
) =
i=0
(a
i
+ b
i
)X
i
;
(
i=0
a
i
X
i
)(
i=0
b
i
X
i
) =
i=0
c
i
X
i
, con c
i
=
j+k=i
a
j
b
k
.
Si para cada elemento a A consideramos la serie formal a +0X +0X
2
+ , podemos denir un
homomorsmo de anillos A A[[X]], e identicar A con su imagen en A[[X]].
Teorema. 7.4.
Para cada anillo A y cada indeterminada X el conjunto A[[X]] con las operaciones anteriores y
elemento uno igual a 1 es un anillo.
El anillo A[[X]] se llama el anillo de las series formales de potencias en X con coecientes en A.
Cada polinomio F A[x] puede ser considerado una serie formal de potencias, por lo tanto pode-
mos suponer que F A[[X]]. Se tiene entonces:
Proposicin. 7.5.
Para cada anillo A y cada indeterminada X el anillo de polinomios A[X] es un subanillo del anillo
de series formales de potencias A[[X]].
Podemos extender la construccin del anillo de series formales potencias a un nmero nito de
indeterminadas, X
1
, . . . , X
t
, para ello denimos A[[X
1
, . . . , X
t
]] = A[[X
1
, . . . , X
t1
]][[X
t
]].
Observa que los anillos de series formales de potencias, tanto A[[X]] como A[[X
1
, . . . , X
t
]], se pue-
den tambin denir a partir de los anillos de polinomios A[X] A[X
1
, . . . , X
t
] en la siguiente forma:
A[[X
1
, . . . , X
t
]] = |
i=0
F
i
[ F
i
A[X
1
, . . . , X
t
]|.
Sobre la aritmtica de los anillos de series de potencias ver el Ejercicio (??).
Mientras el Teorema de McCoy, ver Ejercicio (??), caracteriza los divisores del cero de un anillo
de polinomios, no existe un teorema similar en el caso de anillos de series formales de potencias.
Veamos un ejemplo de un divisor de cero.
Ejemplo. 7.6.
Se considera un cuerpo K, el anillo de polinomios K[Y, Z
0
, Z
1
, Z
2
, . . .] y el ideal a = (Y Z
0
) +(Z
n
+
Y Z
n+1
[ n N). Llamamos A = K[Y, Z
0
, Z
1
, Z
2
, . . .]/a = K[y, z
0
, z
1
, z
2
, . . .] y consideramos F =
y +X A[[X]]. Vamos a ver que F es un divisor de cero; para ello basta ver que
( y +X)(z
0
+z
1
X + +z
n
X
n
+ ) = 0.
Sin embargo, para un tipo especial de anillos se tiene un resultado similar el Teorema de McCoy.
Teorema. 7.7.
Sea A un anillo reducido, esto es, Nil(A) = 0. Sean F =
i=0
a
i
X
i
, G =
i=0
b
i
X
i
A[[X]]. Son
equivalentes:
(a) FG = 0,
(b) a
i
b
j
= 0 para todos i, j.
DEMOSTRACIN. (a) (b). Si FG = 0, vamos a probar que a
0
b
j
= 0 para todo j. Hacemos la
demostracin por induccin sobre j. Para j = 0 el resultado es cierto. Supongamos que sea cierto
para j = 0, 1, . . . , t 1. El coeciente de X
t
en FG es:
0 = a
0
b
t
+a
1
b
t1
+ +a
t1
b
1
+a
t
b
0
.
SEC. 7. LGEBRAS 31
Multiplicando por a
0
se tiene:
0 = a
0
(a
0
b
t
+a
1
b
t1
+ +a
t1
b
1
+a
t
b
0
) = a
2
0
b
t
,
y de aqu 0 = (a
0
b
t
)
2
. Como A es un anillo reducido, se tiene a
0
b
t
= 0. Llamamos F
/
a la serie formal
de potencias tal que X F
/
= F a
0
, Se verica F
/
G = 0, y por tanto a
1
b
j
= 0 para cada j. Repitiendo
el proceso se tiene a
i
b
j
= 0 para cada i y cada j.
Problema. 7.8.
Calcular Nil(A[[X]).
Vamos a calcular ahora los ideales maximales de A[[X]]. Se tiene:
Teorema. 7.9.
Los ideales maximales de A[[X]] son de la forma m+(X), siendo m un ideal maximal de A.
En consecuencia, si A es un cuerpo o un anillo local, entonces A[[X]] es un anillo local.
DEMOSTRACIN. (1). Para cada ideal maximal m A se tiene que m + (X) es un ideal maximal.
Basta considerar el homomorsmo : A[[X]] A denido (
i=0
a
i
X
i
) = a
0
y la biyeccin entre
los ideales de A y los ideales de A[[X]] que contiene a Ker() = (X).
(2). Para cada ideal maximal n A[[X]] denimos m = (n). Es claro que m es un ideal de A
ya que es sobreyectiva, y es un ideal maximal, ya que si a A \ m, entonces a / n, y se tiene
n + aA[[X]] = A[[X]], luego existen F =
i=0
a
i
X
i
n y G =
i=0
b
i
X
i
A[[X]] tales que
F +aG = 1, en particular a
0
+ab
0
= 1 y por tanto m+aA = A.
(3). Es claro que m+(X) n, y como m+(X) es maximal, se tiene la igualdad.
En general si A es un domino de factorizacin nica, el anillo de polinomios A[X] es un dominio
de factorizacin nica. Esta propiedad no es cierta para anillos de series formales de potencias; este
resultado fue dado por P. Samuel en 1961. Sin embargo con algunas restricciones el resultado es
cierto.
Teorema. 7.10.
Si D es un dominio de ideales principales, el anillo de series de potencias formales D[[X]] es un
dominio de factorizacin nica.
La demostracin se basa en dos lemas debidos a I. Kaplansky. El primero es el Corolario (??), y el
segundo es:
Lema. 7.11. (Kaplansky.)
Sea D un dominio de integridad. Son equivalentes:
(a) D es un dominio de factorizacin nica.
(b) Cada ideal primo no nulo de D contiene un elemento primo.
DEMOSTRACIN. (a) (b). Es claro.
(b) (a). Vamos a ver que cada elemento no nulo y no invertible es un producto de elementos
primos, y por el Lema (??) ser un DFU. Llamamos C al conjunto
C = |x D [ x es no nulo, no invertible y es un producto de elementos primos|.
Dado d / C no nulo y no invertible, procedemos como sigue:
(1). Probamos que (d) C = . Si ad C, se puede escribir ad = p
1
p
t
, como producto de
elementos primos. Se tiene p
1
[ a p
1
[ d; podemos escribir entonces a = p
1
a
1
d = p
1
d
1
. Tenemos
entonces:
a
1
d = p
2
p
t
ad
1
= p
2
p
t
.
Ahora eliminamos p
2
de la misma forma. Tras t pasos obtenemos una expresin a
i
d
j
= 1, por lo
tanto d C, lo que es una contradiccin.
(2). Tomamos = |a D [ d a, a C = |. Este conjunto es inductivo, luego por el Lema
de Zorn tiene elementos maximales. Si a es maximal vamos a probar que es un ideal primo.
Sean a, b D tales que ab a; si a, b / a existen x (a +(a)) C e y (a +(b)) C, por tanto
x y (a +(a))(a +(b)) a y x y C, lo que es una contradiccin.
(3). Por la hiptesis a contiene un elemento primo, luego a C ,= , lo que es una contradiccin.
En consecuencia todo elemento no nulo y no invertible pertenece a C, y tenemos el resultado.
DEMOSTRACIN. [del Teorema] Dado un ideal primo no nulo p D[[X]], si X p, entonces p
contiene un elemento primo. Si X / p, el ideal (p) es no nulo y est generado por un elemento, sea
(p) = (d). Podemos probar que p est generado por un elemento. Sea F p tal que (F) = d, si
G p se tiene (G) = da
0
, luego G Fa
0
Ker(), y existe H D[[X]] tal que XH = G Fa
0
p,
luego H p. Aplicando el mismo argumento a H, existe a
1
tal que H Fa
1
Ker(), y tenemos
G = Fa
0
+ Fa
1
X +X
2
H
/
para algn H
/
p. Podemos deducir que G (F) y se tiene p = (F). Como
p = (F) es un ideal primo, F es un elemento primo. De esta forma cada ideal primo no nulo contiene
un elemento primo, y el resultado se sigue aplicando el Lema (7.11.).
Serie formal de potencias de Laurent
El anillo de series formales de potencias A[[X]] se puede extender a un anillo ms general, el anillo
A[[X
1
, X]] de las series formales de potencias de Laurent. Los elementos de este anillo son
SEC. 7. LGEBRAS 33
expresiones del tipo
i=t
a
i
X
i
,
donde t N, a
i
A. Las operaciones con estas series formales son anlogas a las ya introducidas;
de forma que A[[X
1
, X]] es un anillo, y se tienen inclusiones A[X] A[[X]] A[[X
1
, X]].
De forma anloga podemos denir el anillo de series formales de potencias (descendentes) de
Laurent como el anillo A[[X, X
1
]], cuyos elementos son expresiones formales del tipo
i=t
a
i
X
i
,
donde la suma es descendente para los ndices.
Observa la diferencia en la notacin de los dos anillos que acabamos de introducir.
Existe un nuevo anillo A[X, X
1
], que se puede denir como A[[X
1
, X]]A[[X, X
1
]]; sus elemen-
tos son expresiones formales del tipo
s
i=t
A
i
X
i
,
para enteros t s, y a
i
A, y se llaman polinomios de Laurent en X con coecientes en A.
Captulo II
Anillos de polinomios
8 Representacin de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
9 rdenes en N
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
10 Algoritmo de la divisin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
11 Ideales monomiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
12 Bases de Groebner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
13 Aplicaciones de las Bases de Groebner . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
14 Aplicaciones de las Bases de Groebner, II . . . . . . . . . . . . . . . . . . . . . . . . . 63
Introduccin
Este captulo est dedicado al estudio de la aritmtica de los anillos de polinomios en varias indeter-
minadas con coecientes en un cuerpo. En l introducimos mtodos computacionales basados en la
divisin con resto en anillos de polinomios en n indeterminadas, para lo que necesitamos introducir
relaciones de orden en N
n
, que sean un buen orden compatible con la operacin suma y de forma
que 0 = (0, . . . , 0) sea el elemento mnimo; estos son los rdenes monomiales.
La herramienta fundamental para hacer un desarrollo computacional la proporcionan las bases de
Groebner, que nos permiten disear algoritmos para comparar ideales y dar mtodos efectivos para
poder calcular las operaciones aritmticas elementales con los mismos.
36 CAP. II. ANILLOS DE POLINOMIOS
8. Representacin de polinomios
Se considera un cuerpo K, indeterminadas X
1
, . . . , X
n
y el anillo K[X
1
, . . . , X
n
] de los polinomios
en X
1
, . . . , X
n
con coecientes en K. Al identicar K[X
1
, . . . , X
n
] con K[X
1
, . . . , X
n1
][X
n
], cada
elemento F K[X
1
, . . . , X
n
] se escribe, de forma nica, como:
F =
t
i=1
F
i
X
i
n
, con F
i
K[X
1
, . . . , X
n1
]. (II.1)
sta es la representacin recursiva de F. Sin embargo, en lo que sigue, vamos a utilizar otra repre-
sentacin para los polinomios en K[X
1
, . . . , X
n
]. Dadas las indeterminadas X
1
, . . . , X
n
, manteniendo
el orden que se indica, cada producto de stas se escribe de forma nica como
X
1
1
X
n
n
.
Llamamos monomio a cada una de estas expresiones. Por simplicidad, al monomio X
1
1
X
n
n
lo
representaremos por X
, siendo = (
1
, . . . ,
n
) N
n
. Entonces el polinomio F se puede escribir
como una combinacin lineal de monomios, con coecientes en K, esto es,
F =
N
n
a
, con a
K, casi todos nulos.

sta es la representacin distributiva de F.
Estamos interesados en la unicidad de esta representacin. Observar que aunque las expresiones
X
1
X
5
2
+X
2
y X
2
+X
1
X
5
2
se reeren al mismo polinomio, en la prctica las consideraremos distintas,
y buscaremos criterios para asociar a cada polinomio una expresin nica que nos permita compa-
rarlos de forma sencilla y poder desarrollar algoritmos sobre los mismos.
SEC. 9. RDENES EN N
n
37
9. rdenes en N
n
Se considera el monoide aditivo N
n
y en l un orden (orden parcial) _. Decimos que _ es compa-
tible o un orden parcial lineal si para cualesquiera , , N
n
tales que
_ , se tiene que + _ +.
Ejemplo. 9.1. (El orden producto en N
n
)
Si consideramos en N
n
el orden denido por

pr
si
i

i
para todo i = 1, . . . , n,
resulta que este orden es compatible.
Con objeto de determinar una expresin nica para cada polinomio, estamos ms interesados en
rdenes totales en N
n
, y el introducido en el ejemplo anterior no lo es si n 2. Recordar que un
orden _ es un orden total si para cada , N
n
se tiene _ _ .
Dado un orden total _ en N
n
. Decimos que _ es montono o admisible si
0 = (0, . . . , 0) es un mnimo de N
n
;
esto es, para cada N
n
se verica 0 _ . Y decimos que _ es fuertemente montono si
i

i
, para cada ndice i, entonces (
1
, . . . ,
n
) _ (
1
, . . . ,
n
),
esto es, _ es un orden que generaliza al orden producto,
pr
, en N
n
; ver Ejemplo (9.1.).
Es claro que todo orden fuertemente montono es montono. El recproco no es siempre cierto. Sin
embargo, para rdenes compatibles tenemos:
Lema. 9.2.
Todo orden compatible y montono es fuertemente montono.
DEMOSTRACIN. Supongamos que
i

i
para cada ndice i, entonces existe N
n
tal que + =
, como se verica 0 _ , se obtiene _ + = .
Un orden en N
n
total, compatible y montono se llama un orden de trminos o un orden mono-
mial.
Observa que para un preorden (verica las propiedades reexiva y transitiva) o un orden parcial
en N
n
podemos hacer tambin las deniciones de montono y fuertemente montono.
El siguiente resultado es independiente del orden total que consideremos en N
n
.
Lema. 9.3. (Lema de Dickson.)
Dado un subconjunto no vaco S N
n
, existe un subconjunto nito G S tal que para cada x S
existen y G y N
n
tales que x = y +.
Se dice que G genera a S.
DEMOSTRACIN. Hacemos induccin sobre n. Si n = 1, entonces S N y podemos tomar G = |y|,
siendo y el primer elemento de S. Supongamos que n > 1. Tomamos y S, si existe x S tal que
x / y +N
n
, entonces existe un ndice i tal que x
i
< y
i
, y en particular x pertenece a uno de los
siguientes subconjuntos:
S
i j
= |x S [ x
i
= j|, i = 1, . . . , n, j = 0, . . . , y
i
1.
Denimos nuevos subconjuntos
S
/
i j
= |x N
n
[ x
i
= 0 y (x
1
, . . . , x
i1
, j, x
i+1
, . . . , x
n
) S
i j
|
Podemos considerar S
/
i j
N
n1
. Por la hiptesis de induccin, existe G
/
i j
S
/
i j
nito que genera S
/
i j
.
Denimos entonces
G
i j
= |(x
1
, . . . , x
i1
, j, x
i+1
, . . . , x
n
) S
i j
[ (x
1
, . . . , x
i1
, 0, x
i+1
, . . . , x
n
) G
/
i j
|.
Resulta que G
i j
es un subconjunto nito que genera S
i j
, luego
|y| (
i j
G
i j
)
es un conjunto nito que genera S.
Un orden en un conjunto S es un buen orden si cada subconjunto no vaco tiene un primer elemen-
to.
Ejercicio. 9.4.
Cada orden de monomial en N
n
es un buen orden.
SOLUCIN. Como es un orden total, si un conjunto no vaco tiene un elemento minimal, entonces
ste es nico, luego es minimal. Dada una cadena y
0
> y
1
> en S, consideramos el conjunto X =
|y
0
, y
1
, . . .|. Por el lema de Dickson existe un conjunto generador nito |y
m
1
, . . . , y
m
t
|. Supongamos
que y
m
1
y
m
i
para cada ndice i. Si y
m
1
no es minimal, existe y
j
< y
m
1
. Adems existe m
i
tal que
y
j
= y
m
i
+. Como consecuencia y
i
= y
m
i
+ y
m
i
y
m
1
, lo que es una contradiccin.
En lo que sigue vamos a trabajar, principalmente, con rdenes monomiales.
SEC. 9. RDENES EN N
n
39
Monoideales
Un subconjunto E N
n
se llama un monoideal si para cada E y cada N
n
se tiene + E,
esto es, E = E +N
n
.
Dado un monoideal E, un subconjunto G E tal que E = G +N
n
se llama un sistema de genera-
dores de E.
Como consecuencia del Lema de Dickson, Lema (9.3.), resulta que cada monoideal E de N
n
tiene
un sistema de generadores nito, esto es, E contiene un subconjunto nito G tal que E = G +N
n
.
Un sistema de generadores G de un monoideal E se llama minimal si ningn subconjunto de G
genera E. Es fcil observar que cada monoideal contiene un sistema de generadores minimal. Sin
embargo podemos decir algo ms:
Lema. 9.5.
Cada monoideal tiene un nico sistema de generadores minimal.
DEMOSTRACIN. Sea E un monoideal y G y G
/
dos sistemas de generadores minimales; por el
Lema de Dickson podemos suponer que ambos son nitos. Para cada G existe
G
/
tal
que =
para algn
N. Se verica que G
1
:= |
[ G| genera G, y por lo tanto a

G
/
. La minimalidad de G
/
se deduce que G
1
= G
/
, y por lo tanto G
/
G. De forma anloga se tiene
G G
/
y se tiene la igualdad.
rdenes en el producto cartesiano
Antes hemos hablado del orden producto en N
n
; vamos a generalizar esta construccin. Dados dos
conjuntos A y B con relaciones de orden
A
y
B
, en el producto cartesiano A B se dene una
nueva relacin de orden
pr
mediante:
(a
1
, b
1
)
pr
(a
2
, b
2
) si
_
a
1
A
a
2
y
b
1
B
b
2
El orden
pr
se llama el orden producto de
A
y
B
en AB.
Si
A
y
B
son rdenes totales en A y en B respectivamente no siempre
pr
es un orden total en
AB, ver Ejemplo (9.1.). Por esta razn se suelen utilizar otros rdenes en AB, tambin inducidos
por rdenes en los factores. Uno de ellos es el orden producto lexicogrco, que se dene como
(a
1
, b
1
)
l ex
(a
2
, b
2
) si
_
a
1
<
A
a
2
o
a
1
= a
2
y b
1
B
b
2
En este caso
l ex
es un orden total en AB si
A
y
B
lo son.
Producto de rdenes en un conjunto
Dados dos rdenes _
1
y _
2
en un conjunto A, denimos un nuevo orden _ mediante:
a _
1,2
b si a _
1
b y a _
2
b.
El orden _
1,2
se llama el orden producto de _
1
y _
2
. Con la notacin anterior, observa que en
general _
1,2
y _
2,1
son distintos.
Observa que si _
1
y _
2
son rdenes totales el orden producto _
1,2
no necesariamente lo es. Este
defecto lo podemos corregir cambiando la forma de denir rdenes a partir de rdenes o prerdenes
dados.
Dados dos prerdenes _
1
y _
2
en un conjunto A, denimos un nuevo preorden en A mediante:
_
1,2
si
_
t
1

1
y _
2
.
El preorden _
1,2
se llama el producto lexicogrco de _
1
y _
2
.
Lema. 9.6.
Con la notacin anterior tenemos que _
1,2
es un preorden. Adems, si _
1
y _
2
son rdenes totales
compatibles montonos entonces _
1,2
tambin lo es.
Las construcciones anteriores se puede extender a un nmero nito de rdenes prerdenes.
Ejemplos de rdenes en N
n
Orden lexicogrco

l ex
si para el primer ndice i tal que
i
,=
i
se tiene
i
>
i
.
Orden lexicogrco graduado

grl ex
si
_
i
i
>
i
o
i
=
i
y
l ex
.
El orden
grl ex
es el producto lexicogrco del preorden denido por el grado y el orden lexicogr-
co.
Orden lexicogrco graduado inverso

invgrl ex
si
_
i
i
>
i
o
i
=
i
y para el primer ndice i (por la dcha.) tal que
i
,=
i
se tiene
i
<
i
.
SEC. 9. RDENES EN N
n
41
Debido a la biyeccin entre N
n
y el conjunto de monomios X
1
1
X
n
n
, jada una ordenacin, X
1
>
X
2
> > X
n
, de las indeterminadas, dada por (
1
, . . . ,
n
) X
1
1
X
n
n
, cada orden o preorden
en N
n
dene, de forma unvoca, un orden o preorden en el conjunto de monomios.
Ejemplo. 9.7.
Dados los monomios: X
3
1
, X
1
X
2
2
, X
5
2
, X
3
1
X
2
X
3
, X
4
3
, vamos a ordenarlos segn los rdenes que hemos
denido.
Orden lexicogrco: X
3
1
X
2
X
3
, X
3
1
, X
1
X
2
2
, X
5
2
, X
4
3
.
Orden lexicogrco graduado: X
3
1
X
2
X
3
, X
5
2
, X
4
3
, X
3
1
, X
1
X
2
2
.
Orden lexicogrco graduado inverso: X
5
2
, X
3
1
X
2
X
3
, X
4
3
, X
3
1
, X
1
X
2
2
.
Ejemplo. 9.8.
Ordenar los trminos del polinomio F = 3X
2
+2XY
2
+Y
3
K[X, Y].
Orden lexicogrco:
F = 3X
2
+2XY
2
+Y
3
, lt(F) = 3X
2
, lc(F) = 3, lm(F) = X
2
, exp(F) = (2, 0).
Orden lexicogrco graduado:
F = 2XY
2
+Y
3
+3X
2
, lt(F) = 2XY
2
, lc(F) = 2, lm(F) = XY
2
, exp(F) = (1, 2).
Orden lexicogrco graduado inverso:
F = 2XY
2
+Y
3
+3X
2
, lt(F) = 2XY
2
, lc(F) = 2, lm(F) = XY
2
, exp(F) = (1, 2).
Es un resultado general que en el caso de dos indeterminadas los rdenes lexicogrco graduado y
lexicogrco graduado inverso coinciden. Comprubalo!
Observacin. 9.9.
Observar que para aplicar estos rdenes hemos utilizado la correspondencia X
a
Y
b
(a, b); esto
supone la ordenacin de las indeterminadas X > Y. Podramos haber utilizado la correspondencia
X
a
Y
b
(b, a), lo que supone la ordenacin de las indeterminadas en la forma Y > X.
10. Algoritmo de la divisin
Consideramos el anillo de polinomios K[X
1
, . . . , X
n
]. Ya conocemos algo de su estructura; por ejem-
plo, es un dominio de factorizacin nica. Vamos a profundiza un poco ms en su aritmtica.
Recordemos que como las indeterminadas se suponen conmutativas, cada producto de las mismas se
puede escribir, unvocamente, en la forma X
1
1
X
n
n
, siendo
i
N, y que abreviadamente podemos
representar este producto por X
, siendo = (
1
, . . . ,
n
) N
n
.
Podemos desarrollar cada polinomio F K[X
1
, . . . , X
n
] como una combinacin lineal de monomios
en la siguiente forma:
F =
,
con a
K (casi todos nulos), N

n
, y si = (
1
, . . . ,
n
), entonces X
= X
1
1
X
n
n
.
Veamos, para jar notacin, algunos elementos asociados con el polinomio F cuando tenemos un
orden monomial en N
n
.
(I) El diagrama de Newton de F es: , (F) = | N
n
[ a
,= 0|.
(II) Si F ,= 0, el exponente de F: exp(F) = max| N
n
[ , (F)|.
(III) El grado de F: grad(F) = max|
1
+ +
n
[ = (
1
, . . . ,
n
) , (F)|.
(IV) El coeciente lder de F: lc(F) = a
exp(F)
.
(V) El trmino lder de F: lt(F) = a
exp(F)
X
exp(F)
.
(VI) El monomio lder de F: lm(F) = X
exp(F)
.
Por completitud denimos lc(0) = 0 = lt(0). Como consecuencia, para cada F K[X
1
, . . . , X
n
]
tenemos F ,= 0 si, y slo si, lt(F) ,= 0 si, y slo si, lc(F) ,= 0.
Lema. 10.1.
Dados F, G K[X
1
, . . . , X
n
] tenemos exp(FG) = exp(F) +exp(G).
DEMOSTRACIN. Como consecuencia de ser un orden compatible resulta exp(FG) = exp(F) +
exp(G).
De forma inmediata tenemos el siguiente resultado:
Lema. 10.2.
Dados 0 ,= F, G K[X
1
, . . . , X
n
] tenemos:
(1) Si F +G ,= 0, entonces exp(F +G) max|exp(F), exp(G)|;
(2) Si exp(F) < exp(G), entonces exp(F +G) = exp(G).
SEC. 10. ALGORITMO DE LA DIVISIN 43
DEMOSTRACIN.
Lo siguiente es tambin notacin. Si
1
. . . ,
t
N
n
, es una lista de elementos de N
n
, denimos:
1
=
1
+N
n
,
2
= (
2
+N
n
) \
1
,
.
.
.
t
= (
t
+N
n
) \
i<t
i
,
= N
n
\
it
i
.
No creemos que la notacin
i
para un elemento de N
n
se confunda con la isima potencia de ,
ya que no vamos a usar potencias de elementos de N
n
a lo largo de este trabajo.
Lema. 10.3.
Para cada lista de elementos de N
n
, por ejemplo
1
, . . . ,
t
, tenemos que |
1
,
2
, . . . ,
t
, | es una
particin de N
n
, cuando eliminamos los conjuntos vacos.
DEMOSTRACIN.
Una consecuencia de este resultado es el siguiente algoritmo de la divisin en el anillo K[X
1
, . . . , X
n
].
Teorema. 10.4. (Algoritmo de la divisin)
Dado un orden monomial en N
n
, para cada lista nita de polinomios no nulos
G
1
, . . . , G
t
K[X
1
, . . . , X
n
],
consideramos la particin de N
n
determinada por la lista
exp(G
1
), . . . , exp(G
t
).
Se verica que para cada 0 ,= F K[X
1
, . . . , X
n
] existen elementos Q
1
, . . . , Q
t
y R K[X
1
, . . . , X
n
],
nicos, cumpliendo las propiedades siguientes:
(1) F =
t
i=1
Q
i
G
i
+R.
(2) R = 0 , (R) .
(3) Para cada ndice i se verica: exp(G
i
) +, (Q
i
)
i
.
Como consecuencia, si Q
i
G
i
,= 0, se tiene exp(Q
i
G
i
) exp(F) y si R ,= 0, entonces exp(R) exp(F).
DEMOSTRACIN.
Existencia.
Hacemos induccin sobre exp(F). Si exp(F) = 0, entonces tenemos dos posibilidades:
(I) exp(F) = (0, . . . , 0)
i
, para algn ndice i.
(II) exp(F) = (0, . . . , 0) .
(i) Tenemos exp(F) = exp(G
i
) +, para algn N
n
, luego exp(G
i
) = (0, . . . , 0) y G
i
K. Podemos
tomar:
_
_
_
Q
j
= 0, si j ,= i;
Q
i
= F
i
/G
i
;
R = 0
(ii) Tenemos exp(F) , entonces podemos tomar:
_
Q
i
= 0, si i = 1, . . . , t;
R = F
Supongamos ahora que el resultado es cierto para todos los polinomios G con exp(G) < exp(F). Al
igual que antes tenemos dos posibilidades:
(I) exp(F)
i
, para algn ndice i;
(II) exp(F) .
(i) Tenemos exp(F) = exp(G
i
) + , para algn N
n
. Si denimos H = X
G
i
tenemos que F
lc(F)
lc(H)
X
G
i
es un polinomio con exponente estrictamente menor que F. Aplicando la hiptesis de
induccin tenemos:
F
lc(F)
lc(H)
X
G
i
=
i
Q
/
i
G
i
+R
/
con los Q
/
1
, . . . , Q
/
t
, R vericando las condiciones del enunciado. Entonces obtenemos la expresin:
F =
i
Q
i
G
i
+R,
en donde
_
_
_
Q
j
=Q
/
j
, si j ,= i;
Q
i
=Q
/
i
+
lc(F)
lc(H)
X
;
R = R
/
Para comprobar que se tienen las condiciones del enunciado observemos las siguientes inclusiones:
exp(G
i
) +, (Q
i
) exp(G
i
) +|, (Q
/
i
) ||| =
= (exp(G
i
) +, (Q
/
i
)) |exp(G
i
) +|

i
.
(ii) Si exp(F) , entonces F lt(F) es un polinomio con exponente estrictamente menor que F, y
por tanto, por la hiptesis de induccin, tenemos:
F lt(F) =
i
Q
/
i
G
i
+R
/
SEC. 10. ALGORITMO DE LA DIVISIN 45
con los Q
/
1
, . . . , Q
/
t
, R vericando las condiciones del enunciado. Entonces obtenemos la siguiente
expresin para F:
F =
i
Q
i
G
i
+R,
en donde
_
Q
i
=Q
/
i
, si i = 1, . . . , t;
R = R
/
+lt(F)
Para comprobar que se tienen las condiciones del enunciado tenemos que si R ,= 0, entonces, consi-
derando que , (0) = , tenemos:
, (R) = , (R
/
+lt(F)) , (R
/
) |exp(F)| .
Unicidad.
Sean
F =
i
Q
i
G
i
+R =
i
Q
/
i
G
i
+R
/
dos expresiones de F vericando las condiciones del enunciado. Tenemos entonces:
0 =
i
(Q
i
Q
/
i
)G
i
+(R R
/
).
Vamos a analizar los exponentes de los sumandos de esta suma:
exp(R R
/
) , (R R
/
) , (R) , (R
/
) .
exp((Q
i
Q
/
i
)G
i
) = exp(Q
i
Q
/
i
) +exp(G
i
)
exp(G
i
) +(, (Q
i
Q
/
i
)) =
= (exp(G
i
) +, (Q
i
)) (exp(G
i
) +, (Q
/
i
))

i
.
Ahora como los
1
, . . . ,
t
, forman una particin de N
n
, llegamos a que cada uno de los suman-
dos es cero, y como estamos en un dominio, tenemos Q
i
=Q
/
i
, para cada ndice i, y R = R
/
.
Los Q
1
, . . . , Q
t
se llaman los cocientes de F y R se llama el resto de F relativos a |G
1
, . . . , G
t
|. El
resto R se representa tambin por R(F; |G
1
, . . . , G
t
|).
Observa que el orden de los elementos G
1
, . . . , G
t
es determinante para el clculo del resto. Esto es,
puede ocurrir que:
R(F; |G
1
, . . . , G
i
, . . . , G
j
, . . . , G
t
|) ,= R(F; |G
1
, . . . , G
j
, . . . , G
i
, . . . , G
t
|),
cuando i ,= j.
Ejercicio. 10.5.
Se consideran los polinomios F, G
1
, G
2
, G
3
Q[X, Y, Z].
F = X
4
Y
2
+X
2
Y
3
Z 2XY
2
Z
3
3X
2
Y Z
4
,
G
1
= X
3
Y 2X
2
Z
2
,
G
2
= X
2
Y
3
+X Z
3
,
G
3
= XY
2
Z X
2
Y Z 3XY Z
2
.
Con respecto al orden lexicogrco haz la divisin de F por |G
1
, G
2
, G
3
| y la divisin de F por
|G
3
, G
2
, G
1
|. Comprueba que son distintas.
SOLUCIN. Sean
F = X
4
Y
2
+X
2
Y
3
Z 2XY
2
Z
3
3X
2
Y Z
4
,
G
1
= X
3
Y 2X
2
Z
2
,
G
2
= X
2
Y
3
+X Z
3
,
G
3
= XY
2
Z X
2
Y Z 3XY Z
2
.
para hacer la divisin de F por |G
1
, G
2
, G
3
| consideramos la siguiente tabla:
1
= (3, 1, 0) +N
3
2
= ((2, 3, 0) +N
3
) \
1
3
= ((2, 1, 1) +N
3
) \
2
i F
i
exp(F
i
) Q
1
Q
2
Q
3
R
0 X
4
Y
2
+X
2
Y
3
Z 2XY
2
Z
3
3X
2
Y Z
4
(4, 2, 0)
1
XY
1 X
2
Y
3
Z +2X
3
Y Z
2
2XY
2
Z
3
3X
2
Y Z
4
(3, 1, 2)
1
2Z
2
2 X
2
Y
3
Z 2XY
2
Z
3
+4X
2
Z
4
3X
2
Y Z
4
(2, 3, 1)
2
Z
3 2XY
2
Z
3
X Z
4
+4X
2
Z
4
3X
2
Y Z
4
(2, 1, 4)
3
3Z
3
4 2XY
2
Z
3
X Z
4
+4X
2
Z
4
3XY
2
Z
4
+9XY Z
5
(2, 0, 4) 4X
2
Z
4
5 2XY
2
Z
3
X Z
4
3XY
2
Z
4
+9XY Z
5
(1, 2, 4) 3XY
2
Z
4
6 2XY
2
Z
3
X Z
4
+9XY Z
5
(1, 2, 3) 2XY
2
Z
3
7 X Z
4
+9XY Z
5
(1, 1, 5) 9XY Z
5
8 X Z
4
(1, 0, 4) X Z
4
0 XY +2Z
2
Z 3Z
3
F = (XY +2Z
2
)G
1
+ ZG
2
+(3Z
3
)G
3
+(4X
2
Z
4
3XY
2
Z
4
2XY
2
Z
3
+9XY Z
5
X Z
4
).
En el caso de la divisin de F por |G
3
, G
2
, G
1
|, el resultado es:
F = (2X Z Y
2
2Y Z +3Z
3
+6Z
2
)G
3
+0G
2
+(XY)G
1
+(XY
4
Z XY
3
Z
2
3XY
2
Z
4
14XY
2
Z
3
+9XY Z
5
+18XY Z
4
).

SEC. 11. IDEALES MONOMIALES 47
11. Ideales monomiales
Un ideal a de K[X
1
, . . . , X
n
] se llama monomial si tiene un sistema de generadores formado por
monomios. El resultado fundamental de esta seccin es que los ideales monomiales de K[X
1
, . . . , X
n
]
se pueden estudiar a travs de los monoideales de N
n
.
Lema. 11.1.
Si a es un ideal monomial con un sistema de generadores formado por monomios |X
[ A N
n
|,
para cada monomio X
K[X
1
, . . . , X
n
] son equivalentes:
(a) X
a.
(b) Existe F K[X
1
, . . . , X
n
] tal que X
= FX
, para algn A.
Adems, este F se puede tomar monomial.
DEMOSTRACIN. Es claro que (b) implica (a). Para ver que (a) implica (b), sea |X
[ A|
un sistema de generadores de a formado por monomios, y sea X
a. Entonces existen F
1
, . . . ,
F
t
K[X
1
, . . . , X
n
] y
1
, . . . ,
t
A tales que X
i
F
i
X
i
. Supongamos que F
i
=
j
b
i j
X
i j
, con
b
i j
K, tenemos la expresin siguiente:
X
i
F
i
X
i
=
i
_
j
b
i j
X
i j
_
X
i
=
i, j
b
i j
X
i j
X
i
=
i, j
d
i j
X
i
+
i j
.
Los monomios unitarios son una Kbase de K[X
1
, . . . , X
n
], luego de X
i, j
d
i j
X
i
+
i j
deducimos
que la expresin anterior se puede escribir
X
=
_
|d
i j
[
i
+
i j
= |
_
X
,
y como consecuencia, para algn
i
se tiene que existe un tal que
i
+ = , entonces existe un
c K tal que X
= cX
i
, de donde se tiene el resultado.
Proposicin. 11.2.
Sea a un ideal monomial y sea F un elemento de K[X
1
, . . . , X
n
]. Son equivalentes los siguientes
enunciados:
(a) F a.
(b) Todo monomio de F pertenece a a.
(c) F es una combinacin Klineal de monomios de a.
DEMOSTRACIN. Las relaciones (b) (c) (a) son claras. Para probar que (a) implica (b), consi-
deremos |X
[ A| un sistema de generadores de a formado por monomios para algn conjunto

A. Sea F a, existen F
1
, . . . , F
t
K[X
1
, . . . , X
n
] y
1
, . . . ,
t
A tales que F =
i
F
i
X
i
. Considera-
mos desarrollos de los F
i
, por ejemplo, F
i
=
j
b
i j
X
i j
, con b
i j
K. Tenemos la expresin siguiente:
F =
i
F
i
X
i
=
=
i
(
j
b
i j
X
i j
)X
i
=
=
i, j
b
i j
X
i j
X
i
=
=
i, j
d
i j
X
i
+
i j
=
=
.
Si algn c
,= 0, entonces 0 ,= c
|d
i j
[
i
+
i j
= |, y al igual que en la demostracin del lema
anterior tenemos que existe algn
i
A y algn c K tales que
c
= cX
i
,
de donde cada monomio de F pertenece a a.
Si a es un ideal denimos
Exp(a) = |exp(F) [ 0 ,= F a|.
Un subconjunto E N
n
se llama un monoideal, ver pgina 39, si para cada E y cada N
n
se
tiene + E, esto es, si E = E +N
n
.
Lema. 11.3.
Para cada ideal a de K[X
1
, . . . , X
n
] se tiene que Exp(a) es un monoideal de N
n
.
Corolario. 11.4. (Lema de Dickson para ideales monomiales)
Si a es un ideal monomial, entonces a tiene un sistema nito de generadores formado por monomios.
DEMOSTRACIN. Como tenemos que Exp(a) es un monoideal de N
n
, sea A Exp(a) nito tal que
Exp(a) = A+N
n
. Para cada A consideramos F
a tal que exp(F
) = . Es claro que lm(F
) =
lc(F
)X
, luego X
a. Consideramos ahora el ideal b = R(|X
[ A|). Se verica que b a.

Adems, dado un monomio X
a tenemos Exp(a) = A+N

n
, luego existe A y N
n
tales
que = +. Entonces tenemos:
X
= X
+
= cX
,
para algn c K, y por tanto X
b.
Una demostracin directa de este resultado aparece en los ejercicios.
Como consecuencia de la demostracin del Lema de Dickson para ideales monomiales tenemos:
SEC. 11. IDEALES MONOMIALES 49
Corolario. 11.5.
Si a y b son ideales monomiales, son equivalentes los siguientes enunciados:
(a) a = b;
(b) Exp(a) = Exp(b).
El siguiente resultado es de inters, ya que en teora permite comparar ideales monomiales.
Proposicin. 11.6.
Cada ideal monomial tiene un (nico) sistema nito mnimo de generadores.
DEMOSTRACIN. Sean G y G
/
dos sistemas de generadores. Para cada g G existe g
/
G
/
tal que
g
/
[ g, luego G\|g||g
/
| es un nuevo sistema de generadores que ocupa el lugar de G. Si realizamos
este proceso para cada sistema de generadores G
/
, llegamos a un sistema de generadores mnimo.
Es claro que existe una biyeccin entre ideales monomiales de K[X

1
, . . . , X
n
] y monoideales de N
n
.
En esta biyeccin a cada ideal a le corresponde el monoideal Exp(a), y a cada monoideal E N
n
,
con sistema de generadores G le corresponde el ideal monomial con sistema de generadores |X
[
G|. En ambos casos los sistemas de generadores pueden ser tomados nitos.
12. Bases de Groebner
Vamos a tratar ahora el caso general de un ideal no nulo del anillo de polinomios y vamos a ver si
es posible obtener un sistema de generadores que sea mnimo en algn sentido.
Lema. 12.1.
Sea a un ideal no nulo de K[X
1
, . . . , X
n
]. Si A N
n
es un sistema nito de generadores de Exp(a),
para cada conjunto de polinomios |F
[ A| a tales que exp(F
) = para cada A, se tiene

que |F
[ A| es sistema de generadores de a como ideal.

DEMOSTRACIN. Como A es nito, supongamos que |F
[ A| = |G
1
, . . . , G
t
|. Para cada 0 ,= F a
consideramos el algoritmo de la divisin para la sucesin G
1
, . . . , G
t
. Obtenemos una expresin
F =
i
Q
i
G
i
+R. Si R ,= 0, entonces , (R) y como tenemos R = F
i
Q
i
G
i
a, se verica
exp(R) Exp(a) = A+N
n
=
i
i
Si a es un ideal de K[X
1
, . . . , X
n
], una base de Groebner de a es un conjunto nito de elementos no
nulos, G = |G
1
, . . . , G
t
| a, vericando que
Exp(a) = |exp(G
1
), . . . , exp(G
t
)| +N
n
= Exp(G) +N
n
.
Corolario. 12.2.
(1) Cada ideal no nulo de K[X
1
, . . . , X
n
] tiene una base de Groebner.
(2) Toda base de Groebner de un ideal no nulo es un sistema de generadores.
(3) Teorema de la base de Hilbert. Todo ideal de K[X
1
, . . . , X
n
] es nitamente generado.
Proposicin. 12.3.
Dados a es un ideal no nulo de K[X
1
, . . . , X
n
], y G, G
/
son dos bases de Groebner de a, para cada
0 ,= F K[X
1
, . . . , X
n
] se verica R(F; G) = R(F; G
/
).
DEMOSTRACIN. Supongamos que al aplicar el algoritmo de la divisin para G y G
/
obtenemos dos
expresiones:
F =
i
Q
i
G
i
+R =
j
Q
/
j
G
/
j
+R
/
,
respectivamente. Si R ,= R
/
, como R R
/
a, tenemos
exp(R R
/
) Exp(a) =
i
i
=
j
(
/
)
j
.
SEC. 12. BASES DE GROEBNER 51
Pero
exp(R R
/
) , (R R
/
) , (R) , (R
/
) =
/
= N
n
\ Exp(a),
lo que es una contradiccin.
Algoritmo de Buchberger
Se trata ahora de caracterizar las bases de Groebner para despus dar un algoritmo que permita
calcular una de ellas.
Proposicin. 12.4.
1
, . . . , X
n
] y G una familia nita de elementos de a. Son equivalentes
(a) G es una base de Groebner de a.
(b) Para cada 0 ,= F a se tiene R(F; G) = 0.
DEMOSTRACIN. (a)(b). Si R(F; G) ,= 0, entonces exp(R(F; G)) Exp(a) = , lo que es una
contradiccin.
(b)(a). Sea 0 ,= F a, por el algoritmo de la divisin existen Q
1
, . . . , Q
t
, R K[X
1
, . . . , X
n
] tales
que:
F =
i
Q
i
G
i
, y exp(G
i
) +, (Q
i
)
i
.
En consecuencia, exp(Q
i
G
i
) ,= exp(Q
j
G
j
) si i ,= j, y exp(F) es el mximo de los exponentes de los
sumandos Q
i
G
i
. Existe un ndice i tal que
exp(F) = exp(Q
i
G
i
)
i
exp(G
i
) +N
n
,
y por tanto exp(F) |exp(G
1
), . . . , exp(G
t
)| +N
n
.
Esta caracterizacin de las bases de Groebner no es muy prctica, ya que habra que probar con
todos los elementos del ideal a para ver que tenemos una base de Groebner. Se trata entonces de
buscar criterios ms prcticos para caracterizar bases de Groebner.
Vamos a introducir en este punto la notacin necesaria para su desarrollo.
Si X
y X
son dos monomios, vamos a denir su mnimo comn mltiplo. Denimos:
i
= max|
i
,
i
|, 1 i n.
Sea = (
1
, . . . ,
n
) N
n
, entonces llamamos a X
el mnimo comn mltiplo de X
y X
. Tenemos
que X
es realmente un mltiplo ya que se verica:

X
= X
.
Y el resultado anlogo para X
:
X
= X
.
El mnimo comn mltiplo se representa por m. c. m.|X
, X
|.
Con este bagaje vamos a denir las semisicigias spolinomios. Dados F, G K[X
1
, . . . , X
n
], con
exp(F) = y exp(G) = , el spolinomio denido por F y G es:
S(F, G) =
1
lc(F)
X
F
1
lc(G)
X
G.
Lema. 12.5. (Lema tcnico)
Se considera la expresin

t
i=1
c
i
X
i
F
i
, en donde: los F
i
son elementos de K[X
1
, . . . , X
n
], c
i
K y
i
N
n
, vericando:
exp(
i
c
i
X
i
F
i
) < = exp(X
i
F
i
), para cada ndice i.
Entonces existen elementos c
jk
K tales que:
i
c
i
X
i
F
i
=
jk
c
jk
X
jk
S(F
j
, F
k
), y exp(X
jk
S(F
j
, F
k
)) < ,
en donde X
jk
= m. c. m.|X
exp(F
j
)
, X
exp(F
k
)
|.
DEMOSTRACIN. Supongamos que exp(F
i
) =
i
, entonces
i
+
i
= . Hacemos el siguiente desa-
rrollo:
i
c
i
X
i
F
i
=
i
c
i
lc(F
i
)
X
i
F
i
lc(F
i
)
=
i
c
i
lc(F
i
)H
i
,
donde
X
i
F
i
lc(F
i
)
= H
i
Podemos completar este desarrollo de la siguiente forma:
i
c
i
X
i
F
i
=
i
c
i
lc(F
i
)H
i
=
= c
1
lc(F
1
)(H
1
H
2
) +(c
1
lc(F
1
) +c
2
lc(F
2
))(H
2
H
3
) +
+(c
1
lc(F
1
) + +c
t1
lc(F
t1
))(H
t1
H
t
)+
+(c
1
lc(F
1
) + +c
t
lc(F
t
))H
t
.
Consideramos ahora el producto X
jk
S(F
j
, F
k
). Vamos a desarrollarlo y ver que vamos a obtener
un mltiplo de H
j
H
k
.
X
jk
S(F
j
, F
k
) =
= X
jk
_
1
lc(F
j
)
X
jk
j
F
j
1
lc(F
k
)
X
jk
k
F
k
_
=
=
1
lc(F
j
)
X
jk
X
jk
j
F
j
1
lc(F
k
)
X
jk
X
jk
k
F
k
=
=
1
lc(F
j
)
X
j
F
j
1
lc(F
k
)
X
k
F
k
=
=
1
lc(F
j
)
X
j
F
j
1
lc(F
k
)
X
k
F
k
=
=
X
j
F
j
lc(F
j
)
k
F
k
lc(F
k
)
=
= H
j
H
k
.
Entonces tenemos
X
jk
S(F
j
, F
k
) = H
j
H
k
.
Ahora como
i
c
i
lc(F
i
) = 0, tenemos:
c
i
X
i
F
i
=
c
1
lc(F
1
)X
12
S(F
1
, F
2
)+
+(c
1
lc(F
1
) +c
2
lc(F
2
))X
23
S(F
2
, F
3
) +
+(c
1
lc(F
1
) + +c
t1
lc(F
t1
))
X
t1,t
S(F
t1
, F
t
).
Y tenemos la primera parte del enunciado. Para la segunda parte tenemos en cuenta que cada H
i
es
un polinomio mnico con exp(H
i
) = , entonces exp(H
i
H
j
) < y tenemos el resultado.
Teorema. 12.6. (Teorema de Buchberger)
Sea a un ideal no nulo del anillo K[X
1
, . . . , X
n
] y G un sistema nito de generadores de a. Son
equivalentes los siguientes enunciados:
(a) G es una base de Groebner de a.
(b) Para un orden jado de G y para cada i ,= j se tiene R(S(G
i
, G
j
); G) = 0.
DEMOSTRACIN. (a)(b). Es evidente.
(b)(a). Sea 0 ,= F a, entonces F =
Q
i
G
i
y tenemos
exp(F) max|exp(Q
i
G
i
) [ i = 1, . . . , t|.
Vamos a ver que podemos alcanzar la igualdad. Llamamos:
= max|exp(Q
i
G
i
) [ i = 1, . . . , t|,
i
= exp(Q
i
G
i
).
Si exp(F) < , descomponemos F en la siguiente forma:
F =
i
Q
i
G
i
=
=
i
=
Q
i
G
i
+
i
<
Q
i
G
i
=
=
i
=
lm(Q
i
)G
i
+
i
=
(Q
i
lm(Q
i
))G
i
+
i
<
Q
i
G
i
.
las dos ltimas sumas son despreciables", ya que su exponente es menor que . Vamos a cambiar
i
=
lm(Q
i
)G
i
mediante otra expresin. Usando el Lema (12.5.) tenemos:
i
=
lm(Q
i
)G
i
=
c
jk
X
jk
S(G
j
, G
k
),
con exp(X
jk
S(G
j
, G
k
)) < . Los restos de la divisin de S(G
j
, G
k
) por G
1
, . . . , G
t
son cero, entonces
resulta:
S(G
j
, G
k
) =
Q
jki
G
i
, con Q
jki
K[X
1
, . . . , X
n
],
y por el algoritmo de la divisin tenemos:
exp(Q
jki
G
i
) exp(S(G
j
, G
k
)).
Encontramos pues una expresin del siguiente tipo:
F =
i
Q
/
i
G
i
, con exp(Q
/
G
i
) < .
Repitiendo el proceso tantas veces como sea necesario, llegamos a una expresin
F =
i
Q
i
G
i
,
en donde exp(F) = max|exp(Q
i
G
i
) [ i = 1, . . . , t|, y como consecuencia exp(F) = exp(Q
i
G
i
) para
algn ndice i, esto es:
exp(F) = exp(Q
i
G
i
) = exp(Q
i
) +exp(G
i
) |exp(G
1
), . . . , exp(G
t
| +N
n
.
y G es una base de Groebner.
Vamos ahora a buscar un mecanismo que nos permita construir una base de Groebner de un ideal
a.
Teorema. 12.7. (Algoritmo de Buchberger)
1
, . . . , X
n
] con un sistema de generadores |F
1
, . . . , F
t
|. Es posible
construir una base de Groebner de a siguiendo los siguientes pasos:
(1) Se dene G
0
= |F
1
, . . . , F
t
|.
(2) Se dene G
n+1
= |R(S(F, G); G
n
) ,= 0 [ F, G G
n
|.
Entonces cuando G
i
= G
i+1
, tenemos que G
i
es una base de Groebner de a.
DEMOSTRACIN. Dado G
0
= |G
1
, . . . , G
t
|, si R(S(F, G); G
0
) = 0 para cada par F, G G
0
, entonces
tenemos una base de Groebner. Si no lo es, existen F, G G
0
tales que R(S(F, G); G
0
) ,= 0. Llamamos
G
t+1
= R(S(F, G); G). Tenemos que , (G
t+1
) . Entonces, si denimos:
G
(1)
= |G
1
, . . . , G
t
, G
t+1
|,
obtenemos una particin
1
, . . . ,
t
,
t+1
,
(1)
,
siendo
t+1

(1)
= . Si R(F; G
0
) = 0, para F K[X
1
, . . . , X
n
], entonces R(F; G
(1)
) = 0. Y en
el caso en que R(S(G
i
, G
j
), G
0
) = 0, tambin se tiene R(S(G
i
, G
j
), G
(1)
) = 0, por lo tanto el trabajo
hecho lo podemos aprovechar.
Si para todo F, G G
(1)
se verica R(S(F, G); G
(1)
) = 0, entonces tenemos una base de Groebner. En
el caso contrario tenemos un nuevo G
t+2
= R(S(F, G); G
(1)
) ,= 0, y denimos un nuevo sistema de
generadores G
(2)
= |G
1
, . . . , G
t+1
, G
t+2
|, teniendo que , (G
t+2
)
(1)
.
Si en algn momento encontramos una base de Groebner, ya hemos terminado, en caso contrario
tendramos una cadena ascendente de sistemas de generadores:
G
0
G
(1)

Asociada tenemos una cadena ascendente de monoideales:
exp(G
0
) +N
n
exp(G
(1)
) +N
n

Como consecuencia del Lema de Dickson esta cadena se estabiliza y por tanto existe un ndice n tal
que
exp(G
(n)
) +N
n
= exp(G
(n+1)
) +N
n
,
tenemos entonces
exp(G
t+n+1
) exp(G
(n)
) +N
n
= N
n
\
(n)
,
pero exp(G
t+n+1
)
(n)
En el proceso anterior obtenemos un sistema de generadores que es una base de Groebner, y que
tiene, posiblemente, demasiados elementos. Veamos como optimizar el proceso de obtencin de una
base de Groebner.
Lema. 12.8.
1
, . . . , X
n
] y G = |G
1
, . . . , G
t
| una base de Groebner de a. Sea F G
un polinomio que verica:
exp(F) |exp(G) [ F ,= G G| +N
n
,
entonces G\ |F| es una base de Groebner de a.
Una base de Groebner G de un ideal no nulo a de K[X
1
, . . . , X
n
] se llama minimal si verica:
(I) lc(F) = 1 para cada F G;
(II) exp(F) / |exp(G) [ F ,= G G| +N
n
para cada F G.
Simplemente eliminando los elementos que sobran tenemos la siguiente Proposicin.
Proposicin. 12.9.
Todo ideal no nulo a de K[X
1
, . . . , X
n
] tiene una base de Groebner minimal.
Corolario. 12.10.
Dado un subconjunto G = |G
1
, . . . , G
t
| a de un ideal de K[X
1
, . . . , X
n
] son equivalentes:
(a) G es una base de Groebner minimal.
(b) |exp(G
1
), . . . , exp(G
t
)| es un sistema mnimo de generadores de Exp(a).
Como consecuencia los trminos lderes de una base de Groebner minimal estn determinados de
forma nica y cada dos bases de Groebner minimales tienen el mismo nmero de elementos.
DEMOSTRACIN. La equivalencia (a) (b) es consecuencia directa de la denicin.
El resto es consecuencia del Lema (9.5.) que asegura que cada monoideal tiene un nico sistema de
generadores minimal.
Un ideal puede tener bases de Groebner minimales distintas. Para buscar la unicidad vamos a in-
troducir las bases de Groebner reducidas. Una base de Groebner G de un ideal no nulo a se llama
reducida si verica:
(I) lc(F) = 1 para cada F G;
(II) , (F) (|exp(G) [ F ,= G G| +N
n
) = para cada F G.
Es claro que toda base de Groebner reducida de un ideal no nulo a es una base de Groebner minimal.
Teorema. 12.11.
Cada ideal no nulo tiene una nica base de Groebner reducida.
DEMOSTRACIN. Si G es una base de Groebner minimal, un elemento F G se llama reducido si
, (F) (|exp(G) [ F ,= G G| +N
n
) = .
Si F G es reducido, entonces es reducido en cualquier base de Groebner minimal G
/
que lo
contenga y que verique:
|exp(G) [ G G| = |exp(G) [ G G
/
|.
Denimos para cada F G los siguientes elementos:
F
/
= R(F, G\ |F|);
G
/
= (G\ |F|) |F
/
|.
G
/
es tambin una base de Groebner de a. Si exp(F) ,= exp(F
/
), entonces de las relaciones:
F =
Q
G
G +R(F; G\ |F|) =
Q
G
G + F
/
exp(F) = max||exp(Q
G
G) [ G G\ |F|| |exp(F
/
)||,
y por ser todos los exponentes distintos, se tiene que existe G G\|F| tal que exp(F) = exp(Q
G
G),
lo que es una contradiccin con el hecho de ser G una base de Groebner minimal. Tenemos entonces
que G
/
es una base de Groebner y que F
/
es reducido. Aplicando este proceso a cada uno de los
elementos obtenemos una base de Groebner reducida.
Para ver la unicidad, si G y G
/
son dos bases de Groebner reducidas, se verica:
Exp(a) = exp(G) +N
n
= exp(G
/
) +N
n
.
Dado F G tenemos las relaciones siguientes:
exp(F) = exp(G
/
) +, G
/
G
/
, N
n
;
exp(G
/
) = exp(G) +
/
, G G,
/
N
n
;
de donde se deduce que exp(F) = exp(G)++
/
, y por ser G minimal tenemos = 0 =
/
. Entonces
exp(F) = exp(G
/
) y como consecuencia tenemos la igualdad:
exp(G) = exp(G
/
).
Dado ahora F G, existe G
/
G
/
tal que exp(F) = exp(G
/
). Entonces F G
/
tiene todos sus trminos
menores que exp(F). Como F G
/
a tenemos R(F G
/
; G) = 0. Como G y G
/
son reducidas y
exp(G) = exp(G
/
), tenemos
, (F G
/
) = N
n
\ Exp(a),
Para probar esta inclusin consideramos el siguiente desarrollo:
, (F G
/
) (exp(G) +N
n
) =
, (F G
/
) (|exp(L) +N
n
[ L G|) =
|, (F G
/
) (exp(L) +N
n
) [ L G| =
|, (F G
/
) (exp(L) +N
n
) [ F ,= L G| =
, (F G
/
) (|exp(L) [ F ,= L G| +N
n
)
(, (F) (|exp(L) [ F ,= L G| +N
n
))
, (G
/
) (|exp(L) [ G
/
,= L G
/
| +N
n
)) =
Entonces R(F G
/
; G) = F G
/
, de donde F = G
/
.
SEC. 13. APLICACIONES DE LAS BASES DE GROEBNER 59
13. Aplicaciones de las Bases de Groebner
Vamos a estudiar aplicaciones de la teora de bases de Groebner hasta ahora desarrollada. En primer
lugar estudiamos las aplicaciones clsicas de las bases de Groebner en orden a calcular con elemen-
tos en el anillo K[X
1
, . . . , X
n
]. La ltima parte la dedicamos al clculo de la dimensin en algunos
ejemplos de anillos cocientes de anillos de polinomios.
Problema de pertenencia
Problema. 13.1.
Sea a un ideal izquierda de K[X
1
, . . . , X
n
] con un sistema de generadores |F
1
, . . . , F
r
|; dado F
K[X
1
, . . . , X
n
], nos planteamos el problema de determinar si F a.
Esto se hace como sigue: se calcula una base de Groebner G = |G
1
, . . . , G
t
| de a; entonces tenemos
F a si, y slo si, R(F; G) = 0.
Es posible tambin obtener una expresin de F como combinacin lineal de los generadores origi-
nales F
1
, . . . , F
r
. Para ello nicamente hay que tener en cuenta que, por el algoritmo de la divisin,
tenemos una expresin de la forma:
F =Q
1
G
1
+ +Q
t
G
t
,
y como los G
i
se obtienen haciendo spolinomios a partir de los F
j
, tenemos que es posible dar la
expresin deseada.
Igualdad de ideales
Problema. 13.2.
Sean a
1
y a
2
ideales de K[X
1
, . . . , X
n
] con sistemas de generadores |F
1
1
, . . . , F
1
r
1
| y |F
2
1
, . . . , F
2
r
2
|, res-
pectivamente. El problema es determinar cuando a
1
= a
2
.
Conseguimos bases de Groebner reducidas G
1
y G
2
de a
1
y a
2
, respectivamente. Por la unicidad de
las bases de Groebner reducidas, tenemos a
1
= a
2
si, y slo si, G
1
= G
2
.
Representantes cannicos
Problema. 13.3.
Dado un ideal a de K[X
1
, . . . , X
n
] el problema es dar un criterio, y un mtodo, para determinar un
representante cannico en cada clase del cociente K[X
1
, . . . , X
n
]/a.
En primer lugar, dado a, construimos una base de Groebner G de a. Para cada F K[X
1
, . . . , X
n
]
consideramos el resto R(F; G) y es claro que se verica:
F +a = R(F; G) +a.
Adems, R(F, G) es nico vericando la igualdad anterior y , (R(F; G)) = N
n
\Exp(a), ver Pro-
posicin (12.3.). Este elemento R(F; G) lo llamamos la forma normal de la clase de F con respecto
a G.
El comportamiento de la forma normal es bueno respecto a combinaciones Klineales, ya que si a
1
,
a
2
C y F
1
, F
2
K[X
1
, . . . , X
n
], entonces se verica: R(a
1
F
1
+a
2
F
2
; G) = a
1
R(F
1
; G) +a
2
R(F
2
; G).
Es claro que por el algoritmo de la divisin tenemos:
F
i
=Q
i
1
G
1
+ +Q
i
t
G
t
+R(F
i
; G),
entonces se verica:
a
1
F
1
+a
2
F
2
=
a
1
Q
1
1
G
1
+ +a
1
Q
1
t
G
t
+a
1
R(F
1
; G) +a
2
Q
2
1
G
1
+ +a
2
Q
2
t
G
t
+a
2
R(F
2
; G) =
(a
1
Q
1
1
+a
2
Q
2
1
)G
1
+ +(a
1
Q
1
t
+a
2
Q
2
t
)G
t
+a
1
R(F
1
; G) +a
2
R(F
2
; G),
de donde tenemos el resultado, ya que
, (a
1
R(F
1
; G) +a
2
R(F
2
; G)) N
n
\ Exp(a),
y por tanto R(a
1
F
1
+ a
2
F
2
; G) = a
1
R(F
1
; G) + a
2
R(F
2
; G). Tenemos entonces, para cualesquiera F
1
,
F
2
K[X
1
, . . . , X
n
], las equivalencias entre los siguientes enunciados:
F
1
+a = F
2
+a.
F
1
F
2
a.
R(F
1
F
2
; G) = 0.
R(F
1
; G) = R(F
2
; G).
Como consecuencia, cada elemento de K[X
1
, . . . , X
n
]/a est unvocamente determinado, y determi-
na, un elemento R de K[X
1
, . . . , X
n
] con , (R) N
n
\ Exp(a). Para estos elementos las operaciones
en K[X
1
, . . . , X
n
]/a estn denidas exactamente por estos representantes por la regla:
a
1
(R
1
+a) +a
2
(R
2
+a) = (a
1
R
1
+a
2
R
2
) +a.
SEC. 13. APLICACIONES DE LAS BASES DE GROEBNER 61
Ideales conitos
Pasamos ahora a estudiar el caso de ideales conitos, esto es, ideales a de K[X
1
, . . . , X
n
] tales que el
cociente K[X
1
, . . . , X
n
]/a es de dimensin nita como Kespacio vectorial.
Kbase del cociente
Problema. 13.4.
Se trata de dar un mtodo que permita calcular una base del cociente K[X
1
, . . . , X
n
]/a.
Para cada clase F + a de K[X
1
, . . . , X
n
]/a, considerando una base de Groebner de a, tenemos un
representante R de la clase F +a tal que , (R) N
n
\Exp(a). De aqu resulta que R se puede escribir
en la forma
R =
,
con / |exp(G): G G| + N
n
= Exp(a) y c
K. Tenemos entonces que |X
[ N
n
\
Exp(a)| es un sistema de generadores linealmente independiente de K[X
1
, . . . , X
n
]/a; esto resuelve
el problema.
Como subproducto podemos determinar cundo un ideal a la izquierda es conito; lo es si, y slo si,
el cardinal del conjunto N
n
\Exp(a) es nito. Este resultado lo mejoraremos ms adelante al estudiar
la dimensin de los cocientes K[X
1
, . . . , X
n
]/a.
Operaciones en el cociente
Problema. 13.5.
Dar un criterio que permita calcular las operaciones en el cociente K[X
1
, . . . , X
n
]/a cuando a es un
ideal (conito) de K[X
1
, . . . , X
n
].
Supuesto que a es un ideal conito, las clases del cociente S = K[X
1
, . . . , X
n
]/a tienen una Kbase
nita, y como S es un anillo, tenemos un producto interno en S. Pero S es una Klgebra nito
dimensional, luego este producto se puede describir completamente en trminos de los productos
de los elementos de una Kbase. El clculo se realiza considerando una base de Groebner G y
calculando los restos de la divisin por G.
Caracterizacin de ideales conitos
Ya conocemos que un ideal a la izquierda a de K[X
1
, . . . , X
n
] es conito si, y slo si, N
n
\ Exp(a) es
nito. Vamos a buscar una caracterizacin ms sencilla.
Proposicin. 13.6.
Sea a un ideal a la izquierda de K[X
1
, . . . , X
n
] con base de Groebner reducida G. Son equivalentes
(a) a es conito.
(b) Para cada indeterminada X
i
existen G
j
G y
i
N tales que lm(G
j
) = X
i
i
.
DEMOSTRACIN. (a)(b). Como a es conito, dado X
i
existe
i
N tal que X
i
i
es el trmino lder
de un polinomio en a, entonces (0, . . . ,
i
, . . . , 0) Exp(a) = exp(G) +N
n
. Llamemos
j
= exp(G
j
)
para cada G
j
G. Existen j |1, . . . , t| y N
n
tales que
(0, . . . ,
i
, . . . , 0) =
j
+,
entonces
j
h
= 0 =
h
si h ,= i. Luego exp(G
j
) = (0, . . . ,
i
, . . . , 0) para algn
i
N, esto es,
lm(G
j
) = X
m
i
para algn m N.
(b)(a). Consideramos N
n
\ Exp(a). Por hiptesis, para cada X
i
existe G
j
tal que lt(G
j
) = X
i
i
.
Si
i

i
, entonces tenemos una expresin del siguiente tipo:
= (0, . . . ,
i
, . . . , 0) +(
1
, . . . ,
i
i
, . . . ,
n
) exp(G
j
) +N
n
Exp(a),
lo que es una contradiccin, y por tanto necesariamente
i
<
i
, para cada ndice i. En consecuencia
existe un nmero nito de elementos N
n
\ Exp(a) y por tanto a es conito.
SEC. 14. APLICACIONES DE LAS BASES DE GROEBNER, II 63
14. Aplicaciones de las Bases de Groebner, II
Eliminacin de variables
Dado un sistema de ecuaciones polinmicas: F
i
= 0
_
i=1,...,s
, siendo cada F
i
K[X
1
, . . . , X
n
], una
solucin al sistema es un elemento (a
1
, . . . , a
n
) K
n
tal que F
i
(a
1
, . . . , a
n
) = 0 para cada ndice i.
Observar que si llamamos a al ideal generado por |F
1
, . . . , F
s
|, entonces para cada sistema de gene-
radores |G
1
, . . . , G
t
| de a un elemento (a
1
, . . . , a
n
) es una solucin del sistema F
i
= 0
_
i=1,...,s
si y slo
si es una solucin del sistema G
j
= 0
_
j=1,...,t
.
Esto signica que los sistemas que tenemos que resolver son aquellos para los que |F
1
, . . . , F
s
| es
una base de Groebner, si es necesario reducida, de un cierto ideal.
En el caso en que los F
i
son polinomios lineales el sistema F
i
= 0
_
i=1,...,s
se resuelve por el mtodo
de GaussJordan. En ese caso se van eliminando variables: X
1
, X
2
, etc., hasta llegar a ecuaciones en
las que cada variable libre"se expresa en funcin de unas variables dependientes".
Ejemplo. 14.1.
Consideramos el sistema de ecuaciones lineales
X
1
+X
2
X
3
+2X
4
1 = 0
2X
1
+X
2
+X
3
X
4
+2 = 0
X
1
X
2
+5X
3
8X
4
+7 = 0
_
_
_
Su solucin es la solucin del sistema:
X
1
+2X
3
3X
4
+3 = 0
X
2
3X
3
+5X
4
4 = 0
_
Observa que si consideramos el orden lexicogrco con X
1
> X
2
> X
3
> X
4
, y llamamos a al ideal
(X
1
+X
2
X
3
+2X
4
1, 2X
1
+X
2
+X
3
X
4
+2, X
1
X
2
+5X
3
8X
4
+7), una base de Groebner es:
|X
1
+2X
3
3X
4
+3, X
2
3X
3
+5X
4
4|. Adems una base de Groebner de a
1
:= a K[X
2
, X
3
, X
4
]
es G
1
= |X
2
3X
3
+5X
4
4|.
Este proceso podemos repetirlo si consideramos un sistema de ecuaciones polinmicas no lineales
F
i
= 0
_
i=1,...,s
. Si |F
i
[ i = 1, . . . , s| es una base de Groebner del ideal correspondiente, al que
llamaremos a, denimos el isimo ideal de eliminacin, con respecto al orden lexicogrco con
X
1
> > X
n
, como a
i
:= a K[X
i+1
, . . . , X
n
].
Teorema. 14.2.
Sea G = |G
1
, . . . , G
t
| una base de Groebner de un ideal no nulo a K[X
1
, . . . , X
n
] con respecto al
orden lexicogrco con X
1
> > X
n
. Entonces G K[X
i+1
, . . . , X
n
] es una base de Groebner del
isimo ideal de eliminacin a
i
= a K[X
i+1
, . . . , X
n
].
DEMOSTRACIN. Supongamos que G
i
= |G
k
, . . . , G
t
|. Dado F a
i
se tiene exp(F)
j
para algn
j = k, . . . , t, ya que F no tiene monomios en los que aparezcan X
1
, . . . , X
i
. Por lo tanto exp(F)
|exp(G
k
), . . . , exp(G
t
)| +N
n
, y se tiene Exp(a
i
) = |exp(G
k
), . . . , exp(G
t
)| +N
n
.
La aplicacin de este resultado es como sigue: Dado un sistema de ecuaciones F
j
= 0
_
j=1,...,s
en el
que G := |F
j
[ j = 1, . . . , s| es una base de Groebner, ordenamos los elementos de G de forma que
G
i
= |F
k
i
, F
k
i
+1
, . . . , F
s
| con 1 k
i
k
i+i
s, para cada ndice i = 0, 1, . . . , n 1. Entonces comen-
zamos resolviendo el sistema F
j
= 0
_
j=k
n1
,...,s
. A continuacin, con los valores obtenidos resolvemos
el sistema F
j
= 0
_
j=k
n2
,...,s
, y as proseguimos hasta resolver el sistema inicial F
j
= 0
_
j=1,...,t
.
Ejercicio. 14.3.
Resuelve en C el sistema
X
3
2XY +Y
3
=0
X
5
2X
2
Y
2
+Y
5
=0
_
Calculamos una base de Groebner para el ideal a = (X
3
2XY +Y
3
, X
5
2X
2
Y
2
+Y
5
), con respecto
al orden lexicogrco con X > Y. ste es:
|X
3
2XY +Y
3
, 200XY
2
+193Y
9
+158Y
8
45Y
7
456Y
6
+50Y
5
100Y
4
,
Y
10
Y
8
+2Y
7
+2Y
6
|.
Al resolver Y
10
Y
8
+2Y
7
+2Y
6
= Y
6
(Y 1)
2
(Y
2
+2Y +2) = 0 tenemos las races
y
1
= 0, y
2
= 1, y
3
= 1 +i, y
4
= 1 i.
Para cada uno de estos valores: y
1
, y
2
e y
3
, tenemos que resolver las ecuaciones
X
3
2XY +Y
3
= 0
200XY
2
+193Y
9
+158Y
8
45Y
7
456Y
6
+50Y
5
100Y
4
= 0
_
y
1
= 0. El sistema es:
X
3
= 0
0 = 0
_
La nica solucin es: (0, 0).
y
2
= 1. El sistema es:
X
3
2X +1 = 0
200X 200 = 0
_
La nica solucin es: (1, 1).
y
3
= 1 ii. El sistema es:
X
3
2(1 ii)X +(1 i) = 0
400i(X +1 i) = 0
_
La nica solucin es: (1 i, 1 ii).
Por lo tanto el sistema tiene cuatro soluciones: (0, 0), (1, 1), (1 i, 1 +i) y (1 +i, 1 i).
Interseccin de ideales
Dados dos ideales a y b del anillo K[X
1
, . . . , X
n
], se trata de determinar la interseccin a b.
Vamos a hacer uso de la tcnica de eliminacin de variables, para esto introducimos una nueva
variable T, y consideramos la extensin de anillos
: K[X
1
, . . . , X
n
] K[T, X
1
, . . . , X
n
].
El ideal a se extiende al ideal a
e
en K[T, X
1
, . . . , X
n
] generado por los mismos elementos, esto es, si
a = F
1
, . . . , F
s
, entonces a
e
= K[T, X
1
, . . . , X
n
]a = F
1
, . . . , F
s
en K[T, X
1
, . . . , X
n
]. De forma anloga
tenemos para b = G
1
, . . . , G
t
.
Teorema. 14.4.
Sean a = F
1
, . . . , F
s
y b = G
1
, . . . , G
t
, ideales de K[X
1
, . . . , X
n
]. Se considera una nueva variable T,
la extensin : K[X
1
, . . . , X
n
] K[T, X
1
, . . . , X
n
] y el ideal c := Ta
e
+(1T)b
e
K[T, X
1
, . . . , X
n
].
Se verica
a b = c K[X
1
, . . . , X
n
],
esto es, a b es el primer ideal eliminacin de c con respecto al orden lexicogrco con T > X
1
>
> X
n
.
DEMOSTRACIN. Dado F a b se tiene F = T F +(1 T)F, luego a b c K[X
1
, . . . , X
n
]. Sea
ahora F c K[X
1
, . . . , X
n
], existen U
i
, V
j
K[T, X
1
, . . . , X
n
] tales que
F = T
s
i=1
U
i
F
i
+(1 T)
t
j=1
V
j
G
j
.
Al evaluar esta expresin en T = 1 se obtiene
F =
s
i=1
U
i
(1, X
1
, . . . , X
n
)F
i
(X
1
, . . . , X
n
) a,
y al evaluar en T = 0 se tiene
F =
t
j=1
V
j
(0, X
1
, . . . , X
n
)G
j
(X
1
, . . . , X
n
) b.
Luego F a b.
Ejercicio. 14.5.
Determina la interseccin de los ideales a = (X, Y) y b = (X 1, Y 1) en K[X, Y].
SOLUCIN. Introducimos una nueva variable T. Un sistema de generadores para Ta +(1 T)b es
|TX, TY, (1 T)(X 1), (1 T)(Y 1)|. Una pequea manipulacin nos conduce al sistema de
generadores: |TX, TY, T +X 1, X Y|. A partir de aqu una base de Groebner es: |TX, TY, T +
X 1, X Y, Y
2
Y|, y una base de Groebner reducida es: |TX, TY, T +Y 1, X Y, Y
2
Y|.
El primer ideal de eliminacin tiene como base de Groebner |X Y, Y
2
Y|. Por lo tanto a b =
(X Y, Y
2
Y).
Cociente de ideales
Una aplicacin de la interseccin de ideales es el cociente de dos ideales. Dados a, b K[X
1
, . . . , X
n
],
recordar que el cociente de a y b se dene como
(a : b) = |F K[X
1
, . . . , X
n
] [ Fb a|.
Observa que (a : b) = |(a : G) [ G b|, y si |G
j
[ j = 1, . . . , t| es un sistema de generadores de b,
entonces
(a : b) = |(a : G
j
) [ j = 1, . . . , t|.
Para realizar el clculo efectivo del cociente de dos ideales, basta pues determinar (a : G).
Proposicin. 14.6.
Dados a un ideal de K[X
1
, . . . , X
n
] y G K[X
1
, . . . , X
n
] se verica:
G(a : G) = a (G).
Como consecuencia, se tiene: (a : G) =
1
G
(a (G)).
DEMOSTRACIN. Sea F G(a : G), entonces F = GH para algn H (a : G), entonces F = GH
a G. Por otro lado, si F a (G), entonces F = GH para algn H K[X
1
, . . . , X
n
], y como F a,
entonces GH a y por tanto H (a : G), esto es, F G(a : G).
Como el clculo de la interseccin de dos ideales de K[X
1
, . . . , X
n
] es posible realizarlo mediante
mtodos computacionales, resulta que tambin es posible realizar el cociente de dos ideales.
Ejercicio. 14.7.
Dados a = (X
2
+XY Y
2
+1, XY
2
+X 1) y G = X Y, determina (a : G).
SOLUCIN. Consideramos a(G). Una base de Groebner es: |XY
6
+XY
4
XY
3
XY
2
XY 2X
Y
7
Y
5
+Y
4
+Y
3
+Y
2
+2Y, X
2
XY
4
+X +Y
5
Y
2
Y|; sin embargo tenemos que calcular
1
G
(a(G)).
Al dividir por G tenemos que una base de (a : G) es: |Y
6
+Y
4
Y
3
Y
2
Y 2, X Y
4
+Y +1|.
Clculo del mximo comn divisor de dos polinomios
Dados F, G K[X
1
, . . . , X
n
], como K[X
1
, . . . , X
n
] es un DFU, existen el m.c.d., D y el m.c.m., M,
de F y G, y verican FG = DM. Por tanto D =
FG
M
. Por la denicin de m.c.m. se tiene (M) =
(F) (G). Tenemos por tanto un mtodo para determinar el m.c.d. de F y G; slo tenemos que
calcular (F)(G) = (T F, (1T)G)K[X
1
, . . . , X
n
]; M ser el nico elemento de la base de Groebner
de (F) (G). Para calcular D realizamos la divisin
FG
M
.
Captulo III
Conjuntos algebraicos anes
15 Funciones polinmicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
16 Conjuntos algebraicos anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
17 Ideales asociados a conjuntos de puntos . . . . . . . . . . . . . . . . . . . . . . . . . . 73
18 Anillos coordenados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Introduccin
El objetivo de este captulo es estudiar objetos geomtricos denidos como conjuntos de ceros de
sistemas de ecuaciones polinmicas (los conjuntos algebraicos anes). Establecemos una corres-
pondencia de Galois entre conjuntos algebraicos en el espacio afn A
n
(K) e ideales del anillo de
polinomios K[X
1
, . . . , X
n
]. A continuacin a cada conjunto algebraico afn V le asociamos su anillo
de coordenadas, K[V] = K[X
1
, . . . , X
n
]/!(V), siendo !(V) el ideal de todos los polinomios que
se anulan en todos los puntos de V, y estudiamos propiedades (geomtricas) de V en funcin de
propiedades (algebraicas) de K[V], y viceversa.
Se introducen las aplicaciones polinmicas entre dos conjuntos algebraicos V y W y se relaciones
con los homomorsmos de lgebras de K[W] a K[V]. Finalmente, haciendo uso de la teora de
bases de Groebner se clasican los homomorsmos de lgebras entre dos anillos coordenados.
70 CAP. III. CONJUNTOS ALGEBRAICOS AFINES
15. Funciones polinmicas
Sea K un cuerpo, para cada n N\ |0| consideramos K
n
, el producto cartesiano de n copias de K.
En K
n
podemos considerar una estructura de espacio afn, a la que vamos a representar por A
n
(K),
o simplemente por A
n
o A.
En un espacio afn A
n
tenemos puntos, los elementos de A
n
, hiperplanos, los conjuntos de ceros
de las formas lineales, y las variedades lineales anes, la intersecciones de hiperplanos, o los
conjuntos de ceros de conjuntos de formas lineales.
La estructura de espacio afn se puede enriquecer an ms, y en nuestro caso vamos a ver como los
polinomios proporcionan una estructura geomtrica adicional a cada espacio afn.
Dado el espacio A
n
(K) y un polinomio F K[X
1
, . . . , X
n
], denimos una funcin polinmica F
:
A
n
(K) K mediante F
(x
1
, . . . , x
n
) = F(x
1
, . . . , x
n
) para cada (x
1
, . . . , x
n
) A
n
(K).
Observar que dos polinomios distintos pueden denir la misma funcin polinmica. Este es el caso
de X(X 1) y 0 Y
2
[X], que denen la funcin constante igual a 0 en A
1
(Y
2
).
Llamamos (A
n
(K)) al conjunto de las funciones polinmicas. En (A
n
(K)) podemos denir una
estructura de Klgebra mediante las operaciones:
( f + g)(x
1
, . . . , x
n
) = f (x
1
, . . . , x
n
) + g(x
1
, . . . , x
n
),
( f g)(x
1
, . . . , x
n
) = f (x
1
, . . . , x
n
) g(x
1
, . . . , x
n
),
(k f )(x
1
, . . . , x
n
) = k f (x
1
, . . . , x
n
),
_
_
_
f , g (A
n
(K)),
k K,
(x
1
, . . . , x
n
) A
n
(K).
Tenemos entonces una aplicacin de Klgebras ()
: K[X
1
, . . . , X
n
] (A
n
(K)), F F
.
Proposicin. 15.1.
La aplicacin ()
es un homomorsmo sobreyectivo de Klgebras y es un isomorsmo si, y solo

si, K es un cuerpo innito.
Llamamos a (A
n
(K)) el anillo de coordenadas de A
n
(K), y lo representaremos por K[A
n
].
SEC. 16. CONJUNTOS ALGEBRAICOS AFINES 71
16. Conjuntos algebraicos anes
La estructura adicional de A
n
(K) al considerar las funciones polinmicas nos permite considerar los
conjuntos de ceros de estas funciones. Debido a la existencia de la aplicacin sobreyectiva ()
:
K[X
1
, . . . , X
n
] K[A
n
], al estudiar el conjunto de ceros de una funcin polinmica F
podemos
identicar este conjunto con el conjunto de races, en K
n
, del polinomio F, identicando a este n
los conjuntos A
n
(K) y K
n
.
Cada polinomio F K[X
1
, . . . , X
n
] determina un subconjunto
1 (F) = |(x
1
, . . . , x
n
) A
n
(K) [ F(x
1
, . . . , x
n
) = 0|,
el conjunto de ceros o conjunto de races de F
F. Para cada conjunto K[X

1
, . . . , X
n
]
podemos considerar
1 () = |1 (F) A
n
(K) [ F |,
el conjunto de ceros comunes a todos los elementos de .
Un subconjunto V A
n
(K) se llama un conjunto algebraico afn si existe un conjunto de polino-
mios K[X
1
, . . . , X
n
] tal que V = 1 ().
Lema. 16.1.
Si
1

2
K[X
1
, . . . , X
n
] son conjuntos de polinomios, entonces 1 (
1
) 1 (
2
).
Lema. 16.2.
Sean K[X
1
, . . . , X
n
] un conjunto de polinomios y a el ideal generado por . Se verica:
(1) 1 () = 1 (a).
(2) Existen polinomios F
1
, . . . , F
s
tales que 1 () = 1 (F
1
, . . . , F
s
).
Proposicin. 16.3.
(1) Si V
1
y V
2
son conjuntos algebraicos anes de A
n
(K), entonces V
1
V
2
es un conjunto algebraico
afn.
(2) Si |V
i
[ i I | es una familia de conjuntos algebraicos anes de A
n
(K), entonces
i
V
i
es un
conjunto algebraico afn.
Como consecuencia los conjuntos algebraicos anes verican los axiomas de los cerrados para una
topologa en A
n
. Esta topologa se llama la topologa de Zariski de A
n
(K). Los conjuntos algebraicos
anes verican las siguientes propiedades:
(I) y A
n
son conjuntos algebraicos.
(II) La unin nita de conjuntos algebraicos anes es un conjunto algebraico afn.
(III) La interseccin de conjuntos algebraicos anes es un conjunto algebraico afn.
Ejemplos. 16.4.
(1) Puntos. Observar que 1 (X
1
a
1
, . . . , X
n
a
n
) = |(a
1
, . . . , a
n
)|, y por lo tanto tenemos que cada
conjunto nito es un cerrado, esto es, un conjunto algebraico afn.
(2) Conjuntos lineales. Son los conjuntos de ceros de los sistemas de ecuaciones lineales.
(3) Hipersupercies. Son los conjuntos de ceros de polinomios F K[X
1
, . . . , X
n
] no constantes.
Es claro que todo conjunto algebraico afn es una interseccin de un nmero nito de hipersu-
percies.
(4) Hiperplanos. Son los conjuntos de ceros de polinomios de grado uno. Cada conjunto lineal es
una interseccin nita de hiperplanos.
Las propiedades de los conjuntos algebraicos anes pueden expresarse tambin en trminos de
ideales como sigue:
Lema. 16.5. (Propiedades de los conjuntos algebraicos anes.)
(1) Para cada familia de ideales |a
i
[ i I | en K[X
1
, . . . , X
n
] se tiene 1 (
i
a
i
) =
i
1 (a
i
);
(2) Si a b, entonces 1 (a) 1 (b);
(3) 1 (FG) = 1 (F) 1 (G), para F, G K[X
1
, . . . , X
n
],
1 (ab) = 1 (a) 1 (b) = 1 (a b), para a, b K[X
1
, . . . , X
n
];
(4) 1 (0) = A
n
,
1 (1) = .
SEC. 17. IDEALES ASOCIADOS A CONJUNTOS DE PUNTOS 73
17. Ideales asociados a conjuntos de puntos
Dado un conjunto de puntos , A
n
, llamamos ideal de , al conjunto
!(, ) = |F K[X
1
, . . . , X
n
] [ F(s) = 0, para cada s , |.
Veamos ahora algunas de las propiedades de los operadores ! y 1 .
Lema. 17.1.
(1) Si ,
1
,
2
, entonces !(,
1
) !(,
2
).
(2) !() = K[X
1
, . . . , X
n
],
!(A
n
) = 0, si K es un cuerpo innito.
(3) !1 () para cada conjunto de polinomios K[X
1
, . . . , X
n
],
, 1 !(, ) para cada conjunto de puntos , A
n
.
(4) 1 () = 1 !1 () para cada conjunto de polinomios K[X
1
, . . . , X
n
],
!(, ) = !1 !(, ) para cada conjunto de puntos , A
n
.
(5) !(, ) es un ideal radical para cada conjunto de puntos , A
n
.
DEMOSTRACIN. (5). Se tiene F !(, ) si y solo si, para cada x , ocurre que F(x) = 0. Dado
G K[X
1
, . . . , X
n
] tal que existe m N vericando G
m
!(, ), entonces 0 = G
m
(x) = G(x)
m
, y
por tanto G(x) = 0, esto es, G !(, ), que por tanto es un ideal radical.
La demostracin del siguiente hecho requiere de un estudio ms avanzado de los conjuntos alge-
braicos anes, y en concreto del Teorema de los ceros de Hilbert, ver Teorema (??), por lo que lo
citamos solamente a modo de ejemplo.
Corolario. 17.2.
Dado un ideal a K[X
1
, . . . , X
n
], resulta que !1 (a) = rad(a).
Como consecuencia, si V es un conjunto algebraico, entonces V = 1 !(V), y si a es el ideal de
un conjunto de puntos a = !1 (a). Ms adelante veremos cual es el marco ms adecuado en el
que establecer una biyeccin entre conjuntos algebraicos anes de A
n
(K) y ciertos ideales del anillo
K[X
1
, . . . , X
n
].
Ejercicio. 17.3.
(1) Si V
1
, V
2
son conjuntos algebraicos anes, entonces:
V
1
V
2
!(V
1
) !(V
2
);
V
1
V
2
!(V
1
) !(V
2
);
(2) Si V
1
y V
2
son conjuntos algebraicos anes, entonces:
!(V
1
V
2
) = !(V
1
) !(V
2
);
V
1
V
2
= 1 (!(V
1
)!(V
2
)) = 1 (!(V
1
) !(V
2
)).
(3) Si |V
[ A| es una familia de conjuntos algebraicos anes, entonces
= 1 (
!(V
)).
Vamos a calcular algunos ejemplos.
Ejemplo. 17.4.
Si K es un cuerpo de caracterstica cero y , = |(x
1
, . . . , x
n
)| es un conjunto de K
n
que se reduce a
un punto, entonces !(x
1
, . . . , x
n
) = (X
1
x
1
, . . . , X
n
x
n
), que es un ideal maximal de K[X
1
, . . . , X
n
].
Ejemplo. 17.5.
Si K es un cuerpo de caracterstica cero y , es el conjunto de los ceros de X
3
Y
2
, vamos a
determinar !(, ) = !1 (X
3
Y
2
).
En este caso podemos dar una parametrizacin de este conjunto algebraico. Dado un cero (x, y) ,=
(0, 0), resulta x
3
= y
2
, y por lo tanto se tiene x =
_
y
x
_
2
e y =
_
y
x
_
3
. Si llamamos t =
y
x
, entonces se
tiene x = t
2
, y = t
3
. Como consecuencia el conjunto de ceros es: |(t
2
, t
3
) [ t K|.
Para determinar el ideal a = !(1 (X
3
Y
2
)), basta ver que si F a, al dividir por X
3
Y
2
,
consideramos el orden lexicogrco con Y > X, entonces F = (X
3
Y
2
)Q + R, con R = 0
, (R) = N
2
\ ((0, 2) + N
2
). Para cada t K se tiene F(t
2
, t
3
) = 0, luego R(t
2
, t
3
) = 0, y el
polinomio R(T
2
, T
3
) K[T] tiene como races a todos los elementos de K. Como K es innito,
entonces R(T
2
, T
3
) es el polinomio cero; observar que R(X, Y) = R
0
(X) + YR
1
(X), y que por tanto
se tiene 0 = R
0
(T
2
) + T
3
R
1
(T
2
). De aqu se deduce que R
0
= 0 y R
1
= 0 y por tanto R = 0, esto es,
F = (X
3
Y
2
)Q (X
3
Y
2
) y !1 (X
3
Y
2
) = (X
3
Y
2
).
Si K no es de caracterstica cero, este resultado puede no ser cierto. Observar el caso en que K = Y
2
,
entonces 1 (X
3
Y
2
) = |(0, 0), (1, 1)|, y se tiene !1 (X
3
Y
2
) = (X, Y) (X 1, Y 1) = (X +
Y, Y
2
+Y).
SEC. 18. ANILLOS COORDENADOS 75
18. Anillos coordenados
Recordemos que dado un conjunto algebraico afn V A
n
(K), el anillo K[V] := K[X
1
, . . . , X
n
]/!(V)
se llama el anillo coordenado de V.
Dadas dos funciones polinmicas F
, G
sobre A
n
(K), podemos considerar sus restricciones a V
A
n
(K). Observar que si F
[V
= G
[V
, entonces para cada v V se tiene F(v) = G(v), esto es, F G
!(V). Y recprocamente. Tenemos pues una biyeccin entre K[V] y las clases de equivalencia, para
la relacin F
si F
[V
= G
[V
, de las funciones polinmicas, por lo que podemos identicar los
elementos de K[V] con funciones polinmicas sobre V.
Ejemplo. 18.1.
Si consideramos 1 (X
3
Y
2
), como en el ejemplo (17.5.). En el caso en que K es un cuerpo de
caracterstica cero se tiene !(1 (X
3
Y
2
)) =(X
3
Y
2
), y por tanto K[1 (X
3
Y
2
)] = K[X, Y]/(X
3
Y
2
). Sin embargo si K = Y
2
, entonces Y
2
[1 (X
3
Y
2
)] = Y
2
[X, Y]/(X +Y, Y
2
+Y)
= Y
2
[Y]/(Y
2
+
Y)
= Y
2
Y
2
.
Dados dos conjuntos algebraicos anes V A
n
(K) y W A
m
(K). Vamos a llamar aplicacin
polinmica, morsmo de conjuntos anes o aplicacin regular de V a W a una aplicacin
f : V W denida por polinomios, esto es, para cada ndice j = 1, . . . , m existe un polinomio
F
j
K[X
1
, . . . , X
n
] tal que
f (x
1
, . . . , x
n
) = (F
1
(x
1
, . . . , x
n
), . . . , F
m
(x
1
, . . . , x
n
)) para cada (x
1
, . . . , x
n
) V.
Observar que los polinomios F
j
no estn determinados de forma nica. Por ejemplo si V = 1 (X
2
+
Y
2
1) A
2
(E), los polinomios F = X y G = X +X
2
+Y
2
1 denen la misma aplicacin polinmica
de V a A
1
(E).
Una aplicacin polinmica f : V W se dice que es un isomorsmo de conjuntos algebraicos
anes si existe otra aplicacin polinmica g : W V tal que f g = id
W
y g f = id
V
.
Proposicin. 18.2.
Sean V A
n
(K) y W A
m
(K) conjuntos algebraicos anes. Se verica:
(1) Toda aplicacin polinmica f : V W dene un homomorsmo de Klgebras
f : K[W] K[V],

f (F) = F f .
(2) Para cada homomorsmo de Klgebras h : K[W] K[V] existe una nica aplicacin poli-
nmica f : V W tal que h =

f .
(3) Si f
1
: V
1
V
2
y f
2
: V
2
V
3
son aplicaciones polinmicas, entonces
f
2
f
1
=

f
1

f
2
.
(4) Una aplicacin polinmica f : V W es un isomorsmo si, y solo si,

f es un isomorsmo de
Klgebras.
DEMOSTRACIN. (2). Dado h : K[W] K[V], para cada ndice j = 1, . . . , m denimos F
j
= h(Y
j
).
Y juntndolos todos denimos una aplicacin polinmica h
/
: V A
m
(K) mediante:
h
/
(x
1
, . . . , x
n
) = (F
1
(x
1
, . . . , x
n
), . . . , F
m
(x
1
, . . . , x
n
)), para cada (x
1
, . . . , x
n
) V.
Ahora comprobamos que h
/
(V) W, para esto consideramos el diagrama
!(W)
//
h
//
K[Y
1
, . . . , Y
m
]
//
h
/
K[W]
h
!(V)
//
K[X
1
, . . . , X
n
]
//
K[V]
donde h
/
: K[Y
1
, . . . , Y
m
] K[X
1
, . . . , X
n
] est denido h
/
(Y
j
) = F
j
, para cada ndice j. Es claro que
h
/
(!(W)) !(V), lo que permite denir h
//
.
Observar que si G !(W), y (x
1
, . . . , x
n
) V, entonces
0 = h
//
(G)(x
1
, . . . , x
n
) = G(F
1
, . . . , F
m
)(x
1
, . . . , x
n
) = G(F
1
(x
1
, . . . , x
n
), . . . , F
m
(x
1
, . . . , x
n
))),
y para cada (x
1
, . . . , x
n
) V se tiene (F
1
(x
1
, . . . , x
n
), . . . , F
m
(x
1
, . . . , x
n
)) W. Por tanto h
/
dene una
aplicacin polinmica de V a W.
Podemos observar que si se eligen otros elementos F
/
j
tales que F
j
= F
/
j
para cada ndice j = 1, . . . , m,
entonces F
j
= F
/
j
, como funciones polinmicas, por lo tanto podemos tomar tanto una como la otra
en la denicin de la aplicacin polinmica h
/
: V W.
Finalmente observar que

h
/
= h, ya que para cada G K[W] se tiene:
h
/
(G) = G h
/
= G(F
1
, . . . , F
m
) = h(G).
Como consecuencia de la proposicin, existe una biyeccin:

Hom
Apl.Pol.
(V, W)
=
Hom
KAl g.
(K[W], K[V]).
Corolario. 18.3.
Sea f : V W una aplicacin entre conjuntos algebraicos anes. Son equivalentes:
(a) f es una aplicacin polinmica.
(b) Para cada g K[W] la composicin g f pertenece a K[V].
En particular, para cada aplicacin polinmica f : V W se tiene f (v) = w si, y solo si,
f
1
(!(|v|)) = !(|w|).
DEMOSTRACIN. (a) (b). Tenemos

f (g) = g f K[V] para cada g K[W].
(b) (a). Para cada ndice j = 1, . . . , m tomamos X
j
K[W], por hiptesis X
j
f K[V], luego
existe un polinomio F
j
K[X
1
, . . . , X
n
] tal que F
j
= X
j
f . Es claro que f (v) = (F
1
(v), . . . , F
m
(v))
para cada v V.
La segunda parte es clara.
Ejemplo. 18.4.
Vamos a ver que existe una aplicacin polinmica biyectiva entre 1 (X
3
Y
2
) E
2
y la recta afn
real que no es un isomorsmo.
Tenemos una parametrizacin de 1 (X
3
Y
2
) dada por x = t
2
, y = t
3
, donde t vara en E. Denimos
entonces
f : A
1
(E) 1 (X
3
Y
2
),
mediante: f (t) = (t
2
, t
3
), t E. Es claro que f es una aplicacin de conjuntos algebraicos y es
biyectiva, pero vamos a ver que no es un isomorsmo. Al considerar el homomorsmo inducido
f : K[1 (X
3
Y
2
)] K[A
1
(E)],
se tiene
f :
E[X, Y]
(X
3
Y
2
)
E[T],

f (X) = T
2
,

f (Y) = T
3
.
Por lo tanto la imagen es el subanillo generado por T
2
y T
3
, esto es, E+ T
2
E[T] ,= E[T], y como
no es un isomorsmo, tenemos que f no es un isomorsmo de conjuntos algebraicos.
Ms adelante veremos que en realidad no puede existir ningn isomorsmo entre 1 (X
3
Y
2
) y la
recta afn real.
Homomorsmos de lgebras anes
En lo que sigue vamos a estudiar los homomorsmos h : K[W] K[V] determinando su ncleo y
su imagen. Supongamos que
h :
K[Y
1
, . . . , Y
m
]
!(W)

K[X
1
, . . . , X
n
]
!(V)
.
Para cada eleccin de F
1
, . . . , F
m
K[X
1
, . . . , X
n
] tenemos un homomorsmo
g : K[Y
1
, . . . , Y
m
] K[X
1
, . . . , X
n
], g(Y
j
) = F
j
, j = 1, . . . , m.
Adems g induce un homomorsmo de K[W] a K[V] si g(!(W)) !(V), esto es, si para cada
G !(W) se tiene G(F
1
, . . . , F
m
) !(V).
Entonces el homomorsmo h estar determinado por las imgenes de Y
j
, j = 1, . . . , m. Sean F
j

K[X
1
, . . . , X
n
] tales que F
j
= h(Y
j
). Los F
j
estn determinados mdulo !(V), pero para cualquier
eleccin de estos se tiene el mismo valor, h(G) = G(F
1
, . . . , F
m
).
Proposicin. 18.5.
Sean A = K[Y
1
, . . . , Y
m
, X
1
, . . . , X
n
], c el ideal de A generado por |Y
1
F
1
, . . . , Y
m
F
m
|
|sistema de generadores de !(V)| y sea G la base de Groebner reducida de c con respecto al or-
den lexicogrco con X
1
> > X
n
> Y
1
> > Y
m
. Se tiene:
(1) Ker(h) =
(c K[Y
1
, . . . , Y
m
]) +!(W)
!(W)
. En particular las clases de los elementos de G en
K[X
1
, . . . , X
n
] generan Ker(h).
(2) Dado F K[X
1
, . . . , X
n
], se tiene F Im(h) si, y solo si, R(F; G) K[Y
1
, . . . , Y
m
]. En este caso
F = h(R(F; G)).
DEMOSTRACIN. (1). Si G Ker(h), entonces 0 = h(G) = G(F
1
, . . . , F
m
), y por tanto tenemos
G(F
1
, . . . , F
m
) !(V), luego G(F
1
, . . . , F
m
) !(V)
e
c. Como Y
j
F
j
c para cada j = 1, . . . , m, en-
tonces G(Y
1
, . . . , Y
m
)G(F
1
, . . . , F
m
) c, y tenemos G cK[Y
1
, . . . , Y
m
], luego G
(c K[Y
1
, . . . , Y
m
]) +!(W)
!(W)
.
Por otro lado, si G c K[Y
1
, . . . , Y
m
], supongamos que !(V) est generado por |H
1
, . . . , H
t
|,
entonces
G(Y
1
, . . . , Y
m
) =
m
j=1
a
j
(Y
j
F
j
) +
t
i=1
b
i
H
i
,
con a
j
, b
i
A. Tenemos G(F
1
, . . . , F
m
) =
t
i=1
b
i
H
i
!(V)
e
, y por tanto h(G) = G(F
1
, . . . , F
m
) = 0.
(2). Dado F K[X
1
, . . . , X
n
], si F Im(h), entonces existe G K[Y
1
, . . . , Y
m
] tal que h(G) = F,
y por tanto G(F
1
, . . . , F
m
) F(X
1
, . . . , X
n
) !(V) c. Como G(F
1
, . . . , F
m
) G(Y
1
, . . . , Y
m
) c,
tenemos G(Y
1
, . . . , Y
m
) F(X
1
, . . . , X
n
) c. Al hacer la divisin de F, de G, por G, como X
1
> >
X
n
> Y
1
> > Y
m
en el orden lexicogrco, en el resto R no aparecen las variables X
1
, . . . , X
n
, luego
GR cK[Y
1
, . . . , Y
m
], y como sus clases estn contenidas en el ncleo, entonces F = h(G) = h(R).
Por otro lado, sea R K[Y
1
, . . . , Y
m
] el resto de la divisin de F por G, entonces F R c y podemos
escribir
F R =
m
j=1
a
j
(Y
j
F
j
) +
t
i=1
b
i
H
i
.
Al evaluar Y
j
en F
j
resulta F R(F
1
, . . . , F
m
) =
t
i=1
b
i
H
i
!(V). Entonces F = h(R) Im(h).
Corolario. 18.6.
(1) h es inyectiva si, y solo si, c K[Y
1
, . . . , Y
m
] !(W).
(2) h es sobreyectiva si, y solo si, para cada ndice i = 1, . . . , n existe un G
i
K[Y
1
, . . . , Y
m
] tal que
X
i
G
i
G.
DEMOSTRACIN. (1). Es inmediata.
(2). Es claro que la condicin es necesaria, ya que para cada ndice i se tendr R(X
i
; G) K[Y
1
, . . . , Y
m
]
y por tanto X
i
pertenece a la imagen de h. Por otro lado, si h es sobreyectiva, entonces para cada n-
dice i se tiene X
i
Im(h), luego R(X
i
; G) K[Y
1
, . . . , Y
m
]. Como consecuencia X
i
es el trmino lder
de algn elemento de G; como esto ocurre para cada ndice i, entonces G contiene un elemento de
la forma X
i
+G
i
con G
i
K[Y
1
, . . . , Y
m
].
Vamos a estudiar algunos ejemplos.
Ejercicio. 18.7.
Se considera el homomorsmo h : K[Y, Z] K[X] denido por
h(Y) = X
2
1 y h(Z) = X
3
1.
Calcular el ncleo y la imagen de h.
SOLUCIN. Siguiendo la notacin de la proposicin el ideal c est generado por Y X
2
+1 y Z
X
3
+1, ya que en este caso !(V) = 0. Primero calculamos una base de Groebner de c respecto al
orden lexicogrco con X > Y > Z:
G = |3Y +3Y
2
+Y
3
2Z Z
2
, 1 +X 2Y Y
2
+X Z, 1 +X +XY Z, 1 +X
2
Y|
Al calcular la interseccin c K[Y, Z], sta est generada por:
|3Y +3Y
2
+Y
3
2Z Z
2
|,
por lo tanto h no es inyectiva, ya que el ncleo contiene a 3Y +3Y
2
+ Y
3
2Z Z
2
. Para ver la
sobreyectividad tenemos que ver si en G existe un elemento de la forma X G, con G K[Y, Z]. Es
claro que no, luego h no es sobreyectiva, ya que X / Im(h).
Ejemplo. 18.8.
Se consideran
V = 1 (X Z +Y
2
+ Z
2
, XY X Z 2Z
2
) A
3
(C) y
W = 1 (U
3
UV
2
+V
3
) A
2
(C).
Se verica
!(V) = (X Z +Y
2
+ Z
2
, XY X Z 2Z
2
) y
!(W) = (U
3
UV
2
+V
3
).
Ya comprobaremos esto ms adelante!
Se considera el homomorsmo h :
K[U,V]
!(W)

K[X,Y,Z]
!(V)
inducido por h
/
: K[U, V] K[X, Y, Z]
denido por
h
/
(U) = Z, h
/
(V) = Y.
Para ver que h est bien denido basta ver que h
/
(!(W)) !(V). Observar que h
/
(U
3
UV
2
+V
3
) =
Z
3
ZY
2
+Y
3
pertenece a !(V), ya que una base de Groebner de !(V) es:
|Y
3
Y
2
Z + Z
3
, Y
2
+X Z + Z
2
, XY +Y
2
+Y Z Z
2
|.
Para estudiar la inyectividad y sobreyectividad de h consideramos el ideal c denido por |UZ, V
Y, X Z +Y
2
+ Z
2
, XY X Z +Y Z 2Z
2
|. Una base de Groebner respecto al orden lexicogrco con
X > Y > Z > U > V es:
G = |U
3
UV
2
+V
3
, U + Z, V +Y, U
2
+UV +V
2
+VX, U
2
+V
2
+UX|.
Al calcular la interseccin con K[U, V], sta est generada por
|U
3
UV
2
+V
3
|.
Observar que est contenida en !(W), luego h es inyectiva. Para ver si es sobreyectiva, tenemos
que encontrar X G
1
, Y G
2
, Z G
3
en G, con G
1
, G
2
, G
3
K[U, V]. Para Y y Z es posible, pero no
para X, por lo tanto X / Im(h) y h no es sobreyectiva.
Finalmente vamos a describir la aplicacin polinmica que dene el homomorsmo h. Tenemos que
determinar F
U
y F
V
en K[X, Y, Z] tales que h(U) = F
U
y h(V) = F
V
; por ejemplo F
U
= Z y F
V
= Y.
Entonces la aplicacin polinmica es:
f : V W, f (x, y, z) = (F
U
(x, y, z), F
V
(x, y, z)) =(z, y).
Aplicaciones:
Clculo del polinomio mnimo de un elemento en una extensin algebraica simple
Proposicin. 18.9.
Sea K un cuerpo y un elemento algebraico sobre K con polinomio mnimo F = Irr(, K) K[X].
Sea K[] denido por un polinomio, por ejemplo = G(). Si G es una base de Groebner
reducida del ideal (F, Y G) K[X, Y], respecto al orden lexicogrco con X > Y, entonces el
polinomio mnimo de sobre K es el nico polinomio en G K[Y].
DEMOSTRACIN. Consideramos el siguiente diagrama:
(Irr(, K))
//
K[Y]
//
h
/
K[Y]
(Irr(,K))
= K[]
h
(Irr(, K))
//
K[X]
//
K[X]
(Irr(,K))
= K[]
La aplicacin h es la inclusin de K() en K(), y est denida h() = = G(). La aplicacin h
/
est denida h
/
(Y) = G, entonces h
/
induce h si h
/
(Irr(, K)) (Irr(, K)), lo cual es inmediato, ya
que si H (Irr(, K)), entonces h
/
(H) = H(G) y se verica: H(G)() = H(G()) = H() = 0. El
ncleo de h es cero, ya que K() es un cuerpo (tambin porque h es la inclusin). Por otro lado el
ncleo es
cK[Y]
(Irr(,K))
, siguiendo la notacin de la Proposicin (18.5.), siendo c = (Y G, Irr(, K)). Por
lo que calculando una base de Groebner reducida Gde c, un sistema de generadores de (Irr(, K)) =
c K[Y] es G K[Y].
Ejemplo. 18.10.
Dado K = Q y =
3
_
2, para determinar el polinomio mnimo de = 2+
3
_
2
3
_
4, calculamos una
base de Groebner de (X
3
2, Y 2X +X
2
) en Q[X, Y] respecto al orden lexicogrco con X > Y.
sta es:
G = |18 +18Y 6Y
2
+Y
3
, 6 +3X +3Y Y
2
|.
La interseccin con K[Y] es:
|18 +18Y 6Y
2
+Y
3
|,
y resulta que Y
3
6Y
2
+18Y 18 es el polinomio mnimo de en Q.
Es bien conocido que un elemento genrico de K[] es de la forma G(), para G K[X]. Sin
embargo, en ciertas ocasiones podemos expresar un elemento de K[] en la forma G()/L(), con
G, L K[X] y L() ,= 0. Se trata de determinar el polinomio mnico irreducible de un elemento
K[] expresado en la forma = G()/L().
Proposicin. 18.11.
Dado = G()/L() K[], siendo G, L K[X] y F = Irr(, K), se tiene que Irr(, K) es el nico
generador de d K[Z], siendo d = (F, LZ G, LY 1) K[X, Y, Z].
DEMOSTRACIN. Consideramos el siguiente diagrama
(Irr(, K))
//
K[Z]
//
h
/
K[] =
K[Z]
(Irr(,K))
h
(Irr(, K), Y L 1)
//
K[X, Y]
p
//
K[] =
K[X,Y]
(Irr(,K),Y L1)
(Irr(,K))+(Y L1)
(Y L1)
//
K[X,Y]
(Y L1)
q
//
K[]
Donde h es la inclusin y p est denida p(X) = , p(Y) =
1
L()
. Entonces p se factoriza por el
cociente K[X, Y]/(Y L 1) a travs de q. Los ncleos de p y q son sencillos de calcular. Adems po-
demos denir h
/
: K[Z] K[X, Y] mediante h
/
(Z) = GY, que hace conmutar el cuadrado superior
derecha.
Como h es inyectiva, se tiene que su ncleo es cero, y por lo tanto (Irr(, K)) = d K[Z], siendo d
el ideal de K[X, Y, Z] generado por (Z GY, Y L 1, Irr(, K)) =(LZ G, Y L 1, Irr(, K)).
Ejemplo. 18.12.
Dado K = Q y =
3
_
2, para determinar el polinomio mnimo de =
1+
3
_
2
3
_
4
1
3
_
2+
3
_
4
, calculamos una
base de Groebner de (Z (1+X X
2
)Y, X
3
2, Y(1X +X
2
) 1) en Q[X, Y, Z] respecto al orden
lexicogrco con X > Y > Z. sta es:
G = |5 +3Z +9Z
2
+9Z
3
, 1 +2Y Z, 1 +2X 3Z|.
La interseccin con K[Z] es:
|5 +3Z +9Z
2
+9Z
3
|,
y resulta que 9X
3
+9X
2
+3X 5 es el polinomio mnimo de en Q.
Teora de la eliminacin y proyecciones
Dado un cuerpo K, para cada subconjunto S K
n
tenemos que 1 !(S) es el menor subconjunto
algebraico que contiene a S. En efecto, si tenemos un subconjunto algebraico W tal que S W
1 !(S), se tiene 1 !(S) 1 !(W) 1 !1 !(S) = 1 !(S), y por lo tanto W = 1 !(S).
Llamamos a 1 !(S) la clausura algebraica, o la clausura de Zariski, de S en K
n
, y la representamos
por S.
Proposicin. 18.13.
Consideramos p : K
n
K
nm
la proyeccin a las ltimas coordenadas. Para cada conjunto algebraico
V K
n
con a = !(V) se verica que para cada a
m
= a K[X
m+1
, . . . , X
n
], el msimo ideal de
eliminacin de a, se tiene que 1 (a
m
) es la clausura de Zariski de p(V) K
nm
.
DEMOSTRACIN. Tenemos que p(V) 1 (a
m
), ya que para cada F a
m
K[X
nm
, X
n
] se tiene
F(x) = 0 para cada x p(V), y por lo tanto 1 !(p(V)) 1 (a
m
). Por otro lado, si F !(p(V))
K[X
m+1
, . . . , X
n
], entonces F(x) = 0 para cada x V, como polinomio de K[X
1
, . . . , X
n
]. Por tanto
F !(V) = a, y F a
m
, esto es, !(p(V)) a
m
, y como consecuencia 1 (a
m
) 1 !(p(V)).
Ejemplo. 18.14.
Consideramos el conjunto V = |(x, y, z) E
3
[ x
2
+ y
2
z
2
= 1, x + y + z = 1| y hacemos la
proyeccin sobre el plano (Y, Z), esto es, el plano de ecuacin X = 0; por lo tanto si a = (X
2
+Y
2
Z
2
1) E[X, Y, Z], tenemos que calcular el ideal de eliminacin a E[Y, Z], que en este caso es
(Y +Y
2
Z +Y Z) = (Y 1)(Y Z), que corresponde a dos rectas.
Si hacemos la proyeccin sobre el plano (X, Y), el plano Z = 0, tenemos que calcular el ideal de
eliminacin a E[X, Y], que en este caso es (1X Y +XY) = (X 1)(Y 1), que corresponde a
dos rectas.
Ecuaciones implcitas de un conjunto algebraico
Dado un cuerpo K y polinomios G
1
, . . . , G
n
K[T
1
, . . . , T
m
], consideramos el conjunto
U = |(x
1
, . . . , x
n
) K
n
[ existe (t
1
, . . . , t
m
) K
m
tal que x
i
= G
i
(t
1
, . . . , t
m
)|.
Este conjunto no es necesariamente un conjunto algebraico, pero s lo es su clausura algebraica
U = 1 !(U).
Proposicin. 18.15.
En la situacin anterior la clausura algebraica de U es 1 (c) K[X
1
, . . . , X
n
], siendo c el ideal de
K[X
1
, . . . , X
n
, T
1
, . . . , T
m
] generado por |X
1
G
1
, . . . , X
n
G
n
|.
DEMOSTRACIN. Consideramos la aplicacin polinmica f : K
m
K
n
denida mediante f (t) =
(G
1
(t), . . . , G
n
(t)). El grafo W de esta aplicacin es el conjunto de puntos (t, x) K
m
K
n
= K
n+m
,
y los elementos de U son los que se obtienen al proyectar a K
n
. Por lo tanto la clausura algebraica
de U es 1 (a
m
), siendo a = (X
1
G
1
, . . . , X
n
G
n
) el ideal que dene a W.
Ejemplo. 18.16.
Consideramos el conjunto de puntos U = |(t
2
+1, t
2
1) [ t E|. Estamos interesados en determi-
nar la clausura algebraica de U en E
2
. Para esto estudiamos el ideal
a = (X T
2
1, Y T
2
+1) E[T, X, Y],
y eliminamos la indeterminada T; se tiene
a E[X, Y]) = (X Y 2).
Tenemos pues una recta.
Si consideramos el conjunto U = |(t
2
+1, t 1) [ t E|, entonces las ecuaciones implcitas de la
clausura algebraica son |X Y
2
2Y 2|; se trata de una parbola.
Un caso ms general es aquel en el que U no est denido por polinomios, sino por funciones
racionales G
1
/H
1
, . . . , G
n
/H
n
, en donde G
1
, . . . , G
n
, H
1
, . . . , H
n
K[X
1
, . . . , X
n
]. Tenemos
U = |(x
1
, . . . , x
n
) K
n
[ existe (t
1
, . . . , t
m
) K
m
tal que x
i
= G
i
(t
1
, . . . , t
m
)/H
i
(t
1
, . . . , t
m
)|.
Consideramos la siguiente composicin:
K[X
1
, . . . , X
n
] K[T
1
, . . . , T
m
, S
1
, . . . , S
n
]
K[T
1
, . . . , T
m
, S
1
, . . . , S
n
]/(S
1
H
1
1, . . . , S
n
H
n
1)
Es una aplicacin polinmica, y podemos calcular su ncleo; ste es:
(S
1
H
1
1, . . . , S
n
H
n
1, X
1
G
1
S
1
, . . . , X
n
G
n
S
n
) K[X
1
, . . . , X
n
].
Este homomorsmo dene una aplicacin polinmica 1 (S
1
H
1
1, . . . , S
n
H
n
1) K
n
, y su grafo
es (t, x), siendo S
i
(t)H
i
(t) = 1 y x = (G
i
(t)S
i
(t))
i
. Como consecuencia la proyeccin en la segunda
componente es exactamente el conjunto U, y su clausura algebraica es 1 ((S
1
H
1
1, . . . , S
n
H
n
1, X
1
G
1
S
1
, . . . , X
n
G
n
S
n
) K[X
1
, . . . , X
n
]).
Proposicin. 18.17.
En la situacin anterior la clausura algebraica de U es 1 (c K[X
1
, . . . , X
n
]), siendo c el ideal de
K[X
1
, . . . , X
n
, S
1
, . . . , S
n
, T
1
, . . . , T
m
] generado por |S
1
H
1
1, . . . , S
n
H
n
1, X
1
G
1
S
1
, . . . , X
n
G
n
S
n
|.
Ejemplo. 18.18.
Consideramos el conjunto de puntos U = |((t
2
+1)/(t 1), (t
2
1)/t) [ t E\ |0, 1||. Estamos
interesados en determinar la clausura algebraica de U en E
2
. Para esto estudiamos el ideal
a = ((T 1)X T
2
1, TY T
2
+1) E[T, X, Y],
y eliminamos la indeterminada T; se tiene
a E[X, Y]) = (X
2
Y XY
2
4X Y
2
4).
Si consideramos el conjunto U = |((t
2
+1)/t, (t 1)/t) [ t E|, entonces las ecuaciones implcitas
de la clausura algebraica son |XY X Y
2
+2Y 2|.
Ejemplo. 18.19.
Consideramos el conjunto U = |(cos(t), sen(t)) [ t E|. Para determinar la clausura algebraica de
U consideramos el ideal a = (X cos(t), Y sen(t)) K[X, Y]. Tenemos dos funciones sen y cos
que verican propiedades adicionales. Si llamamos L = sen(t) y M = cos(t), se tiene la relacin
L
2
+ M
2
= 1. Podemos entonces trabajar en el anillo E[X, Y, L, M] con el ideal b = (X M, Y
L, L
2
+ M
2
1). Para obtener las ecuaciones implcitas necesitamos eliminar las variables L y M,
esto es, determinar el ideal b E[X, Y] = (X
2
+Y
2
1).
Ejemplo. 18.20.
Consideramos el conjunto U = |(cos(t), sen(2t)) [ t E|. Para determinar la clausura alge-
braica de U, llamamos L = sen(t) y M = cos(t); tenemos la relacin L
2
+ M
2
= 1. Adems
sen(2t) = 2sen(t)cos(t), luego consideramos el ideal a = (X cos(t), Y sen(2t), sen
2
(t)+cos
2
(t)
1, sen(2t) = 2sen(t)cos(t)) K[X, Y]. Utilizando L y M resulta el ideal b = (X M, Y 2LM, L
2
+
M
2
1) E[X, Y, L, M]. Para obtener las ecuaciones implcitas necesitamos eliminar las variables
L y M, esto es, determinar el ideal b E[X, Y] =(4X
4
4X
2
+Y
2
).
Multiplicadores de Lagrange
Sea A E
n
un abierto. Dada una familia de funciones g
i
: A E, i = 1, . . . , t, podemos denir un
conjunto V = |x A [ g
i
(x) = 0, para todo i = 1, . . . , t|. Si f : A E
n
E es una funcin, un
extremo relativo de f sujeto a las condiciones g
i
(x) = 0 es un extremo relativo de f
[V
. La funcin f
se llama la funcin de costo, y las funciones g
i
se llaman las restricciones.
El Teorema de los multiplicadores de Lagrange arma que, en estas condiciones, si las funcio-
nes f , g
1
, . . . , g
t
son continuamente derivables con t < n, y x V es un extremo relativo, existen
0
,
1
, . . . ,
t
E, no todos nulos, tales que
0
f (x) =
t
i=1
i
g
i
(x).
Observa que si los |g
i
(x) [ i = 1, . . . , t| son linealmente independientes, podemos tomar
0
= 1.
Aplicado este resultado, podemos fcilmente determinar mximos y mnimos relativos de una fun-
cin polinmica sujeta a restricciones.
Ejemplo. 18.21.
Considera la funcin f (x, y, z) = x
2
y
2
+2xzy
2
z2z
2
y determina los mximos y mnimos relativos
sujetos a las condiciones: g
1
(x, y, z) := x
2
y
2
z
2
+1 = 0 y g
2
(x, y, z) := x
2
+ y
2
+z
2
25 = 0.
Primero determinamos los vectores gradientes f , g
1
y g
2
:
f = (2x y
2
, 2x
2
y 2yz, y
2
4z),
g
1
= (2x, 2y, 2z),
g
2
= (2(1 + x), 2y, 2z).
A continuacin establecemos la ecuacin con los multiplicadores de Lagrange:
f =
1
g
1
+
2
g
2
En nuestro ejemplo se tiene:
2x y
2
+2z = 2
1
x+2
2
(1 + x)
2x
2
y 2yz =2
1
y+ 2
2
y
2x y
2
4z = 2
1
z+ 2
2
z
Los posibles puntos crticos verican las ecuaciones:
x
2
y
2
z
2
+1 = 0
x
2
+ y
2
+z
2
25 = 0
2x y
2
+2z 2
1
x 2
2
(1 + x) = 0
2x
2
y 2yz +2
1
y 2
2
y = 0
2x y
2
4z +2
1
z 2
2
z = 0
Basta pues con eliminar
1
y
2
para obtener los puntos crticos. En este caso tenemos que resolver
un sistema con cuatro ecuaciones:
332741 +1809004z +1618124z
2
721792z
3
251880z
4
+81392z
5
+6896z
6
2688z
7
+144z
8
= 0
529y +2876yz +2660yz
2
672yz
3
+36yz
4
= 0
100791548115 +5110113382y
2
63413291047z +34559085744z
2
+9491000668z
3
3599594844z
4
238936268z
5
+113793504z
6
6320304z
7
= 0
36915130840 +5110113382x 63413291047z +29448972362z
2
+9491000668z
3
3599594844z
4
238936268z
5
+113793504z
6
6320304z
7
= 0
_
_
Ejemplo. 18.22.
Si consideramos ahora las funciones f (x, y, z) = x
2
y
2
+2x
4
+2 con las restricciones: g
1
(x, y, z) :=
x
2
y
2
z
2
+ 1 = 0 y g
2
(x, y, z) := x
2
+ y
2
+ z
2
25 = 0; tras plantear las ecuaciones de los
multiplicadores de Lagrange se tiene que los puntos crticos son las ocho soluciones del siguiente
sistema:
629z 104z
3
+4z
5
= 0
yz = 0
629 104y
2
+4y
4
104z
2
+4z
4
= 0
25 +2x 2y
2
2z
2
= 0
_
_
_
Bibliografa
[1] W. W. Adams and P. Loustaunau, An introduction to Grbner bases, Graduate Studies in Mathe-
matics, 3, American Mathematical Society, 1994.
[2] M. F. Atiyah and I. G. Macdonald, Introduccin al lgebra conmutativa, Revert, Barcelona,
1973.
[3] Celine Carstensen, Benjamin Fine, and Rosenberger, Abstract algebra. applications to galois
theory, algebraic geometry and cryptography, De Gruyter, 2011.
[4] I. S. Cohen, Rings with restricted minimum condition, Duke Math. J. 17 (1950), 2742.
[5] P. M. Cohn, Basic algebra, Springer, 2003.
[6] D. Cox, J. J. Little, and D. OShea, Ideals, varieties and algorithms, Undergraduate Texts in
Math., SpringerVerlag, 1992.
[7] D. S. Dummitn and R. M. Foote, Abstract algebra. 3rd ed., Wiley, 2004.
[8] D. Eisenbud, Commutative algebra with a view toward algebraic geometry, Graduate texts in
mathematics, 150, SpringerVerlag, 1995.
[9] N. Jacobson, Basic algebra II. 2nd ed., Freeman, 1989.
[10] G. J. Janusz, Algebraic number theory, Academic Press, 1973.
[11] E. Kunz, Introduction to commutative algebra and algebraic geometry (segunda edicin corregi-
da), Birkhauser, 1991.
[12] S. Lang, Algebra 3rd. ed., Springer, 2002.
[13] H. Matsumura, Commutative algebra, Benjamin, 1980.
[14] N. Nagata, Local rings, R. E. Krieger Publ. Co., 1975.
[15] M. Reid, Undergraduate commutative algebra, London Math. Soc. Student Texts, 29, Cambridge
Univ. Press, 1995.
[16] J. J. Watkins, Topics in commutative algebra, Princeton University Press, 2007.
ndice alfabtico
lgebra, 27
nitamente generada, 28
homomorsmo, 27
Algoritmo
de Buchberger, 55
de la divisin, 43
anillo, 6
caracterstica, 13, 27
cociente, 12
conmutativo, 6
coordenado, 75
de coordenadas, 70
de divisin, 6
de polinomios, 27, 28
de series formales de potencias, 29
descomponible, 15
domina, 20
indescomponible, 15
local, 20
reducido, 22
semilocal, 20
trivial, 8
aplicacin
polinmica, 75
regular, 75
base
de Groebner, 50
de Groebner minimal, 56
de Groebner reducida, 56
clausura algebraica, 82
clausura de Zariski, 82
cociente de ideales, 66
cocientes, 45
coeciente lder, 42
conexin de Galois, 26
conjunto
completo de idempotentes ortogonales, 15
independiente de ideales, 15
conjunto algebraico afn, 71
conjunto de ceros, 71
conjunto de races, 71
conjunto lineal, 72
cuerpo, 6
residual, 20
diagrama de Newton, 42
dominio, 17
de integridad, 17
elemento
cero, 7
divisor de cero, 17
inverso, 6, 7
invertible, 6
nilpotente, 17
opuesto, 7
reducido, 57
regular, 17
unidad, 6
uno, 6, 7
exponente, 42
Frmula
de Newton, 7
funcin
polinmica, 70
genera, 38
grado, 42
hiperplano, 70, 72
90 NDICE ALFABTICO
hipersupercie, 72
homomorsmo
anillos, 9
de evaluacin, 27, 28
ideal, 10
contraccin, 26
de un conjunto de puntos, 73
eliminacin, 63
extensin, 26
nitamente generado, 11
generado por . . . , 11
maximal, 18
monomial, 47
no trivial, 10
primo, 17
primo minimal, 25
principal, 11
propio, 10
residual, 11
ideales
comaximales, 15
interseccin de . . . , 10
primos minimales, 25
primos relativos, 15
suma de . . . , 11
nmo, 11
isomorsmo, 13, 75
Lema
Dickson, 38
para ideales monomiales, 48
mnimo comn mltiplo, 51
monoideal, 39, 48
monomio, 36
lder, 42
morsmo
de conjuntos anes, 75
multiplicacin, 6
nilradical, 22
orden, 37
admisible, 37
buen orden, 38
de trminos, 37
fuertemente montono, 37
montono, 37
monomial, 37
parcial, 37
parcial compatible, 37
parcial lineal, 37
producto, 39, 40
producto lexicogrco, 39, 40
total, 37
polinomios
de Laurent, 33
preorden, 37
producto, 6
de ideales, 11
directo
anillos, 14
propiedad
asociativa, 6
conmutativa, 6
ditributiva, 6
Propiedad universal
del anillo cociente, 13
del anillo de polinomios, 27, 28
del anillo producto, 14
punto, 70
puntos, 72
radical
de Jacobson, 22
radical de un ideal, 24
relacin
compatible, 12
representacin
distributiva, 36
recursiva, 36
resto, 45
spolinomio, 52
semisicigia, 52
serie formal
de potencias, 29
NDICE ALFABTICO 91
de potencias (descendentes) de Laurent, 33
de potencias de Laurent, 32
sistema de generadores, 11
de un monoideal, 39
minimal, 39
subanillo, 10
caracterstico, 13
generado por . . . , 10
subconjunto
algebraicamente independiente, 28
supremo, 11
trmino lder, 42
Teorema
base de Hilbert, 50
Buchberger, 53
chino del resto, 16
elusin, 20
Krull, 19
multiplicadores de Lagrange, 85
Primer de isomorfa, 13
topologa de Zariski, 71
variedad
lineal afn, 70

Algebra Conmutativa Computacional - Jara

Cargado por

Información del documento

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

Algebra Conmutativa Computacional - Jara

Cargado por

Copyright:

Formatos disponibles

NOTAS DE TRABAJO, 6

de los elementos invertibles de un anillo A, junto con la multiplicacin, es un grupo

[ | es una familia de subanillos de A, entonces tambin lo es su interseccin

Un anillo A se llama descomponible si contiene un idempotente e A tal que e ,= 0, 1, en caso

|A/p [ p A es primo|; cada factor del producto

|A/m [ m A es primo|; cada factor del pro-

Ver Ejercicio (??).

B, existe un nico homomorsmo de anillos f

[ |, el anillo de polinomios con coecientes en A en las indeterminadas |X

[ |], y se llama el anillo de polinomios en las

A, casi todos nulos.

K, casi todos nulos.

[ G| genera G, y por lo tanto a

K (casi todos nulos), N

23 de septiembre de 2013 Curso 20132014. NOTAS DE TRABAJO, 6

[ A| un sistema de generadores de a formado por monomios para algn conjunto

a tal que exp(F

) = . Es claro que lm(F

a. Consideramos ahora el ideal b = R(|X

[ A|). Se verica que b a.

a tenemos Exp(a) = A+N

Es claro que existe una biyeccin entre ideales monomiales de K[X

[ A| a tales que exp(F

) = para cada A, se tiene

[ A| es sistema de generadores de a como ideal.

son dos monomios, vamos a denir su mnimo comn mltiplo. Denimos:

el mnimo comn mltiplo de X

es realmente un mltiplo ya que se verica:

K. Tenemos entonces que |X

es un homomorsmo sobreyectivo de Klgebras y es un isomorsmo si, y solo

F. Para cada conjunto K[X

[ A| es una familia de conjuntos algebraicos anes, entonces

Como consecuencia de la proposicin, existe una biyeccin:

También podría gustarte