09.05.2013 Views

1 Inele

1 Inele

1 Inele

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

astfel încât<br />

a(x + y) = ax + ay<br />

(a + b)x = ax + bx<br />

(ab)x = a(bx)<br />

1x = x , ∀a, b ∈ A, ∀x, y ∈ M<br />

Exemplul 2.1. Orice ideal al inelului A este un A-modul. Dacă A este un<br />

corp, atunci un A-modul nu este altceva decât un A-spat¸iu vectorial. Orice<br />

grup abelian este un Z-modul.<br />

Un modul se nume¸ste de tip finit dacă are număr finit de generatori,<br />

în sensul următor: există x1, . . . , xn ∈ M astfel încât orice x ∈ M se scrie<br />

x = n<br />

aixi, unde ai ∈ A. În particular, un ideal al inelului A este de tip finit<br />

i=1<br />

(în sensul definit în Sect¸iunea A.1.1) dacă ¸si numai dacă este un A-modul de<br />

tip finit. Rezultă atunci că inelul A este noetherian dacă ¸si numai dacă orice<br />

ideal al său este un A-modul de tip finit.<br />

În mod natural se definesc not¸iunile de submodul ¸si modul cât. Dacă<br />

S ⊂ A este o submult¸ime multiplicativ închisă, putem defini, ca în Sect¸iunea<br />

A.1.2, AS-modulul MS (localizatul lui M în S).<br />

Un ¸sir de A-module ¸si A-morfisme<br />

. . . −→ Mi−1<br />

fi fi+1<br />

−→ Mi −→ Mi+1 −→ . . .<br />

se nume¸ste exact în Mi dacă Im (fi) = ker(fi+1).<br />

În particular (⋆):<br />

0 −→ M ′ f<br />

−→ M este exact ⇔ f este injectiv<br />

M g<br />

−→ M ′′ −→ 0 este exact ⇔ g este surjectiv<br />

0 −→ M ′ f<br />

−→ M g<br />

−→ M ′′ −→ 0 este exact ⇔ f este injectiv,<br />

2.2 Proprietăt¸i locale<br />

g surjectiv, ¸si M ′′ cokerf := M/f(M ′ ) .<br />

Fie P o proprietate ce poate fi atribuită unui A-modul M. Spunem că P<br />

este o proprietate locală atunci când: M are proprietatea P dacă ¸si numai<br />

dacă Mp are proprietatea P, oricare ar fi idealul prim p ⊂ A.<br />

12

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

Saved successfully!

Ooh no, something went wrong!