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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references