Torsion-free Abelian groups with hereditary rings of endomorphisms (Q581672): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Piotr A. Krylov / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: A. M. Sebel'din / rank | |||
Normal rank |
Revision as of 04:54, 29 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Torsion-free Abelian groups with hereditary rings of endomorphisms |
scientific article |
Statements
Torsion-free Abelian groups with hereditary rings of endomorphisms (English)
0 references
1988
0 references
Let S be an associative ring with 1, A be a unitary right S-module, A is said to be self-small, if the image of any homomorphism \(A\to \sum^{\oplus}_{i\in {\mathfrak M}}A_ i\), \(A_ i\cong A\), \(i\in {\mathfrak M}\) is contained in the sum of a finite number \(A_ i\) for any set \({\mathfrak M}\). An S-module G is said to be A-free (A-projective) if \(G\cong \sum^{\oplus}_{{\mathfrak M}}A\) (G is a direct summand of \(\sum^{\oplus}_{{\mathfrak M}}A)\). G is said to be locally A-projective if any finite set of elements of G can be embedded in an A-projective direct summand of G. Let \(R=End_ sA\), \(H=Hom_ s(A,-)\), \(T=-\otimes_ RA\), \({\mathcal P}_ R\) be the category of all projective right R-modules, \({\mathcal P}_ A\) be the category of all submodules G of A-projective S- modules with \(G=tr_ GA.\) Theorem 1.1. Let A be a self-small S-module and a flat R-module. Then the following conditions are equivalent: 1) IA\(\neq A\), for any proper right ideal I of R; 2) The functors H and T define an equivalence of \({\mathcal P}_ A\) and \({\mathcal P}_ R\). Theorem 1.2. If R is discrete in the finite topology and A is a flat R-module, then the following conditions are equivalent: 1) IA\(\neq A\) for any proper right ideal I of R; 2) H and T define an equivalence of the category of all submodules G of locally A- projective S-modules with \(tr_ GA=G\) and the category of all submodules of locally projective right R-modules. Corollary 1.1. Let A be a self- small S-module and a flat R-module. The following statements are equivalent: 1) R is a right hereditary ring a ring of free right ideals); 2) IA\(\neq A\) for any proper right ideal I of R and any submodule \(G=tr_ GA\) of an A-projective (A-free) S-module is A-projective (A-free). In {\S}2 of this article \(S={\mathbb{Z}}\), \(R=End_{{\mathbb{Z}}}A\). For an abelian group G \(tr_ GA=G\) if and only if there is an epimorphism \(\sum^{\oplus}_{{\mathfrak M}}A\to G\). The smallest \({\mathcal M}\) of this kind is said to be the A-rank of G. Theorem 2.1. The following conditions on a reduced torsion-free abelian group A with noetherian ring R are equivalent: 1) R is right hereditary and for any subgroup \(V\cong A\) the group A/V is periodic; 2) if B is a subgroup of finite A-rank of a locally A-projective group G, then the pure envelope \(B_*\) of B is a direct summand of G. Corollary 2.2. Let A be a torsion-free abelian group wth a hereditary noetherian semiprime ring R and A/V be periodic for any subgroup \(V\cong A\). Then if B is a pure subgroup of a locally A- projective group G such that \(tr_ BA=B\) and the ring of endomorphisms E(B) is discrete in the finite topology, then B is a direct summand of G. Corollary 2.3. The following statements on a reduced torsion-free abelian group A of finite rank are equivalent: 1) R is right hereditary; 2) A is endoflat and if B is a pure subgroup of finite rank of a locally A- projective group G and \(tr_ BA=B\), then B is a direct summand of G; 3) If B is a subgroup of finite rank of a locally A-projective group G and \(tr_ BA=B\), then \(B_*\) is a direct summand of G.
0 references
direct summand
0 references
locally A-projective
0 references
A-projective direct summand
0 references
projective right R-modules
0 references
self-small S-module
0 references
flat R-module
0 references
finite topology
0 references
equivalence of the category
0 references
right hereditary ring
0 references
reduced torsion-free abelian group
0 references
noetherian ring
0 references
locally A-projective group
0 references
pure envelope
0 references
pure subgroup
0 references
ring of endomorphisms
0 references
endoflat
0 references