CAPTULO 1

Preliminares

En este captulo se presentan los principales conceptos empleados en este

trabajo, as como algunos de los resultados que sobre ellos son bien conocidos.
A lo largo de la tesis, un anillo ser siempre conmutativo y no necesaria
mente unitario, una K lgebra ser siempre asociativa y conmutativa y la
nocin de compacidad de un espacio topolgico no supone que dicho espacio
sea de Hausdorff.

1.1.

Clases especiales de anillos.

En esta seccin se presentan algunos tipos de anillos que han sido estudia
dos ampliamente, as como las principales propiedades que los caracterizan.

l. l. l.

Anillos de Boole.

Estos anillos toman su nombre del matemtico ingls George Boole (1815
1864) quien en sus publicaciones "Las leyes del pensamiento" (1847) y "Una
investigacin de las leyes del pensamiento" (1854) introduce el lgebra hoy
conocida como lgebra booleana, el lgebra de los conjuntos o de la lgica.
Boole establece de manera simultnea esta nueva lgebra y la lgica formal,
13

13

1.1.

CLASES
14ESPECIALES DE ANILLOS.

CAPTULO l.

PRELIMINARES
15

lo que favorece el surgimiento de las matemticas puras. Boole consider

que las proposiciones lgicas deban ser expresadas por medio de ecuaciones
algebraicas, de modo que la manipulacin algebraica de los smbolos en las
ecuaciones, proporcionara un mtodo seguro de deduccin lgica. La difusin
de este trabajo se debe entre otros, a Augustus De Morgan (18061871) y a
Charles Sanders Peirce (18391914) quienes se encargaron de refinar, popula
rizar y continuar el sistema de tratamiento algebraico de la lgica propuesto
por Boole. Actualmente, el lgebra de Boole es ampliamente utilizada, no s
lo por matemticos puros sino por quienes la aplican para resolver problemas
en probabilidad, seguros, teoras de la informacin; adems de que fue la base
para el desarrollo de los sistemas lgicos de los computadores modernos y del
diseo de los circuitos digitales (ver [18],[20]). Boole tambin hizo aportes en
filosofa de las matemticas, teora de invariantes as como en ecuaciones di
ferenciales; l seal paralelos entre las propiedades del operador diferencial
y las reglas del lgebra. Como una innovacin en sus mtodos operacionales
est la consideracin de que las operaciones pueden ser no conmutativas.
Un anillo A es un anillo de Boole si todos sus elementos son idempotentes,
es decir, a2 =apara cada elemento a de A. Son ejemplos de anillos de Boole:
Z2 := Z/2Z y el conjunto de partes de cualquier conjunto X, donde la suma
es la diferencia simtrica, la multiplicacin es la interseccin y la unidad es
el conjunto X.
A continuacin se mencionan algunas propiedades de los anillos de Boole.
El producto de anillos de Boole es un anillo de Boole.
Sea A un anillo de Boole:
l. A tiene caracterstica 2, es decir, 2a = O para cada a E A.
2. Todo elemento de A es su propio opuesto.
3. A es un anillo conmutativo.
4. Si

IAI

= 2 entonces A= Z2.

5. Si A tiene ms de dos elementos, entonces A tiene divisores de

cero. Basta ver que ab (a+ b) = O.
6. Si I es un ideal de A entonces Aj I es de Boole.
7. Los ideales primos y maximales de A coinciden.

8. I es un ideal primo de A si y slo si para cada a E A se tiene que

a E I oa: + .7: E I, para todo :r; E A.
9. Si A no tiene unidad, entonces A es infinito.
Por ejemplo, siendo X un conjunto infinito, el conjunto
partes finitas de X es un anillo de Boole sin unidad.

1.1.2.

de las

Anillos de von Neumann.

John von Neumann (19031957) fue un brillante matemtico nacido en

Budapest (Hungra), quien es considerado uno de los ms grandes matem
ticos de la historia moderna. Desde muy joven sus profesores reconocieron su
talento y por ello recibi clases particulares de matemticas con profesores
universitarios. Obtuvo su doctorado en 1926 en la Universidad de Budapest y
durante las situaciones que antecedieron la Segunda Guerra Mundial se radi
c en Princeton (Estados Unidos), en donde fue profesor al lado de personajes
como Hermann Weyl y Albert Einstein, su antiguo profesor en Berln. Tuvo
contacto con grandes personalidades como Eugene Wigner, su compaero de
clases y futuro Premio Nobel de Fsica, George Plya, David Hilbert, Robert
Oppenheimer, Niels Bohr, entre muchos otros. Durante la Segunda Guerra
Mundial fue un activo colaborador del gobieno norteamericano en donde hi
zo aportes importantes para la primera detonacin de una bomba atmica
en la historia. Este trabajo lo puso en contacto directo con la radiacin, lo
que posteriormente le ocasion su temprana muerte. Von Neumann reali
z contribuciones fundamentales en fsica cuntica, anlisis funcional, teora
de conjuntos, teora de juegos, ciencias de la computacin, economa, anli
sis numrico, ciberntica, hidrodinmica, estadstica y muchos otros campos
(ver [26]). John von Neumann visit Bogot en agosto de 1950 y ofreci dos
cursos, uno sobre Teora de la Integracin y el otro en fsica sobre las Ba
ses Experimentales de la Teora de la Relatividad ( especial y general), en la
Universidad de los Andes1.
Los anillos regulares de von Neumann fueron introducidos en 1936 por
John von Neumann en su artculo On regular rings ([60]), durante el estu
dio de geometras continuas y de ciertas lgebras de operadores, como una
1

Del Ensayo: La visita de John von Neumann y Solomon Lefschetz a la Universidad de

los Andes en 1950, por Fabio Ortiz.

herramienta algebraica para estudiar ciertos retculos ( ver [36]). Desde en

tonces estos anillos han sido ampliamente estudiados en diversas reas de las
matemticas, de modo que hoy da existe una teora realmente amplia sobre
ellos (ver por ejemplo [6], [7], [27], [35], [41], [53]). Los anillos regulares de
von Neumann tambin se conocen como anillos absolutamente planos, por
su caracterizacin en trminos de sus mdulos y no deben confundirse con
los anillos regulares noetherianos del lgebra conmutativa.
Aunque un anillo regular en el sentido de von Neumann no es necesaria
mente conmutativo, nos restringiremos a los anillos conmutativos. Usaremos
la expresin anillo regular de van Neumann (o simplemente anillo de van
Neumann) para referirnos a los anillos conmutativos para los cuales, dado
un elemento a, existe un elemento b, tal que a= a2b. En el caso de los anillos
conmutativos, las siguientes afirmaciones son equivalentes:
A es un anillo de von Neumann.
Todo ideal principal del anillo A es generado por un idempotente.
El anillo A es completamente idempotente,
ideal 1 de A.

es decir, I2 = I, para cada

El anillo A es semiprimo2 y todo ideal primo de A es maximal.

Veamos algunos ejemplos de anillos de von Neumann.
1. Todo campo es un anillo de von Neumann. Para cada elemento no nulo
a del campo se tiene que b = a1.
2. Diremos que un anillo es un exp-anillo si para cada elemento a existe un
ti (a) E z+ - {1} tal que an(a) = a. Todo expanillo es un anillo de von
Neumann. En efecto, basta tomar, para cada a en el anillo, b = an(a)-2,
sin (a) > 2 b = a, sin (a) = 2. En [28] y [40] se encuentran pruebas
de la conmutatividad de los expanillos.
Se dice que un anillo es semi primo, si el ideal cero es un ideal semiprimo. Un ideal I es
semiprimo (o es un ideal radical), si I = r (!), donde r (!) es el conjunto de los elementos
del anillo tales que alguna de sus potencias es un elemento de I. Puesto que estamos en el
caso conmutativo, la nocin de anillo semiprimo coincide con la nocin de anillo reducido.
Se dice que el anillo A es reducido si su nilradical N (A) es el ideal nulo.
2

1.2.

17
ESPECTRO

CAPTULO l.

DE UN ANILLO.

PRELIMINARES
17

(i) Se dice que un anillo A es un p-anillo si satisface pa = O y aP = a,

para cada a E A, donde p es un nmero primo. En particular, para
p = 2 se tienen los anillos de Boole. Todo panillo es un expanillo.
Los panillos tambin se conocen como anillos Booleanos generalizados y
en [44] se demuestra que todo panillo es, salvo isomorfismos, un
subanillo de una suma directa de campos FP.
(ii) ZP := Z/pZ es un panillo, para cada primo p.
(iii) Z6 es un expanillo de caracterstica 6, en el cual
cada a.

ti

(a) = 3, para

(iv) Notemos P el conjunto de los nmeros primos y consideremos el

subanillo de TI ZP cuyos elementos son las sucesiones con finitos ele
pEP

mentas no nulos. Este es un expanillo en el cual

ti

(a) = 1 +

1n

TI

(Pk - 1) ,

k=l

donde ai1, a;2, ... , i= son los elementos no nulos de la sucesin a, per
tenecientes a ZP1, ... , ZP=, respectivamente.
( 1)) f1(Pkl)
= a . ( a.PJ
= a .a.P( 1 1)
a-n(a)
f
k#3
Adems
=a .. (a)k= 1

(pk-l)
)

1j

pues aip
1-l)
"J

i]

i]

i]

es idempotente,

i]

i]

1j

de modo que a~(a)

= a~1 = ai .
"J
"J
J

