Test sets for factorization properties of modules

DOI10.4171/RSMUP/66MaRDI QIDQ2039356zbMATH OpenOpenAlexFDO

Authors Jan Šaroch, Jan Trlifaj

Publication date 2 July 2021

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

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

zbMATH Keywords

Dedekind domaincotorsion pairprojective modulestrongly compact cardinal\(\lambda\)-purityfactorization classweak diamond principle

Mathematics Subject Classification ID

Consistency and independence results (03E35) Free, projective, and flat modules and ideals in associative algebras (16D40) Large cardinals (03E55) Applications of logic in associative algebras (16B70)

Abstract: Baer's Criterion of injectivity implies that injectivity of a module is a factorization property w.r.t. a single monomorphism. Using the notion of a cotorsion pair, we study generalizations and dualizations of factorization properties in dependence on the algebraic structure of the underlying ring $R$ and on additional set-theoretic hypotheses. For $R$ commutative noetherian of Krull dimension $0<d<infty$, we show that the assertion `projectivity is a factorization property w.r.t. a single epimorphism' is independent of ZFC + GCH. We also show that if $R$ is any ring and there exists a strongly compact cardinal $kappa>|R|$, then the category of all projective modules is accessible.

Recommendations

• Faith's problem on \(R\)-projectivity is undecidable
• Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings
• Tests for injectivity of modules over commutative rings
• Whitehead test modules
• Characterizing Local Rings via Test Modules

Cites work

• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1531449 (Why is no real title available?)
• scientific article; zbMATH DE number 1762597 (Why is no real title available?)
• R -Projective Modules over a Semiperfect Ring
• Abelian groups that are direct summands of every containing abelian group
• Almost free modules and Mittag-Leffler conditions.
• Almost perfect commutative rings
• Approximations and Mittag-Leffler conditions -- the applications
• Approximations and endomorphism algebras of modules.
• Approximations and locally free modules
• Diamonds
• Equivalence of some homological conditions for ring epimorphisms
• Flat Mittag-Leffler modules over countable rings
• Flat covers of modules
• On Whitehead modules
• On the cogeneration of cotorsion pairs
• Periodic flat modules, and flat modules for finite groups.
• Relative homological algebra. Vol. 1
• Shorter Notes: Commutative, Noetherian Rings Over which every Module has a Maximal Submodule
• Singular compactness and definability for \(\Sigma\)-cotorsion and Gorenstein modules
• The dual Baer criterion for non-perfect rings
• Whitehead test modules
• \(\Sigma\)-algebraically compact modules and \(\mathcal{L}_{\omega_1\omega}\)-compact cardinals

Cited in

(9)

• Cofibrant generation of pure monomorphisms
• Filtration games and potentially projective modules
• Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings
• An explicit self-dual construction of complete cotorsion pairs in the relative context
• Enochs' conjecture for small precovering classes of modules
• Enochs' conjecture for cotorsion pairs and more
• Fibrantly generated weak factorization systems
• Categoricity for transfinite extensions of modules
• scientific article; zbMATH DE number 682071 (Why is no real title available?)

This page was built for publication: Test sets for factorization properties of modules

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