Escolar Documentos
Profissional Documentos
Cultura Documentos
Y D E LA UNICIDAD
J u a n J a c o b o Simón P i n e r o
D e p a r t a m e n t o de Matemáticas
U n i v e r s i d a d de M u r c i a
1992
EL P R O B L E M A D E L A CARACTERIZACIÓN Y D E L A UNICIDAD
por
Matemáticas p o r l a U n i v e r s i d a d de M u r c i a .
V°B° E l D i r e c t o r E l a s p i r a n t e a l g r a d o de doctor
Introducción 1
E l p r o b l e m a de l a caracterización 3
E l p r o b l e m a de l a u n i c i d a d 10
Capítulo 1. P r e l i m i n a r e s 19
1.2. L a c a t e g o r í a de módulos 23
1.5. E q u i v a l e n c i a s y c o n t e x t o s de M o r i t a 32
Capítulo 2. E q u i v a l e n c i a s de M o r i t a p a r a a n i l l o s i d e m p o t e n t e s 41
2.1. Introducción 42
idempotentes 44
2 . 3 . A l g u n a s c o n s e c u e n c i a s de l o s t e o r e m a s de M o r i t a 61
Capítulo 3. E l p r o b l e m a de l a caracterización 67
3.1. Introducción 68
3 . 2 . E l p r o b l e m a de l a caracterización p a r a g e n e r a d o r e s ^3
3 . 3 . E l p r o b l e m a de l a caracterización p a r a módulos
localmente libres 80
3 . 4 . E l p r o b l e m a de l a caracterización p a r a módulos
3 . 5 . A l g u n a s c l a s e s específicas de a n i l l o s 90
3 . 6 . Conexión e n t r e topologías de G a b r i e l p o r l a
i z q u i e r d a y topologías de a n u l a d o r e s p o r l a d e r e c h a 100
Capítulo 4. E l p r o b l e m a de l a u n i c i d a d 106
B i b l i o g r a f ía 165
I N T R O D U C C I Ó N
Los problemas de l a caracterización y de l a u n i c i d a d t i e n e n
c l a s e K.
2^ E l p r o b l e m a de l a u n i c i d a d . Sea M u n módulo de l a c l a s e
K
3J1, R e K, E = End( M). ¿Determina e l a n i l l o E unívocamente a l módulo
R
M y a l a n i l l o R ? De modo más g e n e r a l , ¿qué c l a s e de p a r e s (S,N) c o n
R
S G K , N G JII, s o n los que v e r i f i c a n End(^N) ^ E ?
2
E l p r o b l e m a de l a caracterización
método directo".
obtener el teorema.
sentido.
3
(a) E l empleo de l a s " c o n e x i o n e s de G a l o i s " . E n e f e c t o , dado
no n u l o de E c o n t i e n e a S; ( i i ) S i J es u n i d e a l p o r l a i z q u i e r d a c o n
4
M e ÍJl y E = End( M), es p o s i b l e d e f i n i r u n a topología sobre E que l o
R R
a n i l l o de e n d o m o r f i s m o s de M.
R
s o b r e E = E n d ( M) p o r m e d i o de n o c i o n e s q u e h a g a n r e f e r e n c i a solamente
R
c l a s e s K y OJl d i c h a s :
Un a n i l l o E es isomorfo a l a n i l l o de e n d o m o r f i s m o s E n d ( M)
R
para u n módulo libre M sobre u n D I P R, s i y sólo si E verifica las
R
condiciones siguientes:
c o n r e s p e c t o a £.
(3) Si e y f s o n i d e m p o t e n t e s p r i m i t i v o s de E , e n t o n c e s e E s f E .
d o m i n i o de i d c n l o s p r i n c i p a l e s .
c o i n c i d i r c o n l a topología f i n i t a .
c l a s e 3n f o r m a n l a menor c l a s e de a n i l l o s q u e c o n t i e n e a ÍK y es c e r r a d a
6
proporciona teoremas de caracterización p a r a las clases K y ÜH d i c h a s ,
Wedderburn r e s u l t a de a p l i c a r e l de M o r i t a a l a c l a s e K de l o s a n i l l o s
simples.
c l a s e 3Í. U n a extensión d e l t e o r e m a de M o r i t a , e l t e o r e m a de G a b r i e l y
i d e a l e s p o r l a i z q u i e r d a de E que c o n t i e n e a E = f E n d ( M) = { a 6 E |
O R
a s e f a c t o r i z a a través de algún módulo p r o y e c t i v o de t i p o finito }
(véase [26, Theorem 2.51). Llamemos a E "el anillo de los
o
endomorfismos f i n i t o s de M".
R
Existen p o r l o menos t r e s m a n e r a s a l t e r n a t i v a s de c o n s i d e r a r
7
la existencia de una equivalencia entre R-mód y E^-mód en el caso
presente memoria.
s e r c o n s i d e r a d o e n l o s Capítulos 3 y 4.
generadores): u n a n i l l o a r b i t r a r i o E es i s o m o r f o a End( M) p a r a M G JH
R R
endomorfismos f i n i t o s de M.
R
8
problema es e l m i s m o a l que se e n f r e n t a Liebert: e l de identificar a
señalábamos.
c l a s e 311.
9
(2): existe u n a relación directa en e s t e caso entre l a iS-topología de
E y e l f i l t r o d e G a b r i e l 7 ; véase a e s t e r e s p e c t o e l T e o r e m a 3.6.1.
c o n t e n i d o s de e s t e capítulo más a d e l a n t e .
E l problema de l a unicidad
unicidad para la clase 311 de los módulos localmente libres sobre los
anillos LIF.
10
pregunta: ¿es c i e r t o que t o d o i s o m o r f i s m o de a n i l l o s End( M) ~ E n d ( N)
R S
para R, SeflKy M, Neüll está inducido por una equivalencia de
R S
categorías F:R-mód > S-mód y p o r un i s o m o r f i s m o F( M) = N? En
K S
u n i c i d a d en e s t e s e n t i d o "débil".
e q u i v a l e n c i a de M o r i t a e n t r e los a n i l l o s R y S.
El fundamento de n u e s t r a p r o p i a manera de a p r o x i m a r n o s a l
11
problema de la unicidad es la consideración de "propiedades de
5 : E n d ( M) > E n d ( N) es un i s o m o r f i s m o de a n i l l o s p a r a R, S 6 K, M ,
R S
N e 3H, e n t o n c e s l a s p r o p i e d a d e s de l a descripción de E^, al ser
" a b s t r a c t a s " serán i n v a r i a n t e s p o r i s o m o r f i s m o s , de modo q u e 5(E^) =
u n i c i d a d en s e n t i d o "débil" p a r a l a s c l a s e s K y 311.
i n d e s c o m p o n i b l e , l u e g o F ( R ) = ^S.
D e s d e l u e g o , no p a r a t o d a s l a s c l a s e s K y ÜR s e p u e d e obtener
12
solamente q u e t a l será el caso siempre que t e n g a m o s un teorema de
e q u i v a l e n c i a de M o r i t a . S i n embargo, s i Jíl es u n a c l a s e c o n t e n i d a en l a
fundamentalmente p a r a l o s r e s u l t a d o s d e l Capítulo 4.
p r o b l e m a de l a caracterización y e l c u a r t o , e l de l a u n i c i d a d .
13
Grothendieck -pues todas l a s categorías que aparecerán más adelante
a n i l l o s o c u p a n p a r t e d e l Capítulo 1.
caso conmutativo,
de c l a s e s (K,!II1) g e n e r a l e s ; en l o s t r e s casos K es u n a c l a s e a r b i t r a r i a
14
módulos proyectivos con un elemento unimodular no finitamente
g e n e r a d o P d a un p r o y e c t i v o c o n e l e m e n t o u n i m o d u l a r a l t o m a r u n a s u m a
a l o s a n i l l o s de e n d o m o r f i s m o s de l o s módulos de a l g u n a de e s a s clases
considera l a situación d e l t e o r e m a d e G a b r i e l - P o p e s c u , e n l a q u e , d a d o
15
términos de e l e m e n t o s idempotentes d e l a n i l l o de endomorfismos E, lo
G a b r i e l que u s a m o s en l a p r e s e n t e memoria.
u n a e q u i v a l e n c i a - d e subcategorías.
C o n s i d e r a m o s a continuación e l c a s o en q u e 311 es l a c l a s e de
los generadores sobre los anillos de una clase arbitraria ÍK. E n este
e s t e t i p o e n l a Proposición 4 . 2 . 9 .
16
los módulos localmente libres. Recuérdese que para la clase de los
p o r u n a e q u i v a l e n c i a de M o r i t a .
c a s o un t e o r e m a de u n i c i d a d . T e r m i n a m o s l a m e m o r i a r e v i s a n d o , a l a l u z
l o s módulos.
resultados.
17
Mi e s t a n c i a e n l a U n i v e r s i d a d de M u r c i a fue posible, durante
Departamento de Matemáticas de l a U n i v e r s i d a d de M u r c i a .
IR
C A P I T U L O 1
PRELIMINARES
1.1. C a t e g o r í a s d e G r o t h e n d i e c k y localización
se l e s l l a m a l o c a l m e n t e f i n i t a m e n t e g e n e r a d a s ( 8 3 , Capítulos IV y V ] .
U n a teoría de torsión en u n a c a t e g o r í a de G r o t h e n d i e c k G es
una pareja de s u b c l a s e s de o b j e t o s de G ( d e n o t a m o s a l a c l a s e de
e s c r i b i r e m o s M G G, p o r s e n c i l l e z ) t a l e s q u e :
(i) H o m g í T . L ) = O p a r a todo T e J y L e £.
( i ü ) S i H o m g C r . C ) = O p a r a t o d o T G 7 e n t o n c e s C e iC.
?.0
p a r a todo C G (T.
Sea {1,!¿) una teoría de torsión en la categoría de
Grothendieck G. Se conoce como objeto 7-inyectivo a aquel X e (T q u e
verifica que para toda sucesión exacta corta en la categoría G,
Se l l a m a u n a localización de X G G ( r e s p e c t o de u n a t e o r í a
i:(í/J > (^. i es f i e l y pleno, así que 6/!7 se puede identificar con
m i e n t r a s q u e a l l e v a c a d a o b j e t o X G G a u n E t a l que f : X > E es
A u n a c l a s e de o b j e t o s J de G se le l l a m a c l a s e T T F s i es a
21
de torsión (D,?) (una g r a n parte de la literatura sobre el tema
Z I > d(Z).
epimorfismo; y se conoce c o m o J ^ - c u a s i p r o y e c t i v o a a q u e l X t a l q u e p a r a
y sólo s i HonigíX.Z) = O.
son M - g e n e í a d o s ) que d e n o t a r e m o s c o n X . Se c o n o c e c o n e l n o m b r e de
M
generador de l a n u e v a c a t e g o r í a de G r o t h e n d i e c k G .
M
X e G; y H o m ^ ( M , M ) es i s o m o r f o a End^^íM).
L 2 . L a c a t e g o r í a de módulos
M p a r a e l o b j e t o M e R-mód. R e s e r v a m o s R ~ S p a r a l o s i s o m o r f i s m o s de
K
anillos (con o s i n u n o ) . S e a o-:R > S un isomorfismo de anillos,
m u l t i p l i c a t i v a ( x m ) f = (x(r)(mf)).
s u b c o n j u n t o de M . D e n o t a m o s (cuando c o r r e s p o n d a ) c o n ^ (X) a l a n u l a d o r
K
R e c h ( M ) = n < Núc f I f G H o m ( M , N ) ).
N R ' ' R
uno de l o s R-mótiulos p o r l a i z q u i e r d a s i m p l e s .
24
1.3. T o p o l o g í a s l i n e a l e s y localización
que:
(i) S i a e G está fijo entonces la correspondencia x i > a+x
es u n h o m e o m o r f i s m o ; por lo tanto
( i i ) U es v e c i n d a d de a s i y sólo s i U - a es v e c i n d a d d e l c e r o ; y
c o n j u n t o ^ de v e c i n d a d e s d e l c e r o , que v e r i f i c a :
(a) S i U e y y U e V e n t o n c e s V e ? .
(b) S i U , V e 9= e n t o n c e s U n V e ? (es d e c i r , 3= es u n f i l t r o ) .
(c) P a r a t o d o U G ? , e x i s t e V G t a l que V + V c U .
Recíprocamente, s i G es u n g r u p o abeliano y ^ un f i l t r o de
(c') Para t o d o x G R y U G 3= e x i s t e V G 3= t a l q u e x V c U y
Vx c U.
(d') P a r a t o d o U G 3 e x i s t e V G 3 t a l q u e V « V c U.
Recíprocamente, si 3 es u n f i l t r o de s u b c o n j u n t o s de R q u e
Z5
entonces existe u n a única topología q u e h a c e de R un a n i l l o topológico
con ^ c o m o e l c o n j u n t o de v e c i n d a d e s d e l c e r o .
verifica
topología ( l i n e a l ) p o r l a i z q u i e r d a s o b r e e l a n i l l o R .
además,
I G ? (831.
[83, T h e o r e m VI.5.1):
(1) L a s topologías de G a b r i e l p o r l a i z q u i e r d a de R.
( 2 ) L a s t e o r í a s de torsión h e r e d i t a r i a s en R - m ó d .
(3) L o s r a d i c a l e s e x a c t o s p o r l a i z q u i e r d a en R - m ó d .
idempotente) I entonces a 3^ l a l l a m a r e m o s l a t o p o l o g í a de G a b r i e l a la
objetos l o s l l a m a r e m o s I - c e r r a d o s , en l u g a r de 3 ^ - c e r r a d o s .
26
amplio de la topología general que recibe el nombre de espacios
C a u c h y , éstas l a s a b o r d a m o s a continuación.
(D,^) es u n c o n j u n t o d i r i g i d o . S i Y £ X y ^ ( D ) Q Y , s e d i c e q u e l a r e d
de (p s i p a r a t o d a v e c i n d a d U , de x , <p está c o f i n a l m e n t e e n U .
U n a r e d de C a u c h y e n R es u n a r e d , s i e m p r e s o b r e D , t a l q u e p a r a todo
27
d ,d e D', <p{d )-(p{d ) 6 I . Nótese que p a r a d e f i n i r r e d e s d e C a u c h y
1 2 1 2 d
siempre s e u s a u n c o n j u n t o que i n d i q u e a l o s i d e a l e s y q u e t e n g a e l
preorden definido anteriormente. Diremos que R es c o m p l e t o respecto a
además, t o d a r e d d e C a u c h y r e s p e c t o de converge
1.4. L a c a t e g o r í a d e módulos s o b r e a n i l l o s s i n u n o
idempotente.
conmutativa.
Vamos, pues, a ver algunas convenciones y resultados
c u m p l e q u e I x = O i m p l i c a x = O p a r a t o d o x e I. D e c i m o s q u e u n a n i l l o
I es s - u n i t a r i o p o r l a i z q u i e r d a s i x e Ix p a r a todo x G I. Un anillo
{x , . . . , x } de e l e m e n t o s de I e x i s t e un idempotente e G I t a l que e x =
1 n I
c a t e g o r í a u s u a l de módulos s o b r e a n i l l o s c o n u n o .
29
decir, W es l a m e n o r clase de torsión en I-MOD que c o n t i e n e a todos
l o s módulos de l a f o r m a X / X ^ . T e n e m o s
t a l e s que IX = O. P o r o t r a p a r t e , u n I-módulo p o r l a i z q u i e r d a X es u n
o b j e t o de ie s i y sólo s i Ix = O i m p l i c a x = O p a r a t o d o x e X .
D e m o s t r a c i ó n : S i IX = O e n t o n c e s , como I es i d e m p o t e n t e X= O y
p a r t e de i n m e d i a t o .
L e m a 1.4.2: l es C Q F - 3 .
D e m o s t r a c i ó n : C o m o I es i d e m p o t e n t e entonces, p o r lo a n t e r i o r , se
de i n m e d i a t o de [26, p . 196].
para D-codivisible.
30
Y I > lY. Sea I' = l/n^d). Obsérvese que I'S a(I), T e I-mód y
a(I) = a d " ) . S e a R = Endí^P) « End( a(I)) y 3= e l filtro de Gabriel
por l a izquierda correspondiente a l a t e o r í a de torsión s o b r e R-mód e n
la cual X es u n módulo de torsión si y sólo si I ( i a ( I ) ® X ) = O.
R R
Hom (1 a ( I ) , )
R ~
i'
a* ( H o m j ( i a ( I ) , _ ) )
c o r r e s p o n d i e n t e a categorías de G r o t h e n d i e c k .
31
1.5. E q u i v a l e n c i a s y c o n t e x t o s de M o r i t a
t i e n e l a e q u i v a l e n c i a . Permítasenos m e n c i o n a r l a s s i t u a c i o n e s :
subcategoría de G i r a u d de S-mód; es d e c i r , e l d i a g r a m a
S-mód
(donde es un f i l t r o
de Gabriel)
R-mód (S,3=)-mód
(3) L a e q u i v a l e n c i a e n t r e d o s subcategorías de G i r a u d
R-mód S-mód
de Gabriel)
32
subcategorías de Giraud son equivalentes a I-mód y J-mód,
R-mód S-mód
antes mencionadas.
33
f o r m a F ( C ) c o n C e G [83].
c o m o s e puede o b s e r v a r en e l s i g u i e n t e r e s u l t a d o :
(v) F s o ® _ y G s p ® _ (de f o r m a n a t u r a l ) .
R S
D e m o s t r a c i ó n : [6, T h e o r e m 22.1].
34
que P y P sean progeneradores, que End{ P) « S y End(P J « R y que
módulos q u e s u s t i t u y a n a l o s p r o g e n e r a d o r e s .
U n c o n t e x t o de M o r i t a está f o r m a d o p o r u n p a r de a n i l l o s R y
S y u n p a r de bimódulos M y N j u n t o c o n h o m o m o r f i s m o s de bimódulos
R S S R
aquí.
h o m o m o r f i s m o s de los contextos.
35
izquierda M, iiacetnos S = End( M) y N = Hom (M,R), junto con
R R
<_._>:M ® N > R t a l que <m,f> = f ( m ) y (_,_1:N o M > S t a l que
S R
j u s t o l a t r a z a de M e n R y l a de N e n S.
c o n t e x t o d e r i v a d o será ( R , S , M , N ) donde S = E n d ( M ) , N = H o m ( M , R ) y N
R R
es p r o y e c t i v o y f i n i t a m e n t e generado.
t e n e m o s l a situación:
36
Hom (M, )
R
R-mód S-mód
Hom^(N,_)
i •
Hom (M, )
R
( R , ? ) -mód (S,&)-mód
Hom^(N,_)
v e r i f i c a que los m o r f i s m o s n a t u r a l e s a s o c i a d o s c o n e l c o n t e x t o
f i e l e s y además, p a r a t o d o m e M , n e N , c u a l q u i e r a de l a s c o n d i c i o n e s
c o n s t r u y e n d o u n a "composición" a d e c u a d a [69, p . 3 9 9 ] .
comúnmente a l o l a r g o de e s t a m e m o r i a . U n c o n t e x t o de M o r i t a (R,S,M,N)
37
un contexto normalizado por la izquierda entonces es isomorfo al
contexto derivado de M y también a l de N. E l contexto d e r i v a d o de M
R s R
n o r m a l i z a d o s p o r l a i z q u i e r d a e n t r e R y S, y
C u a n d o un c o n t e x t o de M o r i t a es n o r m a l i z a d o p o r l a i z q u i e r d a
y sus ideales traza son idempotentes (caso muy frecuente en nuestro
trabajo) tenemos entonces que, si I, J son los ideales traza se
R S
i d e m p o t e n t e s , que e s t u d i a r e m o s en e l capítulo s i g u i e n t e .
38
j u n t o c o n u n a aplicación f : A x F x A > A c u y a acción d e n o t a m o s p o r
f ( x , a , y ) = x a y de t a l m a n e r a que:
(i) f es a d i t i v o e n c a d a v a r i a b l e .
[x,a]:A > A dados por [a.xKy) = yax y [x.aKy) = xay. Nótese que
n e c e s a r i a m e n t e c o n uno) c o n l a s r e s p e c t i v a s operaciones
Z , [ a , x l.I//3j.yjl = E,l«,x,p^y^l
y
I.[x,a l.i;y^.P^l = E , ; x ay^.p^)
c e r o y q u e A F A = A se l e s c o n o c e c o m o débilmente s e m i p r i m o s . Obsérvese
idempotentes.
39
<p^Jn<m,n'»{a) = (n)o^ (m)o(p, ( n ' ) ) ( a ) , y
AB AB BA AB
P r o p o s i t i o n 2 y 3].
40
C A P I T U L O 2
a n i l l o s I, J , i d e m p o t e n t e s .
42
contextos de M o r i t a p a r a e s t u d i a r l a teoría d e M o r i t a en e l caso de
a n i l l o s s i n uno a p a r e c e en u n a s e r i e de t r a b a j o s c o m o {52, 5 3 , 5 4 , 7 0 ,
71, 7 2 , 7 3 , 77, 7 8 ] que i n c l u y e n e l e s t u d i o de l o s c o n t e x t o s de M o r i t a
por medio de l a noción, r e l a c i o n a d a c o n e l l o s , de u n r - a n i l l o (véanse
las páginas 38-40). pn dichos trabajos, se obtienen diversas
c o n s e c u e n c i a s a p a r t i r dé l a e x i s t e n c i a de u n c o n t e x t o de M o r i t a p a r a
anillos I y J, con aplicaciones suprayectivas. En particular, se
prueba que si I y J , s o n Idempotentes y admiten un contexto con
aplicaciones suprayectivas, entonces 1-mód y J-mód son categorías
equivalentes [53]. E n 1521 y en 1781 se d e m u e s t r a que e l r e c í p r o c o es
también válido en el caso de que I y J sean s-unitarios [53] o
idempotentes y no d e g e n e r a d o s [781. en l o que s i g u e , se mostrará que,
de hecho, dicho recíproco se v e r i f i c a en el caso más general de los
anillos I, J idempotentes. La diferencia principal entre el caso en
que 1 y J son no degenerados y aquel en q u e s e suponen solamente
idempotentes, reside en que, en la primera situación, I y J son,
respectivamente, objetos de las categorías I-mód y J-mód, lo que
permite expresar a los funtores F, G, que definen la equivalencia
supuesta entre I-mód y J-mód mediante los funtores Hom y ®; en
de t o r s i ó n de I - M O D y J - M O D , que p r o p o r c i o n a n c o l o c a l i z a c i o n e s d e l o s
43
2.2. Equivalencias y contextos de Morita para anillos
idempotentes
E m p e z a m o s p o r r e c o r d a r l a noción de c o n t e x t o de M o r i t a q u e ,
entonces d a d o p o r u n s u b a n i l l o de S (no n e c e s a r i a m e n t e c o n u n o ) J de
c o n t e x t o de M o r i t a .
R e c o r d e m o s d e l a Sección 1.4 q u e I e s u n o b j e t o C Q F - 3 e n l a
r e s p e c t o d e l a c u a l c o n s i d e r a r e m o s l a colocalización.
n a t u r a l e s , p o r F s J«Homj(M,_) y G s I'Hom^íN.J.
(iii) M es J - g e n e r a d o y N es I - g e n e r a d o .
44
(iv) y s o n bimódulos u n i t a r i o s e i n d u c e n un c o n t e x t o de
P o r l o p r o n t o , c o n e s t o se e s t a b l e c e (i).
45
d e s c r i t a en l a página 2 9 . R e c o r d e m o s que y es c e r r a d a b a j o productos
d i r e c t o s y que I-mód es e q u i v a l e n t e a I - M O D / 7 (véase e l d i a g r a m a de l a
página 31). E n t o n c e s , es e q u i v a l e n t e a ( S , ^ ) - m ó d , d i g a m o s bajo
I*Homj(N,_):J-mód ) I-mód, E s t o p r u e b a ( i i ) .
46
Para probar que tfi es epimorfismo, sea x e M. Como M = TM,
tenemos que x = para algunas a^e I' y x^e M . Como <p e s
epimorfismo tenemos también que cada a^ tiene u n a expresión a.=
= íij,*^"j,'yj,^ P^^^ algunas u^^ 6 M y y^^ 6 N. E n consecuencia, x =
= ^/^jf^ji^'^i y entonces x = E,|ij,lyj,'Xjl así que x e M « I m *l> y
por l o t a n t o tenemos que M = M»Im ^. A p a r t i r de l a descripción d e l a
topología '§ d a d a en e l p r i n c i p i o de e s t a demostración, s a b e m o s que S J *
e s u n i d e a l m i n i m a l d e S c o n r e s p e c t o a l a p r o p i e d a d M ( S J ' ) = M y así
tenemos q u e M(S«Im Í^) = M y p o r l o t a n t o S ' I m \jt = S J ' . C o m o J ' es
idempotente entonces J ' I m tli = Im y a que J ' ( N «^.M) = N ®j,M y en
consecuencia J * = J ' S J ' = J'SIm ^ = J ' I m ^ = Im i ^ , a partir de lo
c u a l , vemos que <Ji es e p i m o r f i s m o .
Hasta este momento hemos probado que si I-rnód y J-mód son
categorías equivalentes entonces existe un contexto de Morita
(r,J',M,N) c o n m o r f i s m o s s u p r a y e c t i v o s . L o que se hará en a d e l a n t e es
construir un nuevo contexto (I,J,P,Q) que también tenga morfismos
suprayectivos.
conmutativo:
-> M -> O
-> L / t j { L ) > O
47
s Hom^íP,!). El primero de estos isomorfismos nos permite dotar a P
bimódulos.
e l c u a l l l e v a x € M a ^ ( x ® y ) . P o r lo que a c a b a m o s de i n d i c a r a c e r c a de
que se v e r i f i c a que e l s i g u i e n t e d i a g r a m a es c o n m u t a t i v o
P ^ I
P c
a
y
M ^ I/a (I)
O O
e s t e o t r o d i a g r a m a es c o n m u t a t i v o :
^ I
O O
48
y <p' es única respecto a esta condición. Ahora bien, hagamos X =
IX + la^íl) = IX = I y e n c o n s e c u e n c i a \m <p' = 1 .
P o r o t r o l a d o , c o m o N «^.M = N podemos c o m p o n e r e l m o r f i s m o
Tómese, p u e s ,
De m o d o s i m i l a r , podemos a h o r a t o m a r l a colocalización, de ^ N ,
M o r i t a c o n m o r f i s m o s suprayectivos. E s t o p r u e b a (iv).
I-mód. E s t o c o n c l u y e l a demostración.
49
ejemplo).
e x i s t e u n c o n t e x t o de M o r i t a ( I . J . P . Q ) c o n e p i m o r f i s m o s
( i i i ) H a y i s o m o r f i s m o s de bimódulos i n d u c i d o s ,
c o r r e s p o n d i e n t e s t e o r í a s de torsión.
c a d a u G P, w G Q tenemos:
que l o s o t r o s t r e s c a s o s s o n s i m i l a r e s . T o m e m o s a p a r a y e Q como en
50
w(u^) 6 Q.
de q u e l o s a n i l l o s I y J s e a n no d e g e n e r a d o s es e q u i v a l e n t e a que los
módulos s e a n l i b r e s de torsión.
l a s i g u i e n t e generalización:
unitarios. Entonces:
es u n e p i m o r f i s m o c o n núcleo de torsión.
( i i ) E l h o m o m o r f i s m o canónico de J-módulos p o r l a i z q u i e r d a
e s u n e p i m o r f i s m o c o n núcleo de torsión.
D e m o s t r a c i ó n : E n v i s t a de que l o s a r g u m e n t o s de e s t a demostración
s o n b a s t a n t e típicos, sólo v a m o s a d a r u n e s q u e m a de l o s m i s m o s .
(i) D e f i n i m o s ¿ de l a s i g u i e n t e m a n e r a : S i x e P, a € J ' H o m ^ C U . K )
v e r q u e | es u n I - h o m o m o r f i s m o .
A h o r a v a m o s a p r o b a r q u e Núc ^ es u n módulo de t o r s i ó n ; e s d e c i r ,
51
= 0.
t e n e m o s q u e I«][]jX^®a^= O.
p e l-Homj(P,U)-I,
es s u p r a y e c t i v a e s t a b l e c e que f es s u p r a y e c t i v a .
= ( u y ) z , p a r a u e P, y e J « H o m ( P , l ) , z e X . S i t o m a m o s X = U entonces
torsión y e n c o n s e c u e n c i a o b t e n e m o s un d i a g r a m a c o n m u t a t i v o en J - M O D
52
J'Hom ( P , I) ®U® L = > J«Hom ( P , U ) « J ® L >0
I I J I J
torsión.
(ii) L o s f u n t o r e s
s o n e q u i v a l e n c i a s i n v e r s a s de categorías.
(iii) L o s funtores
s o n e q u i v a l e n c i a s i n v e r s a s de categorías.
mód-J d e u n a m a n e r a s i m i l a r a ( i i ) y ( i i i ) .
53
a'P = O. Como P = I«P es claro que a e £^(1) implica que a « P = O;
p a r a a l g u n o s x^e P, y^e Q. A h o r a , p a r a c a d a u e P t e n e m o s q u e
y p o r l o t a n t o Im 9 = E n d ( P j ) * I . L o s o t r o s c a s o s se s i g u e n d e u n modo
similar.
canónicos
(P®jJ«Homj(P,K))/tj(P®jJ«Homj(P,K)) s I.Homj(I/£j(l),K) s
S£ I«Hom (1,K) s K
y
(J ® L ) / t ( J ® L) s U/n (J) ® L ) / t (3/n. (J) ® L ) s J . H o m (P,P® L ) .
equivalencias inversas.
Proposición 2 . 2 . 3 , e l h o m o m o r f i s m o natural
54
tiene también núcleo de torsión. Como J'Hom^tP.X) es libre de torsión
completamos l a demostración.
idempotentes.
s o n c o d i v i s i b l e s y se t i e n e n l o s i s o m o r f i s m o s canónicos:
( i i ) E x i s t e n i s o m o r f i s m o s de bimódulos
( i i i ) F es n a t u r a l m e n t e i s o m o r f o a J « H o m j ( P , _ ) , y
G es n a t u r a l m e n t e i s o m o r f o a I*Hom^(Q,_).
(iv) F es n a t u r a l m e n t e i s o m o r f o a Q «i^_/t^[Q y
G es n a t u r a l m e n t e i s o m o r f o a P (S^_/t^[P
55
2.2.2, 2.2.4. Asimismo, de las Proposiciones 2.2.1 y 2.2,2 se sigue
que existe un contexto de Morita con morfismos suprayectivos
c a r a c t e r i z a c i ó n de e q u i v a l e n c i a s en e s t e c a s o .
N = F ( I ) . E n t o n c e s , M y N s o n bimódulos t a l e s q u e :
I = End(Mj)«I = I'End(_^N).
N= J«Hom^(M,I) s Homj(M,J)«I.
( i i i ) F es n a t u r a l m e n t e i s o m o r f o a J * H o m j ( M , _ ) y
G es n a t u r a l m e n t e i s o m o r f o a ¡ • H o m j ( N , _ ) ,
(iv) F e s n a t u r a l m e n t e i s o m o r f o a N ®j_/t^(N y
G es n a t u r a l m e n t e i s o m o r f o a M ®^_/t^(M
p a r a c a d a x e M , y e N : <x,y> = x y € I y l y , x l = <_,y>x e J . E n t o n c e s
(w®u)(y®x) = w®<u,y>x y s e t i e n e n i s o m o r f i s m o s de a n i l l o s
56
Un ejemplo de u n f u n t o r P o^/t^tP ®^) donde t^íP ® ^ ) no
es cero es e l s i g u i e n t e : S e a S un a n i l l o que no s e a n o e t h e r i a n o , R =
t i e n e Y ^ * O. Se puede p r o b a r de f o r m a d i r e c t a q u e X e G F l P ) s i y sólo
s i X es P - g e n e r a d o y H o m ( P , Y ) * O p a r a t o d o Y submódulo de X , o, l o
R
GF[P] = I-mód.
e x a c t a c o n K , L c o n j u n t o s >;
57
i m p o s i b l e . Así, t^íP no puede s e r c e r o .
t a l que:
e n I-mód y mód-J, r e s p e c t i v a m e n t e .
S i d i c h o bimódulo ^P^ e x i s t e , e n t o n c e s l o s f u n t o r e s
s o n e q u i v a l e n c i a s i n v e r s a s de c a t e g o r í a s .
Éstos s o n h o m o m o r f i s m o s de bimódulos q u e s a t i s f a c e n l a s c o n d i c i o n e s d e
v e r q u e <_,_> e s u n e p i m o r f i s m o p o r q u e P g e n e r a a I y P J = P . También
Q ®jP >J
2 . 2 . 4 ( i i ) s e deduce e l r e s u l t a d o .
59
categorías equivalentes.
e q u i v a l e n t e s c u a n d o I-mód y J-mód s e a n c a t e g o r í a s e q u i v a l e n t e s .
a n i l l o de e n d o m o r f i s m o s de u n p r o g e n e r a d o r de R-mód. C o n o b j e t o de d a r
d e r e c h a de A s i T « A = T y A « T = A.
módulos de l a c a t e g o r í a I-mód.
60
proposición y que J' es q-denso en A. Entonces el homomorfismo
2 . 2 . 7 , l o a n t e r i o r m u e s t r a que I y J s o n M o r i t a e q u i v a l e n t e s .
situaciones.
Cen(End(jl//ij(I))) Cen(End(jJ/a^(J))) y
Cen(End(jI/£j(I))) « Cen(End(jJ/£j(J))).
o t r o es c o m p l e t a m e n t e análogo.
n a t u r a l e s d e l f u n t o r i d e n t i d a d de I-mód e n sí m i s m o .
es u n a n i l l o con uno.
61
Para v e r que existe un isomorfismo de anillos con el anillo
•k
que asigna k i > (I/t^d) > I/n^íD-k). Nótese que, bajo esta
por l a izquierda.
(x*)
c l a r o q u e TJ^ s e r e s t r i n g e a K > x * K c K. P o r lo tanto, l a
familia {ri } es u n a transformación natural del funtor
K K G I-mod
i d e n t i d a d d e I-mód e n s í m i s m o .
Cen(End(jI/n d ) ) ) .
J-mód e n s í m i s m o .
I/a^d), I/£j(I) e I / T d ) s o n t o d o s M o r i t a e q u i v a l e n t e s .
C o m o c o n s e c u e n c i a d e e s t a proposición tenemos:
m
Proposición 2.3.2: Sean 1 y J anillos idempotentes, no
y sólo s i I y J s o n i s o m o r f o s .
r p " = r ' r . E s d e c i r , R es u n a n i l l o c o n m u t a t i v o .
e n S, T r ( N ) es e x a c t a m e n t e l a i m a g e n p o r <p de T r ( N ). P e r o sabemos
S S K R
que, p o r l a Proposición 2.2.1 y e l T e o r e m a 2.2.5, T r (N ) = J . P o r lo
K K
demostración.
63
ver explícitamente la conexión entre esta relación de equivalencia
e n t r e a n i l l o s y e s t a versión de l a teoría de M o r i t a .
D e m o s t r a c i ó n : L a p r i m e r a p a r t e es i n m e d i a t a p o r lo que v i m o s en
es e q u i v a l e n t e a T - m ó d y es e q u i v a l e n t e a T ' - m ó d .
64
describir este resultado, supongamos que I y J son anillos
{ A S I I A e s u n i d e a l de I t a l q u e l A I = A >
B I > I'yctJ/B*'))^.
obtiene c o n f a c i l i d a d s i se s u p o n e n a I y J n o d e g e n e r a d o s . En el caso
2.3.4 y los de [70, 71, 72, 731 para obtener que las siguientes
65
degenerados t a l e s que s o n M o r i t a e q u i v a l e n t e s . Entonces:
(i) I es primo (respectivamente semiprimo, primitivo por la
izquierda) si y sólo si J es primo (respectivamente semiprimo,
primitivo por l a izquierda).
r a d i c a l de Jacobson cero.
es.
Demostración: L a s propiedades de p r i m o y s e m i p r i m o s e o b t i e n e n de
también es d i r e c t o .
66
C A P I T U L O 3
E L P R O B L E M A D E L A CARACTERIZACIÓN
3.1. Introducción
endomorfismos E n d ( M) p a r a t o d o a n i l l o R de l a c l a s e K y t o d o módulo M
de l a c l a s e 311 (161.
generados.
que e n c a s i t o d a l a l i t e r a t u r a s o b r e el tema, p o r l a e x i s t e n c i a de u n a
algebraicas.
68
generador. E s n a t u r a l entonces que éste s e a u n o de n u e s t r o s p u n t o s de
partida.
de E , u n a topología de G a b r i e l p o r l a i z q u i e r d a d e s c r i t a e n f o r m a m u y
g e n e r a l y términos c a t e g ó r i c o s .
Teorema 3.1.1: S e a E u n a n i l l o y G u n a c a t e g o r í a de G r o t h e n d i e c k .
Son equivalentes:
S F - c e r r a d o y además, G es e q u i v a l e n t e a ( E , f )-mód.
inversas de c a t e g o r í a s . S e a M 6 G t a l que M ss G ( E ) y es c l a r o q u e ,
E s d e c i r , e s t a m o s e n l a situación:
69
E-mód
T = Hom^íM, _)
i
C > (E,3=)-mód
3". Este teorema, en principio, lo que nos dice es que, bajo las
es:
Hom-(M,_)
G > E-mód
70
3^-cerrado) y p o r q u e E « E n d g ( M ) . S¡ hacemos a M u n g e n e r a d o r , entonces
t e n d r e m o s que T = {O), L = G y M = M; así, t e n d r e m o s l a situación:
G > (E,y)-mód
F
? = y s E I MI = M }.
generador.
b a s t a n t e t a n g i b l e , pues se o b t i e n e c o n u n s o l o i d e a l .
P o d e m o s p a s a r a h o r a a l c a s o e n e l q u e G s e a u n a c a t e g o r í a de
v e r i f i c a n d o M = d ( M ) . E s t a m o s e n t o n c e s en l a situación:
71
donde E « E n d ( M) y ^ = < I s E | MI = M } está g e n e r a d o p o r u n i d e a l
tales que x = f«g con f:M > R" y g:R" > M. Debido a esta
endomorfismo de M t e n g a l a p r o p i e d a d de que s u i m a g e n e s t é c o n t e n i d a
f i n i t a m e n t e g e n e r a d o y t a m p o c o s o n únicamente a q u e l l o s c u y a i m a g e n es
c u a l q u i e r módulo l i b r e s i e l a n i l l o n o t i e n e c o n d i c i o n e s d e c a d e n a .
72
decir, si & y ? son respectivamente l a s topologías de Gabriel por la
i z q u i e r d a d e t e r m i n a d a s p o r I y J , t e n e m o s l a situación:
Hom (M, J
R
R-mód f- E-mód
Hom^<N,_)
Mom (M, )
R
( R , & ) - m ó d <- - { E , f )-mód
Hom^{N,_)
3 . 2 . E l p r o b l e m a de l a caracterización p a r a generadores
(b) E x i s t e n n e IN y e e IHn(E) i d e m p o t e n t e , de t a l m a n e r a q u e :
9- p a r a l a c u a l E e s ^ - c e r r a d o .
( i i ) elMn(E)e ^ R.
73
Aún más, en este caso, T r (E"e) = E « f E n d ( M) y los funtores
E O R
E H o m (M, ):R-mód > E -mód y M ® : E -mód > R-mód son
G R — o E " o
equivalencias inversas de c a t e g o r í a s ; además, Hom (Hom (M,R),_) y
M ® e n s u s r e s t r i c c i o n e s a ( E , E )-mód s o n n a t u r a l m e n t e isomorfos.
E~ o
i m p l i c a q u e H o m ^ ( M , R ) también es E ^ - c e r r a d o .
E H o m ( M , R ) . P o r lo t a n t o E H o m { M , R ) e s un p r o g e n e r a d o r p a r a E -mód,
0 R . O R O
p a r t i r de l a e q u i v a l e n c i a de c a t e g o r í a s e n t r e R-mód y E^-mód.
74
degenerado (de hecho E^x = O implica x = O para todo x e E).
es u n o b j e t o de E^-mód.
r e c o r d a m o s q u e t o d o K e E^-mód v e r i f i c a E ^ K = K n o s quedará c l a r o q u e
c o n c l u y e l a demostración.
75
El teorema anterior nos permite establecer una
biyectiva entre:
semilineal ^ : M > N, d e t a l m a n e r a q u e e l d i a g r a m a :
E X — > End( M)
Endí N)
u n i d e a l i d e m p o t e n t e de E , E es T - c e r r a d o y 8 : ( E , T ) - m ó d — — > R-mód es
e q u i v a l e n c i a de c a t e g o r í a s i n d u c i d a p o r <p, e l d i a g r a m a
76
(E,T)-mód > R-mód
ip (isomorfismo)
R'-mód
es conmutativo.
generado y proyectivo.
e s u n E-módulo p o r l a i z q u i e r d a p r o y e c t i v o y f i n i t a m e n t e generado.
E l i s o m o r f i s m o e n t r e (5) y ( 2 ) es t r i v i a l .
inmediatos.
77
[69, Theorem 31 t e n e m o s u n a e q u i v a l e n c i a de c a t e g o r í a s entre R-mód y
(E,T)-mód. Finalmente, si (R,E,P,Q) y (R',E,P',Q') son contextos
i s o m o r f o s entonces en p a r t i c u l a r P = P*.
E ^ - c e r r a d o no es s u p e r f l u a . E n [97) podemos e n c o n t r a r a n i l l o s , R, E y
A s i m i s m o , t a m p o c o es condición s u f i c i e n t e [691.
como E-módulo p o r l a i z q u i e r d a s u a n i l l o de e n d o m o r f i s m o s es E . S i R
78
Corolario 3.2.4: Sea M un generador, E = End( M), E = fEnd( M).
R R o R
E es f i e i s i y sólo s i M es s i n torsión.
E o R
P e r o c o m o M es g e n e r a d o r , deberá o c u r r i r q u e R e c l i (R) = O.
de l o s d o s l a d o s . E n [22, T i i e o r e m 5) se e s t a b l e c e que p a r a un a n i l l o R
v e r i f i c a que f E n d ( M) s e a s - u n i t a r i o p o r l a d e r e c h a .
P r o p o s i c i ó n 3 . 2 . 5 : S e a R u n a n i l l o c o n u n o , M u n R-módulo p o r l a
i z q u i e r d a g e n e r a d o r y E s u a n i l l o de e n d o m o r f i s m o s . Son equivalentes:
esenciales.
esenciales.
(d) e s J]~2ititogenerador.
(e) M es autogenerador.
79
(f) S i N ' e mód-E es submódulo simple esencial de N e mód-E
e n t o n c e s H o m ( M , N ' ) = O i m p l i c a H o m (M.N) = O.
E^-generados.
(h) ( E ) es autogenerador.
(i) ^(E/E^) es p l a n o .
(j) E ^ e s s - u n i t a r i o p o r l a d e r e c h a .
D e m o s t r a c i ó n : E s u n a aplicación i n m e d i a t a c o m o c a s o p a r t i c u l a r de
XI.3.13].
a n i l l o de e n d o m o r f i s m o s s e a r e g u l a r e n e l s e n t i d o de V o n N e u m a n n [98,
p. 111.
libre.
f a m i l i a d e u n i d a d e s l o c a l e s de m a t r i z de I c o n s i s t e e n :
(i) U n c o n j u n t o d i r i g i d o A .
{e"j> d e e l e m e n t o s de I, c o n i , j 6 <l,...,n(a)}.
e l e m e n t o f „ d e I.
(a2) r = r ; f = e".
(a3) S i a á P e n t o n c e s e'^e = e " , y
U P IJ
(a4) P a r a t o d o x e I, e x i s t e a G A t a l q u e x = x e .
52].
81
L e m a 3 . 3 . 3 : S e a I u n a n i l l o ( s i n uno). S o n e q u i v a l e n t e s :
(a) I posee u n a f a m i l i a de u n i d a d e s l o c a l e s de m a t r i z .
que v e r i f i c a n :
( b l ) l u ^ s l u ^ p a r a todo n,v e A.
i G {1 n).
(bl).
que {a , . . . , a } ( e s t o es p o s i b l e en v i s t a d e q u e A e s u n c o n j u n t o
1 n
d i r i g i d o ) . E n t o n c e s , p o r (a3) e e_= e p a r a todo a , i = l , . . . , n , y
"i ' " i '
82
en consecuencia x e_= x para todo i = l,...,n. Sabemos que
I fi I
e = Y^^^^e^ y que {e }"^^^ es u n c o n j u n t o de e l e m e n t o s idempotentes
n(l3)
ortogonales d o s a d o s . H a c i e n d o ¡1= 0 , j ) , t e n e m o s que { " j j } j ^ j = ^
x= EpXjU^ p a r a c a d a i = l , . . . , n . E s t o p r u e b a (b2).
(b=>a) S e a L = { F S A | F es f i n i t o y {u } ^ ^ es u n c o n j u n t o d e
e l e m e n t o s i d e m p o t e n t e s o r t o g o n a l e s d o s a d o s >.
para algunas F ' e [F] y G'e (Gl (obsérvese que si vale para una,
i d e m p o t e n t e s o r t o g o n a l e s d o s a d o s . C o m o {u ) ^ p U {u } ^ p es u n
t a n t o , A es u n c o n j u n t o d i r i g i d o . E s t o p r u e b a ( i ) .
de e l e m e n t o s d e F . C o n s i d e r e m o s c u a l q u i e r u 6 {u ) . y l a dejamos
83
condición de que si u = u^ para alguna pi^ e U ^ F ^ entonces
e " e^^ = ó e*" . Consideremos las igualdades e " e " = e " •«) (u ) =
U hk jh i k ^ i j hk i j V n / 11/
h k n
demostración.
84
consecuencia, salvo isomorfismos, el anillo Endí^le^^ no varía.
Asimismo, End(jle"^) « End(jlu^) para cualquier M e A porque lu^s l u ^
para todo pL,p 6 A. Así, i n d e p e n d i e n t e m e n t e de l a construcción de l a
familia de unidades locales de m a t r i z , se t i e n e , salvo isomorfismos,
también u n s o l o a n i l l o . E s t o nos p e r m i t e d a r l a s i g u i e n t e definición:
a End(jle^^) e l a n i l l o a s o c i a d o a l a f a m i l i a g .
clase de a n i l l o s .
(2) E c o n t i e n e u n i d e a l ( b i l á t e r o ) i d e m p o t e n t e E ^ t a l q u e :
(i) E ^ g e n e r a u n a topología de G a b r i e l p o r l a i z q u i e r d a e n E
de t a l m a n e r a q u e E es u n o b j e t o E ^ - c e r r a d o .
(ii) E ^ posee u n a f a m i l i a de u n i d a d e s l o c a l e s de m a t r i z , c o n
a n i l l o a s o c i a d o i s o m o r f o a R.
E « fEnd( M).
o R
(ii) Vamos a suponer que E = E n d ( M ) . C o n s i d e r e m o s entonces el
R
conjunto A cuyos elementos son los pares (K,T)-) = 5 tales que K es u n
o
s u m a n d o d i r e c t o de M , M = K©K', TJ^ es l a proyección c o r r e s p o n d i e n t e , y
e x i s t e u n i s o m o r f i s m o (p-.K > R. P a r a c a d a 6 6 A, tomemos u = TJ.Í,-
o o o o
donde l-.K > M e s l a inclusión canónica; así q u e {u_}_. . es u n
o o o e A
conjunto de elementos idempotentes de E ^ . P a r a cada pareja 6, n d e
elementos de A, podemos definir i ^ ^ =ri^ó^(f> i ; entonces pertenece
oji o o |i |J óp
85
a E y l a multiplicación por l a derecha por implica la existencia
o
de u n i s o m o r f i s m o E ^ u ^ s E ^ u ^ . y a que u^v^^= ^ S ^ S ^ S ^ Ó ^ M ' V ' ' s ^ ó V V
= •i}^é^<f>~^L (T) t ) »= - u . E s t o p r u e b a l a condición ( b l ) .
restricción a K ) .
A h o r a b i e n , p o r e l L e m a 3 . 3 . 3 tenemos que e x i s t e u n c o n j u n t o Í U g } ^ ^ ^
86
r e s t a p r o b a r que M es u n módulo l o c a l m e n t e l i b r e .
R
Para ello, sea <x , . . . , x > u n c o n j u n t o finito de elementos de M ,
I n
X j = ua^, c o n a^e E ^ . P o r la condición (b2) tenemos que existe una
3.3.2.
elemento unimodular.
B7
exposición [63].
p r o p i e d a d e s de E ^ .
P r o p o s i c i ó n 3 . 4 . 1 : E n l a situación d e l T e o r e m a 3 . 2 . 1 , se t i e n e :
E'"--^.-> F > O
„ „(l „ I —
E ®E = E <- O
o o
con M.
88
Proposición 3.4.2: En la situación del Teorema 3.2.1 con
donde a „ G E ; y . G E„.
d e c i r , e l c o n j u n t o ^íí^j^-^nj) v e r i f i c a l a p r o p i e d a d d e s e a d a .
tenemos por s e r E, E ^ - c e r r a d o .
P, de t a l m a n e r a que R p = R y R p es s u m a n d o d i r e c t o de P.
p r o y e c t i v o , E es u n o b j e t o EeE-cerrado, y R « eEe.
anteriores.
89
e l Capítulo 4).
3.5. A l g u n a s c l a s e s específicas de a n i l l o s .
caracterización.
son equivalentes:
l o s i d e m p o t e n t e s p r i m i t i v o s de E e n t o n c e s ,
(i) T es bilátero.
( i i ) E es T - c e r r a d o .
a d e c u a d o , donde l o s u ^ s o n o r t o g o n a l e s dos a d o s .
p r o y e c t i v o s c o m o i d e a l e s p o r l a i z q u i e r d a de E .
90
[93, P r o p o s i t i o n 1.5], Me es f i n i t a m e n t e generado, lo cual i m p l i c a que
e 6 E ^ . C o m o R es s u m a de R-módulos p o r l a i z q u i e r d a i n d e s c o m p o n i b l e s
entonces, al ser M localmente libre, está generado por módulos
R
T - m ó d . A h o r a , s e a u = u ^ c o m o en e l T e o r e m a 3 . 3 . 6 . C o m o E u = T u p o r q u e
u e T y E u es p r o g e n e r a d o r p a r a T-mód e n t o n c e s , s i K es u n o d e e s o s
T-mód; se obtiene así u n a sucesión escindida E u ' " ' > K > O en
i d e a l p o r l a i z q u i e r d a dfe E .
e s i s o m o r f o a E n d ( M) p a r a u n M l o c a l m e n t e l i b r e y R ~ u T u p a r a algún
R R
y R-mód d a d a p o r e l f u n t o r H o m ^ ( E u , _ ) , en l a c u a l T c o r r e s p o n d e c o n M
y T u c o n R. A h o r a b i e n , l a condición b ( i v ) n o s d i c e q u e t o d o subobjeto
91
módulos indescomponibles, pues Te^= Ee^ e l cual es indescomponible en
c o m p l e t a l a demostración.
son equivalentes:
(a) E x i s t e u n a n i l l o de K a s c h p o r l a i z q u i e r d a R , y u n R-módulo
endomorfismos Endí M) es i s o m o r f o a E.
R
(b) L a s s i g u i e n t e s c o n d i c i o n e s se v e r i f i c a n :
dos.
(ii) Si J es un ideal por la izquierda de E, maximal
2 l a p r o p i e d a d de no s e r denso, e n t o n c e s '^^.ÍJ) * O.
izquierda.
9?,
asociado). Como u Eu es de Kascii, si u Ju S u Eu entonces existe
a a a a a a
[83, Proposition Xl.5.11 O * x e u^Eu^ tal que "^^J'^j^x = O. Esto
S e a a h o r a J u n i d e a l m a x i m a l c o n l a p r o p i e d a d de no s e r denso.
Hom „ E / u J . u E ) * O y p o r l o t a n t o n. (J) * O.
n E u ^ t t a a ' ' ^ E
a a
(iii) Se desprende de que T = E^ y es el menor denso [83,
Proposition VL6.4].
93
Entonces, E n d ( ^ T ) es i s o m o r f o a l a n i l l o máxima! de c o c i e n t e s E ^ de E
izquierda.
S e a u E / K u n módulo s i m p l e y L = H o m ^ ( u E . K ) . Si L c J p a r a algún
T c L p o r q u e u L = K c u E . P o r lo t a n t o , L es m a x i m a l c o n l a p r o p i e d a d
n o e t h e r i a n o s y módulos l o c a l m e n t e libres.
los idempotentes p r i m i t i v o s c u a s i n o e t h e r i a n o s de E e n t o n c e s :
94
n o e t h e r i a n o s de E tenemos que e E e ' es n o e t h e r i a n o c o m o eEe-módulo p o r
la izquierda.
i d e m p o t e n t e e e E es c u a s i n o e t h e r i a n o s i y sólo s i e 6 E ^ .
S u p o n g a m o s p r i m e r o que e e E ^ . E n t o n c e s X = Im e es u n s u m a n d o
d i r e c t o de M f i n i t a m e n t e g e n e r a d o y en c o n s e c u e n c i a es u n R-módulo p o r
l i b r e f i n i t a m e n t e g e n e r a d o L , de M de t a l m a n e r a que x 6 L y L e L .
L n X L n X ; e n c o n s e c u e n c i a , podemos e s c o g e r algún o t r o e l e m e n t o x
2 1 3
y otro sumando d i r e c t o L , etcétera. P o r lo t a n t o , tenemos una cadena
3
ascendente de sumandos d i r e c t o s de M , L £ L £ ... £ L £ ... t a l que l a
1 2 n
cadena L n X £ L n X £ . . . £ L n X £ . . . no se e s t a c i o n a . S i denotamos
1 2 n
con e^ a l a proyección do M en L^ entonccrj l a cadeim Ee^£
£ E e £ ... £ Ee £ ... es t a l que e s t a o t r a E e n Ee £ E e n E e £ ... £
2 n ' 1 2
£ E e n E e £ ... no se e s t a c i o n a . E n consecuencia e n o es u n elemento
n
idempotente cuasi noetheriano.
idempotentes p r i m i t i v o s s i g u e n desempeñando u n p a p e l f u n d a m e n t a l .
95
Proposición 3.5,5: Sea R un a n i l l o s e m i p e r f e c t o y M u n R-módulo
K
está generado por idempotentes primitivos, del mismo modo que ocurre
bien, s i e e E es u n i d e m p o t e n t e p r i m i t i v o entonces Me es u n s u m a n d o
R-módulos p o r l a i z q u i e r d a p l a n o s s o n p r o y e c t i v o s .
sobre caracterización:
son equivalentes:
i z q u i e r d a , M l o c a l m e n t e l i b r e y p r o y e c t i v o t a l que E ~ E n d ( M ) .
R
(b) Si T es e l ideal por l a i z q u i e r d a de E g e n e r a d o por todos
96
los i d e m p o t e n t e s p r i m i t i v o s e n t o n c e s :
(1) T es u n i d e a l bilátero y E es T - c e r r a d o .
a d e c u a d o c o n t o d o s l o s u ^ o r t o g o n a l e s dos a d o s .
( i i i ) T es p r o y e c t i v o como i d e a l p o r l a i z q u i e r d a de E .
un a n i l l o l o c a l .
en c o n s e c u e n c i a M es p r o y e c t i v o en R-mód. Sólo n o s r e s t a p r o b a r q u e
R
p o r l a i z q u i e r d a s e m i p e r f e c t o . Fisto t e r m i n a l a demostración.
Proposición 3.5.8: Sea E un anillo. L a s s i g u i e n t e s condiciones
97
son equivalentes:
(a) Existe un anillo perfecto p o r l a i z q u i e r d a R, y u n R-módulo
por l a izquierda M, localmente l i b r e t a l que End( M) » E .
R R
(i) T es b i l á t e r o y E es T-cerrado.
de t a l m a n e r a que E u ^ - E u ^ p a r a c u a l e s q u i e r a a,(3 e A, y c a d a x e T s e
es p e r f e c t o p o r l a i z q u i e r d a .
D e m o s t r a c i ó n : Análoga a l a a n t e r i o r .
elemento unimodular.
2) S i J es e l r a d i c a l de J a c o b s o n de E entonces:
(a) J es n i l p o t e n t e .
p r i m i t i v o s e n t o n c e s T es bilátero, p r o y e c t i v o y E es T-cerrado.
98
3.5.8, T = es el ideal generado por todos los idempotentes
caracterización.
T = TeT = EeE.
R ~ e E e , P = e E . V a m o s a p r o b a r que R es s e m i p r i m a r i o . Í Y i m e r o , nótese
que e E e ~ End( Ee) y por [6, Corollary 17.12) tenemos que J(eEe)"s
t a n t o eEe/J(eEe) es s e m i s i m p l e y eEe es s e m i p r i m a r i o .
9íJ
3.6. Conexión e n t r e topologías de G a b r i e l por l a i z q u i e r d a y topologías
l i n e a l e s de anuladores por l a d e r e c h a .
c a s o p a r t i c u l a r ) q u e h a n d e p e n d i d o de c a d a c a s o c o n s i d e r a d o .
una cierta topología lineal por la derecha que tiene como base de
E de l o s " e n d o m o r f i s m o s f i n i t o s " ,
o
Este hecho sugiere que debe de haber u n a conexión más
100
t o p o l o g í a s d e G a b r i e l y l a s técnicas de localización correspondientes.
n(x , . . . , x ), p a r a x , . . . , x e T . E n t o n c e s :
£ 1 n 1 n
respecto a F.
r e s p e c t o a T.
recíprQco de ( i i ) también s e v e r i f i c a .
que x ^ a = O p a r a t o d o x€ T y e s t o s i y sólo s i T a = O i m p l i c a a = O y
U 2 U .
Tenemos q u e p r o b a r que tp c o n v e r g e e n E ; e s d e c i r q u e e x i s t e un a e E
r e s i d u a l m e n t e en U (páginas 27-28).
E n t o n c e s podemos h a c e r a ( x ) = x^JÍf), y e s t o p a r a c a d a x e T .
101
se tiene otro K' residual, como K n K' es nuevamente residual
función.
f e y p a r a y, existe K t a l q u e a ( y ) = y<p{g) p a r a t o d o g e K , y
Si h a c e m o s K = K n K n K entonces K es r e s i d u a l y p a r a todo f e K ,
X y x+y
a(x+y) = (x+y)(/)(f) = x(p(f)+y(p(f) = a(x)+a(y) pues f e K y f e K .
x y
o b t e n e m o s q u e a { b x ) = b a ( x ) . P o r lo t a n t o , a e s u n E - h o m o m o r f i s m o .
p a r a todo x e T , a ( x ) = x a .
a. E s t o p r u e b a ( i i ) .
y q u e E es d e H a u s d o r f f y c o m p l e t o r e s p e c t o a l a t o p o l o g í a F. Tenemos
102
que probar que E e s T - c e r r a d o . P o r (i) t e n e m o s que E es T - l i b r e de
e l e g i d o f i j o ( p o r e l a x i o m a de elección).
IQB
es u n a r e d d e C a u c h y .
demostración.
c o m o s e ve e n e l s i g u i e n t e ejemplo.
c o m p l e t o r e s p e c t o d e P p e r o no es T - c e r r a d o .
K K
Efectivamente, sea K un anillo de división, E =
o K
K K
T = . E s c l a r o que T es b l l á t e r o e i d e m p o t e n t e , así que podemos
O o
1 o' 0 0
definir la topología V. Obsérvese ahora que n. que
0 0 0 K
0 l' K K 0 1 1 0
n — y entonces n = O, p o r l o t a n t o V es,
E 0 0 O 0 0 0
? «
en este caso, l a topología d i s c r e t a y p o r e l T e o r e m a 3.6.1 tenemos que
104
son de Hausdorff y completos. Sin embargo, el E-homomorfismo
b O
a:T > T definido a través de l a c o r r e s p o n d e n c i a
o o O O
'o o
es justo la multiplicación por la derecha por el cual no
^1 o
a E , q u e d a n d o así e s t a b l e c i d o que E no es T - c e r r a d o .
1 o
Observación 3.6.3: Además de lo anterior, s i hacemos e =
o o
e n t o n c e s t e n e m o s u n a n i l l o E y u n i d e m p o t e n t e e e E de t a l m a n e r a q u e
cerrado, no p u e d a s e r a n i l l o de e n d o m o r f i s m o s de ningún o b j e t o de l a
de l a s d o s topologías p o es i n d i s t i n t o .
105
C A P I T U L O 4
E L PROBLEMA DE LA UNICIDAD
4.1. Introducción
e l l a se pueda c o n s t r u i r el isomorfismo.
D e m a n e r a más c o n c r e t a , u n p r i m e r p r o b l e m a d e u n i c i d a d p u e d e
c i e r t o que:
i s o m o r f i s m o ( r - s e m i l i n e a l <p:U > N.
véanse, entre otros, [11, 12, 16, 37, 45, 59, 63, 66). Sin embargo,
p r e g u n t a s serían:
107
F:R-mód > S-mód t a l que F( M) a N?
R S
a n i l l o s - y Jn es u n a de l a s t r e s c l a s e s que c o n s i d e r a m o s en e l capítulo
"sí".
hechos:
por l a izquierda.
(2) L o s g r u p o s a b e l i a n o s F ( M ) y R s o n i g u a l e s y F(M) s R.
R R
(3) Existe un adjunto por la izquierda G, para F, de t a l
isomorfismos.
IOS
isomorfismo) y la otra de R-mód I R . M ] = {X e R-mód | \p es
isomorfismo).
Homjy(GF(K),^j¡')
Homg(GF(K),K) Homg(GF(K),GF(K))
T(K),K F(K),GF(K)
Hom^(F(K),F(^"*))
R K
Hom^(F(K),F(K)) -> H o m {F(K),FGF(K))
K
Ahora tomemos a
^ e Hom-j.(GF(K),K). Vamos a hacer a 4>
te v.' Kfc
r e c o r r e r e l cuadrado. P r i m e r o tenemos:
.-i>
P o r l o t a n t o , ^ ^ - r i . ' i - ^^'^ ^"^^1 isomorfismo y en
c o n s e c u e n c i a F ( K ) e [R,M1.
109
noni(y(G(i/»^' ) , G ( X ) )
Homg(G(X) .G(X)) -) Homg(GFG(X) ,G(X))
Hom («/»•'.FG(X))
K X
Hom (X,FG(X)) -> H o m (FG(X) ,FG(X))
R R
,-1,
nos m u e s t r a que ^ Q j j ^ p *^^^x ^'
T e n e m o s e n t o n c e s e l d i a g r a m a de c a t e g o r í a s
R-mód
IMI IR.M]
En general, no hemos e n c o n t r a d o u n a d j u n t o p o r l a i z q u i e r d a
r e f l e x i v a s . Sólo s a b e m o s que s o n c e r r a d a s b a j o e p i m o r f i s m o s .
C u a n d o M es g e n e r a d o r p a r a 6 e n t o n c e s t e n e m o s e l T e o r e m a de
isomorfos.
x e Endí R) e n t o n c e s , s i x í l ) = p G R e n t o n c e s x = « p . Además, P 6 R y
R
FO) = «13 = X . Haciendo <f> = <P obtenemos el siguiente cuadrado
M
conmutativo:
4>
M a
e y S y o b j e t o s M € G y N e 3 t a l e s que R = End^^CM) y S = E n d ^ í N ) . P o r
respectivamente).
tenemos, a p l i c a n d o l o s f u n t o r e s , el s i g u i e n t e d i a g r a m a c o n m u t a t i v o :
111
G^(l®r)
G (S ® R) ^ G (S ® R)
2 R 2 R
G ((r(r))
G_(S) -> G,(S)
2
N
o-(r) ^ N
m o r f i s m o <r.
l o m i s m o e n e s t e c a s o . E n e s t e p u n t o , y a s a b e m o s cómo F y G i n d u c e n e l
notación s u p o n i e n d o R = E = S. T e n e m o s e n t o n c e s l o s f u n t o r e s F = G ^ o F ^
y G = G o F2 , y e l d i a g r a m a
E-mód
112
A la vista del diagrama, intuimos que, si denotamos
[ E , M n N l = [E,M] n l E , N l entonces esta nueva subcategoría en sus
imágenes, sean (M) y (N), hará de las restricciones de F y G
equivalencias inversas de categorías. Vamos a comprobar si esto es
cierto.
decir Vj^lg > GoF. Vamos a hacer una restricción; sea fM^ =
.-1
Como <p j. es isomorfismo entonces G ivO'^ ^ ~ -> G F F ( K )
1 2 1
es i s o m o r f i s m o . O b s e r v e m o s e l s i g u i e n t e c u a d r a d o c o n m u t a t i v o :
2 Fj(K)
F (K) -.F^G^F^(K)
2
1 F^(K) 1 F G F (K)
2 2 1
^^2 F(K)'
F^G^F^(K) F G F G F (K)
1 1 2 2 1
un
generadores entonces \¡i^p es monomorfismo esencial' para todo
nuestra clase.
= { K e [M] I l/'2p,(K) e^ I s o m o r f i s m o ) y
= { L e INl I ^ J P 2 ( L ) e^ I s o m o r f i s m o >.
generales. ,
V a m o s a h o r a a s u p o n e r que M e G y N e 3 s o n g e n e r a d o r e s y
Queremos a h o r a d e t e r m i n a r s i [ E , M n N l también es s u b c a t e g o r í a
114
p o d e m o s q u e d a r c o n l a p r i m e r a definición de (W y (N).
(G^(MJ)*J)-'G{S)(G^(M,)^,) = c--hs) y
(G^(p^)0p-'F(r)(G^(fx^)^P = o-(r)
p o r l a i z q u i e r d a de H o m g ( M , _ ) y H o m g ( N , _ ) respectivamente.
p r o p i e d a d de s e r e q u i v a l e n t e s b a j o F y G , y además, M G d ' y N G B * .
115
Hemos c o n s t r u i d o entonces l a situación:
E-mód
Homg(M,_) Homjj(M,_)
(E,?)-mód (E,&)-mód
continuación.
4,2. E l p r o b l e m a de l a u n i c i d a d p a r a generadores.
116
las categorías de módulos sobre los anillos base correspondientes son
m o s t r a r f o r m a s de construcción de ejemplos.
fEndí M) = S .
R 0
Como H o m (S ® S . S * ^ = S entonces [32, P r o p o s i t i o n 26.10] S = N
s o s o
también es un objeto S^-cerrado. Además, todo homomorfismo
117
Teorema 3.2.1 sabemos que R-mód y S^-mód son categorías equivalentes
Hom (M,_)
R Hom (N,_)
S-mód s ^ EndígN)-mód
Hom (M', )
R
Hom (S N,_)
o
R-mód
e s p a c i o v e c t o r i a l s o b r e R de dimensión i n f i n i t a , etcétera.
Morita.
118
N e S-mód son generadores con anillos de endomorfismos isomorfos
izquierda.
demostración.
generadores M, N y o b t e n i e n d o c o m o en e l T e o r e m a P y Q, a l h a c e r
R s R s
el recíproco no r e c u p e r e m o s a M y N . E s más, P y Q pueden s e r
R S R S
f orma:
120
El Teorema 7 de (69] y l a construcción de l o s g e n e r a d o r e s en
en términos categóricos:
que c o n t i e n e n a l o s a n i l l o s R y S.
d e R-mód y S-mód q u e c o n t i e n e n a R y S e n t o n c e s e x i s t e n g e n e r a d o r e s de
121
podemos c o n s t r u i r un contexto de M o r i t a n o r m a l i z a d o por l a izquierda.
P o r [69, T h e o r e m 7] se t i e n e n entonces l a s subcategorías deseadas.
c o n c l u y e l a demostración.
e n t o n c e s l o s c e n t r o s de R y S s o n i s o m o r f o s .
Hom^(Q,_) y r e n o m b r a r l o s c o n F y G .
F ( M ) > F ( M )
N ^ >N
a n i l l o s R y S.
s e End(^N).
de e n d o m o r f i s m o s isomorfos.
m o s t r a r e m o s q u e i n c l u s o c u a n d o se t e n g a n c a t e g o r í a s e q u i v a l e n t e s R-mód
categorías.
R y S y g e n e r a d o r e s M e R-mód y N e S-mód p a r a l o s c u a l e s s e t e n g a u n
Efectivamente, s e a A u n a n i l l o c o n uno y M e A - m ó d u n g e n e r a d o r
124
Morita del Teorema 4 . 2 . 2 es (eEe,fEf,eEf,fEe) y los ideales traza del
contexto s o n e E f E e = (A.K^) c ( A . K ) y f E e E f = (K^.A) c ( K . A ) . Por lo
tanto, los funtores Hom ^ (eEf,_) y Hom,^,(fEe,^) no pueden ser
equivalencias Inversas de categorías entre (A,K)-mód y (K,A)-mód.
Tomando R = eEe, M = eE, S = fEf, N = fE y c = 1 tenemos la
construcción d e s e a d a .
e l i s o n i p r f i s m o de l o s a n i l l o s . E n t o n c e s p o d e m o s a s e g u r a r q u e :
e s p e c i a l e s , e n e l s e n t i d o d e que s o n f u n t o r e s a s o c i a d o s a l c o n t e x t o .
de categorías.
125
C l a s e s de a n i l l o s que v e r i f i c a n u n i c i d a d .
c a t e g o r í a s b a j o d o s c r i t e r i o s (64, T e o r e m a 2 . 3 y T e o r e m a 2.7).
notación.
o c u r r a s i e m p r e que se t e n g a u n i s o m o r f i s m o E n d ( M) « E n d ( N) c o n M y
R S R
N generadores.
s
P a r a ello, vamos a comenzar definiendo l o que e n t e n d e m o s p o r
E n d ( M) es i s o m o r f o a End( N ) , l a i m a g e n de l o s e n d o m o r f i s m o s finitos
126
invariantes en g e n e r a d o r e s " (o a l g u n o s o t r o s módulos que consideremos)
s i c a d a g e n e r a d o r de R-mód posee l a m e n c i o n a d a p r o p i e d a d .
S-mód, o, e n o t r a s p a l a b r a s , l a e x i s t e n c i a de u n c o n t e x t o normalizado
e n t r e R y S i m p l i c a l a e q u i v a l e n c i a de c a t e g o r í a s .
l a notación d e l T e o r e m a 4 . 2 . 6 , P es u n g e n e r a d o r y E S E ' .
R 0 0
3 = { K £ R I I - K = I }. C l a r a m e n t e , I e 5 es e l i d e a l mínimo p o r q u e I
m u e s t r a que P es g e n e r a d o r p a r a R-mód ( p o r q u e I = R es s u t r a z a e n R )
127
y como (R.S.P.Q) es un contexto de Morita normalizado por la
a:JN > s " y p:S" > JN. Primero vamos a tratar de completar
diagrama
128
o o
afirmación q u e d a e s t a b l e c i d a .
S; f E n d ( ^ J N ) y de m a n e r a s i m i l a r , tomando a h o r a ^ = fEnd(^JN)-mód, se
generadores".
]?,9
Corolario 4.2.10: Sean R y S anillos con "endomorfismos finitos
invariantes en generadores" y M e R-mód y N € S-mód generadores con
anillos de endomorfismos isomorfos. Entonces, R-mód y S-mód son
categorías equivalentes y por lo tanto, en la notación del Teorema
4.2.2, P y Q son progeneradores. Además, E « E ' .
R S 0 0
Proposición 4 . 2 . 9 .
Isomorfismos semilineales
El que u n i s o m o r f i s m o , 5, e n t r e a n i l l o s de e n d o m o r f i s m o s de,
X e E n d ( M ) , se t i e n e q u e 5 ( x ) = y ' x ^ .
R
g r u p o de P i c a r d .
S e a n R , S a n i l l o s c o n uno y M
u n bimódulo. D e c i m o s q u e M
s R R s
es i n v e r t i b l e s i M ®^_:S-mód > R-mód es u n a e q u i v a l e n c i a de
c a t e g o r í a s o l o q u e es l o m i s m o s i e x i s t e N t a l que M ® N > R y
S R S
N ® M > S s o n i s o m o r f i s m o s de bimódulos.
R
En p a r t i c u l a r , cuando R = S, definimos el Grupo de Picard
130
(multiplicativo) como las clases de isomorfismos de bimódulos (es
conocida l l l , p.263].
M -4 M
-1 -1 es c o n m u t a t i v o , p a r a t o d o x e End(^M).
<P <P <P
<r(x)
N N
A s í , (p e s u n R - i s o m o r f i s m o a l a izquierda y un isomorfismo
= <r(x)((p"*of)s, donde f e H o m ( M , K ) , x 6 E n d ( M) y s G S.
R R
131
F(K) G K)
F(f) G(f)
F(L) -> C ( L )
es conmutativo.
e q u i v a l eenncdi a s c o n P = F~'(R)
F ~ ' ( R ) y Q = 'G ~ \ R ) entonces P s Q s i y sólo s i
R R
F es s ^ m i n a t u r a l m e n t e i s o m o r f o a G.
conmutativo:
Hom (P,R) H o m ( O , R)
R R
Hom (P,R) H o m ( Q , R)
R R
132
isomorfismo seminatural considerando todo a la derecha (o sea R )
R
tenemos un isomorfismo Hom (Hom ( P , R ) , R ) > H o m (Hom ( Q , R ) , R ) el
R R R R
i z q u i e r d a (y p - s e m i l i n e a l a l a derecha).
(a) R tiene A u t - P i c
isomorfos c o m o R-módulos i z q u i e r d o s .
isomorfas.
D e m o s t r a c i ó n : Se d e s p r e n d e de lo a n t e r i o r .
133
Es interesante comparar este resultado y el teorema
p.801.
Afíora vamos a trasladar lo anterior a nuestra situación.
(i) R v e r i f i c a A N T y l a p r o p i e d a d A u t - P i c .
T e o r e m a 4 . 2 . 2 , t e n e m o s q u e P = M ® HQm(N,R) y Q = N ® H o m ( M , R ) f o r m a n
E. E R
el contexto de M o r i t a { R , R , P , Q ) n o r m a l i z a d o por l a izquierda y por el
Corolario 4.2.10 junto con las hipótesis tenemos que P =-.R S i Q .
R R R
Tomemos el isomorfismo ip: R > P el c u a l induce e l automorfismo
^ R R
134
luego T) y luego e l i s o m o r f i s m o v : H o m (R,M) > N del Teorema 4.2.6.
Así, t e n e m o s un i s o m o r f i s m o c r - s e m i l i n e a l p o r l a i z q u i e r d a
(ii=*i) P r i m e r o v a m o s a d e m o s t r a r l a s i g u i e n t e
i s o m o r f g , c o m o R-módulo p o r l a i z q u i e r d a , a R.
p r u e b a l a afirmación.
M = P ® R y N = Q ® R como e n e l r e c í p r o c o d e l T e o r e m a 4 . 2 . 2 , tenemos
t e r m i n a l a demostración.
4 . 3 . E l p r o b l e m a d e l a u n i c i d a d p a r a módulos l o c a l m e n t e libres
proyectivos. •'
t a l q u e e l r a n g o d m e) = K , E e E c o n s i s t e e n t o d o s los endomorfismos a
136
de M , t a l e s que r a n g o d m a) s K^. E n p a r t i c u l a r , s i A , A ' € ú entonces
p a r a c u a l e s q u i e r a A , A ' e A.
Fijemos aiiora u = e^, para algún A' 6 A y consideremos a la
familia {e } . e n e l a n i l l o E u E . E n v i s t a de q u e E e E e ,, tenemos
A A € ¿V A A
que la familia {e )
, v e r i f i c a l a condición ( b l ) d e l L e m a 3 . 3 . 3 .
e A
^ A ' A
V a m o s a v e r l a o t r a condición: s e a x G E u E , e n t o n c e s rnnp;o(lm x ) s
y en consecuencia existe A ' € A t a l que I m x S; ® R y así, xe =
^ j e A» j A*
T e o r e m a 3 . 3 . 6 p a r a o b t e n e r que N = u E es u n S-módulo p o r l a i z q u i e r d a
e l e m e n t o s d e N , e l c u a f "genera u n submódulo K de N e n t o n c e s I ^ . J I T I a*
* M, p u e s M no es n u m e r a b l e m e n t e g e n e r a d o . C o m o F I"^ - I"^ ^
137
Supongamos ahora que R y S son anillos con uno, M y N son
R S
módulos localmente libres tales End( M) ~ E n d ( N ) . U s a r e m o s l a
que
< R s
siguiente notación: E « End( M) » End( N) tiene dos ideales E «
R s o
« f E n d ( M) y E ' « f E n d ( N) d e s c r i t o s en e l T e o r e m a 3 . 3 . 6 . E y E'
R O S 0 0
oc /3
tienen familias de unidades locales de matriz'{e } {u >_ .,
respectivamente. E l e g i m o s a r b i t r a r i a m e n t e e = e^ y u = u ^ .
( i i i ) T es s - u n i t a r i o p o r l a d e r e c h a .
Exercise 19.11 y Lemma 19.18]. Por otro lado, (E^)^ y (E^)^ son
138
X *• o. S e a m 6 M t a l q u e m * O y m e Im x . C o m o M es l o c a l m e n t e U b r e ,
entonces p o s e e u n a descomposición M = F®M*, c o n m e F , y F libre y
finitamente generado. S e a e e E l a proyección canónica d e M s o b r e F;
e n t o n c e s m e == m así q u e xe * O y e 6 E ^ . E s t o n o s m u e s t r a q u e ^ E ^
también es f i e l .
( i i ) E s i n m e d i a t o p o r (i).
En v i s t a de l a Observación a n t e r i o r , s i M y N s o n módulos
( i i ) E l c o n t e x t o { R , S , M ' , N ' ) es n o r m a l i z a d o p o r l a i z q u i e r d a .
s - u n i t a r i o s p o r l a d e r e c h a y en consecuencia p l a n o s .
N = u E . E n t o n c e s M ® H o m (N,S) = e E u , N ® H o m (M,R) = u E e . E s c l a r o
E S E R
= e x u y e c o n x , y e E y ( u x e , e y u l = u x e y u c o n x , y e E . También obsérvese
d e m u e s t r a (i) y ( i i ) .
f i e l e s p o r a m b o s l a d o s . S e a x e e E e y s u p o n g a m o s q u e x - I = O. E n t o n c e s
por a m b o s l a d o s y en c o n s e c u e n c i a x e = O. C o m o x 6 e E e e n t o n c e s x =
a r g u m e n t o s e n t e r a m e n t e análogos.
N o t e m o s a h o r a que, como M ' g e n e r a a I, N ' a J , N' a J y N' a
R R o S o S K
1 entonces M' y N' son, a su vez, fieles por los dos lados.
R
algún X e E y c o n N'= u E e t e n e m o s e n t o n c e s q u e e x u E e = O. E s t o i m p l i c a
t r e s c a s o s s e r e s u e l v e n de modo análogo.
= e E u E e y e E = e E e E t e n e m o s que I = e E u E e = ( e E e E ) ( u E e ) = e E e E u E e =
= e(EeEuE)e = eTe. A h o r a , s i x € I e n t o n c e s x e T y p o r e l L e m a 4 . 3 . 2
140
(iii) sabemos que T es s-unitario por l a derecha y que esto implica
m u e s t r a también q u e J es s - u n i t a r i o p o r l a d e r e c h a . E s t o p r u e b a (iii).
Entonces: *
l a d e r e c h a E ( C ~ ' l e x i s t e y E|C"*1 « E / E ^ .
son equivalentes:
^ = { l s EJ I n C * 0 )
Observación 3 . 3 . 7 .
141
existe 5 e A y u_ tal que m = mu. y por lo tanto n (u_) s ; U .
o o E o m
Recíprocamente, sea x ,...,x e E , y consideremos a a (x , . . . , x ).
1 n o E 1 n
Como X X e E entonces F Im x . es u n submódulo de M finitamente
1 n o 1 1
generado, y como M es localmente libre entonces existe un sumando
directo libre K de M tal que E ' " ^ x S; K . Sea { k ) una base
1 1 1 n
para K. Es claro entonces que p U 9. n (x , . . . , x ). Esto prueba la
1 "
e q u i v a l e n c i a e n t r e (a) y (b).
Finalmente, si x x e E y U = (x , . . . , x ) es una vecindad
1 n o E 1 n
y (O. -
p a r a que esto o c u r r a .
142
Demostración: Comenzaremos mostrando que cualquier sumando
directo M ' de u n módulo localmente libre M es traza-accesible. Para
R
s u m a n d o d i r e c t o l i b r e F de M c o n m e F . A h o r a , l l a m e m o s T J : M > M' y
derivado.
143
T = K e;R. Si llamamos S = End{ M') « K y N = Hom (M'.M) K '
R S R R
Clases de a n i l l o s que v e r i f i c a n u n i c i d a d .
siguiente propiedad:
generado y proyectivo.
siguientes condiciones:
(i) E ^ e s i d e m p o t e n t e y E es E ^ - c e r r a d o .
( i i ) E ^ es u n E-módulo p o r l a i z q u i e r d a p l a n o .
144
caracterización para módulos localmente libres, existe un elemento
Proposición 4 . 3 . 9 : S e a n R y S a n i l l o s c o n u n o , de t a l m a n e r a q u e
anillos.
4.3.3 con T = P o r e l L e m a 4 . 3 . 2 , T es s - u n i t a r i o p o r l a d e r e c h a
145
Proposición 4 . 3 . 8 que T = y T = E \ C o n l a notación del Teorema
c u a l ^ M c o r r e s p o n d e c o n ^ N . E l r e s t o se t i e n e p o r e l T e o r e m a 4.3.3.
C o r o l a r i o 4 . 3 . 1 0 : S e a n R y S a n i l l o s c o n uno t a l e s q u e pertenecen
anillos.
4.4 E l p r o b l e m a de l a u n i c i d a d p a r a módulos p r o y e c t i v o s c o n e l e m e n t o
unimodular.
146
consecuencia, nos preguntamos si los módulos localmente libres y
V a m o s e n t o n c e s p r i m e r o a m o s t r a r u n a f o r m a de construcción de e j e m p l o s
d i r e c t a m e n t e a l segundo c a s o .
e l e m e n t o u n i m o d u l a r P e R - m ó d y Q e S-mód t a l e s q u e t e n g a n a n i l l o s de
e n d o m o r f i s m o s i s o m o r f o s y s i n e m b a r g o , l a s c a t e g o r í a s R - m ó d y S-mód n o
sean equivalentes.
Efectivamente, s e a R u n a n i l l o t a l que e x i s t a n d o s R - m ó d u l o s p o r
147
exacta, lo cual es imposible porque se eligió a Q' infinitamente
generado. P o r lo tanto, Hom (L,Q') no puede ser finitamente generado.
K
u n i m o d u l a r y no f i n i t a m e n t e g e n e r a d o . F i n a l m e n t e , obsérvese que
N o s p r e g u n t a m o s a h o r a s i l a unión de l a s p r o p i e d a d e s de s e r
serán útiles:
148
Demostración: Si A y B fuesen anillos Morita equivalentes
entonces entre otras consecuencias s u s retículos de ideales biláteros
deberían s e r i s o m o r f o s . V a m o s a ver que e s t o no es p o s i b l e .
l i n e a l m e n t e o r d e n a d o s . Así, h a y n+2 i d e a l e s p a r a A .
A f i r m a m o s que T no h a s i d o c o n t a d o .
C o m o M no es f i n i t a m e n t e g e n e r a d o n i c e r o e n t o n c e s T * B y T n o
pudiesen s e r equivalentes.
149
idempotentes centrales no triviales; X un conjunto infinito, y
(X)
centrales no t r i v i a l e s .
A = End( V), B = End( W ) , T = End( A ' " ' ) , U = End( B"^'), con N un
K K A B
y que por el Lema 4.4.3 (1,0) y (0,1) son los únicos idempotentes
150
o éstas o t r a s , U y T , y Endí^x"'') y Endí^U^'"). P e r o , como A y B no
e q u i v a l e n t e s e n t o n c e s T y Endt^T^'^') no pueden s e r a n i l l o s i s o m o r f o s .
c o n s e c u e n c i a l l 3 ] R y S no pueden s e r a n i l l o s M o r i t a e q u i v a l e n t e s .
de m a n e r a i n m e d i a t a . P a r a v e r q u e , p o r e j e m p l o , P es l o c a l m e n t e libre,
numerablemente generados.
categorías.
151
Ejemplo 4.4.5: E x i s t e n anillos con uno isomorfos R y S y módulos
c a t e g o r í a s e n t r e R - m ó d y S-mód.
otra.
qué relación existe entre los anillos base y poder encontrar algunas
siguiente:
C o n s i d e r e m o s d o s a n i l l o s a r b i t r a r i o s R y S, P e R-mód y Q e
152
Aslmiismo, hay isomorfismos semilineales tomando la
c í x ) = (p x<p p a r a t o d o x 6 Erid( P ) . V a m o s a t e n e r e n t o n c e s u n c o n t e x t o
l a s c a t e g o r í a s eEfEe-mód y fEeEf-mód e i n d u c e n l a i d e n t i d a d e n E n d ( Q)
situación resultó, p a r a n o s o t r o s , m u y i l u s t r a t i v o : •
(T = EeEfE = EfEeE)
siguientes propiedades:
153
en a m b o s l a d o s y s - u n i t a r i o s p o r l a d e r e c h a .
Demostración: (i) E s p a r t e d e l T e o r e m a de l a c a r a c t e r i z a c i ó n p a r a
módulos p r o y e c t i v o s c o n e l e m e n t o u n i m o d u l a r .
(ii) E s inmediata.
Proposición 3 . 4 . 2 .
c o n t e x t o de M o r i t a ( e E e . f E f . e E f . f E e ) t a l que:
(i) e E f es s u m a n d o d i r e c t o de e E , f E e de f E y l o s m o r f i s m o s d e l
c o n t e x t o s o n l a multiplicación.
izquierda.
( s - u n i t a r i o s p o r l a d e r e c h a y) p r o y e c t i v o s .
154
( i i ) E s c a s o p a r t i c u l a r de l o v i s t o p a r a generadores.
( i i i ) P r o b a r que e E f E e y f E e E f s o n f i e l e s en a m b o s l a d o s se puede
l i b r e s en el T e o r e m a 4 . 3 . 3 y l o m i s m o p a r a v e r q u e es no degenerado.
V a m o s a v e r a l g u n a s p r o p i e d a d e s más de e s t o s contextos.
H o m (I,R) =• R s i g n i f i c a que I - x = O i m p l i c a x = O y p o r lo t a n t o I e
R
155
c u a l q u i e r a de l a s siguientes condiciones:
(i) P' y Q' s o n p r o y e c t i v o s
K S
(ii) P' e I son proyectivos
R R
proyectivos.
i s o m o r f os.
D e m o s t r a c i ó n : E s t o s e puede p r o b a r de f o r m a d i r e c t a , p e r o v a m o s a
R P' s Q- r p s q
obtenemos t a l que
Q- s P' R q s P r
S Q'
End{ P ) = E n d ( Q) = E = Entonces, E posee dos elementos
R S P' R
o o 1 o
idempotentes, a saber: e = f = Obsérvese que
o 1 o o
''o o' 0 0 0 0 f \
eEe = ^ R, eE = = P, eEf = y fEf = S 0 > fE
0 R P' R P' 0 0 0
^ } ^ i
S Q-' 0 Q' J 0 0 o"
, fEe = y los ideales t r a z a son J = e I =
0 0 0 0 0 0 0 I
V á
156
Así, los contextos (R.S.P'.Q') y (eEe.f E f , e E f ,f Ee) se corresponden
último es n o d e g e n e r a d o e n t o n c e s e l p r i m e r o también l o e s .
equivalentes:
^ = { l Q^E \ \ n C * a )
Proposición 3 . 4 . 2 .
(ii) Vamos a ver primero que las topologías de (a) y (c) son
= x-f -p . E n c o n s e c u e n c i a , n U £ a (a a ).
^j=i a '^a "j p E l n
J J J
Finalmente, si x ,...,x G E
y U = a (x , . . . , x ) es u n a v e c i n d a d
o E 1 1 n n
del c e r o e n l a topología T, e x i s t e a G E ^ t a l que x^= x^a p o r q u e E ^ e s
s-unitario por la derecha. Entonces 1-a G U y { l - a ) E S; u con
157
( l - a ) E e 3^. Recíprocamente, si I e ^ y 1-a 6 I, para alguna a e
entonces i (a) = ( l - a ) a (a) s ; I. Esto prueba que (b) y (c) son
equivalentes.
l u g a r de I y R.
y Q e S-mód l o s a n i l l o s de e n d o m o r f i s m o s de P y Q s e a n isomorfos, y
158
c o r r e s p o n d e n bajo l a equivalencia entre lí y t i lo cual implica que P
R S R
y t i e n e n a n i l l o s de e n d o m o r f i s m o s i s o m o r f o s .
L a o t r a implicación es e l T e o r e m a 4 . 4 . 7 .
Teorema.4.4.2.
módulos l i b r e s .
C l a s e s de a n i l l o s que v e r i f i c a n u n i c i d a d .
generadores.
159
todo a n i l l o S, y todo contexto de M o r i t a ( R . S . P . Q ) normalizado por l a
izquierda con P y Q proyectivos se t i e n e que P es g e n e r a d o r . Nótese
R S R
que s i R y S v e r i f i c a n C N P G ( R ) y C N P G ( S ) e n t o n c e s se t i e n e CNPT(R,S).
Diremos que R t i e n e IPFG s i p a r a todo ideal proyectivo I de R
R
t a l q u e e l m o r f i s m o canónico R > H o m (I,R) es I s o m o r f i s m o se t i e n e
R
que I es f i n i t a m e n t e g e n e r a d o ( C f r . Propiedad P).
R
e n t r e sí e s t a s c o n d i c i o n e s . S e a R u n a n i l l o :
" e n d o m o r f i s m o s f i n i t o s i n v a r i a n t e s en p r o y e c t i v o s c o n u n i m o d u l a r " .
Recíprocamente, s i (R,S,P,Q) es u n c o n t e x t o de M o r i t a n o r m a l i z a d o
" e n d o m o r f i s m o s f i n i t o s i n v a r i a n t e s en p r o y e c t i v o s c o n u n i m o d u l a r " .
160
Demostración: Con argumentos completamente análogos a l o s de l a s
P o r l o t a n t o , R no v e r i f i c a I P F G .
verifica Aut-Pic.
términos de d o s a n i l l o s c o n uno, R y S.
161
Proposición 4.4.19: R y S verifican CNPT(R,S) si y sólo si para
t o d o P e R-mód y Q e S-mód, p r o y e c t i v o s c o n e l e m e n t o u n i m o d u l a r y t o d o
isomorfismo de anillos 5:End( P) > End( Q), se tiene que S está
R S
i n d u c i d o p o r u n a e q u i v a l e n c i a de M o r i t a .
u n i c i d a d e n e l s e n t i d o de e q u i v a l e n c i a s de M o r i t a ; es d e c i r si ^M y
Isomorfismos semilineales
suficiente.
162
Proposición 4.4.21: Si R verifica IPFG y Aut-Pic entonces para
un i s o m o r f i s m o s e m i l i n e a l e n t r e P y Q.
Pic(R)-trivial. P o r ejem^slo, s i D e s u n d o m i n i o de D e d e k i n d t a l q u e no
163
Teorema 4.2.15 se puede demostrar el siguiente resultado con el que
164
BIBLIOGRAFÍA
A l g e b r a 11(8) (1983), 8 0 1 - 8 3 7 .
243-248.
111(1969), 322-332.
N e w Y o r k , 1952.
7(1963), 2 4 - 3 1 .
a n d t h e i r e n d o m o r p h i s m r i n g s , S y m p o s i a M a t h . 23(1979), 259-285.
A p p l . 69(1985), 239-247.
165
[13] V. Camillo, Morita equivalence and infinite matrix rings, Proc.
A m e r . M a t h . S o c . 90(1984), 186-188.
T r a n s . A m e r . M a t h . S o c . 153(1971), 371-386.
419-424.
p a r t i c u l a r of o r d e r s , T r a n s . A m e r . M a t h . S o c . 180(1973), 1-45.
Y o r k , 1973.
528-550.
90(1962), 323-448.
geometry, eds. J . L . B u e s o , M . I. S e g u r a , A. V e r s c h o r e n , R. U . C .
A . , A n t w e r p e n , 1988, 6 4 - 7 4 .
r i n g s , J . A u s t r a l . M a t h . S o c . ( S e r i e s A) 58(1991), 116-137.
e n d o m o r p h i s m r i n g s , I s r a e l J . M a t h . 58(3) (1987), 3 2 4 - 3 5 0 .
166
[26] J. L. García y M. Saorín, Endomorphism rings and category
equivalences, J . Algebra 127(1989), 182-205.
por aparecer.
M a r c e l D e k k e r , 1975.
T e c h n i c a l , 1986.
464-471.
[35] K . R . G o o d e a r l , V o n N e u m a n n r e g u l a r r i n g s , P i t m a n , L o n d o n , 1979.
endomorphism r i n g s , A r c h . M a t h . ( B a s e l ) 24(1973), 2 6 9 - 2 7 3 .
Y o r k , 1943.
167
[40] N . J a c o b s o n , S t r u c t u r e o f r i n g s , A m e r . M a t i i . S o c . 3 7 , 1956.
F r a n c i s c o , 1980.
1249-1259.
M i c h i g a n P r e s s , 1954.
[46] I. K a p l a n s k y , P r o j e c t i v e m o d u l e s , A n n . M a t h . 68(1958) 3 7 2 - 3 7 7 .
147] F . K a s c h , M o d u l n u n d r i n g e , B . G . T e u b n e r , S t u t t g a r t , 1977.
(481 J . L . K e l l y , G e n e r a l t o p o l o g y , S p r i n g e r , N e w Y o r k , 1955.
J . M a t h . 30(5)(1978), 1 0 7 0 - 1 0 7 8 .
maximal left and right quotient rings, Proc. Amer. Math. Soc.
85(2)(1982), 161-164.
e n d o m o r p h i s m r i n g s , J . A l g e b r a 122(1989), 380-396.
U n i v . 28(1986), 65-91.
U n i v . 28(1986), 147-150.
m a t r i x r i n g s , M a t h . J . O k a y a m a U n i v . 29(1987), 147-152.
168
155] D. Lazard, Liberté des gros modules projectifs, J. Algebra
31(1974), 437-451.
37(1971), 141-170.
169(1972), 347-363.
i d e a l d o m a i n s , D u k e J . M a t h . 41(1974), 323-328.
d i s c r e t e v a l u a t i o n r i n g s , M a t h . Z . 204(1990), 485-499.
1965.
169
[66] C. Metelli y L. Salce, The endomorphism ring of an abelian
26(1975), 480-485.
[67] K. Morita, Duality for modules and its applications to the theory
A) 6(1958), 8 3 - 1 4 2 .
A l g e b r a 28(1974), 3 8 9 - 4 0 7 .
25(1983), 6 9 - 7 3 .
O k a y a m a U n i v . 26(1984), 151-156.
29(1987), 153-158.
J . O k a y a m a U n i v . 30(1988), 63-70.
A l g e b r a 79(1982), 1 6 9 - 2 0 5 .
170
[79] L . P o n t r j a g i n , T o p o l o g i c a l g r o u p s , P r i n c e t o n , 1939.
[81] L . H . R o w e n , R i n g t h e o r y , v o l . 1, A c a d e m i s P r e s s , B o s t o n , 1988.
T h e s i s , P e n n s y l v a n i a S t a t e U n i v e r s i t y , 1964.
M a t h . S o c . 155(1971), 2 3 3 - 2 5 6 .
a b e l i a n g r o u p s , J . A l g e b r a 55(1978), 446-454.*
R e i n h a r d F i s c h e r , 1988.
a l l l i n e a r t r a n s f o r m a t i o n s , A m e r . J . M a t h . 75(1953), 358-386.
9(1962), 6 9 - 7 5 .
584-594.
p r i n c i p a l l e f t i d e a l d o m a i n , C o m m . A l g e b r a 18(2) (1990), 3 5 7 - 3 7 0 .
171
(931 K . G. Wolfson, E n d o m o r p h i s m r i n g s of locally free modules, Comm.
Algebra, 19(1991).
163(1972), 345-355.
1639-1661.
B e r . 2 7 . M a t h . Inst. U n i v . , M U n c h e n , 1975.
172