Ideals of MV-semirings and MV-algebras

摘要

In this paper, we further develop the ideal theory for MV-semirings. Given an MV-couple (A, S), where A is an MV-algebra and S is the MV-semiring associated with A, we know that the prime spectrum Spec(S) of S endowed with the Zariski topology and the prime spectrum coSpec(A) of 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 is a frame isomorphic to O(Spec(S)), i.e., the frame of open sets of Spec(S); ii) the set Id(A) of all ideals of an MV-algebra A is a frame isomorphic to O(Spec(A)), i.e., the frame of open sets of Spec(A). One of our main results is that the frame of open sets of Max(A), O(Max(A)) is, up to isomorphism, a subframe of O(Spec(S)). In particular, O(Max(A)) is isomorphic to the frame of open sets of Min(S) generated by the prime ideals of A.