You are here
Home ›Boolean ring
Primary tabs
Boolean ring
A Boolean ring is a ring that has a multiplicative identity, and in which every element is idempotent, that is,
Boolean rings are necessarily commutative. Also, if is a Boolean ring, then for each .
Boolean rings are equivalent to Boolean algebras (or Boolean lattices). Given a Boolean ring , define and and for all , then is a Boolean algebra. Given a Boolean algebra , define and , then is a Boolean ring. In particular, the category of Boolean rings is isomorphic to the category of Boolean lattices.
Examples
As mentioned above, every Boolean algebra can be considered as a Boolean ring. In particular, if is any set, then the power set forms a Boolean ring, with intersection as multiplication and symmetric difference as addition.
Let be the ring with the operations being coordinate-wise. Then we can check:
the four elements that form the ring are idempotent. So is Boolean.
Mathematics Subject Classification
06E99 None of the above, but in MSC2010 section 06Exx03G05 Boolean algebras
- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new question: Sorry to steal a few minutes of your time for this question, but i honestly don't know what else to do. by Whrazithar
new question: equality of the determinants of submatrices of an orthogonal matrix by ismayli
Jun 11
new correction: Typo by suitangi
Jun 2
new question: Creating another set with same cardinality. by hkkass
Jun 1
new image: ProblemOneRevised by unlord
new Education: Chapter II by rspuzio
May 31
new collection: The Calculus by Davis and Brenke by rspuzio
new question: Proofs by weixifan
new question: Summation Integration Question by trevor.nickle
May 27
new correction: typo+finite measure hypothesis by Filipe


