Explore chapters and articles related to this topic
Two notions of MV-algebraic semisimplicity relative to fixed MV-chains
Published in Journal of Applied Non-Classical Logics, 2022
Celestin Lele, Jean B. Nganou, Jean M. Wagoum
Note that every -maximal ideal is prime. Indeed, if M is -maximal, then for some . It follows that A/M is isomorphic to a sub-MV-algebra of . Since is an MV-chain, then A/M is an MV-chain, which implies that M is prime. In addition it is clear from the definition that a proper ideal M of A is -maximal if and only if A/M is isomorphic to a sub-MV-algebra of .
Ideals of an EMV-semiring
Published in International Journal of General Systems, 2020
R. A. Borzooei, M. Shenavaei, A. Di Nola, O. Zahiri
Let I be a maximal ideal of S and . If , then . Now, let . Then is a proper ideal of the MV-semiring . If , then by the assumption, and so by Proposition 3.7, a = z + s.x for some and some . Clearly, and so , which implies that is a maximal ideal of .