Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Algebra and Logicarrow_drop_down
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
Algebra and Logic
Article . 1988 . Peer-reviewed
License: Springer TDM
Data sources: Crossref
image/svg+xml Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao Closed Access logo, derived from PLoS Open Access logo. This version with transparent background. http://commons.wikimedia.org/wiki/File:Closed_Access_logo_transparent.svg Jakob Voss, based on art designer at PLoS, modified by Wikipedia users Nina and Beao
zbMATH Open
Article . 1988
Data sources: zbMATH Open
versions View all 2 versions
addClaim

Torsion-free abelian groups with hereditary rings of endomorphisms

Torsion-free Abelian groups with hereditary rings of endomorphisms
Authors: Krylov, P. A.;

Torsion-free abelian groups with hereditary rings of endomorphisms

Abstract

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.

Keywords

self-small S-module, locally A-projective, A-projective direct summand, locally A-projective group, flat R-module, pure subgroup, Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups, right hereditary ring, noetherian ring, Free, projective, and flat modules and ideals in associative algebras, finite topology, equivalence of the category, projective right R-modules, Torsion-free groups, infinite rank, Endomorphism rings; matrix rings, pure envelope, endoflat, Direct sums, direct products, etc. for abelian groups, Module categories in associative algebras, ring of endomorphisms, direct summand, reduced torsion-free abelian group

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    3
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
3
Average
Average
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!