The sequentially pure projective dimension of global groups with decomposition bases. (Q1420636): Difference between revisions

The authors introduce and develop the sequentially pure projective dimension of Abelian groups. This concept is a generalization of the balanced projective dimension for \(p\)-local torsion Abelian groups which has been studied by Fuchs and Hill. A short exact sequence \(0\to H\to G\to K\to 0\) is sequentially pure if for every height matrix \(M\) the induced sequence \(0\to H(M)\to G(M)\to K(M)\to 0\) is exact. A subgroup \(H\) of \(G\) is called sequentially pure provided the corresponding sequence is sequentially pure. The sequentially pure projective dimension of \(G\) is then defined as the smallest integer \(n\) in a sequentially pure resolution \(\cdots A_n@>\varphi_n>>A_{n-1}\cdots@>\varphi_1>>A_0 \to G\to 0\) of \(G\) by global Warfield groups \(A_i\) such that \(\varphi(A_n)\) is a global Warfield group. The main theorem of the paper states that any Abelian group \(G\) which has a decomposition basis satisfies the following condition: For every positive integer \(n\), \(\dim G\leq n\) if and only if \(G\) has an \(H(\aleph_{n-1})\)-family of almost strongly \(\aleph_{n-1}\) separable subgroups. Here, \(G\) has a decomposition basis if there exists an independent subset \(X=\{x_i:i\in I\}\) of \(G\) with each \(x_i\) of infinite order, \(G/\langle X\rangle\) torsion and \(\bigoplus_{i \in I}\langle x_i\rangle\) is a valuated coproduct. Since every torsion group has a decomposition basis, namely the empty set, the results by Fuchs and Hill on the balanced projective dimension of \(p\)-local torsion groups follow. Moreover, as a corollary it turns out that an Abelian group with a decomposition basis and cardinality \(\aleph_n\) has sequentially pure projective dimension not exceeding \(n\).