When the kernel of a complete hereditary cotorsion pair is the additive closure of a tilting module (Q2417793): Difference between revisions

Let \(R\) be an associative ring with identity. For a full subcategory \(\mathcal{C}\) of R-mod, we define \(\mathcal{C}^{\perp}:=\{M\ \vert\mathrm{Ext}^1_R(C,M)=0,\ \forall C\in\mathcal{C}\}\) and \(^\perp\mathcal{C}:=\{M\ \vert\mathrm{Ext}^1_R(M,C)=0,\ \forall C\in\mathcal{C}\}.\) For \(\mathcal{A}\) and \(\mathcal{B}\) classes in R-mod, the pair \(\mathcal{C}=(\mathcal{A},\mathcal{B})\) is called a cotorsion pair if \(\mathcal{A}=^\perp\mathcal{B}\) and \(\mathcal{B}=\mathcal{A}^\perp,\) while \(\mathcal{K}_\mathcal{C}=\mathcal{A}\cap\mathcal{B}\) is called the kernel of \(\mathcal{C}.\) The main result of the paper gives equivalent conditions for the kernel of a complete hereditary cotorsion pair to be the addicitve closure of a tilting module. As an application the authors characterizes when the little finitistic dimension of a left Noetherian ring is finite. Other two applications are equivalent conditions for a Wakamatsu tilting module to be a tilting module and new characterizations of Gorenstein commutative rings in terms of the kernel of a cotorsion pair.