On localization of injective modules (Q1076735): Difference between revisions

Let M denote a maximal ideal of a commutative ring R, and let \(R_ M\) denote R localized at M. Let T be any multiplicatively closed set and let \(\bar T\) denote the image of T in \(R_ M\). In this paper it is shown that if the R-module E is T-torsionfree, then E is T-injective if and only if \(E_ M\) is a \(\bar T-\)injective \(R_ M\)-module. From this result it follows that if R is an order in a semisimple ring, then E is an injective R-module if and only if \(E_ M\) is an injective \(R_ M\)- module for every maximal ideal M of R. A ring R is called T-h-local if every t in T is an element of only finitely many maximal ideals of R and every prime ideal P of R, which is not a minimal prime and \(P\cap T\neq \emptyset\), is a subset of only one maximal ideal of R. Examples of such rings include finite products of valuation domains. It is shown that for R\ T-h-local, an arbitrary R-module E is T-injective if and only if \(E_ M\) is T-injective for every maximal ideal M of R.