Let $(A,\mathfrak{m})$ be a noetherian local ring, and $E(A/\mathfrak{m})$ the injective hull of $A/\mathfrak{m}$. I'm pretty sure that $E(A/\mathfrak{m})$ doesn't automatically extend to an $A/\mathfrak{m}$-module via the projection map $A\twoheadrightarrow A/\mathfrak{m}$. That is, the elements of $\mathfrak{m}$ do not necessarily kill $E(A/\mathfrak{m})$. Can anyone think of an easy example of this?
About injective hull of residue field
2
$\begingroup$
commutative-algebra
1 Answers
1
Take $k[X]/(X^n)$. This is a noetherian local ring. The injective hull of $k\cong (k[X]/(X^n))/(X)$ is $k[X]/(X^n)$, but $X$ does not kill $k[X]/(X^n)$.
-
0@ashpool I don't think so, the injectie hull of $k$ is $k$ and this is a module for $k/0\cong k$, the projection map is an isomorphism in your case. – 2011-10-14