On the question of the definability of certain classes of completely decomposable abelian torsion-free groups by their homomorphism groups (Q6114304)

All groups in this review are torsion-free and abelian. Fuchs' Problem 34 asks whether there exists a set \(\mathcal{X}\) of abelian groups such that \(\Hom(A, C) \cong \Hom(B, C)\) for all \(C \in \mathcal{X}\) implies \(A \cong B\). \textit{P. Hill} [J. Algebra 19, 379--383 (1971; Zbl 0228.20027)] and \textit{A. Sebel'din} [Определяемость абелевых групп. Проблематика. Исследования. Обзор (Russian). Saarbrücken: Palmarium Academic Publishing (2012; Zbl 1284.03008)] showed that the general answer must be no. In this context, a natural question similar to Fuchs' Problem 34 arises in which the group \(C\) stands at the first place. Let \(\mathcal{X}\) and \(\mathcal{Y}\) be some classes of abelian groups. A class \(\mathcal{Y}\) is called a \(_CH\)-class for some group \(C \in \mathcal{X}\) if the relation \(\Hom(C, A) \cong \Hom(C, B)\) implies an isomorphism \(A \cong B\) for any \(A, B \in \mathcal{Y}\). In the case that \(C\) is a completely decomposable torsion-free group, some necessary and sufficient conditions are obtained in [\textit{T. A. Beregovaya} and \textit{A. M. Sebel'din}, Math. Notes 73, No. 5, 605--610 (2003; Zbl 1068.20059); translation from Mat. Zametki 73, No. 5, 643--648 (2003)] for a given subclass of the class of completely decomposable torsion-free abelian groups to be a \(_CH\)-class. In the paper under review, for a given completely decomposable torsion-free abelian group \(C\), a necessary and sufficient condition is given under which the class of completely decomposable torsion-free abelian groups \(A=\bigoplus_{i \in I}A_i\), where all \(A_i\) are almost locally free torsion-free groups of rank one, is a \(_CH\)-class (Theorem 2). Moreover, the authors give a sufficient condition such that the class of torsion-free completely decomposable abelian groups \(A=\bigoplus_{i \in I}A_i\), where all \(A_i\) are fully characteristic groups of rank one, is a \(_CH\)-class (Theorem 1).