GetWiki

{| cellpadding=5

1=a ∨ (b ∨ c) = (a ∨ b) ∨ c}}

1=a ∧ (b ∧ c) = (a ∧ b) ∧ c}}| associativity

1=a ∨ b = b ∨ a}}

1=a ∧ b = b ∧ a}}| commutativity

1=a ∨ (a ∧ b) = a}}

1=a ∧ (a ∨ b) = a}}	Absorption law>absorption

1=a ∨ 0 = a}}

1=a ∧ 1 = a}}	identity element>identity

1=a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)  }}

1=a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)  }}| distributivity

1=a ∨ ¬a = 1}}

1=a ∧ ¬a = 0}}

complemented lattice>complements

Note, however, that the absorption law and even the associativity law can be excluded from the set of axioms as they can be derived from the other axioms (see Proven properties).A Boolean algebra with only one element is called a trivial Boolean algebra or a degenerate Boolean algebra. (In older works, some authors required {{math|0}} and {{math|1}} to be distinct elements in order to exclude this case.){{citation needed|date=July 2020}}It follows from the last three pairs of axioms above (identity, distributivity and complements), or from the absorption axiom, that The relation {{math|≤}} defined by {{math|a ≤ b}} if these equivalent conditions hold, is a partial order with least element 0 and greatest element 1. The meet {{math|1=a ∧ b}} and the join {{math|1=a ∨ b}} of two elements coincide with their infimum and supremum, respectively, with respect to ≤.The first four pairs of axioms constitute a definition of a bounded lattice.It follows from the first five pairs of axioms that any complement is unique.The set of axioms is self-dual in the sense that if one exchanges {{math|1=∨}} with {{math|1=∧}} and {{math|0}} with {{math|1}} in an axiom, the result is again an axiom. Therefore, by applying this operation to a Boolean algebra (or Boolean lattice), one obtains another Boolean algebra with the same elements; it is called its dual.{{sfn|Goodstein|2012|p=21ff}}

Examples

• The simplest non-trivial Boolean algebra, the two-element Boolean algebra, has only two elements, {{math|0}} and {{math|1}}, and is defined by the rules:{||{| class="wikitable"

! {{math|1=∧}} || {{math|0}} || {{math|1}}! {{math|0}}0}} {{math|0}}! {{math|1}}0}} {{math|1}}||{| class="wikitable"! {{math|1=∨}} || {{math|0}} || {{math|1}}! {{math|0}}0}} {{math|1}}! {{math|1}}1}} {{math|1}}||{| class="wikitable"! {{math|a}} || {{math|0}} || {{math|1}}! {{math|¬a}}1}} {{math|0}}

• The power set (set of all subsets) of any given nonempty set {{math|S}} forms a Boolean algebra, an algebra of sets, with the two operations {{math|1=∨ := ∪}} (union) and {{math|1=∧ := ∩}} (intersection). The smallest element 0 is the empty set and the largest element {{math|1}} is the set {{math|S}} itself.

! {{math|1=∧}} || {{math|1=0}} || {{math|1=a}} || {{math|1=b}} || {{math|1=1}}! {{math|1=0}}1=0}} {{math1=0}} {{math|1=0}}! {{math|1=a}}1=0}} {{math1=0}} {{math|1=a}}! {{math|1=b}}1=0}} {{math1=b}} {{math|1=b}}! {{math|1=1}}1=0}} {{math1=b}} {{math|1=1}}||{| class="wikitable"! {{math|1=∨}} || {{math|1=0}} || {{math|1=a}} || {{math|1=b}} || {{math|1=1}}! {{math|1=0}}1=0}} {{math1=b}} {{math|1=1}}! {{math|1=a}}1=a}} {{math1=1}} {{math|1=1}}! {{math|1=b}}1=b}} {{math1=b}} {{math|1=1}}! {{math|1=1}}1=1}} {{math1=1}} {{math|1=1}}||{| class="wikitable"! {{math|1=x}} || {{math|1=0}} || {{math|1=a}} || {{math|1=b}} || {{math|1=1}}! {{math|1=¬x}}1=1}} {{math1=a}} {{math|1=0}}

