Relative tor functors for level modules with respect to a semidualizing bimodule (Q295896)

The theory of relative homological algebra has been introduced by \textit{S. Eilenberg} and \textit{J. C. Moore} [Mem. Am. Math. Soc. 55, 39 p. (1965; Zbl 0129.01101)]. In the paper under review, the authors define and study relative Tor functors for level modules with respect to a semidualizing bimodule. In particular, let \(R\) and \(S\) be rings and \(_{S}C_{R}\) a semidualizing bimodule. Let \[ \mathcal{L}_{C}(S)=\{C\otimes_{R}F \;| _{R}F\;\; \text{is level}\} \] be the class of \(C\)-level \(S\)-modules. The authors prove that every \(S\)-module has a \(C\)-level precover. Let \(Q\) be a proper left \(\mathcal{L}_{C}(S)\)-resolution of an \(S\)-module \(N\). Then the authors define relative Tor functors \[ \mathrm{Tor}_{i}^{ \mathcal{ML}_{\mathcal{C}}} (M,N): =H_{i}(M\otimes_{S}Q) \] for each \(i\geq 0\) and any \(S^{op}\)-module \(M\). For \(S=R\) a commutative Notherian ring, these functors coincide with the relative Tor functors \(\mathrm{Tor}_{i}^{\mathcal{MF}_{\mathcal{C}}}(-,-)\) defined by \textit{M. Salimi}, \textit{S. Sather-Wagstaff}, \textit{E. Tavasoli} and \textit{S. Yassemi} in [Algebr. Represent. Theory 17, No. 1, 103--120 (2014; Zbl 1295.13023)]. In the main theorem of the paper the authors provide a characterization of finiteness of \(\mathcal{L}_{C}(S)\)-projective dimension in terms of vanishing of \(\mathrm{Tor}_{i}^{ \mathcal{ML}_{\mathcal{C}}} (-,-)\) functors. This theorem generalizes Theorem \(5.4\) in [loc. cit.]. As a first application the authors characterize when every \(S\)-module has a monic (or epic) \(C\)-level precover (or preenvelope). As a second application the authors prove an equivalent conditions theorem in order to have an isomorphism \(\mathrm{Tor}_{i}^{ \mathcal{ML}_{\mathcal{C}}} (-,-) \simeq \mathrm{Tor}_{i}^{\mathcal{MF}_{\mathcal{C}}}(-,-)\), for each integer \(i\).