Some properties of commutative ring extensions (Q1092117)

A key tool in the author's study of commutative ring extensions S of R is a torsion functor \(t_ S\) of R-modules determined by the set of all ideals I of R such that \(IS=S\). The category of all R-modules that are R- submodules of S-modules is denoted by \({\mathcal J}_ S\). Properties are derived for \({\mathcal J}_ S\), including its closure under direct limits. Let E be the injective envelope of R, \({\mathcal U}\) the set of all faithful ideals of R, \(t_{{\mathcal U}}\) the torsion functor determined by \({\mathcal U}\), and U/R the \(t_{{\mathcal U}}\)-torsion submodule of E/R. U is a commutative ring extension of R contained in E. If \({\mathcal J}\) is the set of all ideals of R that contain a faithful, finitely generated ideal of R, if \(t_ E\) is the associated torsion functor of \({\mathcal J}\) and if \(t_ E(E/R)=V/R\), then V is a commutative subring of U containing R. If S is a commutative ring extension of R such that S/R is \(t_ S\)-torsion, then S is isomorphic to a unique subring of V and \(t_ S(E/R)=S/R\). Additional study is made of integral domains and their over-rings.