Faith's problem on R-projectivity is undecidable
Abstract
In \cite{F}, Faith asked for what rings does the Dual Baer Criterion hold in Mod-, that is, when does -projectivity imply projectivity for all right -modules? Such rings were called right testing. Sandomierski proved that if is right perfect, then 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 -presented of projective dimension ).
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}
}