Relative left derived functors of tensor product functors (Q327267)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relative left derived functors of tensor product functors |
scientific article |
Statements
Relative left derived functors of tensor product functors (English)
0 references
19 October 2016
0 references
The aim of the paper is to introduce and study the relative left derived functor \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (-,-)\) induced by the tensor product. Let \((\mathcal{C}, \mathcal{D})\) be a balanced pair in Mod-\(R\), let \((\mathcal{C'}, \mathcal{D'})\) be a balanced pair in \(R\)-Mod, let \(\mathcal{F}\) be a precovering subcategory in Mod-\(R\) containing \(\mathcal{C}\), and let \(\mathcal{F'}\) be a precovering subcategory in \(R\)-Mod containing \(\mathcal{C'}\), such that \(\mathcal{F'}^+ \subseteq \mathcal{D}\) and \(\mathcal{F}^+ \subseteq \mathcal{D'}\). For any right \(R\)-module \(M\), any left \(R\)-module \(N\), and any \(n \geq 0\), the groups \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (M,N)\) are defined by \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (M,N) : = H_n (\mathcal{F.} \otimes N)\), where \(\mathcal{F.}\) is a deleted left \(\mathcal{F}\)-resolution of \(M\). The authors prove that the relative left derived functors \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (-,-)\) can also be computes using a deleted \(\mathcal{F'}\)-resolution of \(N\) i.e. that \(H_n (\mathcal{F.} \otimes N) \simeq H_n (M \otimes \mathcal{F'.})\) with \(\mathcal{F'.}\) a deleted \(\mathcal{F'}\)-resolution of \(N\). Applications include criteria for computing the \(\mathcal{F}\)-resolution dimensions in terms of \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (-,-)\). In the last section of the paper, the authors study cotorsion pairs induced by \(\mathrm{Tor}_n^{(\mathcal{F}, \mathcal{F'})} (-,-)\) relative to a given balanced pair \((\mathcal{C}, \mathcal{D})\) in Mod-\(R\) and give applications.
0 references
tensor product functors
0 references
relative left derived functors
0 references
balanced pairs
0 references
cotorsion pairs
0 references
(co)resolution dimension
0 references
0 references