On \(K\)-large and generalized \(K\)-large Abelian groups. (Q2519191)

Let \(\mathcal K\) be a class of Abelian groups. An Abelian group \(A\) is called `\(\mathcal K\)-large' if for every homomorphism \(\omega\colon A\to\prod_{i\in I}B_i\), where \(B_i\in\mathcal K\) for all \(i\in I\), \(\omega(A)\subseteq\bigoplus_{i\in I}B_i\). In the present paper the author proves general properties of \(\mathcal K\)-large Abelian groups (Section 1). It is proved that there are no groups that are \(\mathcal Ab\)-large (Proposition 1.1). This result comes to argue the generalization of \(\mathcal K\)-large groups introduced in Section 2. Interesting results are proved in the last section of the paper. Here \(\mathcal K\)-large groups are studied in the case \(\mathcal K=\{C_p\mid p\in T\}\), where \(T\) is an infinite set of primes and \(C_p\) are bounded \(p\)-groups for all \(p\in T\). It is observed that for \(\mathcal K\) as above any torsion group is \(\mathcal K\)-large. Moreover \(\mathcal K\)-large torsion-free groups are characterized in Theorem 3.2. Using this theorem \(\mathcal K\)-large separable torsion-free groups, \(\mathcal K\)-large vector groups, and \(\mathcal K\)-large groups of finite rank are characterized.