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.
52 3. EXACT SEQUENCES OF MODULES<br />
3.5.11. Proposition. Any module M admits an exact sequence<br />
F → M → 0<br />
where F is a projective module. That is, any module is a factor module <strong>of</strong> a projective<br />
module.<br />
Pro<strong>of</strong>. Take F free, 2.4.12.<br />
3.5.12. Exercise. (1) Let R = R1 × R2. Show that R1, R2 are projective ideals in R.<br />
(2) Show that the ideal (2)/(6) in the ring Z/(6) is projective.<br />
(3) Show that the ideal (2)/(4) in the ring Z/(4) is not projective.<br />
3.6. Injective modules<br />
3.6.1. Definition. An R-module E is an injective module if for any exact sequence<br />
0 → M → N the sequence<br />
is exact.<br />
HomR(N, E) → HomR(M, E) → 0<br />
3.6.2. Proposition. A module E is an injective module if and only if any injective<br />
homomorphism 0 → E → L has a retraction.<br />
Pro<strong>of</strong>. Assume E injective and f : E → L injective. Then HomR(L, E) →<br />
HomR(E, E) → 0 is exact. So there exists a u : L → E such that u ◦ f = 1E.<br />
Then u is a retraction. Conversely given f : M → N injective and h : M → E.<br />
Let L = Cok M → E ⊕ N, x ↦→ h(x) − f(x) and iE : E → L, iN : N → L the<br />
injections, then iN ◦ f = iE ◦ h. Now iE is injective since f is. Let u : L → E be<br />
a retraction <strong>of</strong> iE, then h ′ = u ◦ iN satisfies h = h ′ ◦ f.<br />
0<br />
<br />
M<br />
3.6.3. Corollary. A short exact sequence<br />
0<br />
f<br />
<br />
E<br />
f<br />
<br />
N<br />
h<br />
h<br />
<br />
<br />
′<br />
<br />
E iE<br />
<br />
<br />
L<br />
u<br />
g<br />
<br />
N<br />
iN<br />
<br />
L<br />
where E is an injective module is a split exact sequence.<br />
3.6.4. Example. Let I ⊂ R be an ideal. If I is injective, then there is a ring<br />
decomposition R/I × R ′ R.<br />
3.6.5. Proposition. A direct summand in an injective module is injective.<br />
Pro<strong>of</strong>. Let E ⊕ E ′ be an injective module and f : E → L an injective homomorphism.<br />
By 3.6.2 there is a retraction u ′ : L ⊕ E ′ → E ⊕ E ′ to (f, 1E ′). Then<br />
u(y) = pE ◦ u ′ (y, 0) is a retraction to f and E is injective.<br />
3.6.6. Proposition. Let Eα be a family <strong>of</strong> injective modules, then the direct product<br />
<br />
α Eα is an injective module<br />
<br />
0