Small submodules relative to a torsion theory (Q4029174)

Let \(\tau\) be a hereditary torsion theory of the category \(R\)-mod. If \(_ R N\subseteq{}_ R M\) and \(N\) is a \(\tau\)-dense submodule of \(M\) we write \(N\subseteq^ \tau M\). A submodule \(N\) of \(M\) is called \(\tau\)- small in \(M\) if there is no proper \(\tau\)-pure submodule \(T\) of \(M\) such that \(N+T\subseteq^ \tau M\). Some properties of \(\tau\)-small submodules are indicated. Under some additional assumptions the conditions (1) every small submodule of \(M\) is \(\tau\)-small in \(M\); (2) \(J(M)\subseteq T_ \tau(M)\); are equivalent. In case of a perfect ring \(R\) condition (1) is satisfied if and only if \(\tau\) is cohereditary. Let \(T\) be a submodule of \(_ R M\). A submodule \(N\) of \(M\) is called a \(\tau\)-dense supplement of \(T\) in \(M\) if \(N+T\subseteq^ \tau M\) and for every \(C\subseteq N\), \(C+T\subseteq^ \tau M\) we have \(C\subseteq^ \tau N\). Every \(\tau\)-small submodule of every module \(M\in R\)-mod has a unique minimal \(\tau\)-dense supplement if and only if \(\tau\) is jansian. If \(R\) is a semiperfect ring and \(_ R M\) is a finitely generated module, then condition (1) implies that every submodule of \(M\) has a \(\tau\)-dense supplement. Remark. In Theorem 9 instead of ``if'' read ``if and only if''.