page_title: Boolean ring
section_title: Relation to Boolean algebras
hierarchical_section_title: Boolean ring / Relation to Boolean algebras
context_page_description: In mathematics, a Boolean ring R is a ring for which x² = x for all x in R, that is, a ring that consists only of idempotent elements. An example is the ring of integers modulo 2.
  Every Boolean ring gives rise to a Boolean algebra, with ring multiplication corresponding to conjunction or meet ∧, and ring addition to exclusive disjunction or symmetric difference. Boolean rings are named after the founder of Boolean algebra, George Boole.
context_section_description: Since the join operation ∨ in a Boolean algebra is often written additively, it makes sense in this context to denote ring addition by ⊕, a symbol that is often used to denote exclusive or.
  Given a Boolean ring R, for x and y in R we can define
  x ∧ y = xy,
  x ∨ y = x ⊕ y ⊕ xy,
  ¬x = 1 ⊕ x.
  These operations then satisfy all of the axioms for meets, joins, and complements in a Boolean algebra. Thus every Boolean ring becomes a Boolean algebra.  Similarly, every Boolean algebra becomes a Boolean ring thus:
  xy = x ∧ y,
  x ⊕ y = (x ∨ y) ∧ ¬(x ∧ y).
  If a Boolean ring is translated into a Boolean algebra in this way, and then the Boolean algebra is translated into a ring, the result is the original ring. The analogous result holds beginning with a Boolean algebra.
  A map between two Boolean rings is a ring homomorphism if and only if it is a homomorphism of the corresponding Boolean algebras. Furthermore, a subset of a Boolean ring is a ring ideal (prime ring ideal, maximal ring ideal) if and only if it is an order ideal (prime order ideal, maximal order ideal) of the Boolean algebra. The quotient ring of a Boolean ring modulo a ring ideal corresponds to the factor algebra of the corresponding Boolean algebra modulo the corresponding order ideal.
caption: Venn diagrams for the Boolean operations of conjunction, disjunction, and complement