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.
Other ID | JA67UZ27CM |
---|---|
Journal Section | Articles |
Authors | |
Publication Date | June 1, 2014 |
Published in Issue | Year 2014 |