Purifiability in pure subgroups.

From MaRDI portal
Publication:2472541





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\).











This page was built for publication: Purifiability in pure subgroups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2472541)