« Home

Corollary. About Boolean ring [math-HS0H]

Let AA be a Boolean ring (see nLab) and X=SpecAX = \operatorname{Spec} A.

  1. Every prime ideal of AA is a maximal ideal. Details
  2. κ(x):=Frac(A/x)=F2\kappa(x) := \text{Frac}(A/x) = \mathbb{F}_2 for all xXx \in X. Details
  3. AA has characteristic 2. Because for all xAx \in A we have x+x=(x+x)(x+x)=xx+xx+xx+xx=x+x+x+xx + x = (x + x) * (x + x) = x*x + x*x + x*x + x*x = x+x+x+x deduces that 2x=x+x=02x = x + x = 0. Notice that, this also say x=xx = -x for all xAx \in A.
  4. For each φ:AF2\varphi : A \to \mathbb{F}_2 we can define φkerφ\varphi \mapsto \operatorname{ker} \varphi these maps form a bijection between hom-set Hom(A,F2)\text{Hom}(A, \mathbb{F}_2) and SpecA\operatorname{Spec} A. Details