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