• The set {{mvar|A}} of all subsets of {{mvar|S}} that are either finite or cofinite is a Boolean algebra and an algebra of sets called the finite–cofinite algebra. If {{mvar|S}} is infinite then the set of all cofinite subsets of {{mvar|S}}, which is called the Fréchet filter, is a free ultrafilter on {{mvar|A}}. However, the Fréchet filter is not an ultrafilter on the power set of {{mvar|S}}.
• Starting with the propositional calculus with {{math|κ}} sentence symbols, form the Lindenbaum algebra (that is, the set of sentences in the propositional calculus modulo logical equivalence). This construction yields a Boolean algebra. It is in fact the free Boolean algebra on {{math|κ}} generators. A truth assignment in propositional calculus is then a Boolean algebra homomorphism from this algebra to the two-element Boolean algebra.
• Given any linearly ordered set {{math|L}} with a least element, the interval algebra is the smallest Boolean algebra of subsets of {{math|L}} containing all of the half-open intervals {{math|[a, b)}} such that {{math|a}} is in {{math|L}} and {{math|b}} is either in {{math|L}} or equal to {{math|∞}}. Interval algebras are useful in the study of Lindenbaum–Tarski algebras; every countable Boolean algebra is isomorphic to an interval algebra.

File:Lattice T 30.svg|thumb|x150px|Hasse diagramHasse diagram

• For any natural number {{math|n}}, the set of all positive divisors of {{math|n}}, defining {{math|a ≤ b}} if {{math|a}} divides {{math|b}}, forms a distributive lattice. This lattice is a Boolean algebra if and only if {{math|n}} is square-free. The bottom and the top elements of this Boolean algebra are the natural numbers {{math|1}} and {{math|n}}, respectively. The complement of {{math|a}} is given by {{math|n/a}}. The meet and the join of {{math|a}} and {{math|b}} are given by the greatest common divisor ({{math|gcd}}) and the least common multiple ({{math|lcm}}) of {{math|a}} and {{math|b}}, respectively. The ring addition {{math|a + b}} is given by {{math|lcm(a, b) / gcd(a, b)}}. The picture shows an example for {{math|1=n = 30}}. As a counter-example, considering the non-square-free {{math|1=n = 60}}, the greatest common divisor of 30 and its complement 2 would be 2, while it should be the bottom element 1.
• Other examples of Boolean algebras arise from topological spaces: if {{math|X}} is a topological space, then the collection of all subsets of {{math|X}} that are both open and closed forms a Boolean algebra with the operations {{math|1=∨ := ∪}} (union) and {{math|1=∧ := ∩}} (intersection).
• If {{mvar|R}} is an arbitrary ring then its set of central idempotents, which is the set

A = left{e in R : e^2 = e text{ and } ex = xe ; text{ for all } ; x in Rright},becomes a Boolean algebra when its operations are defined by {{math|1=e ∨ f := e + f − ef}} and {{math|1=e ∧ f := ef}}.

Homomorphisms and isomorphisms

A homomorphism between two Boolean algebras {{math|A}} and {{math|B}} is a function {{math|f : A → B}} such that for all {{math|a}}, {{math|b}} in {{math|A}}: It then follows that {{math|1=f(¬a) = ¬f(a)}} for all {{math|a}} in {{math|A}}. The class of all Boolean algebras, together with this notion of morphism, forms a full subcategory of the category of lattices.An isomorphism between two Boolean algebras {{math|A}} and {{math|B}} is a homomorphism {{math|f : A → B}} with an inverse homomorphism, that is, a homomorphism {{math|g : B → A}} such that the composition {{math|g ∘ f : A → A}} is the identity function on {{math|A}}, and the composition {{math|f ∘ g : B → B}} is the identity function on {{math|B}}. A homomorphism of Boolean algebras is an isomorphism if and only if it is bijective.

Boolean rings

