A Boolean power and a direct product of Abelian groups (Q789520)

The groups of homomorphisms from Boolean powers and direct products of abelian groups into slender groups and infinite direct sums of groups are investigated. Let B be a complete Boolean algebra, \({\mathcal F}\) the set of all countably complete maximal filters on B, \(\hat A\) a group in some Boolean extension \(V^{(B)}\) [see \textit{J. L. Bell}, Boolean-valued models and independence proofs in set theory (1977; Zbl 0371.02028) or \textit{R. M. Solovay} and \textit{S. Tennenbaum}, Ann. Math., II. Ser. 94, 201-245 (1971; Zbl 0244.02023)] and Â/F be the quotient of \(\hat A\) by the equivalence relation \(\sim_ F\), where F is a maximal filter on B and \(x\sim_ Fy\Leftrightarrow [[x=y]]\in F.\) Theorem 1. Let \(\hat A\) be a group in \(V^{(B)}\) and G a slender group. Then, \(Hom(\hat A,G)\cong \oplus_{F\in {\mathcal F}}Hom(\hat A/F,G)\) holds. This theorem implies a well-known theorem by J. Loš. Particularly, \(Hom(\prod_{i\in I}A_ i,G)\cong \oplus_{i\in I}Hom(A_ i,G),\) where G is a slender group and the cardinality of I is less than the least measurable cardinal. For an abelian group A, \(\bar A\) denotes the group \(\bar A=A/\cap^{\infty}_{n=1}nA.\) Theorem 2. Let \(\hat A\) be a torsion group in \(V^{(B)}\). Then, for each direct sum decomposition \(\oplus_{j\in J}G_ j\) of \(\hat A\), \(\bar G_ j\) is a torsion group for almost all \(j\in J\).