Documente Academic
Documente Profesional
Documente Cultură
FUNCTORI
DEFINIIA 3.4. Fie C i D dou categorii. Spunem c am definit un
functor covariant (respectiv contravariantat) F de la C la D dac s-au dat :
(a) o aplicaie M F(M) de la obiecte ale categoriei C n D;
(b) pentru fiecare pereche (M,N) de obiecte din C , o aplicaie U F(U) de la
HomC(M,N)HomD(F(M),F(N)); respectiv HomC(M,N)HomD(F(N),F(M))
astfel nct s avem :
(b1) F(1M) = 1f(M) , oricare ar fi M C ;
(b2) MuN i NvP morfisme n C , atunci F(vou)=F(v)oF(u)(respectiv
F(vou)=F(u)oF(v)) .
Fie F,G functori covariani de la C la D . Spunem c s-a dat un morfism
functorial de la F n G i notm :F G dac pentru orice M C s-a dat
un morfism (M) :F(M) G(M) astfel nct , dac u :M N , atunci
urmtoarea diagram este comutativ:
F(M) (M) G(M)
F(u)
G(u)
(M)
F(M)
G(M)
Dac (M) este izomorfism pentru orice M C , spunem c este izomorfism
functorial .
DEFINIIA 3.5. Categoria C se numete preaditiv dac :
(a) oricare ar fi M,N C , se d pe HomC(M,N) o structur de grup abelian notat
aditiv ; elementul nul (zero) se numete morfismul nul (sau zero) de la M la N
pe care-l notm O;
(b) oricare ar fi M,N,P C i u,u2,u1 HomC(M,N) , v,v2,v1 HomC(N,P) , atunci
v o (u1 + u2) = v o u1+ v o u2 i (v1 + v2) o u = v1 o u + v2 o u ;
(c) exist cel puin un obiect x C astfel nct 1X = 0 .
Un obiect ce verific condiia (c) se numete obiect nul al categotiei C .
Deoarece dou obiecte nule snt izomorfe , obiectele nule se noteaz generic O.
Dac M este un obiect arbitrar n C , exist i snt unice morfismele O M
i MO . Astfel morfismul nul MN este compunerea morfismelor MO i
ON . Cum O M este un morfism , subobiectul asociat se noteaz O i se
37
f
X
j
Y
C u I
Fie C o categorie i (Mi) iI o familie de obiecte din C . Se numete produs
direct al familiei date de obiecte perechea (M, (pi)iI) ,cu M C , pi : M Mi ,
i I , o familie de morfisme astfel nct , aricare ar fi x C i fi : X Mi , i I o
familie de morfisme , exist un unic morfism fi : X M pentru care pi o f = fi ,
pentru toi i I . Se noteaz M = iI Mi ; pi se numesc proiecii canonice.
Spunem c C satisface axioma :
AB3*) dac pentru orice familie de obiecte (M i)iI din C , cu I mulime oarecare ,
axist in C cel puin un produs direct al acestei familii .
Dac C satisface AB3*) spunem c C este categorie cu produse directe.
Fie C o categorie i (Mi)iI o familie de obiecte din C . Se numete sum
direct (coprodus) a familiei date de obiecte, perechea (M, ( i)iI) , cu M C , i
i : Mi M , i I o familie de morfisme , astfel nct , aricare ar fi x C i
fi : Mi X , i I o familie de morfisme , exist un unic morfism f : M X
pentru care f o i = fi , pentru toi i I.. Se noteaz M = iI Mi : i se numesc
injecii canonice.
Spunem c C satisface axioma :
AB3) dac pentru orice familie de obiecte (M i)iI cu I mulime arbitrar ,exist n C,
o sum finit .
Dac C satisface AB3) spunem c C este o categorie cu sume directe.
O categorie preaditiv C cu proprietea c exist suma direct a oricror
dou obiecte se numete aditiv . O categorie C preaditiv ce verific AB1) se
numete preabelian .O categorie aditiv ce verific AB1) i AB2) se numete
abelian .Dac ocategorie abelian C verific AB3) i AB3*) , atunci (P(M), ) este
o latice complet .
Fie C o categorie ce verific AB3) . Spunem c C satisface :
AB4) dac orice sum direct a unei familii de monomorfisme este un
monomorfism (sau echivalent functorul sum direct e exact).
AB5) dac pentru orice familie (Ai)iI de subobiecte ale lui M , filtrant cresctor
relativ la relaia i pentru orice subobiect B al lui M avem
( i IAi) B = i I(Ai B) .
39
M f N
f* () = f
U
40
f* () = f
M f N
U
Mi fi N
ii
fi
41
F(ii)
F(fi)
Mi
F(Mi)
Din propozoia 3.12. i din unicitatea aplicaiei sum direct avem : F( fi) =
F( fi), deci relativ la injectivele F(ii) , i = 1, n F psteaz sumele directe finite de
morfisme la fel ca i de module.
Analog avem F(ni=1 gi ) = ni=1 F (gi ) ; G( fi) = ni=1 G (fi ) i
G(ni=1 gi ) = G( gi) .
HomR(M ,US )
42
M
( o ) ( A ) = HomR(j ,US ) ( A ) = ( A ) j =
Astfel este este un izomorfism i demonstraia este complet.
Inversnd variabilele observm c propoziia 3.13. leag functorii Hom R(
HomR( - ,U) ,
A U , - ) i HomR( - , A U) de functorii HomR(U , - ) i
adic HomR( A U , M) A HomR(U , M) i HomR(M , A U) A
HomR(M, U). Urmtorul corolar arat c aceste relaii snt naturale :
COROLAR 3.14. Fie (U )A o mulime indexat de R module stngi .
Dac M,N snt R module stngi , atunci exist Z izomorfismele M , N , M , N
astfel nct pentru orice f : RM RN diagramele urmtoare snt comutative:
HomR ( A U , f)
HomR ( A U , M)
HomR ( A U , N)
A HomR (U , M)
A HomR (U , N)
A HomR (U , f)
HomR (f , A U)
HomR (N , A U)
HomR (M , A U)
A HomR (N , U )
A HomR (M , U)
A HomR (f , U)
43
FUNCTORI EXACI
DEFINIIA 3.15. Fie C i D subcategorii pline ale categoriei de module i
F : C D un functor covariant . Dac pentru fiecare ir exact scurt n C ,
OLMNO,
irul OF(L)F(M)F(N) este exact n D , atunci F se numete exact la
stnga ;
irul OF(L)F(M)F(N) O este exact n D , atunci F se numete exact la
dreapta ;
Un functor exact la stnga i la dreapta se numete functor exact .
Analog se definate un functor contravariant .
PROPOZIIA 3.16. Functorii Hom snt exaci la stnga . Astfel , n
particular , dac U este un R modul stng , atunci pentru fiecare ir exact OL
fMgNO n R MOD , avem c irurile :
O HomR(U , L) f* HomR(U , M) g*HomR(U , N)
O HomR(N , U) g* HomR(M , U) f* HomR(L , U) snt exacte .
DEMONSTRAIE: Prezentm numai cazul contravariant .
Dac HomR(N,U) i 0 = g*( ) = g = 0 (g este epimorfism) .
Astfel , g* este monomorfism .
Deoarece functorii Hom snt aditivi avem f*g* = (gf)* = 0 * = 0 , adic
Im g* Ker f* . Pentru incluziunea invers , fie Ker f* f*() = 0 = f. Deci
Ker Im f = Ker g . Astfel , teorema factorizrii arat c factorizeaz prin g ,
adic = g = g* () Im g* ; deci Ker f* Im g* . Aceasta implic egalitatea Im
g* = Ker f* i deci exactitatea irului .
44
Q
Un R - modul stng P se numete M proiectiv (sau proiectiv relativ la M)
dac pentru fiecare epimorfism p HomR(M,M) i fiecare g HomR(P,M) ,
atunci exist g HomR(P,M) astfel nct urmtoarea diagram este comutativ ,
adic g = p o g .
P
g
M p M O
PROPOZIIA 4.2. Fie R,Q R MOD . Atunci urmtoarele afirmaii snt
echivalente :
(a) Q este M injectiv ;
(b) Pentru fiecare submodul M M , morfismul f HomR(M,Q) poate fi extins
la un morfism f HomR(M,Q) (adic f factorizeaz prin iM :M Q);
(c) pentru fiecare ir exact acurt din R - MOD cu termenul din mijloc M ,
O M j M p M O , irul de grupuri abeliene
O HomR(M,Q) p* HomR(M,Q) j* HomR(M,Q) O este exact .
45
DEMONSTRAIE :
(a) (b) demonstraia este evident din faptul c M e submodul n M i din
definiia 4.1.
(a) (c) din propoziia 3.16.functorul HomR(-,Q) , hQ : R MOD ab este exact
la stnga . Atunci , irul O Hom R(M,Q) p* HomR(M,Q) j*
HomR(M,Q) O este exact dac i numai dac j* este surjectiv pentru orice
f HomR(M,Q) , exist f HomR(M,Q) astfel nct j*( f ) = f = f o j Q este
M injectiv .
PROPOZIIA 4.3. Fie M,P R MOD . Atunci urmtoarele afirmaii snt
echivalente :
(a) P este M proiectiv ;
(b) Pentru fiecare submodul M M , fiecare morfism g HomR(P,M/M)
factorizeaz prin epimorfismul natural nM : M M/M ;
(d) Pentru fiecare ir exact scurt din R MOD cu termenul din mijloc M ,
O M j M p M O , irul de grupuri abeliene
O HomR(P,M) j* HomR(P,M) p* HomR(P,M) O este exact .
DEMONSTRAIE :
(a) (b) demonstraia este evident din faptul c M M i din definiia 4.1.
(a) (c) innd cont de propoziia 3.16. irul O HomR(P,M) j* HomR(P,M)
p* HomR(P,M) O este exact dac i numai dac p* este surjectiv pentru
orice g HomR(P,M) exist g HomR(P,M) astfel nct p* g = g = p o g Q
este M proiectiv.
n consecin cu definiia 4.1. avem Q R MOD se numete injectiv dac
Q este injectiv relativ la fiecare M R MOD i P R MOD se numete
proiectiv dac P este proiectiv relativ la fiecare M R MOD .
COROLAR 4.4. Un modul Q este injectiv dac i numai dac functorul
aditiv contravariant HomR(-,Q) este exact n R MOD . Un modul P este proiectiv
dac i numai dac functorul aditiv covariant HomR(P,-) este exact n R MOD .
47
EfFgG
Dac este un epimorfism i f , snt monomorfisme , atunci este un
epimorfism .
48
O M N N O
1M h
h
O M M M O
Aplicnd functorul contravariant T = hQ = HomR(- , Q) acestei diagrame , obinem
urmtoarea diagram comutativ cu liniile exacte :
T(M) T(P) T(M) T(j) T(M)
T(h)
T(h)
T(1M) = 1T(M)
O T(N)
T(N)
T(M)
Deoarece Q este M injectiv rezult c pentru h monomorfism , avem T(h) este
epimorfism i conform lemei 4.10. rezult T(h) este epimorfism , ceea ce implic
Q este M injectiv .
(b) Notm M = iI Mi i fie L M i f HomR(L , Q) . Considerm mulimea
F = {(L,f) / L L M, f HomR(L , Q) i f/L = f } care poate fi ordonat n
raport cu urmtoarea relaie de ordine dat prin : (L,f) (L,f) dac i numai
dac L L i f/L = f .
Evident aceats mulime ordonat este inductiv deoarece :
fie fi {(L,f) } o familie total ordonat de elemente din L ; considerm
L* = L care este submodul al lui M i aplicaia f* : L* Q definit astfel :
dac x L* , atunci exist astfel nct x L ; n acest caz lum f*(x) = f(x) .
Dac L L , atunci f*(x) = f(x) = f / L(x) = f (x) , adic f* este bine definit .
Este clar acum c (L*,f*) F i deci (F , ) este inductiv .
49
fi
Q
Dac mi i(Mi) i x Lo astfel nct mi + x = 0 , atunci mi = -x Mi i fi (mi) +
fo(x) = fo(-x) + fo(x) = 0 , deci fi : i(Mi) + Lo Q prin mi + x fi (mi) + fo(x) este
un morfism bine definit . Deoarece fi /
Lo = fo , din maximalitatea lui (Lo,fo)
se deduce c i(Mi)
Lo pentru fiecare i I , deci Lo = M . Astfel Q este
i I Mi injectiv .
COROLAR 4.12. Pentru fiecare clas nevid de R module stngi , C ,
I (C) este nchis la subobiecte , obiecte factor i sume directe . n general I -1 (C)
nu este nchis nici la extensii nici la produse directe .
-1
M1
i1
M1 M2
50
M2
(i1(M1)+N)/N
(M1 M2)/N
O
O
T(M1 M2)
T(M1)
T((i1(M1)+N)/N)
T((M1 M2)/N)
T(M2)
f
51
M q/M Im(f) O
de unde rezult evident c q o
= f , adic P este
iI
Mi proiectiv .
53
i(Mi) LO
LO
Q
Exist un morfism ce face comutativ diagrama . Pe de alt parte din irul
i(Mi)
-fi
fO
54
gi
U i ER(U)
56
U ER(U)
Unde notm cu f1 = f/x i n care U fiind M injectiv rezult c exist g : M U
morfism ce face comutativ diagrama , adic g o j = f 1 , unde j este morfismul
canonic (de incluzine) .
Evident c Ker(f i o g) = x . Presupunem c x M , adic pentru un anumit
x
57
Putem s
modulele
MR
o familie
g
U
(b) Dac N este o mulime de R module care genereaz pe M , astfel nct fiecare
N N are proprietatea (*) , atunci U este M - injectiv .
DEMONSTRIE :
(a) Fie p : N (N) surjecia canonic i j: (N) M injecia canonic .
Deoarece prin ipoteza (*) Ker(f) Ker () Ker (p) rezult c exist
f1
: (N) U ce face comutativ diagrama :
59
p
f
f1
(N)
j
N
U
f2
N
M
M
h
N
U
N
ER(U)
60
61
g
a
R
g
a
M
62