3. Si A es un anillo de von Neumann y X es un conjunto entonces Ax es

un anillo de von Neumann.
4. Todo producto de anillos de von Neumann es anillo de von Neumann.
5. Todo cociente de un anillo de von Neumann es un anillo de von Neu
mann.

1.2.

Espectro de un anillo.

El espectro primo de un anillo A es el conjunto de sus ideales primos

dotado con la topologa de Zariski. Los abiertos bsicos de esta topologa son
los conjuntos de la forma

D(a)

{P: Pes

un ideal primo de A y a

rt

P},

donde a E A. Este espacio lo notaremos como es usual Spec(A)

Los cerrados del espacio Sper,( A) son de la forma

(ver [12]).

V ( I) = { P : P es un ideal primo de A y P :2 I} ,
donde T es un ideal de A. Aunque tambin son estudiados los espectros maxi
males y los espectros minimales; en este trabajo el trmino espectro se refiere
al espectro primo.
Spec es en realidad un funtor contravariante de la categora A de los
anillos, con morfismos los homomorfismos propios3, en la categora Top de
los espacios topolgicos, con morfismos las funciones continuas. Cuando el
funtor Spu: se restringe a la categora A1 de los anillos unitarios, se observa
que todos los homomorfismos de anillos unitarios son homomorfismos propios.
Si .f : A ----+ B es un homomorfismo propio entonces Spcc (f) : Spcc ( B) ----+
Spec (A) definida por Spec (f) (J) =
(J) es una funcin continua.

r:'

1.2.1.

Algunas propiedades.

Las demostraciones de los siguientes resultados, as como los conceptos

introducidos, pueden ser consultados en [1] y [22]. Sea A un anillo y sean a, b
elementos de A.
l. D (O)= 0.
2.

l) (ab)

l)

(a) n

l) (b)

3. D(a+b)<;D(a)uD(b).
4. D (a) = D ( b) si y slo si r (\a)) = r ( \ b)) 4 .
5. D (a) = 0 si y slo si a es nilpotente.
6.
3Se

Si A es unitario, entonces D (1) = Spec (A).

llama homomorfismo propio al homomorfismo que enva ideales primos en ideales

primos por imagen recproca.
4r
({a)) = { x E A: xn E {a), para algn n > O} es el radical de {a), donde {a) es el
ideal generado por a.

7. Si A es unitario entonces, D (a) = Spec (A) si y slo si a es invertible".

8. Si B ~ Spec (A) entonces B ={PE

Spec (A): nB ~ P}.

Puesto que nB es llamado el ncleo de B, la topologa de Zariski tam

bin se conoce como la topologa de la envolvente del ncleo (hullkernel
topology).
9. Si I E Spec (A) entonces {J} = {I' E Spe; (A) : I ~ I'} = V(I).
Los ideales primos maximales de A son precisamente los puntos ce
rrados de Spec (A) . Ntese que si el anillo A no es unitario, un ideal
maximal no es necesariamente primo. Considere por ejemplo, el ideal
4Z del anillo 2Z.
10. D (a) es compacto.
La demostracin de este hecho hace uso del Teorema del Ideal Primo,
el cual se enuncia a continuacin:
Teorema 1.1. Sean 1 un ideal del anillo A y Mi 0 un subconjunto
de A cerrado para la multiplicacin. Si T n M = 0 entonces existe un
ideal primo P de A tal que I ~ P y P n JU= 0.
En la demostracin
Zorn.

del Teorema del Ideal Primo se usa el Lema de

11. Si A es unitario entonces Spec(A) es compacto.

Este resultado se deduce de las propiedades 6 y 10. Ntese que la rec
proca de esta propiedad es falsa. Basta considerar el anillo 2Z y notar
que Spec (2Z) = D (2).
Definicin 1.2. Diremos que el anillo A es espectralmente compac
to si su espectro primo, Spec (A), es un espacio topolgico compacto.
Usaremos esta terminologa para evitar confusiones con los anillos to
polgicos compactos. Con esta definicin, la propiedad expresada en
este numeral se puede reenunciar como:
Si A es unitario, entonces A es espectralmente compacto.
5 Algunos

autores llaman "unidades" a los elementos invertibles del anillo. En este tra
bajo el trmino unidad se emplear nicamente para referirse al elemento neutro de la
multiplicacin del anillo.

20

CAPTULO l.

PRELIMINARES

12.

Spec (A) es un espacio topolgico T0 y localmente compacto.

13.

Spec(A) tiene una base de abiertoscompactos que es cerrada para in

tersecciones finitas, es decir, Spec(A) es un espacio coherente.

14.

Spec (A) es un espacio sobrio, es decir, es un espacio en el cual todo

cerrado irreducible' tiene un nico punto genrico7.
Definicin 1.3. Se dice que un espacio topolgico es un espacio espec
tral si es compacto, sobrio y coherente.

15.

Si A es un anillo unitario entonces Spec (A) es un espacio espectral.

16.

Spu: (A)~

Spu: (A/N (A)), donde N (A) es el nilradical de A.

17. Si B tambin es un anillo, entonces Spec (A x B) ~ Spec (A)

1.2.2.

U Spec

(B).

Espectro de un anillo de Boole.

Sea A un anillo de Boole y sean a, b elementos de A. El espectro de un

anillo de Boole satisface adicionalmente a las propiedades ya mencionadas,
las siguientes:
l. Si D (a)= D (b) entonces a= b.
2. D (a) U D ( b) = D ( a + b + ab) .
3.

D (a) es abierto y cerrado. Basta ver que D (at =

4. Spec (A) es totalmente

xEA

D (ax+ x).

disconexo.

5.

Spec (A) es T2. Esto es consecuencia de que los ideales primos de A son
maximales.

6.

A es espectralmente

compacto si y slo si A tiene unidad.

Como consecuencia de esta propiedad, los anillos de Boole sin unidad

son ejemplos de anillos con espectro no compacto.
6Un

cerrado no vaco Fes un cerrado irreducible, si F = GUH donde G, H son cerrados

entonces F = G F = H.
7Decimos
que x es un punto genrico de F, si F = { x}.
20

20

1.3.

21
COMPACTACIONES

POR

FINITOS

CAPTULO l.

PUNTOS.

21
PRELIMINARES

Se observa que para los anillos de Boole es verdadera la recproca de la

Propiedad 11 de la seccin anterior. Una demostracin de este hecho
es la siguiente:
Demostracin.

Se sabe que Spec (A) =

a EA

D (a) . Como Spec (A) es

compacto entonces Spec (A) = D (a1) u ... u D (an), para algunos

a1, ... , an- Aplicando la Propiedad 2 se obtiene que Spec (A) = D (rn).
Veamos que rn es la unidad de A.
Sea a un elemento de A, D (arn) = D (a) nD (m) = D (a) de modo que

arn

1.2.3.

a.

Espectros y anillos de von N eumann.

Si A es un anillo y N (A) es su nilradical, entonces las siguientes afirma

ciones son equivalentes:

A/N (A) es un anillo de von Neumann.

Spec (A) es T2.
Spec (A) es T1.
Todo ideal primo de A es maximal.

1.3.

Compactaciones por finitos puntos.

Compactar un espacio topolgico X, es encontrar un espacio topolgico

compacto Y, que contenga un espacio homeomorfo a X como subespacio
denso. Se mencionan dos de los mtodos conocidos para compactar un espacio
topolgico por finitos puntos.

1.3.1.

La compactacin

de Alexandroff.

En [46] se pueden consultar las demostraciones de los hechos que mencio

naremos. Sean ( X, T) un espacio topolgico no compacto y X* = X U { w} ,
donde to es un punto que no pertenece a X.
Teorema 1.4. Si T* = TU{ ( X \ K) U { w} : K es un cerrado compacto de X} ,
entonces (X*, T*) es una compactacin de (X, T) por un punto.

Esta compactacin es llamada la compactacin de Alexandroff

(X, T) y es la ms fina de las compactaciones de (X, T) por un punto.
1.5. Si (X, T) es de Hausdorff y localmente
(X*, T*) es de Hausdorff.

Teorema

de

compacto entonces

En el contexto de los espacios de Hausdorff se habla de la compactacin

por un punto, para referirse a la compactacin de Alexandroff, puesto que
la compactacin de Alexandroff es la nica de las compactaciones de (X, T)
por un punto que resulta ser de Hausdorff.

1.3.2.

Las compactaciones

estelares.

Presentamos la definicin de topologa estelar dada en [48], as como las

condiciones necesarias y suficientes para que dicha topologa corresponda
a una compactacin del espacio original. Consideremos ( X, T) un espacio
topolgico no compacto, ni EN, X*= X U { w1, ... , wm} donde w1, ... , Wm son
m puntos distintos que no pertenecen a X.
Teorema

1.6. Si W1,

... ,

Wm son subconjuntos abiertos de X entonces

{wi}: K es un cerrado compacto de X, i E {1, ... , m}}

la cual es llamada topologa estelar
es base de una topologa sobre X* 1

B =TU

