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.

56 3. EXACT SEQUENCES OF MODULES<br />

Pro<strong>of</strong>. Let E be an injective module. By 3.7.9 and 3.6.3 the sequence<br />

0<br />

<br />

HomR(F, E)<br />

is split exact. So also the sequence<br />

0<br />

<br />

HomR(L, HomR(F, E))<br />

<br />

HomR(N, E)<br />

<br />

HomR(M, E)<br />

<br />

HomR(L, HomR(N, E))<br />

<br />

HomR(L, HomR(M, E))<br />

is split exact. By 2.6.13 this is natural isomorphic to the sequence<br />

0<br />

Conclusion by 3.6.13.<br />

<br />

HomR(L ⊗R F, E)<br />

<br />

HomR(L ⊗R N, E)<br />

<br />

HomR(L ⊗R M, E)<br />

3.7.12. Proposition. A module F is flat, if for any ideal I ⊂ R<br />

is exact.<br />

0 → I ⊗R F → R ⊗R F<br />

Pro<strong>of</strong>. By 3.7.9 it suffices to see that HomR(F, E) is injective for any injective E.<br />

By 3.6.7 this amounts to HomR(R, HomR(F, E)) → HomR(I, HomR(F, E)) being<br />

surjective. By 2.6.13 this homomorphism is HomR(R⊗RF, E) → HomR(I⊗R<br />

F, E) which is surjective since E is injective.<br />

3.7.13. Exercise. (1) Show that Z/(n) is not a flat Z-module for n = 0, 1.<br />

(2) Show that Z/(2) is a flat Z/(6)-module.<br />

(3) Show that Z/(2) is not a flat Z/(4)-module.<br />

<br />

0<br />

<br />

0<br />

<br />

0

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

Saved successfully!

Ooh no, something went wrong!