TAG-modules with complement submodules \(h\)-pure (Q1273343)

A right \(R\)-module \(M_R\) is said to be a QTAG-module if every finitely generated submodule of any homomorphic image of \(M\) is a direct sum of uniserial modules. It is known that the structure of QTAG-modules imitates that of torsion Abelian groups. Some new results on basic submodules and \(h\)-neat submodules of QTAG-modules are obtained, including a necessary and sufficient condition for a QTAG-module to admit only one basic submodule. Let \(M\) be a QTAG-module. If for any two uniserial submodules \(U\) and \(V\) of a homomorphic image of \(M\), any submodule \(W\) of \(U\) and any homomorphism \(f\colon W\to V\) satisfying \(d(U/W)\leq d(V/f(W))\) (where \(d\) denotes the composition length), \(f\) can be extended to a homomorphism \(g\colon U\to V\), then \(M\) is called a TAG-module. The main results investigate primary TAG-modules and supply necessary and sufficient conditions for \(h\)-neat submodules to be \(h\)-pure. These conditions are often the decomposability of \(M\) into specified direct summands. The paper ends with an example of an \(h\)-reduced TAG-module (of infinite periodicity) in which every \(h\)-neat submodule is \(h\)-pure, but which is indecomposable.