{(Wi \ K)

asociada a

vVi, ... , vV,n.

Teorema

l. 7. ( X*

1. X\

es una compactacin de ( X, T) si y slo si

u Wi es compacto,

i=l

2. para cada i E { 1, ... , m} y para cada K subconjunto cerrado compacto

de X se tiene que Wi % K .
Observe que la segunda condicin implica que l:Vi i- 0, para cada i E

{1, ... ,m}.

La compactacin de Alexandroff de un espacio topolgico es la nica

compactacin estelar por un punto de dicho espacio, tomando W1 = X. Por
otra parte, si el espacio X es de Hausdorff y localmente compacto, entonces
cada una de sus compactaciones de Hausdorff por tri puntos es precisamente
una compactacin estelar, donde los m abiertos asociados son disyuntos dos
a dos.

1.4.

23
ADJUNCIN

CAPTULO

DE UNIDAD.

23

l.

PRELIMINARES
23

Adjuncin de unidad.

1.4.

Debido a que es posible adjuntar unidad a un anillo que no la posee,

los anillos sin unidad han sido muchas veces considerados simplemente como
ideales de anillos unitarios. Es sta una de las razones por las cuales no es
usual encontrar en la literatura consideraciones respecto de los anillos sin
unidad. Es bueno notar que, aunque algunos resultados vlidos para anillos
unitarios son tambin vlidos para anillos sin unidad, las pruebas que no ha
cen uso de la unidad requieren generalmente consideraciones muy diferentes.
En [5], Anderson hace una resea de varios artculos que estudian los anillos
sin unidad, mostrando que el hecho de carecer de unidad, en general no se
resuelve simplemente adjuntndole una. Por otra parte, no todo lo que es
cierto en anillos unitarios lo es en anillos sin unidad. En [32] Gilmer presen
ta once condiciones que, siendo equivalentes en anillos unitarios, no lo son
cuando se trabaja con anillos sin unidad.
Aunque existen diferentes formas de adjuntar unidad a un anillo, segui
remos el mtodo descrito en [55] para las K - lgebras, el cual es una gene
ralizacin de la forma que se encuentra en [24] y [39], para los casos en que
K es Z,
(Q.

z,

Definicin 1.8. Sea K un anillo conmutativo

es una K -lgebra si:
l. ( A,

+, . )

con unidad. Decimos que A

es un anillo conmutativo.

2. (A,+) es un Kmdulo.
3. a ( nb) = (na) b = n ( ab) , para todo a, b E A, n E K.
Si adems el anillo ( A,

+, . )

tiene unidad, entonces A es una K -lgebra

con unidad.
Si A, B son dos K lgebras, entonces h : A ---+ B es un morfismo de
K lgebras si es un homomorfismo de anillos que respeta la multiplicacin
por escalar, es decir, h (na) = cxli (a), para todo n E J( y todo a E A.
Diremos que 1 s;;; A es un k=ideal de la Klgebra A, si 1 es un ideal
del anillo A que adems es cerrado para la multiplicacin por los escalares de
K. Llamaremos aideal a cada ideal de A como anillo. Por definicin, todo
kideal de A es un aideal.

Proposicin 1.9. Si A es una J( -lgebra

de A es un k=ideol.

con unidad entonces todo a-ideal

Demostracin. Sea I un aideal de A y sean a E K, i E J.

oi = a (li) = (al) i, puesto que A tiene unidad. Como al E A e I es
absorbente para el producto, se tiene que oi = (a 1) i es un elemento de I.
Luego, I es cerrado para la multiplicacin por los escalares de K.
D
El resultado anterior no puede generalizarse cuando la Klgebra no tiene
unidad. El siguiente ejemplo nos presenta una Klgebra sin unidad en la
cual podemos encontrar aideales que no son kideales.
Ejemplo 1.10. Consideremos la IRlgebra IR [x] . Llamamos A = (x) al
ideal de IR [x] generado por el polinomio x. Sabemos que A es aideal y kideal de
IR [x] . Adems, A es una IRlgebra sin unidad.
Para p ( x) E A vamos a distinguir entre el aideal de A generado por p ( x)
, al cual notaremos como de costumbre (p ( :r)) y el k:ideal de A generado por
p ( x) , al cual notaremos [p ( :1:)] .
Puesto que A no tiene unidad se tiene que:

(p(x))

{p(x)h(x) +zp(x) h(x) E A, z E Z}

= {p(x)xg(x) + zp(x) g(x) E IR[x], z E Z}

=
=

{p (X) ( X y (X) + Z) y (X) E IR [X] , Z E Z}

{p (X) q (X) q (X) E IR [X] Y qo E Z} .
1

Podemos apreciar que este aideal de A no es un k:ideal,

~p (x) 1 (p (.x)).
Luego, [p (x)] = {p (x) q (x) q (x) E IR [x]}.

por ejemplo

As, (p (x)) e [p (x)] y la inclusin es propia, ~p (x) E [p (x)] (p (x)).

Natemos que
x)) no es un ideal primo de A puesto que
x) .
x)
= p (x) E (p (x)), donde
(x) E A - (p (x)) y ~p (x) E A - (p (x)).
Sin embargo, los aideales primos de una J( lgebra, s resultan ser ce
rrados para la multiplicacin por los escalares de K, como lo muestra la
siguiente proposicin.

\P (

iP

iP ( !P (

Proposicin 1.11. Si P es un a-ideal primo de la J( -lgebra A, entonces

P es un k-ideal de A.
Demostracin. Sea a E P. Se sabe que aa E A, para todo a E K. Como P es
absorbente para productos se tiene que (aa) a= aa2 E P, para cada a E K.
As, ( aa) ( aa) = a2 a2 E P y puesto que P es primo, se concluye que aa E P,
para todo a E K.
D

1.4.1.

Adjuncin de unidad

a una K lgebra.

Sea K un anillo con unidad y sea A una Klgebra. Designamos por

UK(A) o simplemente por U(A), cuando no haya lugar a confusin, al con
junto Ax K dotado con la suma componente a componente, la multiplicacin
definida por
(a, a)(b, /3) = (ab + f3a + ob, a/3)
y la multiplicacin por elementos de K definida por

(3(a, a)= ((3a, 80:).

1

Es fcil verificar que U(A) es una Klgebra con unidad (O, 1) y que se tiene
la siguiente propiedad universal.
Proposicin 1.12. Para cada K - lgebra unitaria B y para cada homomorfismo de K -lgebT_Es h : A + B existe un nico homomorfismo de
K-lgebras unitarias h : U (A) + B que satisface h o iA. = h, donde

iA : A----+ U(A) : iA(a)

r-t

(a, O).
A-----~~

ZA.

U(A)
1

:3! h

B
Figura 1.1: Propiedad universal de U.

Demostracin.
B.

Basta ver que h (a, a)= h (a)+ al, donde 1 es la unidad de

Si notamos A0 al conjunto Ax {O}, el homomorfismo de Klgebras iA., nos

permite identificar al anillo A con A0 en U (A). Adems, es claro que A0 es
un ideal de U(A). Ntese que para cada morfismo g : A + B de la categora
de las K lgebras se puede definir U (g) = i Bog. Esta definicin hace de
U un funtor, el cual, por la proposicin anterior, es adjunto a izquierda del
funtor inclusin de la categora de las K lgebras con unidad en la categora
de las K lgebras.

1.4.2.

Adjuncin de unidad en anillos.

Existe un procedimiento estndar empleado para incluir de manera natu

ral el anillo A sin unidad, en uno con unidad. Este proceso consiste en hacer
la construccin descrita para K lgebras, tomando el anillo Z en el lugar
de K, puesto que todo anillo es una Zlgebra. Se observa que U2 (A) es un
anillo con unidad (O, 1) que contiene al anillo A como ideal. La propiedad
universal sigue siendo vlida en este caso de los anillos y se expresa en la
siguiente forma:
Proposicin 1.13. Para cada anillo unitario B y para cada homomorfismo
de anillos h : A + B existe un nico homomorfismo de anillos unitarios
h: U (A) + B que satisface hoiA = h, donde A : A----+ U(A) : A(a) H (a, O).
Sin embargo, la construccin de U2 (A) no respeta la caracterstica del
anillo A, si sta es diferente de cero. En el caso de anillos de caracterstica
ni= O se puede tomar en el lugar de K el anillo Zn, puesto que dichos anillos
tambin son Zn lgebras. En este caso, tambin son vlidos los resultados
anteriores salvo que el anillo Uzn (A), al cual notaremos Un (A) para abreviar,
tambin tiene caracterstica n y la propiedad universal se restringe al caso de
anillos de caracterstica ri. Notaremos a U2 (A) como U0(A), para recordar
que este anillo siempre tiene caracterstica cero, independientemente de la
caracterstica del anillo A.

CAPTULO

Adjuncin de unidad vs compactacin

En este captulo estudiamos si el espectro primo del anillo que se obtiene

al adjuntar unidad a un anillo no espectralmente compacto, es una compac
tacin del espectro primo del anillo original.

2.1.

Sobre espectros primos.

Presentamos algunos resultados que nos permiten relacionar los espectros

de un anillo y de sus ideales. Concluimos que el espectro primo de un ideal
de un anillo siempre es un subespacio del espectro primo del anillo.
Teorema 2.1. Sean R un anillo, S un ideal de R e I un ideal de S. Si se
define:
jJ ( !) = { a E R : aS ~ I} ,
entonces:
1. jJ (!) es un ideal de R.
2. Si I es un ideal primo de S, entonces jJ (!) es un ideal primo de R.
Demostracin.
27

27

2.2.

28

ADJUNCIN

DE UNIDAD.

CAPTULO 2.

ADJUNCIN

DE UNIDAD

29
VS COMPACTACIN

l. Ntese que I < /) (J). Sean a, b E 1/J (J), es decir, aS < I y bS < J. Para
:r: E S, se tiene que ( a - b) :r: = a.i: - ln: E I, de modo que ( a - b) S <;;;; I

ya-bE/J(I).
Por otra parte, sean a E R y b E 1/J (I), de modo que bS <;;;; J. Si :1; E
( ab) x = b (ax) E I puesto que ax E S. As, abS <;;;; I y ab E 1/J ( !)

2. En primer lugar veamos que /J (J) es propio: Sea x E S - J. x2 E xS

pero x2 (j. I, as x (j. /J (I) . Adems, /) (!) no contiene a S.
Ahora sean a, b E R tales que ab E 1/J ( I) y supongamos que a /:. 1/J ( !) ,
es decir, abS <;;;; J y existe x E S tal que ax (j. I. Para y E S, se tiene
que aby E I, de modo que (ax) (by) E I, donde ax, by E S. Puesto que
J es un ideal primo de S y ax (j. J se tiene que by E I, de modo que
bS <;;;; I y b E 1/J ( !) .
D
Este teorema nos permite considerar a 1/J como una funcin de Spec ( S)
en Spec ( R). Esta funcin tiene propiedades muy interesantes, como veremos
a continuacin.
Notacin 2.2. Cuando S es un ideal del anillo R, denotamos Specs ( R) al
subespacio de Spcc ( R) cuyos elementos son los ideales primos de R que no
contienen a S.

Teorema 2.3. Sean R un anillo y S un ideal de R. La funcin /J : Spec (S) ----+

Specs ( R) es un homeomorfismo y su inverso es rp : Speci. ( R) ----+ Spec ( S)

: Jt---+JnS.
Demostracin. Es inmediato que

est bien definida y que /J1 = ip, por la

forma como se han escogido los ideales.
Por otro lado, si a E R se tiene que 'lj)-1 ( D (a)) = LJ D (ax). En efecto,
ip

xES

JE 'lj)-1 (D (a)) es equivalente a que a (j. 'lj) (!), es decir, existe x ES tal que
ax/:. I, de modo que I E D (ax), as I E UD (ax). Luego /J es continua.
xES

Adems, si b E S entonces rp-1(D(b)) = D(b) n Sper,5 (R). En efecto, J E

rp-1 (D(b)) significa que b /:. rp(J), es decir, b /:. J, pero esto es equivalente
a que JE D (b) n Specs (R). Luego pes continua.
D

Nota 2.4. El ideal 1jJ (I) se nota 1 : S en [31] y [J: S]R en [10]. En [31]
Gilmer demuestra el numeral 2 del Teorema 2.1 y adems que p (1/J (I)) = J.
Por otra parte, si ordenamos los conjuntos Spec ( S) y Specs ( R) con la rela
cin de inclusin, se observa que 1jJ y ip son modismos de conjuntos ordenados.
Debido a los resultados de esta seccin obtenemos
que ser clave durante el desarrollo de este trabajo.

un primer corolario

Corolario 2.5. El espectro primo de cada ideal S del anillo R, es un subespacio del espectro primo de R.

2.2.

Adjuncin de unidad.

Sea K un anillo con unidad y sea A una K lgebra. Puesto que A0 es

un ideal de U (A) y podemos identificar a A con A0 en U (A) , entonces por
el Teorema 2.3 se tiene que Spec (A) es homeomorfo a Spec s (U (A)). Por
consiguiente, este proceso de adjuntar unidad a una Klgebra siempre hace
del espectro original un subespacio topolgico del espectro del nuevo anillo.
Teorema 2.6.

El espacio Spec(U(A))

contiene una compactacin

de Spec

(A)
por a lo sumo I Spcc ( K) 1 puntos.
Demostracin. Basta observar que 1r2 : U(A) ~ K : ( a, a) ~ a es un
homomorfismo sobreyectivo cuyo ncleo es A0 y por consiguiente, los ideales
primos de U (A) que contienen a A0 estn en correspondencia biyectiva con
los ideales primos de K. Como U (A) tiene unidad, Spec(U(A)) es compacto y
por lo tanto, la compactacin de Spec (A) es SpecAo (U (A)) como subespacio
de Spec(U(A) ).
D
Por el Teorema de Correspondencia aplicado al homomorfismo 1r2, defi
nido en el teorema anterior, se obtiene que los ideales primos de U (A) que
s contienen a A0 son de la forma A x P, donde P es un ideal primo de K.
Algunos de estos ideales son los puntos adicionales en la compactacin de
Spec (A), dependiendo de si son o no adherentes a Specs (U (A)).
Si K es un campo y A es una Klgebra no espectralmente compacta,
entonces el nico ideal primo de K es O y por lo tanto, Spec ( U (A)) es una
compactacin de Spec (A) por exactamente un punto: A0.

2.3.

SOBRE

30LA

COMPACTACIN

ADJUNCIN
DE CAPTULO
UN ANILLO 2. DE
POLINOMIOS. DE UNIDAD

VS COMPACTACIN
30

Nota 2.7. Puesto que todo anillo es una Zlgebra y Spec (Z) es enume
rable, se tiene que para todo anillo A, Spe; (U0 (A)) contiene una compacta
cin de Spec (A) por a lo sumo enumerables puntos. Los puntos adicionales
en Spec (Uu (A)) son el ideal A0 y los ideales de la forma A x pZ, para ca
da nmero primo p. Cuando A es un anillo no espectralmente compacto,
de caracterstica p, donde p es un nmero primo, se tiene que A es una
Zp"lgebra y por lo tanto, Spec (UP,.., (A)) es una compactacin por un pun to
del espectro primo de A. En particular, si B es un anillo de Boole sin
unidad, Spec (U2 (E)) es una compactacin por un punto de Spec (E). En
[2], Acosta y Galeano obtienen que en este caso, Spec (U2 (E)) es precisa
mente la compactacin de Alexandroff de Spec ( E) .
El siguiente teorema establece una condicin suficiente para que Spec ( U (A))
sea una compactacin de Spec (A).
Teorema 2.8. Si existe I E Spec(A) tal que I x {O} es ideal primo de U(A)
entonces Spees (U (A)) es un sub-espacio denso de Spec(U(A)).

Demostracin. Basta ver que cualquier ideal primo de U (A) que contiene a
A0 est en la adherencia de Specs (U (A)). Sea J un ideal primo de U(A)
que contiene a A0, entonces nSpecAo (U (A)) < I x {O} ~ A0 ~ J y por la
Propiedad 8 de la Seccin 1.2.1 se concluye que JE SpecAo (U (A)).
D
Corolario

2.9.

Si A es una K-lgebra y existe I E Spec(A) tal que I x

{O} es ideal primo de U(A) entonces Spec(U(A)) es una compactacin de

Spec( A) por I Spec( K) 1 puntos.
En la siguiente seccin se presenta un ejemplo que ilustra esta situacin.

2.3.

Sobre la compactacin de un anillo de po

linomios.

Vamos a generalizar al contexto de las Klgebras algunos resultados

presentados por Camacho en [22]. Mencionamos adems un ejemplo donde
se muestra que aunque la compactacin obtenida por el mtodo descrito en
la seccin anterior sea por un punto, esta compactacin no es necesariamente
la de Alexandroff.
30

30

Dados J( un anillo con unidad y A una Klgebra sin unidad notaremos

A { :r:} a la Klgebra sin unidad cuyos elementos son de la forma
n

a;xi

+ ajxj,

i=O

donde a, E A, aj E J(

j=I

y A [ x] al anillo usual de polinomios en la indeterminada x con

coeficientes en A. Se tiene que A [x] es una Ksublgebra de A { x}.

Si J( es un dominio de integridad y A es una K-lgebra

sin unidad, entonces

Teorema 2.10.

1. A [x] es un ideal primo de A { x}.

2. A [x] x {O} es un ideal primo de UK (A {x}).
Demostracin.
l. A [x] es un subanillo propio de A { x} y es claro que es absorbente para
productos por elementos de A {x}. Sean p (x), q (x) E A {x} A [x],
entonces existen a, /3 E J( - {O} tales que p (x) = PI (x) + axi, q (x) =
q: ( x) + (3xJ de modo que
p (x) q (x) = PI (x) qI (x)
donde G:/5 =/=O.Luego,

+ /3xjpI

(x)

p (x) q (.1:) E A {x}

+ axiqI

(x)

+ af3xi+j,

A [x].

2. Este resultado se obtiene de la siguiente cadena de isomorfismos,

tener en cuenta que J( [x] es un dominio de integridad.

UK(A{.1:})j(A[x]

{O})

ro-.,
ro-.,

al

UK(A{x}jA[x])
UK (xK [x])
J(

[x].

El primer isomorfismo es consecuencia de que A[x] es un ideal pri

mo de A { x} y para cada ideal primo I de un anillo A se tiene que
UK (A) j (1 x {O}) ro-., UK (Aj I) : basta considerar el homomorfismo so
breyectivo .f: UK (A) t UK (Aj!), definido por .f (a, a)= (a+ I, a),
cuyo ncleo es I x {O}.

El segundo isomorfismo es consecuencia de que A { x} / A [x] y xK [x]

son isomorfos. En efecto, basta considerar el homomorfismo sobreyecti

vo g , A { x) --+ z K [xi definido por 9 (

m

xI:a1x1-1,

tu

a.i.7i

jt

"Jx) ~

jt

n1.x ~

cuyo ncleo es A [x].

j=l

El ltimo isomorfismo est dado por h : UK (xK [x]) ----+ K [x] tal que
h ( xp ( x) , a) = xp ( x) + a.
D
Como consecuencia del Corolario 2.9 y del teorema anterior se obtiene el
siguiente resultado.
Corolario

2.11.

Si A es un anillo sin unidad, entonces Spec ( U0 ( A {

x}))
es una compactacin por enumerables puntos de Spec ( A { x})
.
Vamos a estudiar algunas relaciones entre los espacios Spec (A) y Spec ( A { x}) .
Con el fin de evitar confusiones notaremos D {p ( x)} los abiertos bsicos de
Spec ( A { x}) y como es usual, D (a) los abiertos bsicos del espectro de A.
El ideal generado por x en el anillo A { x} es el conjunto
(x) = { xp ( x)

+ ax

A { x} 1 p ( x) E A { x} ,

a E

K}
y sus elementos son precisamente
trmino independiente.
Proposicin

2.12.

Si

J(

los polinomios de A {.7:} que no tienen

es un anillo con unidad y A es una

entonces Spec ( A { x}) = D { x} U

( U
aEA

J(

-lgebra,

D {a}) .

Sea J E Spec ( A { :r}) \ D { :r:} . Tenemos que (.7:) ~ J,

de modo que todos los polinomios sin trmino independiente son elementos
de J. Si A ~ J entonces J = A { x} , lo cual contradice la primalidad de
J. Luego, existe a E A - J, de modo que J E D {a} y por consiguiente, J

Demostracin.

UD{a}.

aEA

Lema 2.13. Si K es un anillo con unidad y A es una ~ -lgebra, entonces

todo ideal primo 1 de A est contenido en un ideal primo 1 de A { :r:} , definido
por
J = {i + p(x) E A{x} i E I,p(x) E (x)}.
1

Demostracin. Claramente 1 es un ideal propio de A { x} que contiene a J.

Sean I' = a.+ p (:r:), Q = b + q (:r:) E A { :r:}. Si I'Q E Y, entonces oh E J, de
donde a E I b E I y por lo tanto, PE I Q E J.
D
Teorema 2.14. Sean K un anillo con unidad y A una K-lgebra sin unidad.
A { x} es espectralmente compacto si y slo si A es espectralmente compacto.
Demostracin. Sea A tal que A { x} es espectralmente compacto. Por la Pro
posicin 2.12, existen a1,a2, ... ,an E A tales que Spcc(A{.1:}) = D{x} U
D { ai} U ... UD { an}. Para cada I E Spec (A) considere I, como se defini
en el lema anterior. Si Y E D { ai} entonces se tiene que I E D ( ai), puesto
que I ~ J. Como I E Spec (A { x}) y x E I, se concluye que Spec (A) =
D (a1) U ... U D (an). Por lo tanto, Spec (A) es compacto, ya que D (a) es
compacto para todo a.
Por otra parte, supongamos que Spec (A) = D (a1) U ... UD (an). Sea J E
Spcc (A { x}) tal que x E J, es decir J /:. D { x}. Supongamos que a1, ... , an E
J. De la demostracin de la Proposicin 2.12 se sabe que existe a E A - J.
Se tiene que { al" : tri E N {O}} es un conjunto multiplicativo disyunto de
\ a1, ... , an) A luego, por el Teorema del Ideal Primo (Teorema 1.1) sabemos
que existe P, ideal primo de A tal que a1, ... , an E P, pero esto contradice que
Spec (A)= D (a1) U ... UD (an). As, JE D {ai} para algn i E {1, . . , n} y
entonces Spcc ( A {x}) = D { x} U
1 D { ai}) . Puesto que cada abierto bsico
D {p ( x)} es compacto, se concluye que A { x} es espectralmente compacto.

(9

D
Nota 2.15.
tenemos que
aunque Spec (
compac tacin

Si A es una T< lgebra espectralmente compacta y sin unidad,

Spec ( UK ( A { x})) es una compactacin de Spec ( A { x})
A {x}) es compacto. Por ejemplo, Spec ( U0 ( 2Z {x})) es una
por enumerables puntos de Spcc (2Z { x}) .

De los resultados anteriores se tiene que si A es una K lgebra sin uni

dad, entonces Spec ( UK ( A { x})) es una compactacin de Spec ( A { x})
por exactamente
ISpec ( T<)
puntos. En particular, si T< es un campo,
entonces Spec (UK (A { x} )) es una compactacin por un punto de Spec (A
{ x} ). El siguiente teorema muestra que esta compactacin no es la de
Alexandroff.
1

Teorema 2.16. Si K es un campo y A es una K-lgebra no espectralmente

compacta, entonces Spec(UK(A{x})) no es la compactacin de Alexandroff
de Spec (A {.:z:}).

2.4.

IDEALES
34 PRIMOS

KINVARIANTES.
CAPTULO 2.

Demostracin.

Sea JI=

ADJUNCIN

DE UNIDAD

VS COMPACTACIN
34

D {a}. Veremos que T = JI U { A { x} x {O}} es

a EA.

un abierto de la compactacin de Alexandroff de Spec ( A { x}) y no es un

abierto de Spec (UK (A { x})).
Puesto que Spec ( A { x}) = D { x} U H se tiene que He ~ D { x} . Como H
es abierto y D { x} es compacto tenemos que He es compacto, de modo que

T
es un abierto de la compactacin de Alexandroff de Spec (A { x}) .
Para ser precisos, hemos identificado a T con T = 1/J ( JI) U { A { x} x {O}} =
UD (a, O) U {A {.7:} x {O}}. Supongamos que existe (p (:r:), a) E UK (A {.7:})

a EA.

tal que A { x} x {O} E D (p ( x) , a) ~ T. Se tiene que (p ( x) , a) ~ A { x} x {O},

de modo que a i- O.
Llamemos J al ideal primo A [x] x {O} de UK ( A { x}). Se tiene que (p (x), a) ~
J, de modo que JE D (p (x), a). Pero, J ~ T, es decir, l) (p (x), a) T. En
efecto, si suponemos que JE t: existe a E A tal que ( a, O) ~ J, lo cual no es
posible ya que Ax {O}~ J. Luego, A {:r:} x {O} no es punto interior de T y
T no es abierto de Spec (UK (A { x})) .
D

2.4.

Ideales primos Kinvariantes.

Sean X un anillo con unidad y A una Klgebra. La funcin 1jJ : Spec (A) t
Spec ( UK (A)) nos sugiere la propiedad de ser K invariante para los ideales
primos de A. En esta seccin se estudiar dicha propiedad y se ver si su
definicin es independiente del anillo K.
Definicin 2.17. Sea I un ideal primo de la Klgebra A. Diremos que I
es J( invariante si T x {O} es un ideal primo de U K (A) .
Ntese que 1 es K invariante
A continuacin
ideales.

si y slo si 1jJ ( 1) = 1 x {O}.

mencionamos

algunos ejemplos y propiedades de estos

Ejemplo 2.18. Si consideramos A = IFk sabemos que su nico ideal primo

es 1 = {O}. En este caso, 1 x {O}= {(O, O)} no es un ideal primo de U0 (A),
es decir, {O} es un ideal primo de A que no es Zinvariante. En efecto, si
a, b i- O, con b E Z, entonces (a, O) (-b, b) = (-ab + ba, O) = (O, O). Notamos
adems que como (a, O) ~ I x {O}, entonces (-b, b) E 1jJ ({O}), para cada
b E Z.

Ejemplo 2.19. Consideremos IR (a), el cuerpo de fracciones del anillo de

polinomios en la indeterminada a, con coeficientes reales y su subanillo sin
unidad
B = { ~

i:]

E IR

(a) 1 Po

O} ,

donde, como es usual, los elementos de IR (a) se consideran completamente

modo
que de
si B puesto
E B, se
=JO.
1simplificados,
= {O} es un de
ideal
primo
quetendr
B no que
tieneq0divisores
de cero. Se
tiene que 1 x {O} = { (O, O)} es un ideal primo de U0 (B). En efecto, sean

~i:\

(:i:j, a) , Gi:\, p) E u (B)-{

Sin prdida de generalidad

p(a)
q(a)

As O=
'

(:\:],a) Gi:\, p)

(O, O)}, tales que

= (O, O).
supongamos que a = O, de modo que (3 =J O y

=
+ (3p(a)
q(a)
/3.9 (a). Pero

p(a) J(a)
q(a) g(a)

p(a) (J(a)+f3g(a))
q(a)
g(a)

'

de donde

J (a) +

(3g

(a) = O es

decir, .f (a) =
esto no puede darse puesto que [= O
Por lo tanto, {O} es un ideal primo Zinvariante de B.

'

=J -/390.

Proposicin 2.20. Sean I, J ideales primos de la K-lgebra A, tales que

T ~ J. Si J es J( -invariante entonces T es J( -invariante.

Demostracin. Puesto que rp ( 'ljJ (!)) = I, existen a E A y a E K - {O}

tales que ( a, a) E 'l/J(I). Como 'ljJ respeta el orden de inclusin, se tiene que
1/J (!) ~ 1/J ( J). As, ( a, a) E 1/J( J), donde ( o., a) (j_ J x {O} .
D
Proposicin 2.21. Si A es una K -lgebra, donde K tiene divisores de cero

entonces ningn ideal primo de A es K -invariante.

Demostracin. Existen a, (3 elementos no nulos de K tales que
cada ideal primo 1 de A se tiene que
(O, a) (O,

/3)

ap =

O. Para

(O, a/3) = (O, O) E J x {O},

de modo que 1 x {O} no es un ideal primo de U (A).

Proposicin 2.22. Si A es un anillo de caracterstica n

=J O,

entonces nin-

gn ideal primo de A es Z-invariante.

Demostracin. Sea I un ideal primo de A y sean a E I, b (j_ J. Tenemos que
(a, n) {j_ J x {O} y (b, O) {j_ J x {O} pero

(a,n) (b,O)

(ab+ nb,O)

(ab,O)

{O}.

Con el fin de ampliar algunas propiedades y ejemplos, vamos a introdu

cir los anillos que en este trabajo llamaremos seudo-regulares. Puesto que
estamos trabajando con anillos que pueden no tener unidad, para definirlos
vamos a debilitar la definicin de los anillos regulares de von Neumann, lo
que nos permite obtener una clase distinta de anillos.
Diremos que un anillo A es seudoregular si b E bA, para cada b E A.
Esta condicin que define los anillos seudoregulares es una de las once
condiciones consideradas por Gilmer en [32]; condiciones que, siendo equiva
lentes en anillos unitarios, no lo son en anillos sin unidad. All se presentan
otras formas equivalentes para definir los anillos seudoregulares, como son:
Para cada ideal I de A, AJ = I.
Si {x1, ... , xn} es un conjunto finito de elementos de A, existe y E A tal
que x;y = x;, para cada i.
Si I y J son ideales comaximales de A, entonces In J = I J.
Todos los anillos con unidad son seudo regulares, basta ver que si b E A
entonces b = bl E bA Tambin son ejemplos de anillos seudoregulares los
anillos regulares de von Neumann; en efecto, si b E J1 entonces, existe e E J1
tal que b = b2 e = b (be) E bA. En particular, los anillos de Boole son seudo
regulares.
Es fcil verificar que el producto de anillos seudoregulares tambin lo
es. Por otra parte, ntese que 2Z no es un anillo seudoregular puesto que
2 j 2:r:, para todo :r: E 2Z. Esto nos ilustra que la seudoregularidad no es
estable para subanillos, puesto que mientras Z es seudoregular, 2Z no lo es.

Proposicin 2.23. Si A es una K - lgebra y A es un anillo seudo-regular

entonces ningn ideal primo de A es K-invariante.
Demostracin. Sea I un ideal primo de A y veamos que I x {O} no es un
ideal primo de U (A). Tomemos z E A - I, entonces existe y E A tal que
X=

.:cy.

(-y, 1) (.7:, O)=

(-:r;y

+ :r:, O)= (O, O) E J

pero ni (x, O), ni (-y, 1) son elementos de I x {O}.

{O},
D

Ejemplo 2.24. Consideremos la Zlgebra A = 13 x Z, donde 13 es un anillo

de Boole sin unidad. A es un anillo seudoregular, en efecto: para (h, n) E A,
existe (b, 1) E A tal que (b, n) (b, 1) = (b2, n) = (b, n). As, por la proposicin
anterior se concluye que ningn ideal primo de A es Zinvariante.
El estudio de los anillos seudoregulares

ser retomado en el Captulo 5.

Puesto que un anillo A puede tener estructura de J{ lgebra para di

ferentes anillos unitarios K, en lo que resta de esta seccin veremos que la
definicin de ideal primo J{ invariante de A, no es independiente del anillo

K.
Proposicin 2.25. Si A es una J( - lgebra donde la caracterstica
O, entonces todo ideal primo K-invariante de A es Z-invariante.

de K es

Demostracin. Sean a, /3 E Z tales que (a, a) (b, /3) E I x {O}, de modo que
ab + ob + f3a E I y 0: 8 = O. Luego, a = O 8 = O.
Supongamos que /3 = O, entonces ab + ( alK) b = ab + lK ( ab) = ab + ob E I,
donde 1 K representa la unidad de K. As,
1

(a,

alK)

(b, O) E J

{O}

y por la hiptesis se tiene que ( a, alK)

E I x {O} (b, O) E I x {O}, entonces
a= O y (a, O) E I x {O} (b, O) E I x {O}. Por lo tanto, I x {O} es primo en

U0 (A).

Proposicin 2.26. Si A es una J{ -lgebra donde J{ es un campo de caracterstica O, entonces para cada I E Spcc ( J1) son equivalentes:
1.

I es I<-invariante.

2. I es Z-invariante.
Demostracin. Por la proposicin anterior, basta suponer que I x {O} es
primo en U0 (A). Supongamos que I x {O} no es primo en UK (A), es decir,
existen a E K, a i- O, a E A, h E A - I tales que ah+ ah E J. Luego,
a-1ab + b E I, de modo que ( a-1a, 1) (b, O) E I x {O}, lo cual contradice que
1 x {O} es primo en U0 (A).
D

Ntese que si 1 x {O} es primo en UI< (A), K no puede tener divisores de

cero y si 1 x {O} es primo en U0 (A), el anillo A debe ser de caracterstica
cero.
Por la Proposicin 2.21 sabemos que si A es de caracterstica n i= O,
donde n no es primo, entonces ningn ideal primo de A es Zninvariante. El
siguiente ejemplo nos muestra que esto no ocurre en el caso de caracterstica
pnma.
Ejemplo 2.27. Sea B un anillo de Boole sin unidad y consideremos el anillo

13 { x} es un anillo sin unidad y de caracterstica 2. Por el Teorema 2.10 de

la seccin anterior, se tiene que B [x] es un ideal primo de B { x}, tal que
B [x] x {O} es un ideal primo de U2 (B { x}), es decir, B [x] es Z2invariante,
pero por la Proposicin 2.22, B [x] no es Zinvariante.
El ejemplo anterior nos muestra que la definicin de ideal primo K invariante
de una Klgebra A no es independiente del anillo K.
A continuacin nos permitimos reenunciar el Corolario 2.9 en los trmi
mos de esta seccin.
Corolario 2.28. Si A es una K -lgebra y existe un ideal primo K -invariante
de A, entonces Spec( U (A)) es una compactacin de Spec( A) por Spec( J<)
puntos.
I

2.5.

Anillos de caracterstica no nula.

En esta seccin consideramos que A es un anillo de caracterstica n

y que ti = pf1 ... p':r{n, donde los Pi son nmeros primos distintos.

i=

Puesto que A es una Znlgebra, podemos considerar el anillo Un (A),

unitario y de caracterstica n, que contiene a A0 como ideal. Con base en
los resultados de la Seccin 2.2, sabemos que los ideales primos de Un (A)
que contienen a A0 son de la forma A x PiZn, para i = 1, ... , m., uno por
cada divisor primo den. Adems, Spec (Un (A)) contiene una compactacin

2.5.

ANILLOS
39 DE CARACTERSTICA

CAPTULO
NO NULA. 2.

ADJUNCIN

DE UNIDAD

39
VS COMPACTACIN

de Spec (A) por a lo sumo tri puntos. En particular, si ti = v" y A no es

espectralmente compacto, entonces S'pec (Un (A)) es una compactacin de
Spec (A) por exactamente un punto.
Por otra parte, A tambin es una Zlgebra, de modo
contiene una compactacin de Spec (A) por a lo sumo
tos. Nos proponemos estudiar la relacin que hay entre
ciones de Spcc (A) , una contenida en Spcc (Un (A)) y la
Spcc (U0 (A)).

2.5.1.
primos.

La

caracterstica

y los

que Spec (U0 (A))

enumera bles pun
las dos compacta
otra contenida en

ideales

Estudiamos la relacin que existe entre los ideales primos y la caracters

tica de los cocientes determinados por ellos.
Definicin 2.29. Sea A un anillo. Consideremos la funcin e : Spec (A) --+
N : 1 f---t car ( A/ 1) . Al nmero natural e ( 1) lo llamaremos la clase del ideal
primo J.
Esta definicin nos permite hacer una particin del conjunto de los ideales
primos de A, de acuerdo con su clase.
Proposicin 2.30. Si el anillo A no tiene divisores de cero, entonces la
caracterstica de A es cero un nmero primo.
Demostracin.
Supongamos que la caracterstica
{1 }, es decir, (m.s) a= O, para todo a E A.

z+ -

de A es ttis,

con

tri,

.s E

Como m < tris entonces existe a E A tal que ma i= O y de manera similar

existe b E A tal que sl: i= O. Ahora, (ma) ( sb) = nis ( ab) = O, pero esto es
contradictorio puesto que ma i= O y .sb i= O.
D
Corolario 2.31. Si el anillo A es de caracterstica n i= O, entonces la clase
de cada uno de sus ideales primos es un nmero primo.
Algunas propiedades de la funcin de clase e son presentadas
guiente proposicin.

en la si

Proposicin 2.32. Sea A un anillo de caracterstica ni= O y sean I, t;

ideales primos de A Entonces:
1. c ( I) divide a la caracterstica

de A.

2. c(I)A

<

1.

3. Si p es un nmero primo entonces pA ~ 1 si y slo si c (I) = p.

4.

Si t, ~

t.

entonces c(Ii) = c(h).

5. Si JE Spec (U0 (A)) y p es un nmero primo, entonces e (J) =psi

slo si (O,p) E J.

Demostracin.
l. Sea a+ 1 un elemento de Aj 1. Se tiene que ti (a+ I) = na+ 1 =
O+ 1 = 1, por lo tanto, e (I) es un nmero primo p menor que n.
Supongamos que p -f Pi, para cada i = 1, ... , ni. Luego, para cada i =
1, ... , m, existe a; E A tal que Pi (ai

+ I) -f

1. As,

I1

(Pi (ai

i=l

+ !))'"'

n (af1 ... a~"+ I) = 1, puesto que car(A) = n. Pero esto contradice que
Aj 1 sea un anillo sin divisores de cero. Luego, car(Aj I) = Pi, para
algn i = 1, ... , m.
2. Consideremos que c ( T) = p, con p nmero primo. Sea a E A, se tiene
que T = p (a+ T) = pa + T, luego pa E T.
3. Por la propiedad anterior, slo falta demostrar que si pA ~ 1 entonces
r: ( I) = p. Supongamos que pA ~ 1 y sea a. E A. Si pa. E 1 entonces
p (a+ I) = pa + 1 = 1, de modo que car (Aj I) = p.
4. Supongamos que e (Ji) = p, es decir, pA ~ 11. Entonces pA ~ 12, de
modo que e (12) = p.
5. p (O, 1) = (O,p) E J es equivalente

p=r:ar(U0(A)jJ)=r:(J).

a que p ((O, 1) + J) = J, es decir,

D

Ntese que si n no es primo, la ltima propiedad

consideramos el anillo Un (A) en el lugar de U0 (A).
Proposicin

2.33.

Si J es un ideal primo

tambin

de U0( A)

es vlida si

tal que :p ( J) =

T,
entonces e ( J) = e (I) .
Demostracin. Sean p = e (I) y a E A - 1. Se tiene que pA ~ 1, entonces
pa E 1. As, (a, O) (O,p) = (pa, O) E J y (O,p) E J. Por lo tanto, la clase de J
tambin es p.
D

Relacin entre Un (A) y U0 (A).

2.5.2.

Vamos a estudiar la relacin que existe entre dos compactaciones de

Spec(A): Spees (Un (A)) que es a lo sumo por tri puntos y SpecAo (U0 (A))
que es a lo sumo por enumerables puntos.
Recordando la nocin de adherencia de un subconjunto del espectro (Pro
piedad 8 de la Seccin 1.2.1), notemos que A0 y Ax pZ, donde pes nmero
primo que no divide a n. no son elementos de 8perA0 (U0 (A)) :

l. Veamos que (O, n) E nSpecA0 (Uu (A))=

IESpec(A)

1/J (!) : Si I E Spec (A)

entonces (O, Pk) E /) ( T), donde Pk = e ( T), para algn k = 1, ... , rri.
Luego, (O, n) E /J (!), pues Pk es un divisor de n.
2. (O, n) (/:_ A0 de modo que

IESpec(A)

1/J

(!) <J;. A0 y por lo tanto, A0

(/:_

SpecAo (Uo (A)).

3. Si pes un nmero primo que no divide a
por lo tanto, Ax p'll., (j_ SpecAa (Uo (A)).

tti,

ti

entonces (O, n) (/:_ A x pZ y

En consecuencia, los puntos adicionales en Spcc s ( U0 (A)) son a lo sumo

de la forma Ax Piz, donde i E {1, ... , m}.

e:

Notemos
'1l., + Zn el homomorfismo cannico al cociente. Definimos la
funcin p : U0 (A) + Un (A) : (a, a) H (a, (a)), la cual claramente es un
homomorfismo de anillos unitarios, ya que la caracterstica de A es ti. Como
p acta como la identidad en A0, por la propiedad universal del funtor U0
(Proposicin 1.13), se tiene que p es el nico homomorfismo de U0 (A) en
Un (A) con esta propiedad. Puesto que pes sobreyectivo se tiene que Un (A)
es un cociente de U0 (A) ; ms precisamente Un (A) ,.._, U0 (A) / ( {O} x nZ)
, ya que ker p = {O} x nZ.

Por otra parte, tenemos que Spec (p) : Spec (U11 (A)) + Spec (U0 (A)) : J
H p1 ( J) es una funcin continua. Vamos a notar con 1Pn y 1/Jo las inclu siones
de Spcc (A) en Spcc (Un (A)) y en Spcc (U0 (A)), respectivamente.
Proposicin

inyectiva.

2.34.

1/Jo

Spec (p)

1/Jn

y Spec (p) es

Demostracin. En primer lugar veamos que 1/Jo = Spec (p) o 1Pn Sea I E
Spec (A) . Es claro que ( a, a) E S'pec (p) ( 1/Jn (I)) es equivalente a p ( o., a)
E

1Pn (I). As, (a, e (a)) A0 ~ I x {O} y (a, e (a)) E 1/Jo (I). Pero esto es equi
valente a que (a, a) E 1/Ju (J), porque (O, n) E 1/Ju (J) y (a, a) = (a, e (a))+
t (O, n), para algn t E Z.
Como 1/Jo y 1/Jn son inyectivas, para terminar la prueba de la inyectividad de
Spec (p), resta considerar los ideales primos de Un(A) que contienen a A0. Si
p E {p1, ... , Ptn} entonces Spec (p) (A X pZn) = p1 (A X pZn) = A X pZ. D
Lema 2.35. Si J E im.Spec (p) entonces ( a, a
si y slo si (a, a+ >.n) E J, para todo>. E Z.
Demostracin.
Como
y por
entero
(a, a+

+ >.0n)

para algn >.0 E Z

Basta con verificar la implicacin no trivial.

JE itn.Spec (p) entonces e (J) = Pi, para algn Pi divisor primo de n

lo tanto, {O} x Piz C J. Sea >. E Z, entonces >. = >.0 + z para algn
z. Si ( o.. a+ >.0n) E J, entonces ( a, a+ >.n) = ( o.. a+ ( >.0 + z) n)
>.0n) + (O, zn) E J.
D

Teorema 2.36. Spec (p) es un homeomorfismo

gen.

entre Spec (Un (A)) y su ima-

Demostracin. Nataremos D ( a, a) los abiertos bsicos de la imagen de Spec (p)

como subespacio de Spec (U0 (A)). Para ver que Spec (p) es una funcin
abierta sobre su imagen basta observar que para cualquier (a, a) E Un (A) se
tiene que Spec (p) (D (a, a))= >.~zD (a, a+ >.n).
En efecto, J E Spec (p) ( n ( a, a)) si y slo si existe H E Spec (Un (A)) tal
que (a, a) r:j:_ H y p-1 (H) = J. Es decir, JE nSpu: (p) y (a, a+ >.n) r:j:_ J
para todo >. E Z, lo cual es equivalente a que J E D ( a, a + >.n) , para algn
>. E Z, por el lema anterior.
D
Corolario 2.37. Si A es un anillo de caracterstica
n = pf1 ... p~rn, entonces Spec s (Un (A)) y Spec s (Uo (A)) son compactaciones homeomorfas
de
Spec (A) por t puntos, donde t E {O, ... , m}.
Nota 2.38. Cuando en el corolario anterior se considera el caso particular
donde A es un anillo no espectralmente compacto de caracterstica n = p,
entonces la compactacin Spec s (U0 (A)) de Spec (A) debe ser por un nico
punto: A x pZ.

2.5.3.

Un ejemplo en caracterstica

6.

Sea A un anillo no espectralmente compacto de caracterstica 6.

Presentamos algunas observaciones generales sobre los ideales primos de
U6 (A) y un ejemplo para ilustrar que, dado un anillo no espectralmente
compacto A de caracterstica n = pf1 . p~n, aunque Spec(Un(A)) contie
ne una compactacin de Spec (A) por a lo sumo rn puntos (Teorema 2.6),
dicha compactacin no es necesariamente por todos los rn puntos; en otras
palabras, SpecA0 (Un (A)) no necesariamente es denso en Spec (Un (A)).
Vamos a identificar los ideales primos de U6 (A) que no contienen a A0.
Por las Proposiciones 2.32 y 2.33 sabemos que dichos ideales estn separados
en dos clases disyuntas, los que contienen a (O, 2) y los que contienen a (O, 3),
entonces se observa que ningn ideal primo de A es Z6invariante, como se
afirm en la Proposicin 2.21.
Sea P un ideal primo de U6 (A) que no contiene a A0. Llamamos

{(a, i) (a, i)
1

P}, para i

Pi =

.5

{O, 1, ... , 5} as, P = i~0Pi. Por el Teorema

2.3 se tiene que P0 = I x {O}, para algn ideal primo I de A. Consideramos

que 1r1 es la primera proyeccin de U6 (A) sobre A.
2.39. Si PE Spccs (Un (A)) y (O, 2) E P, entonces:

Proposicin

+ P0

1. Pi= (,i)

1 x {i}, para i par.

2. Si (j, O) E P0 entonces (j, i)

3. Si M =

1r1

ft.

(Pi), entonces Me
x {5}.

A = (O, 4) + A = Al

Pi, para i = 1, 3, 5.
A - T, P3 = (O, 2)

+ P1

= M x {3} y

Demostracin. 1) Es claro por ser P un grupo aditivo.

2) Sea (j, O) E P0 y supongamos que (j, i) E Pi, para i = 1, 3, 5. Por la parte
anterior se sabe que (j, i - 1) E P, entonces (O, 1) = (j, i) ii, i - 1) E P, lo
cual el absurdo.
3) Como consecuencia del punto anterior se tiene que JV! e A - T. Lo dems
es consecuencia de que P es un grupo aditivo.
D
Ntese que de esta proposicin no se deduce que M sea no vaco.
Proposicin

2.40. Si PE Specs (Un (A)) y (O, 3) E P, entonces:

43

43

1. P3

2. Si

ii, O)

(O, 3)

+ P0 =

I x { 3} .

E I'0 entonces (j, i)

I'i, para i = 1, 2, 4, 5.

3. Si JVJ =

7T1

(A) entonces, Me

4.

Si N =

7T1

(A) entonces, Ne A - I y Ps = (O, 3) +A=

entonces Pi =1- 0, para to o O

5. Si

=1-

A-

I y P4 = (0,3) +A=

JVJ x {4}.
N x {5}.

< i < 5.

6. I, M y N son disyuntos dos a dos.

Demostracin. 1) Se tiene por ser P un grupo aditivo.
2) Supongamos que (j, 2) E A. Como (j, O) E P0 se tiene que (O, 2) =
ii, 2) ii, O) E P, lo cual es absurdo. De manera similar si se considera que
(j, 4) E P4. Si (j, 1) E A entonces (j, 1)(j, O) = (O, 1) E P, lo cual contradice
que I' es propio. Anlogamente, suponer que (j, 3) E I':3 nos conduce a esta
contradiccin.
3) y 4) son consecuencia de 2) y de que P es un grupo aditivo.
5) Claramente P0 y A no son vacos. Para los dems, es consecuencia de la
adicin en P.
6) Es claro que I es disyunto de J\J y de N. Supongamos que a E JU n N, es
decir, (a, 1) E A y (a, 2) E A. Entonces, (O, 1) = (a, 2) (a, 1) E P, lo cual
es contradictorio.
D Ntese que los conjuntos 111 y N
podran ser vacos.
Sea R un anillo de Boole sin unidad. Consideremos el anillo A = R x Z3,
el cual es de caracterstica 6 y sin unidad. El espectro de A no es compacto
puesto que:

Spec(A)

Spec(B x '.2:3) ~ Spec(B)

Il Spec('.2:3),

donde Spec(B) no es compacto (ver [22]). Por el Teorema 2.6 sabemos que
Spec ( U6 (A)) contiene una compactacin de Spec (A) por a lo sumo dos pun
tos: A x 22':6 y A x 32':6.
Los ideales primos de A son B x {O} , pues {O} es el nico ideal primo
de Z3 y los ideales de la forma J x Z3, donde J es un ideal primo de B. Se
observa que B x {O} es de clase 3, puesto que A/ (B x {O}) ':'::' Z3 y que J x Z3

es de clase 2, ya que A/ (J x Z3) ~ Z2. Por otra parte, como consecuencia

de las Proposiciones 2.21 y 2.23 se sabe que ningn ideal primo de A es
Z6 invariante.
Vamos a exhibir explcitamente los ideales primos de U6 (A) que no con
tienen a A0.
Por las proposiciones 2.32 y 2.33 se obtiene que ((O, O), 3) E /J (B x {O}) y
( (O, O) , 2) E 1/J ( J x Z3) , para cada ideal primo J de B.
1.

Si P = 1jJ ( J x Z3) , donde J es un ideal primo B entonces, por la

Proposicin 2.39 se tiene que Pi = J x Z3 x { i} , para i = O, 2, 4.
Sea e E B - J, de modo que ((e, O), 2) /:. P. Como
((e, O), 2) ((e, O), 3)

= ((c2, O)+ 3 (e, O)+ 2 (e, O), O)

= ((e+ c,O) ,O)= ((0,0) ,O) E P

entonces, por ser I' un ideal primo debe tenerse que ( ( e, O), 3) E I'.
As, ((c,0),3)+((0,1),0)
= ((c,1),3)
E Py ((c,0),3)+((0,2),0)
((e, 2), 3) E P. Por lo tanto, Je x Z3 x {3} = P3.
Luego, Pi = Je x Z3 x {i},

para i = 1, 3, 5 (Proposicin

2.39) y se

obtiene que P = U Pi donde

i=O

, para z par
, para z impar.
Se puede verificar directamente que P es un ideal primo de U6 (A) , que
a su vez es maximal. Tambin se puede verificar fcilmente que P as
obtenido, es 1jJ (J x Z3) (Teorema 2.1).
2. Si P = 7jJ (B x {O}) entonces, por la Proposicin
pi = B x {O} x {i} para i = O, 3.

2.40 se tiene que

Consideremos a, b E B, se tiene que ( ( a, 2) , 3) /:. P. Como

((a, 2), 3) ((b, 1), 2) = (ab + 2a + 3b, 2 + 1 + O, O)

= ( ( ab + b, O), O) E P
entonces, por ser I' un ideal primo de U6 (A) , debe tenerse que ( ( b, 1) , 2) E
P. As, por la Proposicin 2.40 se tiene que B x {1} x {2} e A y
B x {1} x {5} e A.

Adems, ((b, 1), 2)+((b, 1), 2) = ((O, 2), 4) E P y ((b, O), )+((O, 2), 4) =
( (b, 2), 4) E I'. Por lo tanto, por la Proposicin 2.40, B x {2} x { 4} e I'4
y B x {2} x {1} e Pi.
.5

Se verifica de manera directa que el conjunto P = U Pi, donde

i=O

Pi =

( B x {O} x { i} , para i
~ B x { 2} x { i} , para i
B x { 1} x { i} , para i

O, 3
= 1, 4
= 2, 5
=

es un ideal maximal (y por lo tanto primo) de U6 (A). Ntese que

I = B x {O}, 111 = B x {2} y N = B x {1} como en la Proposicin 2.40,
son precisamente las clases del cociente ( R x '.2:3) / ( R x {O}) . Adems,
P as definido satisface la definicin de /J (B x {O}).
de A x 3'.2:6 podemos observar que

Ahora, examinando las vecindades

D (O, 1, 2) = {Ax 3'.2:6}, en efecto:
Claramente

(O, 1, 2) {j. A x 3'.2:6

(O, 1, 2)

Por lo desarrollado anteriormente,

1/J(B x {O}) {j. D(O,L2).
Si J E Spec (B),

se sabe que (O,

A x 2'.2:6.

(O, 1, 2) E 1jJ (B x {O}) y entonces

L 2)

E 1jJ ( J x Z3).

Luego, A x 3'.2:6 resulta ser un punto aislado en Spec (U6 (A)) y por lo tanto,
Specs (U6 (A)) = Spec (U6 (A)) - {Ax 3Z6} ~ Spec (A) U {Ax 2Z6}.
Por lo tanto, Spec (A) no es denso en Spec (U6 (A)) y Spec (U6 (A)) no es
una compactacin de Spcc (,1) por dos puntos. Sin embargo, Spcc (U6 (A)) s
contiene una compactacin de Spcc (A) por un punto.
Adicionalmente, vamos a presentar las siguientes observaciones con res
pecto al espacio Spec ( U6 (A)) de este ejemplo. Tenemos que

Spec(A)

8pec(B x Z3)

Spec(B)

Il Spec(Z

3),

donde Spec (B) es T2, por ser B un anillo de Boole y el nico punto de
S'pec(Z3) es aislado en Spec(A), puesto que D(0,1)
= {B x {O}}. Luego
Spec (A) es un espacio T2, localmente compacto y Spec ( U6 (A)) es un espacio

2.5.

ANILLOS

DE CARACTERSTICA

47

NO NULA.

T2. Por lo tanto, la compactacin SpecAo (U6 (A)) de Spec (A) por un punto,
es la compactacin de Alexandroff (ver [46]).
Ntese que:
Spec (Uti (A))

Spec s (Uti (A))

(Spu: (A))*

Il {Ax

(3)}

Il {Ax (3)}
( Spec (B) Il Spec (Z
Il {Ax (3)}
(Spec (E))* Il Spec (Z Il {A x (3)}
Spec(U (B)) Il Spec(Z Il {Ax (3)}

Spec (U2 (R) x Z2 x Z2),

~
~

3)

3)

3)

es decir, Spcc ( U6 ( J1)) es el espectro del anillo de Boole con unidad U2 ( B) x

Z2 x Z2. Luego, Spec ( U6 (A)) adems de ser compacto y T2 es totalmente
disconexo.
Con el desarrollo de este ejemplo apreciamos el siguiente resultado.
Proposicin

2.41.

Sean A un anillo de caracterstica

ti

-#

e 1 un ideal

de
A. Entonces
Demostracin. Claramente 1 x {O}
la caracterstica de A/ T es un primo
Znlgebra. Definimos,\: Un (A) --t
Se tiene que ,\ es un homomorfismo

es un ideal de Un (A). Adems, como

divisor de n, se tiene que A/ T es una
Un (Aj 1) por X (a, a)= (a+ 1, a).
sobre de anillos, tal que ker ,\
1 x

{O}.

Si en la proposicin anterior consideramos adems que 1 es un ideal primo

Zn invariante, entonces se observa que la caracterstica del anillo A debe ser
un nmero primo (Ejemplo 2.27).

Recuerde que X* representa la compactacin de Alexandroff de X.

En [2] se prueba que siendo B un anillo de Boole sin unidad, Spec (U2 (B)) es preci
samente la compactacin de Alexandroff de Spec (B).
2

47

48
48

CAPTULO 2.

ADJUNCIN

48

DE UNIDAD

VS COMPACTACIN