Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose that $R$ is a local Noetherian ring. Suppose that there exists a non-zero finitely generated injective module $M$. How can I prove that $R$ is Artinian?

It is easy if $R$ is Cohen-Macaulay, because we know that if there exists a nonzero finitely generated module $M$ of finite injective dimension then $\mathrm{id}\;M=\mathrm{depth}\;R$. So in our case we get $\mathrm{depth}\;R=0$, so if the ring is Cohen-Macaulay we can deduce that it is Artinian. But this should be true in general, any idea of how to prove it?

(I was told that it can be proved with Matlis duality, but since this is an exercise in Bruns-Herzog that comes before Matlis duality there should be a way to prove it without using it)

share|improve this question
    
Maybe the idea of the problem is to make you think hard and suffer so that when Matlis duality comes later in the book you appreciate it more... –  Mariano Suárez-Alvarez Nov 8 '12 at 5:39
    
@Mariano I can't see how could use Matlis duality to prove this. Any hint? –  user26857 Nov 8 '12 at 16:27
    
@navigetor23, I have not thought about it at all: I was just remarking that sometimes exercises are placed where they are for all sorts of reasons! –  Mariano Suárez-Alvarez Nov 8 '12 at 19:37

1 Answer 1

up vote 5 down vote accepted

Let $Q$ be a finitely generated nonzero injective $R$-module. Assume that $\dim R>0$.

There exists a prime ideal $\mathfrak{p}\neq\mathfrak{m}$ such that $\operatorname{Hom}_R(R/\mathfrak{p},Q)\neq 0$. In order to prove this take $\mathfrak{q}\in\text{Ass}(Q)$ and consider two cases: $\mathfrak{q}\neq\mathfrak{m}$ (and we are done) or $\mathfrak{q}=\mathfrak{m}$ (and now any prime ideal $\mathfrak{p}\neq\mathfrak{m}$ is okay).

Let $a\in\mathfrak{m}$, $a\notin\mathfrak{p}$. Then we have an exact sequence $0\longrightarrow R/\mathfrak{p}\stackrel{a\cdot}\longrightarrow R/\mathfrak{p}$ and by using the injectivity of $Q$ any $f\in\operatorname{Hom}_R(R/\mathfrak{p},Q)$ has an "extension" $g\in\operatorname{Hom}_R(R/\mathfrak{p},Q)$. This shows that $\operatorname{Hom}_R(R/\mathfrak{p},Q)=a\operatorname{Hom}_R(R/\mathfrak{p},Q)$ and Nakayama implies that $ \operatorname{Hom}_R(R/\mathfrak{p},Q)=0$, a contradiction.

share|improve this answer

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.