Abstract
For a Noetherian local ring (R, m) with p ∈ Spec(R), we denote the R-injective hull of R/p by ER(R/p). We show that it has an Rˆp -module structure, and there is an isomorphism ER(R/p) ∼= ERˆp (Rˆp/pRˆp ), where Rˆp stands for the p-adic completion of R. Moreover, for a complete Cohen-Macaulay ring R, the module D(ER(R/p)) is isomorphic to Rˆp provided that dim(R/p) = 1, where D(·) denotes the Matlis dual functor HomR(·, ER(R/m)). Here, Rˆp denotes the completion of Rp with respect to the maximal ideal pRp. These results extend those of Matlis (see [11]) shown in the case of the maximal ideal m.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.