Free algebras

  • Paul R. Halmos
Part of the Undergraduate Texts in Mathematics book series (UTM)


The elements of every subset of every Boolean algebra satisfy various algebraic conditions (such, for example, as the distributive laws) just by virtue of belonging to the same Boolean algebra. If the elements of some particular set E satisfy no conditions except these necessary universal ones, it is natural to describe E by some such word as “free.” A crude but suggestive way to express the fact that the elements of E satisfy no special conditions is to say that the elements of E can be transferred to an arbitrary Boolean algebra in a completely arbitrary way with no danger of encountering a contradiction. In what follows we shall make these heuristic considerations precise. We shall restrict attention to sets that generate the entire algebra; from the practical point of view the loss of generality involved in doing so is negligible.


Boolean Algebra Propositional Calculus Free Algebra Cardinal Number Admissible Sequence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1974

Authors and Affiliations

  • Paul R. Halmos
    • 1
  1. 1.Department of MathematicsIndiana UniversityBloomingtonUSA

Personalised recommendations