Finite extensions of \(A\)-solvable Abelian groups (Q5931461): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 00:42, 5 March 2024
scientific article; zbMATH DE number 1591134
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite extensions of \(A\)-solvable Abelian groups |
scientific article; zbMATH DE number 1591134 |
Statements
Finite extensions of \(A\)-solvable Abelian groups (English)
0 references
27 September 2001
0 references
Let \(A\) be an Abelian group and \(E=\text{End}_\mathbb{Z}(A)\) its endomorphism ring. Then there exist two natural functors between the category \({\mathcal A}b\) of Abelian groups and the category \({\mathcal M}_E\) of right \(E\)-modules which are related to \(A\) and \(E\), namely \(H_A=\Hom(A,-)\) and \(T_A=-\otimes_EA\). These functors from an adjoint pair and an Abelian group \(G\) is called (almost) \(A\)-solvable if the evaluation map \(\phi_G\colon T_AH_A(G)\to G\) is an (quasi-) isomorphism. The author studies the properties of almost \(A\)-solvable groups which obviously contain all torsion-free Abelian groups that are quasi-isomorphic to an \(A\)-solvable group. However, it is shown that the converse holds if \(A\) is flat and that the converse may fail if \(A\) is not flat. Let \(\mathcal{AC}_A\) be the category of all almost \(A\)-solvable groups and \(\mathcal{AM}_A\) be the category of all right \(E\)-modules such that the natural map \(\psi\colon M\to H_AT_A(M)\) is a quasi-isomorphism. Then \(H_A\) and \(T_A\) restrict to functors between \(\mathcal{AC}_A\) and \(\mathcal{AM}_A\) and two quasi-isomorphic Abelian groups \(A\) and \(B\) satisfy \(\mathcal{AC}_A=\mathcal{AC}_B\). Moreover, the class \(\mathcal{AM}_A\) is closed under submodules if and only if \(A\) is almost flat and has the quasi-Baer-splitting property. Finally, the author shows that two strongly indecomposable groups \(A\) and \(B\) of finite rank are quasi-isomorphic if and only if \(\mathcal{AC}_A=\mathcal{AC}_B\) which is a corollary of a more general result on determining the structure of \(A\) from \(\mathcal{AC}_A\).
0 references
\(A\)-solvable groups
0 references
quasi-isomorphisms
0 references
categories of Abelian groups
0 references
categories of modules
0 references
endomorphism rings
0 references
torsionfree Abelian groups
0 references