Tilting preenvelopes and cotilting precovers (Q5944689)

The results of this paper relate the theory of envelopes and covers to tilting and cotilting theory for (infinitely generated) modules over an arbitrary associative ring \(R\). Let \({\mathcal E}\subseteq\text{Mod }R\) and \(M\in\text{Mod-}R\). Then \(f\in\Hom_R(M,X)\) with \(X\in{\mathcal E}\) is a [special] \(\mathcal E\)-pre-envelope of \(M\) provided that \([f\) is injective, \(\text{coker }f\in\{Y\in\text{Mod }R\mid\text{Ext}^1_R(Y,E)=0\) for all \(E\in{\mathcal E}\}\),] and the canonical map \(\Hom_R(X,E)\to\Hom_R(M,E)\) is surjective for each \(E\in{\mathcal E}\). If each \(M\in\text{Mod-}R\) has a [special] \(\mathcal E\)-pre-envelope, then \(\mathcal E\) is said to be a [special] pre-envelope class. The class of \(R\)-modules generated by a module \(M\) is a pre-envelope class if and only if \(M\) is finitely generated over its endomorphism ring. The following statements are equivalent for a pretorsion class \({\mathcal T}\subseteq\text{Mod-}R\): (1) \(\mathcal T\) is a tilting torsion class; (2) every \(R\)-module has a special \(\mathcal T\)-pre-envelope; (3) \(R\) has a special \(\mathcal T\)-pre-envelope; (4) \(R\) has a \(\mathcal T\)-pre-envelope \(\psi\colon R\to E\) such that \(\psi\) is injective and \(E\) is \(\mathcal T\)-projective. A similar dual result shows that a pretorsionfree class \(\mathcal F\) is a cotilting torsionfree class if and only if every \(R\)-module has a special \(\mathcal F\)-precover. Let \(\mathcal M\) be the class of maximal tilting modules (up to isomorphism), and let \(\mathcal L\) be the family of all tilting torsion classes in \(\text{Mod-}R\). Then the map \(b\colon{\mathcal M}\to{\mathcal L}\) defined by \(b(T)=\text{Gen}(T)\) is bijective. Other results about unique representing modules are also given.