On h-divisible QTAG-module (Q1115944)

A unital module \(M_ R\) is called QTAG-module if every finitely generated submodule of every homomorphic image of \(M_ R\) is a direct sum of uniserial modules. For any uniform element \(x\in M\), \(d(xR)\), the composition length of \(xR\), is called exponent of \(x\) and is denoted as \(e(x)\) and \(\text{Sup}\{d(yR/xR)\mid yR\) is uniserial module with \(x\in yR\}\) is called height of \(x\) and is denoted as \(H_ M(x)\) or simply \(H(x)\). For any integer \(n\geq 0\), \(H_ n(M)\) is defined as the submodule of \(M_ R\), containing elements of height \(\geq n\) and \(M^ 1\) denotes the submodule containing elements of infinite height. A submodule \(N\) of \(M_ R\) is called h-pure if \(H_ n(N)=N\cap H_ n(M)\) for all \(n\geq 0\) and \(N\) is called h-neat in \(M_ R\) if \(N\cap H_ 1(M)=H_ 1(N)\). The module \(M_ R\) is called h-divisible if \(H_ 1(M)=M_ R\). If \(N\) is an h-neat submodule of a QTAG-module \(M_ R\) such that \(\text{Soc}(N)\oplus\text{Soc}(T)=\text{Soc}(M)\) then \(N\) is a complement of \(T\). If \(N\) is a submodule of QTAG-module \(M_ R\) such that \(M/K\) is h-divisible for every complement \(K\) of \(N\) in \(M_ R\) then 1) \(M/T\) is h-divisible for any complement \(T\) of any submodule \(U\) of \(N\); 2) \(\text{Soc}(N)\subseteq M^ 1\). Theorem 1. Let \(M_ R\) be a QTAG-module and \(S\) be a subsocle of \(M_ R\) with \(\text{Soc}(M)=S+\text{Soc}(H_ n(M))\) for every \(n\geq 0\). Then there exists an h-pure submodule \(N\) of \(M_ R\) such that \(S=\text{Soc}(N)\) and \(M/N\) is h-divisible. Corollary 2. Let \(M_ R\) be a QTAG-module. 1) If \(N\) is a submodule of \(M^ 1\) then every complement \(K\) of \(N\) is h-pure and \(M/K\) is h-divisible. 2) If \(N\) is a submodule of \(M_ R\) then \(M/K\) is h-divisible for every complement \(K\) of \(N\) if and only if \(\text{Soc}(N)\subseteq M^ 1\). The main result of the paper is the following Theorem 3. i) If \(K\) is a submodule of a QTAG-module \(M_ R\) and \(S\) is a subsocle of \(M_ R\) with \(S\subseteq\text{Soc}(K)\) then \(K/S\) is a complement of \(\text{Soc}(M)/S\) in \(M/S\) if and only if \(\text{Soc}(K)=S\) and \(K\) is h-neat in \(M_ R\). ii) If \(K\) is an h-neat submodule of QTAG-module \(M_ R\) then \(M_ R=K+H_ n(M)\) for every \(n\geq 0\) if and only if \(\text{Soc}(M)=\text{Soc}(K)+\text{Soc}(H_ n(M))\) for every \(n\geq 0\). (ii) generalizes Theorem 10 of \textit{K. Benabdallah}, \textit{J. M. Irwin} and \textit{M. Rafiq} [Arch. Math. 25, 29-34 (1974; Zbl 0279.20042)].