06.08.2013 Views

Commutative algebra - Department of Mathematical Sciences - old ...

Commutative algebra - Department of Mathematical Sciences - old ...

Commutative algebra - Department of Mathematical Sciences - old ...

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.

44 3. EXACT SEQUENCES OF MODULES<br />

and<br />

0<br />

0<br />

<br />

Im f<br />

<br />

N<br />

where the rows are short exact sequences.<br />

<br />

Cok f<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

v<br />

v<br />

v<br />

Im f ′<br />

N ′ Cok f ′<br />

3.2.2. Lemma. Given a commutative diagram <strong>of</strong> homomorphisms<br />

0<br />

M<br />

u<br />

<br />

<br />

M ′<br />

f<br />

f ′<br />

<br />

N<br />

v<br />

<br />

<br />

N ′<br />

g<br />

g ′<br />

<br />

L<br />

w<br />

<br />

<br />

L ′<br />

where the rows exact sequences. The snake homomorphism δ : Ker w → Cok u<br />

is well defined by: For z ∈ Ker w choose y ∈ N such that g(y) = z. The<br />

element v(y) ∈ Ker g ′ so there is x ′ ∈ M ′ such that f ′ (x ′ ) = v(y). Then δ(z) =<br />

x ′ + Im u ∈ Cok u.<br />

Pro<strong>of</strong>. Assume g(y ′ ) = z and f ′ (x ′′ ) = v(y ′ ). There is x ∈ M with f(x) = y−y ′ .<br />

Now f ′ (u(x)) = v(f(x)) = v(y − y ′ ) = f ′ (x ′ − x ′′ ) so u(x) = x ′ − x ′′ since f ′<br />

is injective. Then x ′ + Im u = x ′′ + Im u as wanted. The choices made respect<br />

addition and scalar multiplication showing that δ is a homomorphism.<br />

3.2.3. Remark. The snake is<br />

Ker u<br />

f<br />

<br />

Ker v<br />

<br />

0<br />

<br />

0<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

<br />

f<br />

g<br />

M N L 0<br />

<br />

u<br />

v<br />

w<br />

<br />

0<br />

<br />

M ′<br />

f ′<br />

<br />

N ′<br />

g ′<br />

<br />

L ′<br />

<br />

<br />

Cok u<br />

The construction <strong>of</strong> δ is schematically<br />

M ′<br />

<br />

Cok u<br />

f ′<br />

N<br />

v<br />

<br />

<br />

N ′<br />

g<br />

f ′<br />

Ker w<br />

<br />

<br />

L<br />

<br />

<br />

Cok v<br />

g<br />

g ′<br />

x ′<br />

<br />

<br />

δ(z)<br />

<br />

Ker w<br />

<br />

<br />

Cok w<br />

0<br />

<br />

<br />

v(y)<br />

z <br />

<br />

y <br />

z

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

Saved successfully!

Ooh no, something went wrong!