A note on locally A-projective groups (Q1070042)

Let A be an abelian group. An abelian group P is A-projective if \(P\oplus Q\cong \oplus_ IA\) for some index-set I. Moreover, a group G is locally A-projective if every finite subset of G is contained in an A-projective direct summand of G. Therefore, locally A-projective groups are the natural generalization of homogeneous groups. The author considers a torsion-free reduced abelian group with a semiprime, two-sided Noetherian, hereditary endomorphism ring. This choice for the endomorphism ring is naturally since this is the class of rings R for which the locally projective modules arise as pure submodules of \(R^ I\) as is shown in Section 2 of this paper. For these groups A \textit{D. Arnold}'s and \textit{E. Lady}'s results are recovered [see Trans. Am. Math. Soc. 211, 225-237 (1975; Zbl 0329.20033)]. Then, a generalized form of purity for subgroups of \(A^ I\) is introduced: If G is an abelian group, then \(S_ A(G)=\sum \{f(A)|\) \(f\in Hom(A,G)\}\) is the A-socle of G. A subgroup \(H=S_ A(H)\) of a group \(G=S_ A(G)\subseteq A^ I\) is almost \(\{A\}_*\)-pure in G if H is a direct summand of \(H+f(A)\) for all \(f\in Hom(A,G)\). Various characterizations of almost \(\{A\}_*\)-purity are given. Also the relation between almost \(\{A\}_*\)-purity and the classical notion of purity is discussed. Finally, the author succeeds to show that if A is torsion-free reduced with a semi-prime, two-sided Noetherian hereditary endomorphism ring, a group G is locally A-projective exactly if \(G=S_ A(G)\), and G is isomorphic to an almost \(\{A\}_*\)-pure subgroup of \(S_ A(A^ I)\) for some index set I. Moreover, if A/U is torsion for all subgroups U of A which are isomorphic to A, the purity can replace almost \(\{\) \(A\}\)- purity in the last result. The mentioned results extend classical theorems of R. Baer on abelian groups.