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<br />
Exact sequences <strong>of</strong> modules<br />
3.1. Exact sequences<br />
3.1.1. Definition. Let f : M → N and g : N → L be homomorphisms <strong>of</strong><br />
modules. The sequence<br />
<strong>of</strong> homomorphisms is a<br />
M f<br />
g<br />
<br />
N<br />
<br />
L<br />
(1) 0-sequence: g ◦ f = 0 or equivalently Im f ⊂ Ker g<br />
(2) exact sequence: Im f = Ker g<br />
For a sequence <strong>of</strong> more homomorphisms the conditions should be satisfied for<br />
every consecutive composition. E.g. The sequence<br />
M f<br />
g<br />
<br />
N<br />
<br />
h<br />
L <br />
K<br />
is a 0-sequence if g ◦ f = 0 and h ◦ g = 0. The sequence is exact if Im f = Ker g<br />
and Im g = Ker h.<br />
3.1.2. Remark. An interpretation <strong>of</strong> 2.3.3 gives:<br />
(1) The sequence<br />
is exact if and only if f is injective.<br />
(2) The sequence<br />
0<br />
M f<br />
f<br />
<br />
M<br />
<br />
N<br />
is exact if and only if f is surjective.<br />
(3) The sequence<br />
0<br />
f<br />
<br />
M<br />
<br />
N<br />
is exact if and only if f is an isomorphism.<br />
3.1.3. Proposition. (1) For a homomorphism f : M → N the sequence<br />
0<br />
<br />
Ker f<br />
f<br />
<br />
M<br />
<br />
N<br />
<br />
N<br />
<br />
0<br />
<br />
0<br />
<br />
Cok f<br />
is exact.<br />
(2) For scalar multiplication with a ∈ R on M the sequence<br />
0<br />
is exact.<br />
<br />
Ker aM<br />
aM <br />
M <br />
M<br />
39<br />
<br />
M/aM<br />
<br />
0<br />
<br />
0