Stone's representation theorem for Boolean hyperalgebras. Topological version
type: Item
instance of: scholarly article
title: Stone's representation theorem for Boolean hyperalgebras. Topological version
zbMATH Open document ID: 0858.06005
DOI: 10.1016/0012-365X(94)00384-U
author: R. Procesi Ciampi
published in: Discrete Mathematics
publication date: 1997-03-19T00:00:00Z
review text: A Boolean hyperalgebra is, roughly speaking, obtained from a Boolean algebra \(A\) by replacing the disjunction by a hyperoperation \(\vee:A\times A\to{\mathcal P}(A)\) satisfying appropriate axioms; for example, absorption is replaced by \(a\in a\vee(a\wedge b)\). The standard example is the power set hyperalgebra \(({\mathcal P}(X),\vee, \cap,{}',\emptyset,X)\), where \(I\vee J=\{(I\setminus J)\cup(J\setminus I)\cup S: S\subseteq I\cap J\}\) for all \(I,J\in{\mathcal P}(X)\). Let \(\text{Ult}(A)\) denote the set of ultrafilters of \(A\), where the concept of ultrafilter is the conventional one. It turns out [the author and \textit{R. Rota}, Algebraic hyperstructures and applications, Proc. 4th Int. Congr., Xanthi 1990, 161-165 (1991; Zbl 0745.06004)] that the Stone map \(x\mapsto s(x)=\{p\in{\mathcal P}(\text{Ult} (A)):x\not\in p\}\) is a hyperalgebra embedding \(s:A\to{\mathcal P}(\text{Ult}(A))\), to the effect that \(s\) is injective and satisfies \(s(x\wedge y)=s(x)\wedge s(y)\) and \(s(x\vee y)\subseteq s(x)\vee s(y)\). Now the author shows that \(\text{Ult}(A)\) is a Boolean space having \(s(A)\) as clopen sets. He also proves that the identity \(s(x\vee y)=s(x)\vee s(y)\) holds if and only if \(A\) is finite.
Mathematics Subject Classification ID: 06E15
zbMATH DE Number: 932540
zbMATH Keywords: Boolean hyperalgebra
zbMATH Keywords: ultrafilters
zbMATH Keywords: Stone map
zbMATH Keywords: hyperalgebra embedding
zbMATH Keywords: Boolean space
reviewed by: Sergiu Rudeanu
MaRDI profile type: Publication
cites work: Sur les homomorphismes d'hypergroupes
cites work: Q3963062
cites work: Q3975650
cites work: The Theory of Representation for Boolean Algebras
full work available at URL: 0012-365x(94)00384-u
OpenAlex ID: W2038455691
Recommended article: Algebras with hyperidentities of the variety of Boolean algebras
Recommended article: Q4949483
Recommended article: Q4430624
Recommended article: Hyperfinite logics and non-standard extensions of Boolean algebras
Recommended article: Q3975650
Recommended article: Q3459525
Recommended article: Q3358781
Recommended article: Hyperboolean Algebras and Hyperboolean Modal Logic
Recommended article: Q5290160
Recommended article: Q3418239
description: scientific article; zbMATH DE number 932540