Every Boolean algebra {{math|1=(A, ∧, ∨)}} gives rise to a ring {{math|(A, +, ·)}} by defining {{math|1=a + b := (a ∧ ¬b) ∨ (b ∧ ¬a) = (a ∨ b) ∧ ¬(a ∧ b)}} (this operation is called symmetric difference in the case of sets and XOR in the case of logic) and {{math|1=a · b := a ∧ b}}. The zero element of this ring coincides with the 0 of the Boolean algebra; the multiplicative identity element of the ring is the {{math|1}} of the Boolean algebra. This ring has the property that {{math|1=a · a = a}} for all {{math|a}} in {{math|A}}; rings with this property are called Boolean rings.Conversely, if a Boolean ring {{math|A}} is given, we can turn it into a Boolean algebra by defining {{math|1=x ∨ y := x + y + (x · y)}} and {{math|1=x ∧ y := x · y}}.{{sfn|Stone|1936}}{{sfn|Hsiang|1985|p=260}}Since these two constructions are inverses of each other, we can say that every Boolean ring arises from a Boolean algebra, and vice versa. Furthermore, a map {{math|f : A → B}} is a homomorphism of Boolean algebras if and only if it is a homomorphism of Boolean rings. The categories of Boolean rings and Boolean algebras are equivalent;{{sfn|Cohn|2003|p=81}} in fact the categories are isomorphic.Hsiang (1985) gave a rule-based algorithm to check whether two arbitrary expressions denote the same value in every Boolean ring.More generally, Boudet, Jouannaud, and Schmidt-Schauß (1989) gave an algorithm to solve equations between arbitrary Boolean-ring expressions.Employing the similarity of Boolean rings and Boolean algebras, both algorithms have applications in automated theorem proving.

Ideals and filters

An ideal of the Boolean algebra {{mvar|A}} is a nonempty subset {{mvar|I}} such that for all {{mvar|x}}, {{mvar|y}} in {{mvar|I}} we have {{math|{{var|x}} ∨ {{var|y}}}} in {{mvar|I}} and for all {{mvar|a}} in {{mvar|A}} we have {{math|{{var|a}} ∧ {{var|x}}}} in {{mvar|I}}. This notion of ideal coincides with the notion of ring ideal in the Boolean ring {{mvar|A}}. An ideal {{mvar|I}} of {{mvar|A}} is called prime if {{math|{{var|I}} ≠ {{var|A}}}} and if {{math|{{var|a}} ∧ {{var|b}}}} in {{mvar|I}} always implies {{mvar|a}} in {{mvar|I}} or {{mvar|b}} in {{mvar|I}}. Furthermore, for every {{math|{{var|a}} ∈ {{var|A}}}} we have that {{math|{{var|a}} ∧ −{{var|a}} {{=}} 0 ∈ {{var|I}}}}, and then if {{mvar|I}} is prime we have {{math|{{var|a}} ∈ {{var|I}}}} or {{math|−{{var|a}} ∈ {{var|I}}}} for every {{math|{{var|a}} ∈ {{var|A}}}}. An ideal {{mvar|I}} of {{mvar|A}} is called maximal if {{math|{{var|I}} ≠ {{var|A}}}} and if the only ideal properly containing {{mvar|I}} is {{mvar|A}} itself. For an ideal {{mvar|I}}, if {{math|{{var|a}} ∉ {{var|I}}}} and {{math|−{{var|a}} ∉ {{var|I}}}}, then {{math|{{var|I}} ∪ {{mset|{{var|a}}}}}} or {{math|{{var|I}} ∪ {{mset|−{{var|a}}}}}} is contained in another proper ideal {{mvar|J}}. Hence, such an {{mvar|I}} is not maximal, and therefore the notions of prime ideal and maximal ideal are equivalent in Boolean algebras. Moreover, these notions coincide with ring theoretic ones of prime ideal and maximal ideal in the Boolean ring {{mvar|A}}.The dual of an ideal is a filter. A filter of the Boolean algebra {{mvar|A}} is a nonempty subset {{mvar|p}} such that for all {{mvar|x}}, {{mvar|y}} in {{mvar|p}} we have {{math|{{var|x}} ∧ {{var|y}}}} in {{mvar|p}} and for all {{mvar|a}} in {{mvar|A}} we have {{math|{{var|a}} ∨ {{var|x}}}} in {{mvar|p}}. The dual of a maximal (or prime) ideal in a Boolean algebra is ultrafilter. Ultrafilters can alternatively be described as 2-valued morphisms from {{mvar|A}} to the two-element Boolean algebra. The statement every filter in a Boolean algebra can be extended to an ultrafilter is called the ultrafilter lemma and cannot be proven in Zermelo–Fraenkel set theory (ZF), if ZF is consistent. Within ZF, the ultrafilter lemma is strictly weaker than the axiom of choice.The ultrafilter lemma has many equivalent formulations: every Boolean algebra has an ultrafilter, every ideal in a Boolean algebra can be extended to a prime ideal, etc.

