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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3.2. THE SNAKE LEMMA 43<br />

3.1.16. Example. Let Zi is the family <strong>of</strong> modules each a copy <strong>of</strong> Z indexed by the<br />

natural numbers. Then the short exact sequence<br />

0<br />

<br />

<br />

i Zi<br />

<br />

<br />

i Zi<br />

is not split exact.<br />

The element f = (1, 2, 22 , . . . , 2n , . . . ) + <br />

fk = (0, . . . , 0, 2 n−k , . . . ) + <br />

But in <br />

<br />

<br />

i Zi/ i Zi<br />

<br />

0<br />

i Zi is divisible by 2 k for all k. If<br />

i Zi for n ≥ k, then 2 k fk = f in <br />

i Zi the only element divisible with all 2 k is 0, so no section exists.<br />

3.1.17. Exercise. (1) Show that the sequence<br />

0<br />

<br />

Z<br />

is short exact, but not split exact.<br />

(2) Show that the sequence<br />

0<br />

<br />

Q<br />

<br />

n<br />

Z <br />

Z<br />

is exact, but not split exact for n = 0, 1.<br />

(3) Show that the sequence<br />

is exact, but not split exact.<br />

(4) Show that the sequence<br />

is split exact.<br />

0<br />

0<br />

<br />

Z/(2) 1↦→2 <br />

Z/(4)<br />

<br />

Z/(2) 1↦→3 <br />

Z/(6)<br />

<br />

Q/Z<br />

<br />

Z/(n)<br />

3.2. The snake lemma<br />

<br />

Z/(2)<br />

<br />

Z/(3)<br />

3.2.1. Example. Given a commutative diagram <strong>of</strong> homomorphisms<br />

M<br />

u<br />

<br />

M ′<br />

there is induced a commutative diagram<br />

0<br />

0<br />

<br />

Ker f<br />

u<br />

<br />

<br />

Ker f ′ <br />

<br />

M<br />

u<br />

<br />

M ′<br />

where the rows are exact sequences.<br />

The diagram splits into two diagrams<br />

0<br />

0<br />

<br />

Ker f<br />

u<br />

<br />

<br />

Ker f ′ <br />

f<br />

f ′<br />

f<br />

f ′<br />

<br />

M<br />

u<br />

<br />

M ′<br />

<br />

N<br />

v<br />

<br />

<br />

N ′<br />

<br />

N<br />

<br />

0<br />

<br />

0<br />

<br />

Cok f<br />

<br />

0<br />

<br />

0<br />

<br />

<br />

<br />

<br />

<br />

v<br />

v<br />

N ′ Cok f ′<br />

f<br />

<br />

Im f<br />

<br />

f<br />

v<br />

′<br />

<br />

Im f ′<br />

<br />

0<br />

0<br />

i<br />

<br />

0<br />

0<br />

Zi/ <br />

i Zi.

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

Saved successfully!

Ooh no, something went wrong!