*- Modules over ring extensions (Q4351701)

A left module \(V\) over an associative and unitary ring \(R\) with endomorphism ring \(S=\text{End}({_RV})\) is called a *-module if the functors \(\text{Hom}_R(V,-)\) and \(V\otimes_S-\) define an equivalence between full subcategories \({\mathcal C}\subseteq R\text{-Mod}\) and \({\mathcal D}\subseteq S\text{-Mod}\) with \({\mathcal C}\) closed under direct sums and submodules, \({\mathcal D}\) closed under direct products and epimorphic images, and \({_SS}\in{\mathcal D}\). Examples of *-modules are tilting modules (a basic reference on tilting theory is the paper by \textit{D. Happel} and \textit{C. M. Ringel} [Trans. Am. Math. Soc. 274, 399-443 (1982; Zbl 0503.16024)]). If \(f\colon A\to R\) is a ring homomorphism and \({_AU}\) is a *-module that generates \(V=R\otimes_AU\) as \(A\)-module, then \({_RV}\) is a *-module (Theorem 2.2). In the case that \(R=A\propto Q\) is a split extension of \(A\) by an ideal \(Q\), \({_AU}\) is a *-module whenever \({_RV}\) is (Theorem 3.2). If, in addition, \(R\) is noetherian and \(Q\) is nilpotent, then \({_RV}\) is a *-module if and only if \({_AU}\) is a *-module and \({_AU}\) generates \(Q\otimes_AU\) (Theorem 3.9). The author derives a characterization of the fact that \({_RV}\) is tilting under the hypothesis that \(R\) is left artinian (Theorem 4.1). The concluding section concerns criteria to insure that a torsion theory counter equivalence between \(A\text{-Mod}\) and \(B\text{-Mod}\) extends to one between \(R\text{-Mod}\) and \(S\text{-Mod}\) when \(R\) and \(S\) are ring extensions of \(A\) and \(B\) respectively (the theory of counter equivalences was developed by \textit{R. R. Colby} and \textit{K. R. Fuller} [in Commun. Algebra 23, No. 13, 4833-4849 (1995; Zbl 0836.16007)]).