Let $R$ be a commutative noetherian ring, and let $M$ be an $R$-module. How I can show that if any localization $M\_p$ at a prime ideal $p$ of the ring $R$ is injective over $R\_p$, then $M$ is injective? 



injectivity is a local property over noetherian rings
Let $A \to B$ be an injection of $R$-modules. We want to show that $\mathrm{Hom}(B,M) \to \mathrm{Hom}(A,M)$ is surjective. It suffices to check this locally (since localization is an exact functor and the cokernel of the map is zero iff it's zero locally). So let $p$ be a prime, and consider the localized map $\mathrm{Hom}\_R(B,M) \otimes R\_p \to \mathrm{Hom}\_R(A,M) \otimes R\_p$. Now, for $B$ and $A$ finitely presented over $R$, this is $\mathrm{Hom}\_{R\_p}(B\_p,M\_p) \to \mathrm{Hom}\_{R\_p}(A\_p,M\_p)$. Again, localization is exact so $A\_p \to B\_p$ is injective, and $M\_p$ is injective by hypothesis, so this map is surjective.


What's left is to show that we only need to check injectivity against maps of finitely presented $R$-modules; since $R$ is noetherian, 'finitely presented' is equivalent to 'finitely generated.' In fact, there's a thing called [Baer's injectivity criterion](http://en.wikipedia.org/wiki/Injective_module#Baer.27s_criterion) that says you only have to check injectivity against inclusions $I \to R$ for $I$ an ideal! So we're done.


