FI-extending hulls of abelian groups (Q2334480)

The papers deals with abelian groups. Since the imbedding of an abelian group into its divisible hull does not preserve height, the authors naturally answer the following question: Is there a class C of groups that extends the class of divisible groups such that every group or every group from some significant class of groups imbeds in a group from C in such a way that height is preserved? A FI-extending group is a group such that every fully invariant subgroup is essential in a direct summand. Given a prime \(p\), \(G_{p}^{1}:=\{x\in G:h_{p}^{G}(x)=\infty \}\). The main results are: Theorem 2.5. Let \(G\) be a torsion group, \(G^{\ast}=\bigoplus_{p}G_{p}^{1}\), \(K_{p}\) is a relative complement of \(G_{p}^{1}\) in \(G_{p}\), and \(K=\bigoplus_{p}K_{p}\). \begin{itemize} \item[(i)] \(K=0\) if and only if \(E(G)\) is the FI-extending hull of \(G\). \item[(ii)] \(G^{\ast }\oplus K\leq ^{ess}G\) and there exists a monomorphism \(\theta :G\rightarrow \overline{G}\) where \(\overline{G}=\overline{G^{\ast }}\oplus \overline{K}\) such that \(\overline{G^{\ast}}=\bigoplus_{p}\overline{G_{p}^{1}}\), \(\overline{K}=\bigoplus_{p}\overline{K_{p}}\), \(\overline{G_{p}^{1}}\cong \frac{G_{p}}{K_{p}}\), \(\overline{K_{p}}\cong \) \(\frac{G_{p}}{G_{p}^{1}}\) and \(\overline{K_{p}}\) is a separable \(p\)-group. \item[(iii)] \(\theta(G^{\ast })\leq ^{ess}\overline{G^{\ast }}\cong E(G^{\ast })\). \item[(iv)] \(h_{G}(x)=h_{\overline{G}}(\theta (x))\). \item[(v)] \(\overline{G}\) is FI-extending. \item[(vi)] There is a group \(H\) minimal among FI-extending groups intermediate between \(\theta (G)\) and \(\overline{G}\). Moreover, \(H=\overline{G^{\ast }}\oplus S\) where \(S\) is a direct sum of separable \(p\)-groups. \end{itemize} Theorem 2.9. Let \(G\) be a torsion group. If \(E(G)\) has DCC on direct summands containing \(E(G^{\ast })\), then \(G\) has a FI-extending essential hull. Theorem 2.10. Let \(M\) be a right \(R\)-module and \(F\) a relative complement of \(T_{M}\) (the torsion submodule) in \(M\). Assume \(T_{M}\) and \(F\) have FI-extending essential hulls \(\overline{T}\) and \(\overline{F}\), respectively, such that \(M\leq \overline{M}\) where \(\overline{M}=\overline{T}\oplus \overline{F}\). Then we have the following: \begin{itemize} \item[(i)] \(\overline{M}\) is FI-extending. \item[(ii)] If \(H\) is a FI-extending module such that \(M\leq H\leq\overline{M}\), then \(H=\overline{T}\oplus F_{H}\) where \(F_{H}\) is FI-extending and there exists a monomorphism \(f:F_{H}\rightarrow\overline{F}\) such that \(f(F_{H})\leq ^{ess}\overline{F}\). \end{itemize}