Salce's problem on cotorsion pairs is undecidable

DOI10.1112/BLMS.12634arXiv2103.06687OpenAlexW3135347483MaRDI QIDQ6133410FDOQ6133410

Authors: Sean Cox 

Publication date: 18 August 2023

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Abstract: Salce cite{MR565595} introduced the notion of a emph{cotorsion pair} of classes of abelian groups, and asked whether every such pair is emph{complete} (i.e., has enough injectives and projectives). We prove that it is consistent, relative to the consistency of Vopv{e}nka's Principle (VP), that the answer is affirmative. Combined with a previous result of Eklof-Shelah cite{MR2031314}, this shows that Salce's Problem is independent of the ZFC axioms (modulo the consistency of VP).

Full work available at URL: https://arxiv.org/abs/2103.06687

Recommendations

• Completeness of cotorsion pairs
• \((\mathfrak{V,W})\)-cotorsion pairs.
• Cotorsion pairs and degreewise homological model structures
• Cotorsion pairs in \(\mathbf{C}(R-\text{Mod})\)
• Cotorsion pairs for Bext and a generalization of Whitehead's problem.

Mathematics Subject Classification ID

Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Consistency and independence results (03E35) Free, projective, and flat modules and ideals in associative algebras (16D40) Module categories in associative algebras (16D90) Relative homological algebra, projective classes (category-theoretic aspects) (18G25) Large cardinals (03E55) Applications of set theory (03E75) Homological and categorical methods for abelian groups (20K40) Applications of logic in associative algebras (16B70)

Cites Work

• ALL MODULES HAVE FLAT COVERS
• Title not available (Why is that?)
• Set Theory
• Iterated forcing and elementary embeddings
• Deconstructibility and the Hill lemma in Grothendieck categories
• How To Make Ext Vanish
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• Covers induced by Ext
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Indestructibility of Vopěnka's principle
• Guessing models and generalized Laver diamond
• Kaplansky classes
• Completeness of cotorsion pairs
• Covers and directed colimits.
• On the existence of precovers.
• Title not available (Why is that?)
• Maximum deconstructibility in module categories

Cited In (3)

• Patterns of structural reflection in the large-cardinal hierarchy
• Deconstructible abstract elementary classes of modules and categoricity
• Approximation properties of torsion classes

This page was built for publication: Salce's problem on cotorsion pairs is undecidable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6133410)