Let be a Boolean ring. Every prime ideal of is a maximal ideal.
Proof. [local-0]
Proof. [local-0]
The facts we need here are
- For each ideal of , the quotient ring is also a Boolean ring. Because for every we have a ring morphism and an element such that To show is a Boolean ring, means for each we have . Now as desired.
- If a Boolean ring is also an integral domain, it has only two elements. Because from we have rewrite it to Now because is an integral domain, hence for all . Therefore, the only two elements are and .
For each prime ideal , the quotient ring is an integral domain, and hence has finite elements, which implies it's also a field, hence is a maximal ideal.