Stone algebra

In mathematics, a Stone algebra or Stone lattice is a pseudocomplemented distributive lattice L in which any of the following equivalent statements hold for all $x,y\in L:$

• $(x\wedge y{)}^{*}=x^{*}\vee y^{*}$;
• $(x\vee y{)}^{**}=x^{**}\vee y^{**}$;
• $x^{*}\vee x^{**}=1$.

They were introduced by (Grätzer Schmidt), and named after Marshall Harvey Stone.

The set $S(L)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\{x^{*}\mid x\in L\}$ is called the skeleton of L. Then L is a Stone algebra if and only if its skeleton S(L) is a sublattice of L.

Boolean algebras are Stone algebras, and Stone algebras are Ockham algebras.

Examples

• The open-set lattice of an extremally disconnected space is a Stone algebra.
• The lattice of positive divisors of a given positive integer is a Stone lattice.

See also

• De Morgan algebra
• Heyting algebra

Further reading

• Balbes, Raymond (1970), "A survey of Stone algebras", Proceedings of the Conference on Universal Algebra (Queen's Univ., Kingston, Ont., 1969), Kingston, Ont.: Queen's Univ., pp. 148–170, https://books.google.com/books?id=_bsrAAAAYAAJ 
• Hazewinkel, Michiel, ed. (2001), "Stone lattice", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=s/s090350 
• Grätzer, George (1971), Lattice theory. First concepts and distributive lattices, W. H. Freeman and Co., ISBN 978-0-486-47173-0, https://books.google.com/books?id=R6adPQAACAAJ