Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
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.