
Lemma 10.9.7. Let $R$ be a ring. Let $S \subset R$ a multiplicative subset. Let $M$, $N$ be $R$-modules. Assume all the elements of $S$ act as automorphisms on $N$. Then the canonical map

$\mathop{\mathrm{Hom}}\nolimits _ R(S^{-1}M, N) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _ R(M, N)$

induced by the localization map, is an isomorphism.

Proof. It is clear that the map is well-defined and R-linear. Injectivity: Let $\alpha \in \mathop{\mathrm{Hom}}\nolimits _ R(S^{-1}M, N)$ and take an arbitrary element $m/s \in S^{-1}M$. Then, since $s \cdot \alpha (m/s) = \alpha (m/1)$, we have $\alpha (m/s) =s^{-1}(\alpha (m/1))$, so $\alpha$ is completely determined by what it does on the image of $M$ in $S^{-1}M$. Surjectivity: Let $\beta : M \rightarrow N$ be a given R-linear map. We need to show that it can be "extended" to $S^{-1}M$. Define a map of sets

$M \times S \rightarrow N,\quad (m,s) \mapsto s^{-1}\beta (m)$

Clearly, this map respects the equivalence relation from above, so it descends to a well-defined map $\alpha : S^{-1}M \rightarrow N$. It remains to show that this map is $R$-linear, so take $r, r^\prime \in R$ as well as $s, s^\prime \in S$ and $m, m^\prime \in M$. Then

\begin{align*} \alpha (r \cdot m/s + r^\prime \cdot m^\prime /s^\prime ) & = \alpha ((r \cdot s\prime \cdot m + r\prime \cdot s \cdot m^\prime ) /(ss^\prime )) \\ & = (ss^\prime )^{-1}(\beta (r \cdot s\prime \cdot m + r\prime \cdot s \cdot m^\prime ) \\ & = (ss^\prime )^{-1} (r \cdot s^\prime \beta (m) + r^\prime \cdot s \beta (m^\prime ) \\ & = r \alpha (m/s) + r^\prime \alpha (m^\prime /s^\prime ) \end{align*}

and we win. $\square$

There are also:

• 2 comment(s) on Section 10.9: Localization

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).