Abstract
In this paper we define the notion of relative subalgebra of an MV-algebra A. A particular case of this notion is the notion of interval subalgebra of A; this has been already studied in the literature.
Applying these notions, two new categories denoted as r
and int
are introduced. In both cases the objects are MV-algebras, but the homomorphisms are defined by means of relative subalgebras or by interval subalgebras, respectively. The relations occurring between these categories and the category of all MV-algebras with usual homomorphisms are investigated. The main results of the paper deal with one-generated free MV-algebras in the variety generated by the finite chains S i , i ⩽ p (p varying over the set of all positive integers) and their relations to certain relative subalgebras of the cyclic free MV-algebra.
Similar content being viewed by others
References
BELLUCE, L. P.—DI NOLA, A.: Yosida-type representation for perfect MV-algebras, MLQ Math. Log. Q. 42 (1996), 551–563.
CIGNOLI, R. L. O.—D’OTTAVIANO, I. M. L.—MUNDICI, D.: Algebraic Foundations of Many-valued Reasoning. Trends Log. Stud. Log. Libr., Kluwer, Dordrecht, 2000.
DI NOLA, A.—GRIGOLIA, R.—PANTI, G.: Finitely generated free MV-algebras and their automorphism groups, Studia Logica 61 (1998), 65–78.
DE SIMONE, A.—MUNDICI, D.—NAVARA, M.: A Cantor-Bernstein theorem for σ-complete MV-algebras, Czechoslovak Math. J. 53(128) (2003), 437–447.
DI NOLA, A.—NAVARA, M.: Cantor-Bernstein property for MV-algebras. In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Springer, Berlin-Heidelberg, 2006, pp. 107–118.
JAKUBÍK, J.: Cantor-Bernstein theorem for MV-algebras, Czechoslovak Math. J. 49(124) (1999), 517–526.
LACAVA, F.: Sulla struttura delle Ł-algebre, Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 8, (1979), 275–281.
LACAVA, F.: Una caratterizzazione delle Ł-algebre complete, prive di atomi, Boll. Unione Mat. Ital. Sez. A (7) 9 (1995), 609–618.
MONK, J. D.: Handbook of Boolean Algebras, North Holland, Basel, 1989.
SIKORSKI, R.: A generalization of a theorem of Banach and Cantor-Bernstein, Colloq. Math. 1 (1948), 140–144.
TARSKI, A.: Cardinal Algebras, Oxford University Press, New York, 1949.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Anatolij Dvurečenskij
About this article
Cite this article
Di Nola, A., Lettieri, A. Relative MV-algebras and relative homomorphisms. Math. Slovaca 60, 43–64 (2010). https://doi.org/10.2478/s12175-009-0166-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.2478/s12175-009-0166-8