# On the existence of finitely generated injective modules (Bruns and Herzog, Exercise 3.1.23)

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)

-
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

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.