22.01.2015 Views

Algebra liniara

Algebra liniara

Algebra liniara

SHOW MORE
SHOW LESS
  • 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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!