On quasi \(h\)-pure submodules of QTAG-modules (Q1590706)

A module \(M_R\) (\(R\) a ring with \(1\neq 0\)) is called a QTAG-module if any finitely generated submodule of any homomorphic image of \(M\) is a direct sum of uniserial modules. For a module \(A_R\) with composition series, \(d(A)\) denotes its length and if \(x\in M\) is uniform, then \(H_M(x)=\sup\{d(yR/xR)\mid y\in M\) and \(y\) is uniform with \(x\in yR\}\) is called the height of \(x\). For any \(n\geq 0\), let \(H_n(M)=\{x\in M\mid H(x)\geq n\}\). A submodule \(N\) of \(M\) is said to be \(h\)-pure in \(M\) if \(N\cap H_k(M)=H_k(N)\) for every \(k\geq 0\) and \(N\) is called \(h\)-neat if \(N\cap H_1(M)=H_1(N)\). The concepts of \(h\)-purity and \(h\)-neatness have been studied by various authors. A number of new characterizations of \(h\)-purity is found in the first part of the paper. Let \(N\) be a submodule of \(M\). For any nonnegative integer \(t\), let \(N^t(M)\) denote the submodule \((N+H_{t+1}(M))\cap\text{soc}(H_t(M))\) and \(N_t(M)\) the submodule \(N\cap\text{soc}(H_t(M))+\text{soc}(H_{t+1}(M))\). Let \(Q_t(M,N)\) denote the quotient \(N^t(M)/N_t(M)\). It is proved that if \(N\) is an \(h\)-pure submodule of \(M\), then \(N\) is \(h\)-pure in \(M\) iff \(Q_n(M,N)=0\) for all \(n\geq 0\). This gives rise to the following definition: A submodule \(N\) of a QTAG-module \(M\) is quasi \(h\)-pure in \(M\) if \(Q_n(M,N)=0\) for all \(n\geq 0\). It is shown that any \(h\)-pure submodule of a module \(M\) is quasi \(h\)-pure in \(M\). Several characterizations of quasi \(h\)-pure submodules are proved and properties are studied.