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

\(\lambda\)-puritycotorsion pairDedekind domainfactorization classprojective modulestrongly compact cardinalweak diamond principle

Mathematics Subject Classification ID

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

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.

Review text

Summary: Baer's Criterion of injectivity implies that injectivity of a module is a factorization property with respect to 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 with respect to 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 \(\kappa\)-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

• R -Projective Modules over a Semiperfect Ring
• \(\Sigma\)-algebraically compact modules and \(\mathcal{L}_{\omega_1\omega}\)-compact cardinals
• Abelian groups that are direct summands of every containing abelian group
• Almost free modules and Mittag-Leffler conditions.
• Almost perfect commutative rings
• Approximations and endomorphism algebras of modules.
• Approximations and locally free modules
• Approximations and Mittag-Leffler conditions -- the applications
• Diamonds
• Equivalence of some homological conditions for ring epimorphisms
• Flat covers of modules
• Flat Mittag-Leffler modules over countable rings
• 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?)
• On the cogeneration of cotorsion pairs
• On Whitehead modules
• 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

Cited in

(14)

• Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings
• Cofibrant generation of pure monomorphisms
• scientific article; zbMATH DE number 682071 (Why is no real title available?)
• An explicit self-dual construction of complete cotorsion pairs in the relative context
• Filtration games and potentially projective modules
• Categoricity for transfinite extensions of modules
• Enochs' conjecture for small precovering classes of modules
• Enochs' conjecture for cotorsion pairs and more
• Fibrantly generated weak factorization systems
• Comparing add \(\operatorname{Add}(M)\) with \(\operatorname{Prod}(M)\)
• Generalized periodicity theorems
• Relative injective modules, superstability and Noetherian categories
• Cofibrant generation of pure monomorphisms in presheaf categories
• The cotorsion pair generated by the Gorenstein projective modules and -pure-injective modules

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)