Fully inert subgroups of completely decomposable groups with homogeneous components of finite rank (Q6132645)

The author assumes that all groups in the paper are abelian. Two subgroups \(H\) and \(K\) of \(G\) are called commensurable, denoted by \(H\sim K\), if both factor groups \((H+K)/H\) and \((H+K)/K\) are finite. Let \(E(G)\) denote the ring of endomorphisms of the group \(G\). Then for \(\varphi \in E(G)\) a subgroup \(H\) of \(G\) is called \(\varphi\)-inert if \(H\) is commensurable with \(H+\varphi(H)\). If \(H\) is \(\varphi\)-inert for any \(\varphi \in E(G)\), then \(H\) is called fully inert. A subgroup that is inert for any projection of the group is called projectively inert. Also \(H\) is called uniformly projectively inert subgroup of the group \(G\) if and only if there exists a natural number \(n\) (that depends on \(H\)) such that \(|(H+\pi(H))/H|\leq n\) for any projection \(\pi\) of group \(G\). The author gives an example to show that there exist groups with a fully inert subgroup which is not uniformly projectively inert subgroup. The main results of the paper are as follows. {Proposition 1.} In a decomposable group \(G\), any subgroup is projectively invariant if and only if, \(G=\bigoplus_{p\in \Pi}G_p\), where \(\Pi\) is a set of prime numbers with at lease two elements and the groups \(G_p\) are indecomposable. {Proposition 2.} In a decomposable periodic group \(T\), any subgroup is projectively inert if and only if \(T=\bigoplus_{p\in \Pi}T_p\), where \(\Pi\) is a set of prime numbers; almost all \(p\)-components of \(T_p\) are indecomposable; and for any decomposable \(T_p\), one of two mutually complementary direct summands is finite. {Proposition 3.} In the splitting mixed group \(G=T\oplus A\), where \(T\) is a periodic group and \(A\) is a torsion-free group, any subgroup is projectively inert if and only if \(T\) is a group from Proposition 2 and \(A\) is an indecomposable group such that the image \(\beta(F)\) is finite for each \(F\leq A\) and for each \(\beta\in \Hom(F,T)\). Moreover, if \(A\) has a nonzero \(p\)-divisible subfactor for some prime \(p\), the respective \(p\)-component of the group \(T\) is bounded. {Corollary.} Uniformly projectively inert subgroups of the group form a sublattice in the lattice of all its projectively inert subgroups. Let \(M\) be a partially ordered set and \(x,y\in M\). By \(x\lhd y\) we mean that \(x<y\) and there are no elements \(z\in M\) such that \(x<z<y\). Let \(\mathfrak{N}\) denote the class of all such reduced completely decomposable torsion-free groups \(G=\bigoplus_{t\in \Omega}G_t\), where \(G_t\) are nonzero homogeneous groups of type \(t\) such that the set \(\{\lambda\in \Omega\mid \tau \lhd \lambda\}\) is finite for each \(\tau\in \Omega\) matched with the component of finite rank, and for each \(t>\tau\) there exists \(\lambda\in \Omega\) with the property \(\tau \lhd \lambda<t\). {Theorem.} Any fully inert subgroup of the group \(G\in \mathfrak{N}\) is commensurable with some fully invariant subgroup if and only if the following conditions hold for each homogeneous component \(G_{\tau}\) of finite rank of group \(G\): (1) \(pG_{\tau}\neq G_{\tau}\) for any prime number \(p\). (2) If \(\tau \lhd t\), the rank of \(G_t\) is infinite and the type \(t:\tau\) is idempotent.