Faith's problem on R-projectivity is undecidable

DOI10.1090/PROC/14209MaRDI QIDQ4644435zbMATH OpenOpenAlexWikidataFDO

Authors Jan Trlifaj

Publication date 7 January 2019

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

Baer criterionprojective modules$R$-projective modulesJensen-functionsnonperfect rings

Mathematics Subject Classification ID

Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Consistency and independence results (03E35) Free, projective, and flat modules and ideals in associative algebras (16D40) Projectives and injectives (category-theoretic aspects) (18G05) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: In cite{F}, Faith asked for what rings $R$ does the Dual Baer Criterion hold in Mod-$R$, that is, when does $R$-projectivity imply projectivity for all right $R$-modules? Such rings $R$ were called right testing. Sandomierski proved that if $R$ is right perfect, then $R$ is right testing. Puninski et al. cite{AIPY} have recently shown for a number of non-right perfect rings that they are not right testing, and noticed that cite{T2} proved consistency with ZFC of the statement {lq}each right testing ring is right perfect{ q} (the proof used Shelah's uniformization). Here, we prove the complementing consistency result: the existence of a right testing, but not right perfect ring is also consistent with ZFC (our proof uses Jensen-functions). Thus the answer to the Faith's question above is undecidable in ZFC. We also provide examples of non-right perfect rings such that the Dual Baer Criterion holds for {lq}small{ q} modules (where {lq}small{ q} means countably generated, or $leq{2}^{alep{h}_0}$-presented of projective dimension $leq1$).

Recommendations

• The dual Baer criterion for non-perfect rings
• When \(R\) is a testing module for projectivity?
• Whitehead test modules
• On Whitehead modules
• Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings

Cites work

• scientific article; zbMATH DE number 22349 (Why is no real title available?)
• scientific article; zbMATH DE number 51523 (Why is no real title available?)
• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• scientific article; zbMATH DE number 3523780 (Why is no real title available?)
• scientific article; zbMATH DE number 1762597 (Why is no real title available?)
• scientific article; zbMATH DE number 3401042 (Why is no real title available?)
• Almost free modules and Mittag-Leffler conditions.
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• On Whitehead modules
• Quasi-projective modules over prime hereditary Noetherian V-rings are projective or injective.
• Shorter Notes: Commutative, Noetherian Rings Over which every Module has a Maximal Submodule
• The fine structure of the constructible hierarchy
• When \(R\) is a testing module for projectivity?
• Whitehead test modules

Cited in

(7)

• Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings
• Max-projective modules
• When \(R\) is a testing module for projectivity?
• Test sets for factorization properties of modules
• On subinjectivity domains of RD-injective modules
• The dual Baer criterion for non-perfect rings
• Projective systemic modules

This page was built for publication: Faith's problem on \(R\)-projectivity is undecidable

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