Maximum deconstructibility in module categories

DOI10.1016/J.JPAA.2021.106934zbMATH Open1478.18013arXiv2012.11084OpenAlexW3211093699MaRDI QIDQ2065626FDOQ2065626

Authors: Sean Cox 

Publication date: 12 January 2022

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We prove that Vopv{e}nka's Principle implies that for every class $mathfrakX$ of modules over any ring, the class of extbf{$$-Gorenstein Projective modules} ( extbf{$$-$$}) is a special precovering class. In particular, it is not possible to prove (unless Vopv{e}nka's Principle is inconsistent) that there is a ring over which the extbf{Ding Projectives} ($$) or the extbf{Gorenstein Projectives} ($$) do not form a precovering class (v{S}aroch previously obtained this result for the class $mathcalGP$, using different methods). The key innovation is a new "top-down" characterization of emph{deconstructibility}, which is a well-known sufficient condition for a class to be precovering. We also prove that Vopv{e}nka's Principle implies, in some sense, the maximum possible amount of deconstructibility in module categories.

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

Recommendations

• Decompositions in categories of highest weight modules
• Maximal ideals in module categories and applications
• scientific article; zbMATH DE number 3937354
• Characterizing categoricity in several classes of modules
• Dedekind finite objects in module categories
• Decompositions of the stable module ∞$\infty$‐category
• Orthomodularity of decompositions in a categorical setting
• The decomposition of the trivial module in the complexity quotient category
• Modules with an almost categorical theory
• On the Structure of Modular Categories

zbMATH Keywords

Gorenstein projectiveelementary submodelstationary logicprecoveringdeconstructible

Mathematics Subject Classification ID

Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) 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) Applications of set theory (03E75) Applications of logic in associative algebras (16B70)

Cites Work

• Title not available (Why is that?)
• Gorenstein homological dimensions.
• Gorenstein injective and projective modules
• Relative homological algebra
• ALL MODULES HAVE FLAT COVERS
• STRONGLY GORENSTEIN FLAT MODULES
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Set Theory
• Gorenstein complexes and recollements from cotorsion pairs
• On exact categories and applications to triangulated adjoints and model structures
• Totally acyclic complexes over noetherian schemes
• How To Make Ext Vanish
• Title not available (Why is that?)
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• Title not available (Why is that?)
• Indestructibility of Vopěnka's principle
• Ideals and generic elementary embeddings
• Guessing models and generalized Laver diamond
• Existence of Gorenstein projective resolutions and Tate cohomology
• Definable orthogonality classes in accessible categories are small
• Kaplansky classes
• Combinatorial Characterization of Supercompact Cardinals
• Closure under transfinite extensions
• A Characterization of Gorenstein Projective Modules
• Precovers and orthogonality in the stable module category
• Gorenstein flat and projective (pre)covers
• Gorenstein projective precovers
• Countable approximations and Löwenheim-Skolem theorems
• Singular compactness and definability for \(\Sigma\)-cotorsion and Gorenstein modules
• On Ding injective, Ding projective and Ding flat modules and complexes
• Elementary submodels in infinite combinatorics
• Applications of elementary submodels in general topology
• Title not available (Why is that?)
• On \(\mathcal{X}\)-Gorenstein projective dimensions and precovers
• Projectively coresolved Gorenstein flat and Ding projective modules
• A new version of a theorem of Kaplansky

Cited In (5)

• Fibrantly generated weak factorization systems
• Maximal ideals in module categories and applications
• Deconstructibility and the Hill lemma in Grothendieck categories
• Approximation properties of torsion classes
• Salce's problem on cotorsion pairs is undecidable

This page was built for publication: Maximum deconstructibility in module categories

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