Prime Ideals and Projective Closure in the Boolean Polynomial Semiring

Abstract

In this paper, we investigate two related questions concerning the Boolean polynomial semiring in two variables. First, we study prime ideals in $\mathbb{B}[x,y]$, beginning with a complete classification of those generated by linear polynomials. Second, motivated by the limitations of ideals in capturing geometric phenomena over semirings, we introduce a notion of projective closure via congruences. We prove that this projective closure coincides with the topological closure in the projective space of prime congruences.