On uniformly fully inert subgroups of abelian groups (Q2309696)

All groups in this review are abelian. Let \(\phi\) be an endomorphism and \(H\) be a subgroup of an abelian group \(G.\) Some concepts like \(\phi\)-invariant subgroup, fully invariant subgroup, \(\phi\)-inert subgroup, fully inert subgroup, uniformly fully inert subgroup, commensurable subgroup, \(H\)-inertial endomorphism, inertial endomorphism, inertial bound, fully invariant hull, fully invariant core, hereditary core, Orsatti group, narrow group, Pierce-like group, various kinds of types, \(p\)-adic integers and some topological notions have been deployed to remedy the situation. All the concepts mentioned are carefully defined in the excellent introduction and different sections of the paper under review. It has been proved in [\textit{D. Dikranjan} et al., Period. Math. Hung. 69, No. 1, 69--78 (2014; Zbl 1322.20046)] that if \(G\) is a free group, then all fully inert subgroups of \(G\) are commensurable with a fully invariant subgroup of \(G.\) Recently, it has been proved by some authors that this assertion is true for other classes of abelian groups (e.g., when \(G\) is a direct sum of cyclic \(p\)-groups or torsion-free \(\mathbb{J}_p\)-module which is either free or complete). In the paper under review, the authors study the uniformly fully inert subgroups of abelian groups. A natural question arising in this investigation is whether a uniformly fully inert subgroup is commensurable with a fully invariant subgroup. This amounts to state that the equality \(\mathcal{I}nv\tilde{}(G)=\mathcal{I}_u(G)\) holds in the chain \(\mathcal{I}nv(G) \subseteq \mathcal{I}nv\tilde{}(G) \subseteq \mathcal{I}_u(G) \subseteq \mathcal{I}(G) \subseteq \mathcal{L}(G)\) of sublattices of the whole lattice \(\mathcal{L}(G)\) of all subgroups of \(G,\) where the symbols \(\mathcal{I}nv(G)\), \(\mathcal{I}nv\tilde{}(G)\), \(\mathcal{I}_u(G)\) and \(\mathcal{I}(G)\) denote the complete sublattice of fully invariant subgroups of \(G,\) the set of subgroups of \(G\) which are commensurable with fully invariant subgroups, the family of fully inert subgroups and the family of uniformly fully inert subgroups of \(G,\) respectively. Several classes of abelian groups are introduced or recalled throughout the paper under review which are used by the authors to provide a positive answer to the above question. Moreover, some technical propositions are proved and interesting examples are constructed in order to show that the inclusions in the above chain are proper. There is work left for anyone interested.