The sequentially pure projective dimension of global groups with decomposition bases. (Q1420636): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q516390 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Lutz H. Strüngmann / rank | |||
Normal rank |
Revision as of 02:43, 16 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The sequentially pure projective dimension of global groups with decomposition bases. |
scientific article |
Statements
The sequentially pure projective dimension of global groups with decomposition bases. (English)
0 references
2 February 2004
0 references
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\).
0 references
sequentially pure projective dimension
0 references
decomposition bases
0 references
balanced projective dimension
0 references
short exact sequences
0 references
height matrices
0 references
global Warfield groups
0 references
separable subgroups
0 references