3
$\begingroup$

Let $(R, m, k)$ be a Noetherian local ring. Let $E_R(k)$ be the injective hull of $k$ as an $R$-module. It is well known that $E_R(k)$ is Artinian and is an $(R, \hat{R})$-bimodule (see, Brodmann-Sharp: local cohomology, 1998), where $\hat R$ is the completion of $R$. My question is

Question: Is $E_R(k)$ injective as an $\hat R$-module. In this is the case $E_R(k) = E_{\hat{R}}(k)$.

$\endgroup$
3
  • $\begingroup$ Doesn't this follow from Broadmann-Sharp, Ex. 10.2.10: $E_R(R/m) \cong E_{\hat{R}}(\hat{R}/\hat{m})$ as $\hat{R}$-modules ? $\endgroup$
    – Ralph
    Feb 23, 2012 at 12:22
  • $\begingroup$ I have deleted my earlier answer which was incorrect. $\endgroup$ Feb 23, 2012 at 13:37
  • $\begingroup$ @ Ralph: Could you put your comment as an answer. I will accept it. However, can you slove this exercise! $\endgroup$ Feb 23, 2012 at 15:59

2 Answers 2

3
$\begingroup$

You can see Theorem 18.6 in Commutative ring theory by H.Matsumura.

$\endgroup$
3
  • $\begingroup$ Sorry, I do not understand your naswer. $\endgroup$ Feb 23, 2012 at 15:55
  • $\begingroup$ see theorem 18.6 books.google.com/… $\endgroup$
    – Stella
    Feb 23, 2012 at 16:59
  • $\begingroup$ Could you give a more detail answer? I do not known why Theorem 18.6 (Masumura) implies my question. $\endgroup$ Feb 24, 2012 at 1:50
3
$\begingroup$

I'll give a sketch of the proof. But it's inspired by 18.6 of Matsumura. So please accept Anna's answer.

By Bordmann-Sharp 10.2.9 (B-S) we know that $E:= E_R(k)$ is an $\hat{R}$-module. Let $F := E_\hat{R}(E)$. Thus there is an embedding $i: E \to F$ of $\hat{R}$-modules. Since $E$ is $R$-injective, $i$ splits over $R$, i.e. there is a $R$-linear map $j: F \to E$ with $j\circ i = id_E$.

Suppose, we have shown that $F$ is indecomposable (claim 1) and that $j$ is $\hat{R}$-linear (claim 2), i.e. $i$ splits over $\hat{R}$. Then $E$ is an $\hat{R}$-direct summand of $F$ and hence $E=F$ holds.

Claim 1: $F$ is indecomposable as $\hat{R}$-module.

Suppose $F = M \oplus N$. Consider $M$ as $R$-module. Hence $M \cap E$ is an $R$-submodule of $E$ and since $E$ is an essential extension of $k$, $M \cap k \neq 0$. Analogously $N \cap k \neq 0$ and since $k$ is a field, we find $M \cap k \cap N \neq 0$, in contradiction to $M \cap N = 0$.

Claim 2: $j$ is $\hat{R}$-linear

$k = \hat{R}/\hat{m}$ is an $\hat{R}$-module with $k \le E \le F$. Hence $E_\hat{R}(k) \le F$ (as $\hat{R}$-modules) and by injectivity, $E_\hat{R}(k)$ is a direct summand of $F$. But $F$ is indecomposable, so $F = E_\hat{R}(k)$. In particular, $F$ is Artinian and for each $x \in F$ there is $t > 0$ such that $\hat{m}^t x = 0$ (B-S). Let $r \in \hat{R}$. Since $\hat{R}$ is $m$-adically complete there is $r_0 \in R$ such that $r-r_0 \in \hat{m}^t$. Therefore $(r-r_0)x = 0$ and since $j$ is $R$-linear, we obtain $j(rx) = r_0\cdot j(x)$ and the latter is by definition just $r\cdot j(x)$ (B-S). Thus $j$ is $R$-linear.

$\endgroup$
1
  • 1
    $\begingroup$ Addition to the proof of claim 1: For the proof to be complete, we need that $M \cap E, N \cap E \neq 0$ (assume $M, N \neq 0$). But this follows from the fact that $F$ is an essential extension of $E$. $\endgroup$
    – Ralph
    Feb 25, 2012 at 2:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.