Explicit description of a class of indecomposable injective modules (Q2569263)

Let \(R\) be a noetherian ring and \(P\) a weakly locally principal prime ideal of it i.e. \(P\) is a prime ideal such that \(P R_P\) is a principal ideal of the localisation \(R_P\). The authors prove that if the height of \(P\) is positive then the injective hull of \(R/P\) is \(R_{P, p^\infty}\) where \(p \in R\) is a generator of \(P R_P\). A key step in the proof is Lemma 2.1, which states that if a module \(M\) shares many properties of an injective module \(E\) then they are isomorphic: \(M \simeq E\).