2
$\begingroup$

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?

1 Answers 1

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