The converse to the pure-projective characterization of elementary torsion pairs
Let be an elementary torsion pair in , where is a ring. The torsion class is said to have enough pure projective modules if every module in admits an epimorphism from a pure projective module belonging to . Conjecture. If is an elementary torsion pair, then has enough pure projective modules.
The preceding theorem establishes the converse implication under the additional hypothesis that is definable and has a pure projective preenvelope of . The conjecture asks whether elementary torsion pairs always have enough pure projectives, without those sufficient conditions.
References
Primary source
Silvana Bazzoni, Ivo Herzog, Pavel Příhoda, Jan Šaroch and Jan Trlifaj, “Pure Projective Tilting Modules”, arXiv:1703.04745 (2017).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.