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

About 9 years old · traced to

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.

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

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.