On a Boolean power of a torsion free Abelian group (Q793154)

Let \({\mathcal B}\) be a complete Boolean algebra and let A be a torsion free abelian group. The group \(A^{({\mathcal B})}\) consists of all functions \(f:A\to {\mathcal B}\) such that \(f(x)\wedge f(y)=0\) for \(x,y\in A,\quad x\neq y\) and \(\bigvee_{x\in A}f(x)=1;\) the sum \(f+g\) of two such functions is defined by \((f+g)(x)=\bigvee_{y\in A}f(y)\wedge g(x-y).\) In particular, the direct product \(A^ I\) is isomorphic to \(A^{({\mathcal P}(I))}\), where \({\mathcal P}(I)\) is the Boolean algebra of all subsets of the set I. In the first part of the paper there are several theorems on the groups \(Hom(A^{({\mathcal B})},G)\) for slender groups G, which generalize known theorems for products \(Z^ I\) where \(| I|<M_ c=the\) first non- measurable cardinal. It is proved that if \(| A|<M_ c\) then \(Hom(A^{({\mathcal B})},G)\) is isomorphic to \(\oplus_{{\mathcal F}}Hom(A,G)\) where \({\mathcal F}\) denotes the set of countably complete maximal filters on \({\mathcal B}\). If the cardinality of any pairwise disjoint subfamily of \({\mathcal B}\) is less than \(M_ c\) then one can replace \(\oplus_{{\mathcal F}}\) by \(\oplus_{{\mathcal A}}\), where \({\mathcal A}\) is the set of atoms of \({\mathcal B}\). These results imply that \(G^ I\approx G^ J\) is equivalent to \(I\approx J\) for arbitrary sets I, J and slender groups G. In the second part there are several theorems on homomorphisms \(h:Z^{({\mathcal C})}\to Z^{({\mathcal B})}.\) Results are presented in terms of a Boolean extension \(V^{({\mathcal B})}\) of a set theoretical universe. Let \(<x_ i>_{i\in I}\) be an indexed set of elements in the group \(Z^{({\mathcal P}(I))}\). The condition: for each \(j\in J\) we have \(x_ i(j)=0\) for almost all \(i\in I\), corresponds to the following condition for \(x_ i\in Z^{({\mathcal B})}:\) there exists a partition P of 1 in \({\mathcal B}\) such that for each \(b\in P\) we have \(b\leq \| x_ i=\check 0\|\) for almost all \(i\in I\). Such a family \(<x_ i>_{i\in I}\) is called a proper sequence; all such proper sequences form a subgroup \(Ps^ IZ^{({\mathcal B})}\) of \((Z^{({\mathcal B})})^ I\). For such a proper sequence it is possible to reasonably define the sum \(\sum x_ i\in Z^{({\mathcal B})}.\) A homomorphism \(h:Z^ N\to Z^{({\mathcal B})}\) is called infinitely linear if \(<h(e_ n)>_{n\in N}\) is a proper sequence and \(h(\sum a_ ne_ n)=\sum a_ nh(e_ n)\quad(e_ n(m)=\delta_{nm}). {\mathcal B}\) has the slender property iff every homomorphism \(h:Z^ N\to Z^{({\mathcal B})}\) is infinitely linear. It is proved that if \({\mathcal B}\) satisfies: \(\bigwedge_{m\in N}\bigvee_{n\in N}b_{mn}=\bigvee_{f\in^ NN}\bigwedge_{m\in N}\bigvee_{n\leq f(m)}b_{mn}\) for all \(b_{mn}\in {\mathcal B}\) then (1) \({\mathcal B}\) has the slender property, (2) for each proper sequence \(<x_ n>_{n\in N}\quad h(\sum a_ nx_ n)=\sum a_ nh(x_ n)\) for every homomorphism \(h:Z^{({\mathcal B})}\to Z^{({\mathcal B})},\) (3) \(Hom(Z^ N,Z^{({\mathcal B})})\approx Ps^ NZ^{({\mathcal B})}.\) Under some additional assumptions on \({\mathcal B}\), the group \(Hom(Z^{({\mathcal C})},Z^{({\mathcal B})})\) is isomorphic to \(Ps^ IZ^{({\mathcal B})}\) where I depends on the complete Boolean algebra \({\mathcal C}\).