The finite quasi-Baer property.

DOI10.1016/J.JALGEBRA.2005.08.012MaRDI QIDQ2575680zbMATH OpenOpenAlexFDO

Authors Simion Sorin Breaz, W. J. Wickless, Ulrich F. Albrecht

Publication date 6 December 2005

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2005.08.012

almost finitely projective groups direct sums exact sequences mixed Abelian groups quasi-endomorphism rings quasi-epimorphisms quasi-splitting properties self-small Abelian groups

Mathematics Subject Classification ID

Mixed groups (20K21) Direct sums, direct products, etc. for abelian groups (20K25) Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups (20K30) Homological and categorical methods for abelian groups (20K40)

Review text

This paper discusses quasi-splitting properties for sequences of mixed Abelian groups. The study is motivated by the famous lemma of Baer, which says that any surjection \(B\to A\) of torsion free Abelian groups, where \(A\) is rank-1, splits if the \(A\)-socle of \(B\) maps onto \(A\). The \(A\)-socle of \(B\) is \(S_A(B)=\{f(a):f\colon A\to B\}\). The authors focus on groups \(A\) that are self-small: if \(\varphi\colon A\to\bigoplus_IA\) is a homomorphism, then there is a finite subset \(J\) of \(I\) such that \(\varphi(A)\subseteq\bigoplus_JA\). All groups are Abelian and the torsion subgroup of an Abelian group \(X\) is denoted \(tX\). The results involve numerous definitions employing the words ``almost or ``quasi. In the interest of brevity, only a few of these will be given here. A group \(G\) is `almost finitely \(A\)-projective' if \(P\) is a quasi-summand of a finite direct sum of copies of \(A\). An Abelian group \(A\) has the `finite quasi-Baer splitting property' if every exact sequence \(0\to B@>\alpha>>G\to P\to 0\) of Abelian groups quasi-splits provided \(\alpha(B)+S_A(G)\) is quasi-equal to \(G\) and \(P\) is almost finitely \(A\)-projective. A left module \(M\) over a ring \(R\) with identity is `almost finitely faithful' if every finitely generated right \(R\)-module \(X\) such that \(X\otimes_RM\) is bounded has a bounded additive group. Three of the more important results give the flavor of what the paper contains. Theorem 4.2. The following are equivalent for a self-small group \(A\) of finite torsion-free rank: (a) \(A\) has the finite quasi-Baer splitting property; (b) \(A\) is almost finitely faithful as an \(E\)-module, where \(E=\text{End}(A,+)\); (c) If \(C\) is quasi-equal to \(S_A(C)\), \(G\) is almost finitely \(A\)-projective and \(C\to G\) is a quasi-epimorphism, then the cokernel of the induced map \(\Hom(A,C)\to\Hom(A,G)\) is bounded as an Abelian group; (d) \(A/tA\) is almost finitely faithful as an \(E/tE\)-module. Corollary 4.6. If every proper right ideal of the quasi-endomorphism ring of a self-small group \(A\) of finite torsion-free rank is nilpotent, then \(QE\) is a left Kasch-ring (every proper right ideal has a nonzero left annihilator). In particular, \(A\) has the finite quasi-Baer splitting property. The class \(\mathcal G\) consists of the self-small groups \(G\) such that \(G/tG\) is finite rank, divisible. Theorem 6.3. The following conditions are equivalent for all groups \(A\) in \(\mathcal G\): (a) \(A\) has the finite quasi-Baer splitting property; (b) \(A/tA\) is faithful as an \(E/tE\)-module. A third, more technical, condition is also shown to be equivalent to (a) and (b).

Recommendations

Cites work

Cited in

(16)

This page was built for publication: The finite quasi-Baer property.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575680)