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<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

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

Saved successfully!

Ooh no, something went wrong!