Algebra liniara
Algebra liniara
Algebra liniara
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
44<br />
Definiţia 3.10. Convenim să notăm<br />
f = ∏ f i<br />
şi g C<br />
i∈I<br />
= şi<br />
să le numim pe f şi g ca fiind produsul direct (respectiv suma directă)<br />
a familiei (f i ) i∈I .<br />
Fie (M iʹ) i∈I , (M i ) i∈I şi (M iʹʹ) i∈I<br />
i∈I<br />
trei familii de A-module iar<br />
(f i ) i∈I , (g i ) i∈I două familii de morfisme de A-module cu f i :M iʹ→M i iar<br />
g i :M i →M iʹʹ. Notăm f ′ = ∏ f i<br />
, g ′ = ∏ g i<br />
, f ′′ = C f i<br />
şi g′ = C g i<br />
.<br />
i∈I<br />
i∈I<br />
Propoziţia 3.11. Dacă pentru orice i∈I şirul<br />
′ f g ″<br />
0 ⎯→<br />
M ⎯⎯→ i<br />
⎯⎯→ i<br />
⎯→ 0<br />
i<br />
M<br />
i<br />
M<br />
i<br />
este exact, atunci şi şirurile<br />
′ f ′<br />
g ′ ″<br />
0 ⎯⎯→<br />
M ⎯⎯→ M ⎯⎯→ M i ⎯→ 0<br />
exacte.<br />
∏<br />
i∈I<br />
i<br />
∏<br />
i∈I<br />
i<br />
f ′′<br />
g ′′ ″<br />
0 ⎯⎯→<br />
M ⎯⎯→ M ⎯⎯→ M ⎯→ 0 sunt<br />
C<br />
i∈I<br />
Demonstraţie.<br />
i<br />
C<br />
i∈I<br />
i<br />
i∈I<br />
∏<br />
i∈I<br />
C<br />
i∈I<br />
i<br />
i∈I<br />
′<br />
Fie xʹ=(x iʹ) i∈I ∈∏ M<br />
i<br />
a.î. fʹ(xʹ)=0. Cum<br />
fʹ(xʹ)=(f i (x iʹ)) i∈I deducem că f i (x iʹ)=0 adică x iʹ=0 şi astfel xʹ=0, deci fʹ<br />
este monomorfism.<br />
″<br />
Dacă alegem xʹʹ=(x iʹʹ) i∈I ∈∏ M , atunci x<br />
i<br />
iʹʹ=g i (x i ) cu<br />
x i ∈M i , astfel că dacă notăm x=(x i ) i∈I avem xʹʹ=gʹ(x), deci gʹ este<br />
epimorfism.<br />
Deoarece gʹ∘fʹ= ( g o ) = 0 , deducem că Im(fʹ)⊆Ker(gʹ).<br />
∏<br />
i∈I<br />
i<br />
f i<br />
i∈I<br />
Fie x=(x i ) i∈I ∈Ker(gʹ). Atunci pentru orice i∈I g i (x i )=0, deci<br />
x i ∈Ker(g i )=Im(f i ), adică x i =f i (x iʹ) cu x iʹ∈M iʹ. Dacă notăm<br />
′<br />
xʹ=(x iʹ) i∈I ∈∏ M atunci x=fʹ(xʹ) şi x∈Im(fʹ), deci Ker(gʹ)⊆Im(fʹ), de<br />
i<br />
i∈I<br />
unde egalitatea Im (fʹ) = Ker(gʹ).<br />
Faptul că al doilea şir este exact se probează analog. ∎<br />
Teorema 3.12. Categoria Mod s (A) este o categorie cu sume şi<br />
produse fibrate.<br />
i∈I<br />
f i