The finite quasi-Baer property. (Q2575680): Difference between revisions

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).