Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
Commutative algebra - Department of Mathematical Sciences - old ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
60 4. FRACTION CONSTRUCTIONS<br />
4.2.7. Proposition. If Mα is a family <strong>of</strong> modules, then the homomorphism<br />
U −1 ( <br />
Mα) → <br />
is a natural isomorphism <strong>of</strong> U −1 R-modules.<br />
α<br />
α<br />
U −1 Mα<br />
Pro<strong>of</strong>. This is the method <strong>of</strong> common denominators in a finite sum.<br />
xi<br />
=<br />
ui<br />
1 <br />
(Πj=iuj)xi<br />
Πiui<br />
i<br />
4.2.8. Exercise. (1) Show that if U contains a nilpotent element, then U −1 M = 0.<br />
(2) Show that<br />
Ker M → U −1 M = {x ∈ M|ux = 0, for some u ∈ U}<br />
(3) Let U = {u1, . . . , um} and u = u1 · · · um. Then show that<br />
U −1 M = {u n } −1 M<br />
(4) Show that U −1 M = 0 if and only if U ∩ Ann(x) = ∅ for all x ∈ M.<br />
(5) Show that the fraction homomorphism <strong>of</strong> a composition is the composition <strong>of</strong> the<br />
respective fraction homomorphisms.<br />
(6) Let M be a free R-module. Show that U −1 M is a free U −1 R-module<br />
4.3. Exactness <strong>of</strong> fractions<br />
4.3.1. Proposition. Let R be a ring and U a multiplicative subset. Given an exact<br />
sequence <strong>of</strong> R-modules<br />
M f<br />
Then the following sequence is exact<br />
U −1 M<br />
i<br />
g<br />
<br />
N<br />
<br />
U −1N <br />
L<br />
<br />
U −1L Pro<strong>of</strong>. If y<br />
u ∈ U −1N maps to g(y)<br />
u = 0 then there is v ∈ U such that 0 = vg(y) =<br />
g(vy). Choose x ∈ M such that f(x) = vy. Then x<br />
exactness.<br />
4.3.2. Corollary. Given a short exact sequence<br />
0<br />
f<br />
<br />
M<br />
Then the following sequence is exact<br />
0<br />
<br />
U −1M g<br />
<br />
N<br />
<br />
U −1N <br />
L<br />
vu<br />
maps to f(x)<br />
vu<br />
<br />
0<br />
<br />
U −1L If the first sequence is split exact, also the second sequence is split exact.<br />
<br />
0<br />
= y<br />
u proving<br />
4.3.3. Corollary. For a homomorphism f : M → N there are natural isomorphisms<br />
<strong>of</strong> U −1 R-modules.<br />
(1) U −1 Ker f Ker U −1 f.<br />
(2) U −1 Im f Im U −1 f.<br />
(3) U −1 Cok f Cok U −1 f.