§
Exactness of modules is local
We wish to show that for some ring
R
R
R
and modules
K
,
L
,
M
K, L, M
K
,
L
,
M
a sequence
K
→
L
→
M
K \rightarrow L \rightarrow M
K
→
L
→
M
is exact iff
K
m
→
L
m
→
M
m
K_m \rightarrow L_m \rightarrow M_m
K
m
→
L
m
→
M
m
is exact for every maximal ideal
m
⊂
R
m \subset R
m
⊂
R
. This tells us that exactness is local.