\(n\)-cotorsion pairs (Q2223355): Difference between revisions

Let \(n\) be a positive integer, and let \(\mathcal{A}\) and \(\mathcal{B}\) be classes of objects of an abelian category \(\mathcal{C}\). The pair \((\mathcal{A},\mathcal{B})\) is called a left (resp. right) \(n\)-cotorsion pair in \(\mathcal{C}\) if \(\mathcal{A}\) (resp. \(\mathcal{B}\)) is closed under direct summands, \(\mathrm{Ext}^{i}_{\mathcal{C}}(\mathcal{A},\mathcal{B})=0\) for every \(1\leq i\leq n\), and every object \(C\) of \(\mathcal{C}\) is a homomorphic image (resp. subobject) of an object \(A\in \mathcal{A}\) (resp. \(B\in \mathcal{B}\)) with kernel (resp. cokernel) having the \(\mathcal{B}\)-resolution (the \(\mathcal{A}\)-coresolution) dimension at most \(n-1\). An \(n\)-cotorsion pair is defined as a left and right \(n\)-cotorsion pair. These notions generalize complete cotorsion pairs, and they are thoroughly investigated in the present paper. The authors study approximations from \(n\)-cotorsion pairs and hereditary pairs in higher cotorsion. They illustrate and delimit the theory in a substantial section of applications and examples, including applications to Gorenstein projective modules, Ding projective modules, Gorenstein flat modules, Cluster tilting subcategories and higher cotorsion for chain complexes.