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.

2.3. KERNEL AND COKERNEL 25<br />

2.3. Kernel and cokernel<br />

2.3.1. Lemma. Let R be a ring and f : M → N a homomorphism <strong>of</strong> modules.<br />

Given submodules M ′ ⊂ M, N ′ ⊂ N, then f −1 (N ′ ) ⊂ M and f(M ′ ) ⊂ N are<br />

submodules.<br />

Pro<strong>of</strong>. If x, y ∈ f −1 (N ′ ) then f(x + y) = f(x) + f(y) ∈ N ′ and for a ∈ R<br />

f(ax) = af(x) ∈ N ′ so x+y, ax ∈ f −1 (N ′ ) proving f −1 (N ′ ) to be a submodule.<br />

The same equations prove that f(M ′ ) is a submodule.<br />

2.3.2. Definition. Let f : M → N be a homomorphism <strong>of</strong> modules. Then there<br />

are submodules, 2.3.1.<br />

(1) The kernel Ker f = f −1 (0).<br />

(2) The image Im f = f(M).<br />

(3) The cokernel Cok f = N/ Im f.<br />

2.3.3. Proposition. Let f : M → N be a homomorphism <strong>of</strong> modules.<br />

(1) f is injective if and only if Ker f = 0.<br />

(2) f is surjective if and only if Cok f = 0.<br />

(3) f is an isomorphism if and only if Ker f = 0 and Cok f = 0.<br />

Pro<strong>of</strong>. (1) If f is injective and x ∈ Ker f then f(x) = 0 = f(0) so x = 0.<br />

Conversely if Ker f = 0 and f(x) = f(y) then f(x − y) = 0 so x = y. (2) The<br />

factor module N/ Im f = 0 if and only if Im f = N. (3) This follows from (1)<br />

and (2).<br />

2.3.4. Example. Let a ∈ R give scalar multiplication aM : M → M, x ↦→ ax.<br />

(1) Im aM = aM = {ax ∈ M|x ∈ M}.<br />

(2) Ker aM = {x ∈ M|ax = 0}.<br />

(3) Cok aM = M/aM.<br />

2.3.5. Proposition. Let f : M → N be a homomorphism <strong>of</strong> modules.<br />

(1) Let L ⊂ Ker f be a submodule. Then there is a unique homomorphism f ′ :<br />

M/L → N such that f = f ′ ◦ p.<br />

M<br />

p<br />

<br />

M/L<br />

f<br />

(2) The homomorphism f ′ : M/ Ker f → N is a module isomorphism onto the<br />

submodule Im f <strong>of</strong> N.<br />

M<br />

p<br />

<br />

M/ Ker f<br />

f<br />

f ′<br />

f ′<br />

<br />

<br />

N<br />

<br />

Im f<br />

<br />

Pro<strong>of</strong>. (1) If x+L = x ′ +L then x−x ′ ∈ L giving f(x) = f(x ′ ). The factor map<br />

f ′ : M/L → N, x + L ↦→ f(x) is therefore well defined and f = f ′ ◦ p. Since<br />

f, p are homomorphisms and p is surjective it follows that f ′ is a homomorphism.<br />

(2) The kernel <strong>of</strong> f ′ is Ker f/ Ker f = 0 so by 2.3.3 it is an isomorphism.

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

Saved successfully!

Ooh no, something went wrong!