Free Boolean algebra

A Boolean algebra with a system of generators such that every mapping from this system into a Boolean algebra can be extended to a homomorphism. Every Boolean algebra is isomorphic to a quotient algebra of some free Boolean algebra.

For any cardinal number $\mathfrak{a}$ there is a unique (up to an isomorphism) free Boolean algebra with $\mathfrak{a}$ generators. Its Stone space is the topological product of $\mathfrak{a}$ simple colons, that is, it is a dyadic discontinuum.

A finite Boolean algebra is free if and only if its number of elements is of the form $2^{2^n}$, where $n$ is the number of generators. Such a free Boolean algebra is realized as the algebra of Boolean functions of $n$ variables. A countable free Boolean algebra is isomorphic to the algebra of open-closed subsets of the Cantor set. Every set of pairwise-disjoint elements of a free Boolean algebra is finite or countable.

An infinite free Boolean algebra cannot be complete. On the other hand, the cardinality of any infinite complete Boolean algebra is the least upper bound of the cardinalities of its free subalgebras (see [5]).

References[edit]