On \(\tau\)-extending modules. (Q414393): Difference between revisions

Let \(\tau\) be a hereditary torsion theory on the category of modules, and denote by \(\tau(M)\) the \(\tau\)-torsion submodule of a module \(M\). A submodule \(K\) of \(M\) is called \(\tau\)-large in \(M\) if for every submodule \(W\) of \(M\), \(K\cap W\subseteq\tau(M)\) implies \(W\subseteq\tau(M)\). A submodule \(K\) of \(M\) is called \(\tau\)-closed if for every submodule \(L\) of \(M\), \(K\) \(\tau\)-large in \(L\) implies \(K=L\). The authors introduce the notion of \(\tau\)-extending module as a module such that every \(\tau\)-closed submodule is a direct summand. Several properties of \(\tau\)-extending modules are established. Some decomposition theorem is obtained and direct sums of \(\tau\)-extending modules are studied.