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 |
|---|---|
| Authors | |
| Publication Date | June 1, 2014 |
| DOI | https://doi.org/10.24330/ieja.266238 |
| IZ | https://izlik.org/JA28XK44ZM |
| Published in Issue | Year 2014 Volume: 15 Issue: 15 |