A note on the Matlis dual of a certain injective hull (Q473009): Difference between revisions

Let \((R,\mathfrak m)\) denote a commutative Noetherian local ring with the injective hull \(E=E_R(R/{\mathfrak m})\) of the residue field \(k=R/{\mathfrak m}\). It was shown in [\textit{E. E. Enochs} and \textit{O. M. G. Jenda}, Relative homological algebra. Vol. 1. 2nd revised and extended ed. 2nd revised and extended ed. Berlin: Walter de Gruyter (2011; Zbl 1238.13001); Vol. 2. 2nd revised ed. 2nd revised ed. Berlin: Walter de Gruyter (2011; Zbl 1238.13002)] that \[ \Hom_R(E_R(R/{\mathfrak p}),E)\simeq \Hom_R(E_R(R/{\mathfrak p}),E_R(R/{\mathfrak p})^{\mu_{\mathfrak p}})\simeq\widehat{R_{\mathfrak p}^{\mu_{\mathfrak p}}} \] such that \(\mu_{\mathfrak p}=\dim_{k(\mathfrak p)}\Hom_R(k(\mathfrak p),E)\). The main result of the paper is the following: Let \(\mathfrak p\) denote a one dimensional prime ideal. Then \(\Hom_R(E_R(R/{\mathfrak p}),E)\simeq\widehat{R_{\mathfrak p}}\) if and only if \(R/{\mathfrak p}\) is complete. Moreover, in the case of \(R\) a one dimensional domain there is a complete description of \(Q\otimes_R\widehat{R}\) in the terms of the completion \(\widehat{R}\).