Relative injectivity and pure-injective modules over Prüfer rings (Q1093687)

A left module M over a ring R is called RD-injective, if for each inclusion \(A\hookrightarrow B\) such that \(rA=A\cap rB\) for all \(r\in R\) the induced map \(Hom_ R(B,M)\to Hom_ R(A,M)\) is surjective [\textit{R. B. Warfield} jun., Pac. J. Math. 28, 699-719 (1969; Zbl 0172.048)]. The first part of the present article is devoted to the discussion of general facts concerning RD-injectives, mainly over commutative rings. To a large extent these results are obtained by a general procedure due to \textit{L. Gruson} and \textit{C. U. Jensen} [C. R. Acad. Sci., Paris, Sér. A 276, 1651-1653 (1973; Zbl 0259.18015)], which allows to derive statements on RD-injective R-modules from statements on the injectives in a certain functor category in which R-Mod is embeddable. Then the attention is focussed on valuation rings, i.e. commutative rings with a totally ordered ideal set. In this case RD-injectivity coincides with pure- injectivity. A main result says that a faithful indecomposable pure- injective module M over such a ring is either injective or the pure- injective hull of a faithful proper ideal I of R. Furthermore, in the latter case M is isomorphic to \(\lim_{r\neq \vec 0}E_{R/Rr}(I/Ir)\). Under additional assumptions, for instance over valuation domains, more detailed descriptions of indecomposable pure-injective modules are derived.