×

Topological characterization of filter topological MV-algebras. (English) Zbl 1465.06005

Summary: Motivated by the study of C-topology on lattice-ordered groups, Luan and Yang introduced the concept of filter topology on MV-algebras in a recent paper. In order to have a better perception of this concept, we study some basic facts and notable examples, including the standard MV-algebra and Chang’s algebra, in this paper. Using the fact that an isomorphism between MV-algebras admits a topological isomorphism between filter topological MV-algebras, we show that every filter topology on a finite linearly ordered (finite simple) MV-algebra is discrete. In addition, we completely describe the shape of open sets in filter topology generated by a proper filter. Further, the description is applied to present the basic topological properties of a large class of filter topologies. As an application, we characterize an algebraic property of MV-algebras: an MV-algebra is bipartite if and only if it has a proper filter which generates a filter topology with exactly four open sets.

MSC:

06D35 MV-algebras
06B30 Topological lattices
54H10 Topological representations of algebraic systems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Asadzadeh, M. S.; Rezaei, G. R.; Jamalzadeh, J., Erratum to: on obstinate ideals in MV-algebras, Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys., 80, 4, 253-254 (2018) · Zbl 1424.06041
[2] Atani, S. E.; Bazari, M. S.S., Decomposable filters of lattices, Kragujev. J. Math., 43, 1, 59-73 (2019) · Zbl 1488.06010
[3] Belluce, L. P., Semisimple algebras of infinite valued logic and bold fuzzy set theory, Can. J. Math., 38, 6, 1356-1379 (1986) · Zbl 0625.03009
[4] Belluce, L. P.; Di Nola, A.; Gerla, B., Perfect MV-algebras and their logic, Appl. Categ. Struct., 15, 1, 135-151 (2007) · Zbl 1123.06006
[5] Borzooei, R. A.; Rezaei, G. R.; Kouhestani, N., On (semi)topological BL-algebras, Iran. J. Math. Sci. Inform., 6, 1, 59-77 (2011) · Zbl 1301.03065
[6] Borzooei, R. A.; Rezaei, G. R.; Kouhestani, N., Metrizability on (semi)topological BL-algebras, Soft Comput., 16, 10, 1681-1690 (2012) · Zbl 1288.03040
[7] Borzooei, R. A.; Rezaei, G. R.; Kouhestani, N., Separation axioms in (semi)topological quotient BL-algebras, Soft Comput., 16, 7, 1219-1227 (2012) · Zbl 1255.03057
[8] Chang, C. C., Algebraic analysis of many valued logics, Trans. Am. Math. Soc., 88, 467-490 (1958) · Zbl 0084.00704
[9] Cignoli, R.; D’Ottaviano, I. M.; Mundici, D., Algebraic Foundations of Many-Valued Reasoning, Trends in Logic, vol. 7 (2000), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0937.06009
[10] Di Nola, A.; Lettieri, A.; Belluce, P., On symmetric MV-polynomials, (Proceedings of 26th Linz Seminar on Fuzzy Set Theory. Proceedings of 26th Linz Seminar on Fuzzy Set Theory, Linz, Austria (2005)), 40-44
[11] Di Nola, A.; Leuştean, I., Łukasiewicz logic and MV-algebras, (Cintula, P.; Hájek, P.; Noguera, C., Handbook of Mathematical Fuzzy Logic, vol. II (2011), College Publications: College Publications London), Chapter VI · Zbl 1284.03178
[12] Di Nola, A.; Liguori, F.; Sessa, S., Using maximal ideals in the classification of MV-algebras, Port. Math., 50, 1, 87-102 (1993) · Zbl 0799.06021
[13] Engelking, R., General Topology (1989), Heldermann Verlag: Heldermann Verlag Berlin · Zbl 0684.54001
[14] Font, J. M.; Rodríguez, A. J.; Torrens, A., Wajsberg algebras, Stochastica, 8, 1, 5-31 (1984) · Zbl 0557.03040
[15] Forouzesh, F.; Eslami, E.; Saeid, A. B., On obstinate ideals in MV-algebras, Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys., 76, 2, 53-62 (2014) · Zbl 1313.06015
[16] Foulis, D. J., MV and Heyting effect algebras, Found. Phys., 30, 10, 1687-1706 (2000)
[17] Gusić, I., A topology on lattice-ordered groups, Proc. Am. Math. Soc., 126, 2593-2597 (1998) · Zbl 0943.06009
[18] Haveshki, M.; Eslami, E.; Saeid, A. B., A topology induced by uniformity on BL-algebras, Math. Log. Q., 53, 2, 162-169 (2007) · Zbl 1115.03091
[19] Hoo, C. S., Topological MV-algebras, Topol. Appl., 81, 2, 103-121 (1997) · Zbl 0896.06010
[20] Kolařík, M., Independence of the axiomatic system for MV-algebras, Math. Slovaca, 63, 1, 1-4 (2013) · Zbl 1313.06017
[21] Lele, C.; Nganou, J. B., MV-algebras derived from ideals in BL-algebras, Fuzzy Sets Syst., 218, 103-113 (2013) · Zbl 1286.06017
[22] Luan, C.; Yang, Y., Filter topologies on MV-algebras, Soft Comput., 21, 10, 2531-2535 (2017) · Zbl 1386.06016
[23] Mehrshad, S.; Kouhestani, N., A quasi-uniformity on BCC-algebras, An. Univ. Craiova, Ser. Mat. Inform., 44, 1, 64-77 (2017) · Zbl 1413.06024
[24] Mundici, D., Interpretation of AF \(C^\ast \)-algebras in Łukasiewicz sentential calculus, J. Funct. Anal., 65, 1, 15-63 (1986) · Zbl 0597.46059
[25] Mundici, D., MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Math. Jpn., 31, 889-894 (1986) · Zbl 0633.03066
[26] Munkres, J. R., Topology (2000), Prentice Hall: Prentice Hall Upper Saddle River, New Jersey · Zbl 0951.54001
[27] Najafi, M.; Rezaei, G. R.; Kouhestani, N., On (para, quasi) topological MV-algebras, Fuzzy Sets Syst., 313, 93-104 (2017) · Zbl 1393.06012
[28] Nganou, J. B., Stone MV-algebras and strongly complete MV-algebras, Algebra Univers., 77, 2, 147-161 (2017) · Zbl 1420.06021
[29] Oner, T.; Senturk, I.; Oner, G., An independent set of axioms of MV-algebras and solutions of the set-theoretical Yang-Baxter equation, Axioms, 6, 3, 17 (2017) · Zbl 1422.06004
[30] Roudabri, T.; Torkzadeh, L., A topology on BCK-algebras via left and right stabilizers, Iran. J. Math. Sci. Inform., 4, 2, 1-8 (2009) · Zbl 1301.06051
[31] Steen, L. A.; Seebach, J. A., Counterexamples in Topology (1978), Springer-Verlag: Springer-Verlag New York · Zbl 0211.54401
[32] Weber, H., On topological MV-algebras and topological ℓ-groups, Topol. Appl., 159, 16, 3392-3395 (2012) · Zbl 1269.54032
[33] Yang, J.; Xin, X. L.; He, P. F., On topological EQ-algebras, Iran. J. Fuzzy Syst., 15, 6, 145-158 (2018) · Zbl 1417.03302
[34] Yang, Y., The C-topology on lattice-ordered groups, Sci. China Ser. A, Math., 52, 11, 2397-2403 (2009) · Zbl 1194.06011
[35] Zahiri, O.; Borzooei, R. A., Topology on BL-algebras, Fuzzy Sets Syst., 289, 137-150 (2016) · Zbl 1374.06028
[36] Zhu, X.; Yang, J.; Saeid, A. B., Extreme fuzzy filters and its application on BL-algebras, J. Intell. Fuzzy Syst., 33, 6, 3733-3741 (2017)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.