Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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)$.

share|improve this question
    
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 ? –  Ralph Feb 23 '12 at 12:22
    
I have deleted my earlier answer which was incorrect. –  Neil Strickland Feb 23 '12 at 13:37
    
@ Ralph: Could you put your comment as an answer. I will accept it. However, can you slove this exercise! –  Pham Hung Quy Feb 23 '12 at 15:59
add comment

2 Answers

up vote 4 down vote accepted

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

share|improve this answer
    
Sorry, I do not understand your naswer. –  Pham Hung Quy Feb 23 '12 at 15:55
    
see theorem 18.6 books.google.com/… –  Stella Feb 23 '12 at 16:59
    
Could you give a more detail answer? I do not known why Theorem 18.6 (Masumura) implies my question. –  Pham Hung Quy Feb 24 '12 at 1:50
add comment

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.

share|improve this answer
1  
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$. –  Ralph Feb 25 '12 at 2:57
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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