Introduction to Boolean Algebras

  • Authors
  • Paul  Halmos
  • Steven Givant

Part of the Undergraduate Texts in Mathematics book series (UTM)

Table of contents

  1. Front Matter
    Pages 1-14
  2. Steven Givant
    Pages 1-7
  3. Steven Givant
    Pages 8-13
  4. Steven Givant
    Pages 14-19
  5. Steven Givant
    Pages 20-23
  6. Steven Givant
    Pages 24-30
  7. Steven Givant
    Pages 31-37
  8. Steven Givant
    Pages 38-44
  9. Steven Givant
    Pages 45-52
  10. Steven Givant
    Pages 53-65
  11. Steven Givant
    Pages 66-73
  12. Steven Givant
    Pages 74-88
  13. Steven Givant
    Pages 89-104
  14. Steven Givant
    Pages 105-116
  15. Steven Givant
    Pages 117-126
  16. Steven Givant
    Pages 127-133
  17. Steven Givant
    Pages 134-141
  18. Steven Givant
    Pages 142-148
  19. Steven Givant
    Pages 149-163
  20. Steven Givant
    Pages 164-170

About this book


In a bold and refreshingly informal style, this exciting text steers a middle course between elementary texts emphasizing connections with philosophy, logic, and electronic circuit design, and profound treatises aimed at advanced graduate students and professional mathematicians. It is written for readers who have studied at least two years of college-level mathematics. With carefully crafted prose, lucid explanations, and illuminating insights, it guides students to some of the deeper results of Boolean algebra --- and in particular to the important interconnections with topology --- without assuming a background in algebra, topology, and set theory. The parts of those subjects that are needed to understand the material are developed within the text itself.


Highlights of the book include the normal form theorem; the homomorphism extension theorem; the isomorphism theorem for countable atomless Boolean algebras; the maximal ideal theorem; the celebrated Stone representation theorem; the existence and uniqueness theorems for canonical extensions and completions; Tarski’s isomorphism of factors theorem for countably complete Boolean algebras, and Hanf’s related counterexamples; and an extensive treatment of the algebraic-topological duality, including the duality between ideals and open sets, homomorphisms and continuous functions, subalgebras and quotient spaces, and direct products and Stone-Cech compactifications.


A special feature of the book is the large number of exercises of varying levels of difficulty, from routine problems that help readers understand the basic definitions and theorems, to intermediate problems that extend or enrich material developed in the text, to harder problems that explore important ideas either not treated in the text, or that go substantially beyond its treatment. Hints for the solutions to the harder problems are given in an appendix. A detailed solutions manual for all exercises is available for instructors who adopt the text for a course.


Boolean algebra Division Lattice algebra homomorphism set theory

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag New York 2009
  • Publisher Name Springer, New York, NY
  • eBook Packages Mathematics and Statistics
  • Print ISBN 978-0-387-40293-2
  • Online ISBN 978-0-387-68436-9
  • Series Print ISSN 0172-6056
  • About this book