Compact cardinals and Abelian groups (Q1100290)

Let \(R_{{\mathfrak Z}}(A)=\cap \{Ker(h):\) \(h\in Hom(A,{\mathfrak Z})\}\) and \(R^{\infty}_{{\mathfrak Z}}(A)=\sum \{X\leq A:\) Hom(X,\({\mathfrak Z})=0\}\) for an abelian group A. In addition, let \(R_{{\mathfrak Z}}^{[\kappa]}(A)=\sum \{R_{{\mathfrak Z}}X:\) \(X\leq A\) and \(| X| <\kappa \}\) and \(R_{{\mathfrak Z}}^{\infty [\kappa]}(A)=\sum \{R_{{\mathfrak Z}}X:\) \(X\leq A\) and \(| X| <\kappa \}\) for a cardinal \(\kappa\). Theorem: \(R_{{\mathfrak Z}}=R_{{\mathfrak Z}}^{[\kappa]}\) for some \(\kappa\), iff \(R^{\infty}_{{\mathfrak Z}}=R_{{\mathfrak Z}}^{\infty [\kappa]}\) for some \(\kappa\), iff there exists an \(L_{\omega_ 1\omega}\)-compact cardinal, i.e. there exists a \(\kappa\) such that any \(\kappa\)-complete filter on an arbitrary set can be extended to a countably complete ultrafilter. After the completion of this paper, the first author [[E] ``Slender modules, endo-slender abelian groups and large cardinals'' (submitted)] has shown that the above equivalent statements are also equivalent to the statement ``The torsion class \(\{\) X: Hom(X,\({\mathfrak Z})=0\}\) is singly generated'', i.e. there exists an abelian group A such that Hom(X,\({\mathfrak Z})=0\) iff \(Hom(X,Y)=0\) for every Y with \(Hom(A,Y)=0\). It is also shown in [E] that there exists an \(L_{\mu \omega}\)-compact cardinal for any \(\mu\), iff for any associative ring R, there exists \(\kappa\) such that \(R_ R=R_ R^{[\kappa]}\), iff the torsion class \(\{X_ R:\) \(Hom_ R(X_ R,R)=0\}\) is singly generated.