Representations

It can be shown that every finite Boolean algebra is isomorphic to the Boolean algebra of all subsets of a finite set. Therefore, the number of elements of every finite Boolean algebra is a power of two.Stone's celebrated representation theorem for Boolean algebras states that every Boolean algebra {{math|A}} is isomorphic to the Boolean algebra of all clopen sets in some (compact totally disconnected IdempotenceBnd >Bounded lattice>BoundariesAbs >| Absorption lawUNg >| Unique NegationDNg >| Double negationDMg >| De Morgan's LawAss >| Associativity{| align="right" class="wikitable collapsible collapsed" style="text-align:left"! colspan="4"| Huntington 1904 Boolean algebra axioms valign="top"Idn1 >| x ∨ 0 = xIdn2 >| x ∧ 1 = x valign="top"Cmm1 >| x ∨ y = y ∨ xCmm2 >| x ∧ y = y ∧ x valign="top"Dst1 >| x ∨ (y∧z) = (x∨y) ∧ (x∨z)Dst2 >| x ∧ (y∨z) = (x∧y) ∨ (x∧z) valign="top"Cpl1 >| x ∨ ¬x = 1Cpl2 >| x ∧ ¬x = 0{| align="left" class="collapsible" style="text-align:left"! colspan="2" | AbbreviationsIdn >Identity element>IdentityCmm >| CommutativityDst >| DistributivityCpl >Complemented lattice>ComplementsThe first axiomatization of Boolean lattices/algebras in general was given by the English philosopher and mathematician Alfred North Whitehead in 1898.{{sfn|Padmanabhan|Rudeanu|2008|p=73}}{{sfn|Whitehead|1898|p=37}}It included the above axioms and additionally {{math|1=x ∨ 1 = 1}} and {{math|1=x ∧ 0 = 0}}.In 1904, the American mathematician Edward V. Huntington (1874–1952) gave probably the most parsimonious axiomatization based on {{math|1=∧}}, {{math|1=∨}}, {{math|1=¬}}, even proving the associativity laws (see box).{{sfn|Huntington|1904|pp=292-293}}He also proved that these axioms are independent of each other.{{sfn|Huntington|1904|p=296}}In 1933, Huntington set out the following elegant axiomatization for Boolean algebra.{{sfn|Huntington|1933a}} It requires just one binary operation {{math|1=+}} and a unary functional symbol {{math|1=n}}, to be read as 'complement', which satisfy the following laws:{{olistCommutativity: {{math>1=x + y = y + x}}.Associativity: {{math>1=(x + y) + z = x + (y + z)}}.Huntington equation: {{math>1=n(n(x) + y) + n(n(x) + n(y)) = x}}.}}Herbert Robbins immediately asked: If the Huntington equation is replaced with its dual, to wit:{{olist|start=4Robbins Equation: {{math>1=n(n(x + y) + n(x + n(y))) = x}},}}do (1), (2), and (4) form a basis for Boolean algebra? Calling (1), (2), and (4) a Robbins algebra, the question then becomes: Is every Robbins algebra a Boolean algebra? This question (which came to be known as the Robbins conjecture) remained open for decades, and became a favorite question of Alfred Tarski and his students. In 1996, William McCune at Argonne National Laboratory, building on earlier work by Larry Wos, Steve Winker, and Bob Veroff, answered Robbins's question in the affirmative: Every Robbins algebra is a Boolean algebra. Crucial to McCune's proof was the computer program EQP he designed. For a simplification of McCune's proof, see Dahn (1998).Further work has been done for reducing the number of axioms; see Minimal axioms for Boolean algebra.{{clear}}

Generalizations

{{Algebraic structures|Lattice}}Removing the requirement of existence of a unit from the axioms of Boolean algebra yields "generalized Boolean algebras". Formally, a distributive lattice {{math|1=B}} is a generalized Boolean lattice, if it has a smallest element {{math|1=0}} and for any elements {{math|1=a}} and {{math|1=b}} in {{math|1=B}} such that {{math|1=a ≤ b}}, there exists an element {{math|1=x}} such that {{math|1=a ∧ x = 0}} and {{math|1=a ∨ x = b}}. Defining {{math|1=a b}} as the unique {{math|1=x}} such that {{math|1=(a ∧ b) ∨ x = a}} and {{math|1=(a ∧ b) ∧ x = 0}}, we say that the structure {{math|(B, ∧, ∨, , 0)}} is a generalized Boolean algebra, while {{math|(B, ∨, 0)}} is a generalized Boolean semilattice. Generalized Boolean lattices are exactly the ideals of Boolean lattices.A structure that satisfies all axioms for Boolean algebras except the two distributivity axioms is called an orthocomplemented lattice. Orthocomplemented lattices arise naturally in quantum logic as lattices of closed linear subspaces for separable Hilbert spaces.

See also

{hide}div col|content=

• List of Boolean algebra topics
• Boolean domain
• Boolean function
• Boolean logic
• Boolean ring
• Boolean-valued function
• Canonical form (Boolean algebra)
• Complete Boolean algebra
• De Morgan's laws
• Forcing (mathematics)
• Free Boolean algebra
• Heyting algebra
• Hypercube graph
• Karnaugh map
• Laws of Form
• Logic gate
• Logical graph
• Logical matrix
• Propositional logic
• Quine–McCluskey algorithm
• Two-element Boolean algebra
• Venn diagram
• Conditional event algebra

{edih}

Notes

{{reflist|group=note}}

References

{{reflist|30em}}

Works cited

• BOOK

• {{citation|title=Basic Algebra: Groups, Rings, and Fields|first=Paul M.|last=Cohn|publisher= Springer |year=2003 |isbn=9781852335878 |pages=51, 70–81 |author-link=Paul Cohn}}
• {hide}citation

• {{citation|title=Boolean Algebra|first=R. L.|last=Goodstein|authorlink = Reuben Goodstein|publisher=Courier Dover Publications|year=2012|isbn=9780486154978|chapter=Chapter 2: The self-dual system of axioms|pages=21ff|chapter-url=https://books.google.com/books?id=0fxW2KiyxWwC&pg=PA21}}
• JOURNAL

• JOURNAL

• {hide}citation

• JOURNAL

• BOOK

General references

{{insufficient inline citations|date=July 2013}}

• {hide}citation

• JOURNAL

• {hide}citation

• {{citation

• {hide}citation

• {{citation

• {{citation

• {{citation

• {{citation

• {{citation

• {hide}citation

• {{citation

External links

{{external links|date=November 2020}}

• {{springer|title=Boolean algebra|id=p/b016920}}
• Stanford Encyclopedia of Philosophy: "The Mathematics of Boolean Algebra", by J. Donald Monk.
• McCune W., 1997. Robbins Algebras Are Boolean JAR 19(3), 263—276
• "Boolean Algebra" by Eric W. Weisstein, Wolfram Demonstrations Project, 2007.
• Burris, Stanley N.; Sankappanavar, H. P., 1981. A Course in Universal Algebra. Springer-Verlag. {{ISBN|3-540-90578-2}}.
• {{MathWorld | urlname=BooleanAlgebra | title=Boolean Algebra}}

{{Order theory}}