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


A Boolean homomorphism is a mapping f from a Boolean algebra B, say, to a Boolean algebra A,such that
$$ f(p \wedge q) = f(p) \wedge f(q), $$
$$ f(p \vee q) = f(p) \vee f(q), $$
$$ f(p') = (f(p))', $$
whenever p and q are in B. In a somewhat loose but brief and suggestive phrase, a homomorphism is a structure-preserving mapping between Boolean algebras. A convenient synonym for “homomorphism from B to A” is “A-valued homomorphism on B”. Such expressions will be used most frequently in case A = 2.


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