4
$\begingroup$

The question is very simple: Do you know an easy proof of the following: Let $I$ be an injective $R$-module and $a\subset R$ an ideal. Then the localized module $ I_a$ is again injective.

Of course we are working in commutative algebra. I know a long proof using cohomology with compact suport, where you just have to prove that the kernel of the localization morphism, or the $a$-torsion of $I$, $\Gamma_a(I)=\{m\in I | a^t m=0 \text{ for some } t\in\mathbb{N}\}$ is injective.

  • 0
    By the way, wikipedia says that Rotman gave a wrong proof in his book Introduction to homological algebra... xd2012-12-26
  • 1
    Have you taken a look at theorem 4.88 in page 200 of the *second edition* of Rotman's book? He proves that if $R$ is noetherian, then any localization of an injective $R$-module is an injective module. He then acknowledges in the following remark that the assertion is false if $R$ is not noetherian, and points to a counterexample of Dade (the one pointed out in the wikipedia article).2012-12-26
  • 0
    Ok I was always thinking in the noetherian case, yes. Anyway, when you talk about local cohomology, the rings are noehterian, and the proof is not wrong, you can have a look at it at Brodman's book in local cohomology. Bruno: I had a different edition of Rotman's book and haven't found the proof, thanks!2012-12-28
  • 0
    @Miguel How should we know that you are thinking in the noetherian case? Moreover, local cohomology functors can be defined for any commutative ring. Last, but not least, I said that the proof must be wrong without the noetherian condition. (Anyway, still don't know what means $I_a$.)2012-12-28
  • 0
    As I said, $I_a$ is the localized module. Given an ideal $a\in R$, you can localize any $R$-module, just considering the multiplicatively closed system $R-a$. Take a look at Atiyah McDonnald!2012-12-30

0 Answers 0