On Boolean powers of the group Z and (\(\omega\) ,\(\omega\) )-weak distributivity (Q761541)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Boolean powers of the group Z and (\(\omega\) ,\(\omega\) )-weak distributivity |
scientific article |
Statements
On Boolean powers of the group Z and (\(\omega\) ,\(\omega\) )-weak distributivity (English)
0 references
1984
0 references
Let B be a countably complete Boolean algebra (ccBa). Then the Boolean power \({\mathbb{Z}}^{(B)}\) consists of all maps \(x: {\mathbb{Z}}\to B\) such that \(\{\) x(a)\(| a\in {\mathbb{Z}}\}\) forms a partition of unity. A ''product- like'' abelian group structure is obtained by defining \((x+y)(a)=\bigvee_{b\in {\mathbb{Z}}}x(b)\wedge y(a-b),\) in particular \({\mathbb{Z}}^{({\mathcal P}(J))}\cong {\mathbb{Z}}^ J\). B is said to have the slender property if every homomorphism from \({\mathbb{Z}}^{{\mathbb{N}}}\) to \({\mathbb{Z}}^{(B)}\) is ''infinitely linear''. The first author observed [in J. Algebra 82, 84-93 (1983; Zbl 0538.20027)] that (\(\omega\),\(\omega)\)-weakly distributive complete Boolean algebras have the slender property. They extend this result to a ccBa. If I is a countably complete ideal of a ccBa B, then the infinite linearity of \(h: {\mathbb{Z}}^{{\mathbb{N}}}\to {\mathbb{Z}}^{(B/I)}\) is shown to be equivalent with the existence of a lifting homomorphism \(\bar h:\) \({\mathbb{Z}}^{{\mathbb{N}}}\to {\mathbb{Z}}^{(B)}\). This criterion is used to decide the question if the \(ccBa\quad B={\mathcal P}(J)/{\mathcal P}_{\kappa}(J)\) has the slender property, where \({\mathcal P}_{\kappa}(J)\) consists of all subsets of J with cardinality less than \(\kappa\), and \(\kappa\) is a cardinal of uncountable cofinality. With the help of a result by \textit{B. Wald} [Manuscr. Math. 42, 297-309 (1983; Zbl 0518.20052)] in the presence of Martin's axiom the answer is proven to be ''yes'' if and only if cf \(\kappa\) \(\neq 2^{\aleph_ 0}\). Finally using a suitable Boolean extension of the universe the independence of the statement ''\({\mathcal P}(J)/{\mathcal P}_{2^{\aleph_{0}}}(J)\) has the slender property'' is established.
0 references
countably complete Boolean algebra
0 references
Boolean power
0 references
partition of unity
0 references
slender property
0 references
homomorphism
0 references
(\(\omega \) ,\(\omega \) )-weakly distributive complete Boolean algebras
0 references
infinite linearity
0 references
lifting homomorphism
0 references
Martin's axiom
0 references
independence
0 references