On Boolean powers of the group Z and (\(\omega\) ,\(\omega\) )-weak distributivity
type: Item
instance of: scholarly article
title: On Boolean powers of the group Z and (\(\omega\) ,\(\omega\) )-weak distributivity
zbMATH Open document ID: 0556.20039
author: Katsuya Eda
author: Ken-ichi Hibino
published in: Journal of the Mathematical Society of Japan
publication date: 1984-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 20K25
Mathematics Subject Classification ID: 20K30
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E50
Mathematics Subject Classification ID: 03E55
zbMATH DE Number: 3886143
zbMATH Keywords: countably complete Boolean algebra
zbMATH Keywords: Boolean power
zbMATH Keywords: partition of unity
zbMATH Keywords: slender property
zbMATH Keywords: homomorphism
zbMATH Keywords: (\(\omega \) ,\(\omega \) )-weakly distributive complete Boolean algebras
zbMATH Keywords: infinite linearity
zbMATH Keywords: lifting homomorphism
zbMATH Keywords: Martin's axiom
zbMATH Keywords: independence
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2969/jmsj/03640619
OpenAlex ID: W2023971989
DOI: 10.2969/JMSJ/03640619
description: scientific article; zbMATH DE number 3886143