A Completion of Semi-simple MV-algebra

  • Choe, T.H. (Department of Mathematics and Statistics, McMaster University) ;
  • Kim, E.S. (Department of Mathematics, College of Natural Sciences, Kyungpook National University) ;
  • Park, Y.S. (Department of Mathematics, College of Natural Sciences, Kyungpook National University)
  • Received : 2004.09.24
  • Published : 2005.12.23

Abstract

We first show that any complete MV-algebra whose Boolean subalgebra of idempotent elements is atomic, called a complete MV-algebra with atomic center, is isomorphic to a product of unit interval MV-algebra 1's and finite linearly ordered MV-algebras of A(m)-type $(m{\in}{\mathbb{Z}}^+)$. Secondly, for a semi-simple MV-algebra A, we introduce a completion ${\delta}(A)$ of A which is a complete, MV-algebra with atomic center. Under their intrinsic topologies $(see\;{\S}3)$ A is densely embedded into ${\delta}(A)$. Moreover, ${\delta}(A)$ has the extension universal property so that complete MV-algebras with atomic centers are epireflective in semi-simple MV-algebras

Keywords

References

  1. Can. J. Math. XXXVII v.6 Semi-simple algebras of infinite valued logic and bold fuzzy set theory Belluce, L.P.
  2. Algebra Universalis v.29 Semi-simple and complete MV-algebras Belluce, L.P.
  3. Trans. AMS v.88 Algebraic analysis of many-valued logics Chang, C.C.
  4. Trans. AMS v.93 A new proof of completeness of Lukasiewicz axioms Chang, C.C.
  5. Proc. AMS v.11 no.4 Profinite orthomodular lattices Choe, T.H.
  6. Math. Japonica v.34 no.4 MV-algebras, Ideals and Semisimplicity Hoo, C.S.
  7. Category Theory Herrlich, H.;Strecker, G.E.