Let A be a Boolean ring (see nLab) and X=SpecA.
- Every prime ideal of A is a maximal ideal. Details
- κ(x):=Frac(A/x)=F2 for all x∈X. Details
- A has characteristic 2. Because for all x∈A we have
x+x=(x+x)∗(x+x)=x∗x+x∗x+x∗x+x∗x=x+x+x+x
deduces that 2x=x+x=0. Notice that, this also say x=−x for all x∈A.
- For each φ:A→F2 we can define
φ↦kerφ
these maps form a bijection between hom-set Hom(A,F2) and SpecA. Details