Salce's problem on cotorsion pairs is undecidable

DOI10.1112/BLMS.12634MaRDI QIDQ6133410OpenAlexFDO

Authors Sean Cox

Publication date 18 August 2023

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

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

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)

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).

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.

Cites work

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

Cited in

(3)

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

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)