On isomorphy of pure hulls of purifiable torsion-free subgroups (Q5957960)

A subgroup of an Abelian group is purifiable if it is contained in a minimal pure subgroup, a pure hull. In general, a purifiable subgroup may have non-isomorphic pure hulls, but this is not the case when the purifiable subgroup is torsion-free. Theorem. Let \(A\) be a purifiable torsion-free subgroup of the arbitrary Abelian group \(G\) and \(H\), \(H'\) pure hulls of \(A\). Then \(H\cong H'\) and \(H/A\cong H'/A\).