Salce's problem on cotorsion pairs is undecidable

DOI10.1112/BLMS.12634OpenAlexW3135347483MaRDI 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

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)

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