« Home

Theorem. Frac(A/x)=F2\text{Frac}(A/x) = \mathbb{F}_2 [math-C8CK]

Let AA be a Boolean ring. The fraction field Frac(A/x)=F2\text{Frac}(A/x) = \mathbb{F}_2 for all xSpecAx \in \operatorname{Spec} A.

Proof. [local-0]

Each xSpecAx \in \operatorname{Spec} A is a prime ideal, hence A/xA / x has only two elements 00 and 11. Now define Frac(A/x)\text{Frac}(A / x) can see only 11 can be put at denominator position, hence we get a ring with only elements {0/1,1/1}\{ 0/1, 1/1 \}, which must be F2\mathbb{F}_2 again.