Lemma 10.118.3. Let $R$ be a local ring with maximal ideal $\mathfrak m$. Assume $R$ is Noetherian, has dimension $1$, and that $\dim (\mathfrak m/\mathfrak m^2) > 1$. Then there exists a ring map $R \to R'$ such that
$R \to R'$ is finite,
$R \to R'$ is not an isomorphism,
the kernel and cokernel of $R \to R'$ are annihilated by a power of $\mathfrak m$, and
$\mathfrak m$ is not an associated prime of $R'$.
This follows from Lemma 10.118.2 and the fact that $R$ is not Artinian, not regular, and does not have depth $\geq 2$ (the last part because the depth does not exceed the dimension by Lemma 10.71.3).
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).