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{)}^{\ast }=x^{\ast }\vee y^{\ast }$;
• $(x\vee y{)}^{\ast \ast }=x^{\ast \ast }\vee y^{\ast \ast }$;
• $x^{\ast }\vee x^{\ast \ast }=1$.

They were introduced by Template:Harvtxt, and named after Marshall Harvey Stone.

The set $S(L)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\{x^{\ast }\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

• Template:Citation
• Template:Eom
• Template:Citation

Template:Algebra-stub