English

Faith's problem on R-projectivity is undecidable

Rings and Algebras 2019-01-08 v1

Abstract

In \cite{F}, Faith asked for what rings RR does the Dual Baer Criterion hold in Mod-RR, that is, when does RR-projectivity imply projectivity for all right RR-modules? Such rings RR were called right testing. Sandomierski proved that if RR is right perfect, then RR 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{\rq} (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{\rq} modules (where {\lq}small{\rq} means countably generated, or 20\leq 2^{\aleph_0}-presented of projective dimension 1\leq 1).

Cite

@article{arxiv.1710.10465,
  title  = {Faith's problem on R-projectivity is undecidable},
  author = {Jan Trlifaj},
  journal= {arXiv preprint arXiv:1710.10465},
  year   = {2019}
}
R2 v1 2026-06-22T22:28:29.280Z