Boolean Algebras and Stone Duality
The Boolean Algebra / Boolean Ring Correspondence
The term-equivalence between Boolean algebras and Boolean rings: each structure's operations are term operations of the other, so the two varieties are the same variety in different notation.
Learning objectives
- Write each set of operations in terms of the other
- Verify that the translations are mutually inverse
- Explain the consequences of term equivalence
The translations
From Boolean algebra to Boolean ring
- <em>x</em> + <em>y</em>
- (x ∧ y′) ∨ (x′ ∧ y) — symmetric difference
- <em>x</em> · <em>y</em>
- x ∧ y
- 0
- 0
- 1
- 1
- −<em>x</em>
- x
From Boolean ring to Boolean algebra
- <em>x</em> ∧ <em>y</em>
- x · y
- <em>x</em> ∨ <em>y</em>
- x + y + xy
- <em>x</em>′
- 1 + x
- 0
- 0
- 1
- 1
Applying the two translations in succession returns the original operations. The correspondence between Boolean algebras and Boolean rings is a bijection preserving the underlying set.
Term equivalence
Two algebras on the same universe are term equivalent if each has the same clone of term operations — every basic operation of one is a term operation of the other, and conversely.
Boolean algebras and Boolean rings are term equivalent, so no universal-algebraic invariant distinguishes them. They have identical subalgebra lattices, identical congruence lattices, identical automorphism groups, and identical free algebras. The choice between them is notational.
Corresponding notions
| Boolean algebra | Boolean ring |
|---|---|
| Subalgebra | Subring containing 1 |
| Congruence | Congruence |
| Filter | Ideal (via complementation) |
| Ideal | Ideal |
| Ultrafilter | Maximal ideal = prime ideal |
| Homomorphism | Ring homomorphism preserving 1 |
| 2 | Z/2Z |
| Atom | Minimal non-zero idempotent |
| Stone space | Spectrum of the ring |
A filter of the Boolean algebra corresponds to an ideal of the ring, but under complementation rather than directly. The ideals of the Boolean algebra — downward-closed and join-closed sets — correspond directly to ring ideals. Keeping the two straight is the main source of confusion in moving between the presentations.
Why both presentations survive
Boolean algebra view
Natural for logic, order theory and topology. Complementation, filters and duality are all directly visible.
Boolean ring view
Natural for commutative algebra. Ideal theory, the spectrum and standard ring machinery apply without translation.
Stone duality
Bridges the two: the Stone space of a Boolean algebra is the prime spectrum of the corresponding ring.
The term equivalence means results proved in one framework transfer at no cost, which is why the literature moves between them freely and why Chapter IV introduces both.
Frequently asked questions
Is term equivalence the same as isomorphism?
No. Isomorphic algebras have the same type; term-equivalent algebras may have different types entirely. Boolean algebras have type ⟨2,2,1,0,0⟩ and Boolean rings ⟨2,2,1,0,0⟩ with different operations, yet the clones coincide.
Does term equivalence preserve the variety?
It gives a bijection between the two varieties preserving all universal-algebraic structure. In that sense the two varieties are 'the same' up to a change of primitive operations.
Source. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, The Millennium Edition — a corrected re-typesetting of Springer-Verlag Graduate Texts in Mathematics 78 (1981). Section IV.2, book pages 138-142.
This page is an original exposition prepared for the KEVOS® knowledge library. It restates and reorganises mathematical results; it is not a reproduction of the source text.