Abstract
Characterizations of compact Hausdorff topological MV-algebras, Stone MV-algebras, and MV-algebras that are isomorphic to their profinite completions are established. It is proved that compact Hausdorff topological MV-algebras are products (both topological and algebraic) of copies [0, 1] with the interval topology and finite Łukasiewicz chains with the discrete topology. Going one step further, we also prove that Stone MV-algebras are products (both topological and algebraic) of finite Łukasiewicz chains with the discrete topology. Finally, it is proved that an MV-algebra is isomorphic to its profinite completion if and only if it is profinite and each of its maximal ideals of finite rank is principal.
Similar content being viewed by others
References
Alekselev M.A., Glebskii L.Y., Gordon E.I.: On approximation of groups, group actions, and Hopf algebras. J. Math. Sci 107, 4305–4332 (2001)
Anderson L.W.: One dimensional topological lattices. Proc. Amer. Math. Soc. 10, 715–720 (1959)
Belluce L.P., Di Nola A., Lenzi G.: Hyperfinite MV-algebras. J. Pure Appl. Algebra 217, 1208–1223 (2013)
Belluce L.P., Di Nola A., Sessa S.: The Prime Spectrum of an MV-algebra. Math. Log. Quart. 40, 331–346 (1994)
Bezhanishvili G., Bezhanishvili N.: Profinite Heyting algebras. Order 25, 211–227 (2008)
Bezhanishvili G., Harding J.: On the proof that compact Hausdorff Boolean algebras are powersets. Order 33, 263–268 (2016)
Bezhanishvili G., Harding J.: Compact Hausdorff Heyting algebras. Algebra Universalis 76, 301–304 (2016)
Bezhanishvili G., Morandi P.J.: Profinite Heyting algebras and profinite completions of Heyting algebras. Georgian Math. J. 16, 29–47 (2009)
Choe T.H., Greechie R.J.: Profinite orthomodular lattices. Proc. Amer. Math. Soc. 118, 1053–1060 (1993)
Cignoli R.: Complete and atomic algebras of the infinite valued Łukasiewicz logic. Studia Logica 50, 375–384 (1991)
Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic foundations of many-valued reasoning. Kluwer Academic, Dordrecht (2000)
Cignoli R., Mundici D.: Stone duality for Dedekind \({\sigma}\)-complete \({\ell}\)-groups with order-unit. J. Algebra 302, 848–861 (2006)
Di Nola, A., Leuştean, I.: Handbook of mathematical fuzzy logic 2. Studies in Logic 38 (2011)
Hoo, C.S.: Topological MV-algebras, Topology and its Applications. 81, 103–121 (1997)
Johnstone, P.T.: Stone spaces, Cambridge University Press, Cambridge (1982)
Mundici, D.: Representation of \({\sigma}\)-complete MV-algebras and their associated Dedekind \({\sigma}\)-complete \({\ell}\)-groups. In: Algebra and its applications, 219–230, Contemp. Math., 419, Amer. Math. Soc., Providence, 2006
Mundici, D.: Advanced Łukasiewicz calculus and MV-algebras. Trends Log. Stud. Log. Libr. 35, Springer, New York (2011)
Nganou J.B.: Profinite MV-algebras and multisets. Order 32, 449–459 (2015)
Nganou J.B., Tebu S.F.: Topological FL ew -algebras. J. Appl. Log. 13, 259–269 (2015)
Nikolov, N., Segal, D.: On finitely generated profinite groups. I. Strong completeness and uniform bounds, Ann. of Math. 165, 171–238 (2007)
Papert Strauss D.: Topological lattices. Proc. London Math. Soc. (3) 18, 217–230 (1968)
Poizat, B.: A Course in Model Theory: An Introduction to Contemporary Mathematical Logic, Springer, New York (2000)
Ribes, L., Zalesskii, P.: Profinite groups. 2nd edition, A series of modern surveys Math. 35, Springer, New York (2010)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by W. McGovern.
The author acknowledges the financial support of the office of VP of DEI at the University of Oregon.
To the memory of a great friend and mentor, John V. Leahy (1937–2015)
Rights and permissions
About this article
Cite this article
Nganou, J.B. Stone MV-algebras and strongly complete MV-algebras. Algebra Univers. 77, 147–161 (2017). https://doi.org/10.1007/s00012-016-0421-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-016-0421-0