PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (205)
Orphanage
Unclass'd
Unproven (490)
Corrections (8)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: Very high Entry average rating: Very high
[parent] Boolean ideal (Definition)

Let $ A$ be a Boolean algebra and $ B$ a subset of $ A$. The following are equivalent:

  1. If $ A$ is interpreted as a Boolean ring, $ B$ is a ring ideal.
  2. If $ A$ is interpreted as a Boolean lattice, $ B$ is a lattice ideal.
Before proving this equivalence, we want to mention that a Boolean ring is equivalent to a Boolean lattice, and a more commonly used terminology is a Boolean algebra, which is also valid, as it is an algebra over the ring of integers. The standard way of characterizing the ring structure from the lattice structure is by defining $ a+b:=(a'\wedge b)\vee (a\wedge b')$ (called the symmetric difference) and $ a\cdot b=a\wedge b$. From this, we can “solve” for $ \vee $ in terms of $ +$ and $ \cdot$: $ a\vee b=a+b+a\cdot b$.
Proof. First, suppose $ B$ is an ideal of the “ring” $ A$. If $ a,b\in B$, then $ a\vee b= a+b+a\cdot b\in B$. Suppose now that $ a\in B$ and $ c\in A$ with $ c\le a$. Then $ c=c\wedge a=c\cdot a \in B$ as well. So $ B$ is a lattice ideal of $ A$.

Next, suppose $ B$ is an ideal of the “lattice” $ A$. If $ a,b\in B$, then both $ a'\wedge b$ and $ a\wedge b'$ are in $ B$ since the first one is less than or equal to $ b$ and the second less than or equal to $ a$, so their join is in $ B$ as well, this means that $ a-b=a+b=(a'\wedge b)\vee (a\wedge b')\in B$. Furthermore, if $ a\in B$ and $ c\in A$, then $ c\cdot a=c\wedge a\le a\in B$ as well. As a result, $ B$ is a ring ideal of $ A$. $ \qedsymbol$

A subset of a Boolean algebra satisfying the two equivalent conditions above is called a Boolean ideal, or an ideal for short. A prime Boolean ideal is a prime lattice ideal, and a maximal Boolean ideal is a maximal lattice ideal. Again, these notions and their ring theoretic counterparts match exactly. In fact, one can say more about these ideals in the case of a Boolean algebra: prime ideals are precisely the maximal ideals. If $ A$ is a Boolean ring, and $ M$ is a maximal ideal of $ A$, then $ A/M$ is isomorphic to $ \lbrace 0,1\rbrace$.

Remark. The dual notion of a Boolean ideal is a Boolean filter, or a filter for short. A Boolean filter is just a lattice filter of the Boolean algebra when considered as a lattice. To see the connection between a Boolean ideal and a Boolean lattice, let us define, for any subset $ S$ of a Boolean algebra $ A$, the set $ S':=\lbrace a'\mid a\in S\rbrace$. It is easy to see that $ S''=S$. Now, if $ I$ is an ideal, then $ I'$ is a filter. Conversely, if $ F$ is a filter, $ F'$ is a ideal. In fact, given any Boolean algebra, there is a Galois connection

$\displaystyle I\mapsto I',\qquad F\mapsto F'$
between the set of Boolean ideals and the set of Boolean filters in $ A$. In addition, $ I$ is prime iff $ I'$ is. As a result, a filter is prime iff it is an ultrafilter (maximal filter).



"Boolean ideal" is owned by CWoo.
(view preamble)

View style:

See Also: Boolean ring

Also defines:  Boolean filter, prime Boolean ideal, maximal Boolean ideal

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: ultrafilter, iff, prime, Galois connection, easy to see, connection, lattice filter, filter, isomorphic, maximal ideals, prime ideals, join, terms, symmetric difference, lattice, structure, ring of integers, algebra, equivalence, lattice ideal, ideal, ring, Boolean ring, the following are equivalent, subset, Boolean algebra
There are 7 references to this entry.

This is version 7 of Boolean ideal, born on 2007-05-02, modified 2007-07-11.
Object id is 9319, canonical name is BooleanIdeal.
Accessed 1392 times total.

Classification:
AMS MSC: 03G10 (Mathematical logic and foundations :: Algebraic logic :: Lattices and related structures)
 03G05 (Mathematical logic and foundations :: Algebraic logic :: Boolean algebras)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)