Purifiability in pure subgroups. (Q2472541)

A subgroup \(A\) of an Abelian group \(G\) is called `purifiable' if there exists a pure subgroup of \(G\), containing \(A\), which is minimal with these properties. For example, if \(G\) is torsion-free then every subgroup of \(G\) is purifiable. But, in the general case there exist subgroups which are not purifiable. Moreover, it is shown in Example 1.1 that there exist \(A\leq H\leq G\) such that \(A\) is purifiable in \(G\), \(H\) is pure in \(G\), but \(A\) is not purifiable in \(H\). With this remark, the paper is concerned to the following problem: Let \(A\) be a purifiable subgroup of \(G\). Characterize the pure subgroups \(H\) of \(G\) such that \(A\) is purifiable in \(H\). In order to give solutions to this problem, the author considers the following invariants attached to a pair \((A,G)\), where \(A\) is a torsion-free subgroup of the Abelian group \(G\): if \(D/A\) is the maximal divisible subgroup of the \(p\)-component \((G/A)_p\) (\(p\) is a prime) and \(E\) is the maximal divisible subgroup of \(G_p\), then \(\dim(G,A,p)=\dim(D/(E\oplus A))[p]\). Interesting answers to the mentioned problem are given in Corollary 4.11, Theorem 5.7, Theorem 6.4. For example, Corollary 4.11 states: Let \(A\leq H\leq G\), where \(A\) is a purifiable finite rank torsion-free subgroup of \(G\) and \(H\) is pure in \(G\). \(A\) is purifiable in \(H\) if and only if \(\dim(G,A,p)=\dim(H,A,p)\) for all primes \(p\).