Ideals of MV-semirings and MV-algebras
L. Belluce, A. Di Nola, A. Ferraioli · Contemporary mathematics - American Mathematical Society · 2014
In this paper, we further develop the ideal theory for MV-semirings. Given an MV-couple ( A , S ) (A,\ S) , where A A is an MV-algebra and S S is the MV-semiring associated with A A , we know that the prime spectrum Spec ( S ) \operatorname {Spec}(S) of S S endowed with the Zariski topology and the prime spectrum coSpec ( A ) \operatorname {coSpec}(A) of A A endowed with the coZariski topology are homeomorphic; for an arbitrary spectral space this is not true. Here, we are interested in what happens when considering the frame of open subsets of these topological spaces. We obtain the following results: i) the set of all radical ideals of an MV-semiring S S is a frame isomorphic to O ( Spec ( S ) ) \mathcal {O}(\operatorname {Spec}(S)) , i.e., the frame of open sets of Spec ( S ) \operatorname {Spec}(S) ; ii) the set Id ( A ) \operatorname {Id}(A) of all ideals of an MV-algebra A A