The converse to the pure-projective characterization of elementary torsion pairs

Let (T,F)(\mathcal{T},\mathcal{F}) be an elementary torsion pair in Mod-R\operatorname{Mod}\textrm{-}{R}, where RR is a ring. The torsion class T\mathcal{T} is said to have enough pure projective modules if every module in T\mathcal{T} admits an epimorphism from a pure projective module belonging to T\mathcal{T}. Conjecture. If (T,F)(\mathcal{T},\mathcal{F}) is an elementary torsion pair, then T\mathcal{T} has enough pure projective modules.

The preceding theorem establishes the converse implication under the additional hypothesis that T\mathcal{T} is definable and has a pure projective preenvelope of RRR_R. The conjecture asks whether elementary torsion pairs always have enough pure projectives, without those sufficient conditions.

Sources & referencesView supporting material

Primary source

Silvana Bazzoni, Ivo Herzog, Pavel Příhoda, Jan Šaroch and Jan Trlifaj, “Pure Projective Tilting Modules”, arXiv:1703.04745 (2017).

Progress summary

Never refreshed

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.