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