Boolean Algebras and Stone Duality

Boolean Rings and the Boolean Algebra-Ring Correspondence

Boolean algebras and Boolean rings are the same algebras in different signatures. Term equivalence, not mere isomorphism of categories — each basic operation of one is a term operation of the other.

Engineering · Mathematics6 min readKV-MATH-0233

Learning objectives

Define a Boolean ring and derive commutativity and characteristic two.
Translate Boolean algebra operations into ring operations and back.
State what term equivalence means and verify it here.
Explain why congruences, subalgebras and Con coincide under term equivalence.
Relate Boolean ideals to ring ideals.
Identify prime and maximal ideals as the same thing in this setting.

01Boolean rings

A Boolean ring is a ring with unit in which every element is idempotent: x² ≈ x. Two strong consequences follow immediately.

ProcedureDeriving characteristic two and commutativity from idempotency

in: ring with x² ≈ x → out: characteristic 2 and commutativity, both derived

characteristic two:
expand (x + x)² = x + x using idempotency
x² + x² + x² + x² ... more directly: (x+x)² = x² + x² + x² + x² is wrong;
(x+x)² = x·x + x·x + x·x + x·x = x + x + x + x
idempotency of x+x gives x + x + x + x = x + x, so x + x = 0
hence −x = x and the ring has characteristic 2
commutativity:
expand (x + y)² = x + y
x² + xy + yx + y² = x + y, so x + xy + yx + y = x + y
therefore xy + yx = 0, so xy = −yx = yx by characteristic 2

Both properties are consequences, not axioms. Correctness: only idempotency and ring distributivity are used. Caveat: the derivation of commutativity depends on characteristic 2, so the order of the two arguments matters.

So a Boolean ring is automatically a commutative ring of characteristic two in which every element is idempotent. The class is equationally defined — x² ≈ x added to the ring axioms — and so is a variety.

02The translation

Mutual definitions
Boolean algebra operation	In ring terms	Ring operation	In algebra terms
x ∧ y	x · y	x · y	x ∧ y
x ∨ y	x + y + x·y	x + y	x △ y = (x ∧ y′) ∨ (x′ ∧ y)
x′	1 + x	−x	x
0	0	0	0
1	1	1	1

Ring addition is symmetric difference; ring multiplication is meet. Complementation is addition of one. Every operation on each side is a term in the operations of the other, and the translations compose to the identity in both directions.

Key resultTerm equivalence

Two algebras on the same universe are term equivalent when they have the same clone of term operations. Boolean algebras and Boolean rings are term equivalent, so for every Boolean algebra there is exactly one Boolean ring on the same set inducing the same term operations, and conversely.

03What term equivalence guarantees

Term equivalence is much stronger than an isomorphism of categories, and it transfers every universal-algebraic invariant.

Identical subuniverses
A subset closed under the Boolean operations is closed under the ring operations and conversely, because each set of operations is definable from the other. Sub(B) is literally the same lattice.
Identical congruences
Compatibility with one operation set is compatibility with the other, so Con B is the same lattice. Congruence-permutability, distributivity and arithmeticity transfer unchanged.
Identical homomorphisms
A map preserving the Boolean operations preserves the ring operations and conversely. The two categories are isomorphic, not merely equivalent.
Identical free algebras
Free Boolean algebras and free Boolean rings on the same generating set are the same algebra in two signatures, with the same doubly exponential free spectrum.

CautionTerm equivalence is stronger than polynomial equivalence

Polynomial equivalence permits constants from the algebra to be used in the translation, and preserves congruences but not necessarily homomorphisms. Term equivalence permits no constants and preserves everything. The Boolean case is genuinely term equivalence, which is why nothing at all is lost. The affine representation of Abelian algebras, by contrast, is only polynomial equivalence.

04Ideals

Because the two structures coincide, Boolean-algebra ideals and ring ideals coincide too — and both coordinatise congruences.

Boolean ideal

Downward closed, join closed

A non-empty subset I with 0 ∈ I, closed downward under ≤ and closed under finite joins.

Ring ideal

Additive subgroup, absorbing

A subgroup under symmetric difference, closed under multiplication by arbitrary elements. In characteristic two the subgroup condition is closure under △.

The two definitions describe the same subsets. Downward closure is exactly the absorbing property, since a ≤ b means a = a ∧ b = a·b; and closure under join corresponds to closure under addition given downward closure. So the ideal lattice, and hence Con B, is the same object computed three ways.

05Prime equals maximal

In a Boolean ring the prime ideals and the maximal ideals coincide, which is unusual and consequential.

ProcedureEvery prime ideal of a Boolean ring is maximal

in: prime ideal P → out: P is maximal, and R/P ≅ 2

input: Boolean ring R, prime ideal P
the quotient R/P is a Boolean ring with no zero divisors
take a ∈ R/P; idempotency gives a² = a, so a(a − 1) = 0
no zero divisors ⟹ a = 0 or a = 1
so R/P has exactly two elements, hence is a field
a quotient by an ideal is a field iff the ideal is maximal
therefore P is maximal

Correctness: idempotency is doing all the work — it forces the integral domain quotient to be the two-element field. Caveat: this is special to Boolean rings; in a general commutative ring prime ideals are usually not maximal.

Every quotient by a prime ideal is the two-element field, which is the ring form of the fact that 2 is the only subdirectly irreducible Boolean algebra. The prime spectrum is therefore the set of maximal ideals, equivalently the set of ultrafilters, and it is precisely the point set of the Stone space.

06Why keep both signatures

If the structures are term equivalent, why maintain two vocabularies at all? Because each makes different constructions natural.

Algebra view

Order and logic

The lattice order, filters, ultrafilters and the connection to propositional logic are natural. Stone duality is most cleanly stated here.

Ring view

Ideals and spectra

Ideal theory, quotients, the prime spectrum and the Zariski topology come free from commutative algebra. The Stone space is the prime spectrum.

Practical rule

Switch freely

Because the equivalence is term-level, any argument may be conducted in whichever signature is convenient and the conclusion transfers with no translation cost.

The Stone space of a Boolean algebra and the prime spectrum of the corresponding Boolean ring are the same topological space, arrived at by two different routes. That coincidence is the cleanest illustration of why the double vocabulary is worth keeping.

Frequently asked

Is every commutative ring of characteristic two a Boolean ring?

No — idempotency is a genuine extra condition. The polynomial ring over the two-element field has characteristic two and is not Boolean, since x² ≠ x there. Idempotency is what forces the ring to be a field of sets.

Does term equivalence mean the two varieties are the same variety?

They are not literally the same variety, because varieties are classes of algebras of a fixed type and the types differ. They are term-equivalent varieties: there is a bijection between them preserving universes, subalgebras, congruences and homomorphisms. For every purpose in this collection they may be treated as one object.

Why does the ring have no non-trivial idempotent structure to exploit?

Because every element is idempotent, the usual decomposition of a ring by a non-trivial idempotent into a product applies to every element at once. That is exactly the subdirect decomposition into copies of the two-element field, and it is why Boolean rings have no further structure theory to discover.

Sources and further reading

S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Millennium Edition (a corrected re-typesetting of Springer GTM 78, 1981).
G. Grätzer, Universal Algebra, 2nd edition, Springer.
R. McKenzie, G. McNulty and W. Taylor, Algebras, Lattices, Varieties, Volume I.

Original KEVOS® explanatory article. Written from the topic map of the cited works; no text is reproduced from them.