Faith's problem on R-projectivity is undecidable

DOI10.1090/PROC/14209zbMATH Open1423.16003arXiv1710.10465OpenAlexW3105321254WikidataQ105333596 ScholiaQ105333596MaRDI QIDQ4644435FDOQ4644435

Authors: Jan Trlifaj 

Publication date: 7 January 2019

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

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$).

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The fine structure of the constructible hierarchy
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Whitehead test modules
• Almost free modules and Mittag-Leffler conditions.
• On Whitehead modules
• Shorter Notes: Commutative, Noetherian Rings Over which every Module has a Maximal Submodule
• Title not available (Why is that?)
• Quasi-projective modules over prime hereditary Noetherian V-rings are projective or injective.
• Title not available (Why is that?)
• When \(R\) is a testing module for projectivity?

Cited In (7)

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