arxiv: v1 [math.ac] 17 Oct 2017

Transcription

1 Morphisms on EM V-algebras and Their Applications arxiv: v1 [math.ac] 17 Oct 2017 Anatolij Dvurečenskij 1,2, Omid Zahiri 3 1 Mathematical Institute, Slovak Academy of Sciences, Štefánikova 49, SK Bratislava, Slovakia 2 Depart. Algebra Geom., Palacký Univer., 17. listopadu 12, CZ Olomouc, Czech Republic 3 University of Applied Science and Technology, Tehran, Iran dvurecen@mat.savba.sk zahiri@protonmail.com Abstract For anewclass ofalgebras, called EMV-algebras, every idempotentelement a determines an MValgebra which is important for the structure of the EMV-algebra. Therefore, instead of standard homomorphisms of EMV-algebras, we introduce EMV-morphisms as a family of MV-homomorphisms from MV-algebras [0,a] into other ones. EMV-morphisms enable us to study categories of EMValgebras where objects are EMV-algebras and morphisms are special classes of EMV-morphisms. The category is closed under product. In addition, we define free EMV-algebras on a set X with respect to EMV-morphisms. If X is finite, then the free MV-algebra on X is a free EMV-algebras. For an infinite set X, the same is true introducing a so-called weakly free EMV-algebra. AMS Mathematics Subject Classification (2010): 06C15, 06D35 Keywords: MV-algebra, EMV-algebra, EMV-homomorphism, EMV-morphism, standard EMV-morphism, free EMV-algebra, weakly free EMV-algebra, categories of EMV-algebras Acknowledgement: AD is thankful for the support by the Slovak Research and Development Agency under the contract No. APVV and by grants VEGA No. 2/0069/16 SAV and GAČR S 1 Introduction Boolean algebras are well-known structures studied over many decades. They describe an algebraic semantics for two-valued logic. In Thirties, there appeared Boolean rings, or equivalently, generalized Boolean algebras, which have almost Boolean features, but a top element is not assumed. For such structures, Stone, see e.g. [LuZa, Thm 6.6], developed a representation of Boolean rings by rings of subsets, and also some logical models with such an incomplete information were established, see [Sto1, Sto2]. Recently in [DvZa], a Lukasiewicz type algebraic structure with incomplete total information was developed, i.e. we found an algebraic semantics very similar to M V-algebras with incomplete information, which however in a local sense is complete: Conjunctions and disjunctions exist, negation only locally, i.e. negation of a in b exists only if a b but total negation of the event a is not assumed. For such ideas we have introduced in [DvZa] EMV-algebras which are locally close to MV-algebras, however, the top element is not assumed. The basic representation theorem says, [DvZa, Thm 5.21], that even in such a case, we can find an MV-algebra where the original algebra can be embedded as its maximal ideal, i.e. an incomplete information hidden in an EM V-algebra is sufficient to find a Lukasiewicz logical system where a top element exists and where all original statements are valid. Of course, every MV-algebra is an EMV-algebra (EMV-algebras stand for extended MV-algebras), and EMV-algebras generalize Chang s MV-algebras, [Cha]. Nowadays MV-algebras have many important applications in different areas of mathematics and logic. Therefore, M V-algebras have many different generalizations, like BL-algebras, pseudo M V-algebras, [GeIo, Dvu2], GM V-algebras in the 1

2 realm of residuated lattices, [GaTs], etc. In the last period MV-algebras are studied also in frames of involutive semirings, see [DiRu]. The presented EM V-algebras are another kind of generalizations of M V-algebras inspired by Boolean rings. In [DvZa1] we have formulated and proved a Loomis Sikorski-type theorem for σ-complete EM V- algebras showing that every σ-complete EMV-algebra is a σ-homomorphic image of an EMV-tribe of fuzzy sets, where all EM V-operations are defined by points. To show this, we have introduced the hull-kernel topology of the set of maximal ideals of an EMV-algebra and the weak topology of statemorphisms which are EMV-homomorphisms from the EMV-algebra into the MV-algebra of the real interval [0, 1], or equivalently, a variant of extremal probability measures. In this paper we will propose a new definition for morphisms between EMV-algebras, called EMVmorphisms, which is more relevant to this structure. An EMV-morphism from M 1 to M 2 is a family of M V-homomorphisms with special properties, Section 3. We define similarity,, and composition of morphisms,, of two EM V-morphisms which are presented in Definition 3.7 and Proposition We prove that and are compatible. In Section 4, we introduce three categories of EMV-algebras. We find some properties of EMV-morphisms and show that the categoryof EMV-algebraswith this new morphisms is closed under products, Section 5. Finally in Section 6, we study free EMV-algebras on a set X with respect to our EMV-morphisms. We show that the free MV-algebra on a finite set X is also free in this class. For an infinite set X, we introduce a new object, called a weakly free EMV-algebra, which is very similar to the free object, and we show that the free MV-algebraon any set X is the weakly free EMV-algebra on X. 2 Preliminaries We remind that an MV-algebra is an algebra (M;,,0,1) (henceforth write simply M = (M;,,0,1)) of type (2, 1, 0, 0), where (M;, 0) is a commutative monoid with the neutral element 0 and for all x,y M, we have: (i) x = x; (ii) x 1 = 1; (iii) x (x y ) = y (y x ). It is well-known that every MV-algebra is a distributive lattice. For more info about MV-algebras, see [CDM]. Let (M;,0) be a commutative monoid. An element a M is said to be idempotent if a a = a. We denote by I(M) the set of idempotents of M. Then (i) 0 I(M), and a,b I(M) entail a b I(M). A non-empty subset S of idempotents of M is full if, given b I(M), there is a S such that b a. A commutative monoid (M;,0) endowed with a partial order is ordered if x y implies x z y z. Definition 2.1. [DvZa] An algebra (M;,,,0) of type (2,2,2,0) is called an extended MV-algebra, an EM V-algebra in short, if it satisfies the following conditions: (EMV1) (M;,,0) is a distributive lattice with the least element 0; (EMV2) (M;,0) is a commutative ordered monoid with neutral element 0; (EMV3) for each b I(M), the element λ b (x) = min{z [0,b] x z = b} exists in M for all x [0,b], and the algebra ([0,b];,λ b,0,b) is an MV-algebra; (EMV4) for each x M, there is a I(M) such that x a. An EMV-algebra M is called proper if M is not an MV-algebra or, equivalently, M has not a top element. We notethat everymv-algebracanbe viewedasan EMV-algebra,everyBooleanring(= generalized Boolean algebra) is also an example of EMV-algebras. The basic properties of EMV-algebras were 2

3 presented in [DvZa], where there was proved, in particular, that the class of EM V-algebras forms a variety. Let(M;,,,0)beanEMV-algebra. Thenforalla I(M), wehaveawell-knownbinaryoperation a on the MV-algebra ([0,a];,λ a,0,a) given by x a y = λ a (λ a (x) λ a (y)) for all x,y [0,a]. It can be extended to defined on the whole M, see Lemma 2.6 below. Let (M;,,,0) be an EMV-algebra. Its reduct (M;,,0) is a distributive lattice with a bottom element 0. The lattice structure of M yields a partial order relation on M, denoted by, that is x y iff x y = y iff x y = x. If a isafixed idempotent element ofm, ([0,a];,λ a,0,a)is an MV-algebra. Recall that, in each MV-algebra (A;,,0,1) there is a partial order relation (induced by,,1) defined by x y iff x y = 1. So, the partial order on the MV-algebra ([0,a];,λ a,0,a) is defined by x y iff λ a (x) y = a. In the sequel, we show that, for each x,y [0,a], we have x y x y. First, we assume that x y. Then λ a (x) y = a. Set z := λ a (x). Then z y = a entails λ a (z) y (by definition) and so λ a (λ a (x)) y. Thus x y. Note that λ a (x) = min{u [0,a] x u = a} where min is related to. Conversely, let x y. We show that x y or equivalently, λ a (x) y = a. By definition of λ a (x), we have x λ a (x) = a. Since x y and ([0,a];,0) is a partially ordered monoid (see EMV2), then a = x λ a (x) y λ a (x) a and so y λ a (x) = a, which implies that x y. Finally, we can easily prove that, for each z,w [0,a], the supremum and infimum of the set {z,w} in [0,a] coincide with ones of {w,z} taken in M. Moreover, it is possible to show that given x,y M, x y iff there is an element z M such that x z = y. Indeed, there is an idempotent a M such that x,y a. Then in the MV-algebra [0,a], we have x y = x (y a λ a (x)), that is, M is a naturally ordered monoid. Definition 2.2. [DvZa] (i) Let (M;,,,0) be an EMV-algebra. A subset A M is called an EMV-subalgebra of M if (1) A is closed under,, and 0; (2) for all x A, there is b A I(M) such that x b; (3) foreachb I(M) Athe set [0,b] A := [0,b] Ais asubalgebraofthe MV-algebra([0,b];,λ b,0,b). Clearly, the last condition is equivalent to the following condition: b A I(M), x [0,b] A, min{z [0,b] A x z = b} = min{z [0,b] x z = b}, and this also means λ b (x) is defined in [0,b] A for each b I(M) A and for each x [a,b] A. (ii) Let (M 1 ;,,,0) and (M 2 ;,,,0) be EMV-algebras. A map f : M 1 M 2 is called an EMV-homomorphism if f preserves the operations,, and 0, and for each b I(M 1 ) and for each x [0,b], f(λ b (x)) = λ f(b) (f(x)). An EMV-homomorphism f : M 1 M 2 is called strong if {f(a) a I(M 1 )} is a full subset of M 2 (that is, for each b I(M 2 ), there exists a I(M 1 ) such that b f(a)). Clearly, every identity Id M on an EMV-algebra is a strong EMV-homomorphism. Proposition 2.3. [DvZa, Prop 3.9] Let (M;,,,0) be an EMV-algebra, a,b I(M) such that a b. Then for each x [0,a], we have (i) λ a (x) = λ b (x) a; (ii) λ b (x) = λ a (x) λ b (a); (iii) λ b (a) is an idempotent, and λ a (a) = 0. Definition 2.4. [DvZa] Let (M;,,,0) be an EMV-algebra. An equivalence relation θ on M is called a congruence relation or simply a congruence if it satisfies the following conditions: (i) θ is compatible with, and ; (ii) for all b I(M), θ ([0,b] [0,b]) is a congruence relation on the MV-algebra ([0,b];,λ b,0,b). 3

4 We denote by Con(M) the set of all congruences on M. Proposition 2.5. [DvZa, Prop 3.13] An equivalence relation θ on an EMV-algebra (M;,,,0) is a congruence if it is compatible with, and, and for all (x,y) θ, there exists b I(M) such that x,y b and (λ b (x),λ b (y)) θ. Let θ be a congruence relation on an EMV-algebra (M;,,,0) and M/θ = {[x] x M} (we usually use x/θ instead of [x]). Consider the induced operations, and on M/θ defined by [x] [y] = [x y], [x] [y] = [x y], [x] [y] = [x y], x,y M. In addition, [λ b (x)] = λ [b] ([x]) for each b I(M). Then (M/θ;,,,0/θ) is an EMV-algebra, and the mapping x x/θ is an EMV-homomorphism from M onto M/θ. Lemma 2.6. [DvZa, Lem 5.1] Let (M;,,,0) be an EMV-algebra. For all x,y M, we define x y = λ a (λ a (x) λ a (y)), where a I(M) and x,y a. Then : M M M is an order preserving, associative well-defined binary operation on M which does not depend on a I(M). In addition, if x,y M, x y, then y λ a (x) = y λ b (x) for all idempotents a,b of M with x,y a,b. For any integer n 1 and any x of an EMV-algebra M, we can define x 1 = x, x n = x n 1 x, n 2, and if M has a top element 1, we define also x 0 = 1. We note that a non-void subset I of an EMV-algebra M is an ideal if (i) if a b I, then a I, and (ii) a,b I gives a b I. We have already said that not every EMV-algebra M possesses a top element. Anyway, in such a case, it canbe embedded intoan MV-algebraasits maximalideal asthe followingrepresentationtheorem says: Theorem 2.7. [DvZa, Thm 5.21] [Basic Representation Theorem] Every EM V-algebra M is either an MV-algebra or M can be embedded into an MV-algebra N as a maximal ideal of N. 3 EMV-morphisms and EMV-algebras We know that an EMV-algebra M is locally an MV-algebra, that is for each idempotent element a M, [0,a] is an MV-algebra. So, it is natural to introduce a new definition for the concept of a morphism between EMV-algebras applying this property; we call it an EMV-morphism. If M 1 and M 2 are EMValgebras, a new homomorphism needs not be necessary a map from M 1 to M 2. It is a family of MVhomomorphisms {f i i I} with special properties. This definition is a generalization of that one introduced in [DvZa], see Definition 2.2. The main purpose of the section is to introduce and study the basic properties of EM V-morphisms. We introduce an equivalence between EM V-morphisms from an EMV-algebra M 1 into another one M 2 and a composition of two EMV-morphisms is established. Standard EM V-morphisms will play an important role. Definition 3.1. Let M 1 and M 2 be EMV-algebras. An EMV-morphism f : M 1 M 2 is a family f = {f i i I} of MV-homomorphisms f i : [0,a i ] [0,b i ] for each i I, where {a i i I} and {b i i I} are non-empty sets of idempotents of M 1 and M 2, respectively, such that (i) e(f) := {a i i I} is a full subset of I(M 1 ); (ii) {b i i I} is a full subset of M 2 ; (iii) if i,j I and f i (a i ) f j (a j ), then f i (x) = f j (x) f i (a i ) for all x [0,a i a j ]; (iv) for each i,j I, there exists t I such that a i,a j a t and f i (a i ),f j (a j ) f t (a t ). Then b i = f i (a i ) for each i I. We use Im(f) to denote i I Im(f i) := i I f i([0,a i ]). The set of all EMV-morphisms from M 1 to M 2 is denoted by Hom(M 1,M 2 ). 4

5 We note that if in f = {f i i I} every f i is an EMV-homomorphism from the MV-algebra [0,a i ] into M 2, then each f i is also an MV-homomorphism from the MV-algebra [0,a i ] into the MV-algebra [0,b i ], where b i = f i (a i ). Therefore, without misunderstanding, we can assume formally that each f i is an MV-homomorphism from [0,a i ] into [0,f i (a i )]. The basic properties of EM V-morphisms are as follows. Proposition 3.2. Let f = {f i i I} with e(f) = {a i i I} be an EMV-morphism. (1) If f i (a i ) f j (a j ), then for each x [0,a i a j ], f i (x) f j (x). (2) If f i (a i ) = f j (a j ), then for each x [0,a i a j ], f i (x) = f j (x). (3) For each a i, there exists a t with a i a t such that f i (a i ) f t (a t ) and for each x [0,a i ], f i (x) f t (x). (4) If for a i, there exists a t with a i a t such that f i (a i ) = f t (a t ), then for each x [0,a i ], f i (x) = f t (x). Proof. (1) Using (iii) of Definition 3.1, we have f i (x) = f j (x) f i (a i ) f j (x), so that f i (x) f j (x). (2) Let f i (a i ) = f j (a j ). Due to (iii), we get f i (x) = f j (x) f i (a i ) = f j (x) f j (a j ) = f j (x). (3) This follows from (1). (4) It follows from (2). Example 3.3. IfM 1 andm 2 areemv-algebraswith atop element, i.e. they aremv-algebras,situation with EMV-morphisms is as follows. (1) If f : M 1 M 2 is an MV-homomorphism, then I = {1} is a full subset of M 1, and the singleton {f 1 } is an EMV-morphism. (2) If g = {g i i I} : M 1 M 2 with e(g) = {a i i I} is an EMV-morphism of EMV-algebras, then clearly, there is 1 = a j {a i i I} such that g j (a j ) = 1 and so g j : M 1 M 2 is an MVhomomorphism. It follows that this definition of EM V-morphisms in the class of M V-algebras coincides with the definition of M V-homomorphisms. (3) Let f : M 1 M 2 be an MV-homomorphism. For each a I(M 1 ), let f a = f [0,a], then h = {f a a I(M 1 )} : M 1 M 2 is an EMV-morphism. (4) If S is a full subset of I(M 1 ), then {f a a S} is an EMV-morphism. (5) Let f : M 1 M 2 be an MV-homomorphism. If {b j j J} is a full subset of I(M 2 ) and g j : M 1 [0,b j ] is defined by g j (x) := f(x) b j, then {g j j J} : M 1 M 2 is an EMV-morphism (for more details, see the proof of Theorem 6.5). Remark 3.4. Every strong EMV-homomorphism of EMV-algebras f : M 1 M 2 can be viewed as an EMV-morphism. Indeed, I(M 1 ) is a full subset of M 1 and {f(a) a I(M 1 )} is a full subset of M 2 (by definition). For each a I(M 1 ), set f a = f [0,a]. Then it can be easily seen that {f a a I(M 1 )} is an EMV-morphism, which we denote simply by f. Moreover, if a 1,a 2 are idempotents of M 1, then f a1 (x) = f a2 (x) for each x [0,a 1 a 2 ]. Conversely, let f = {f a a I(M 1 )} be an EMV-morphism such that for all a 1,a 2 I(M 1 ), f a1 (x) = f a2 (x) for each x [0,a 1 a 2 ]. Then there is a unique strong EMV-homomorphism f 0 such that f a = f 0 [0,a] for each a I(M 1 ). Indeed, let x M be given. There are idempotents a 1,a 2 M 1. Since f a1 (x) = f a2 (x) for each x [0,a 1 a 2 ], we can define a mapping f 0 : M 1 M 2 by f 0 (x) = f a (x) whenever x a I(M 1 ). Due to the hypothesis, f 0 is defined unambiguously. Now, given x,y M 1, there is a I(M 1 ) such that x,y a. Hence, for all z [0,a], we have f 0 (z) = f a (z) which shows that f 0 preserves, and. In addition, f 0 (λ a (x)) = f a (λ a (x)) = λ fa(a)(f a (x)) = λ f0(a)(f 0 (x)), so that f 0 is an EMV-homomorphism which is also strong. Moreover, f a = f 0 [0,a] for each a I(M 1 ). Example 3.5. Let (M i ;,,0 i,1 i ) and (N i ;,,0 i,1 i ) be MV-algebras for all i N, and {f i : M i N i i N} be a family of homomorphisms between MV-algebras. For each finite subset I N, define a I = (a i ) i N by (1) a i = 1 i, if i I and (2) a i = 0, if i N \ I. Clearly, {a I I S} is a full subset of the EMV-algebra i N M i, see [DvZa, Ex 3.2(6)], where S is the set of all finite subsets of N. In a similar way, we define a full subset {b I I S} of the EMV-algebra i N N i. For each I S, we define 5

6 f I : [0,a I ] [0,b I ], by f I ((x i ) i N ) = (c i ) i I, where c i = f i (x i ) for all x I, and c i = 0 i otherwise. It can be easily seen that f := {f I I S} : i N M i i N N i is an EMV-morphism. Example 3.6. Let B be the set of all finite subsets of N. Then (B;,, ) is a generalized Boolean algebra. For each i N, define A i = {1,2,...,i}. Clearly, {A i i N} is a full subset of B. Consider the family f := {f i : [,A i ] [,A i 1 ] i N}, where f i (X) = X\{i} for all X A i. Clearly, {f i (A i ) i N} is a full subset of B, too. It can be easily checked that f is an EMV-morphism. As we have seen in Example 3.3, if f : M 1 M 2 is an MV-homomorphism of two MV-algebras M 1,M 2, then each restricted map f a := f [0,a] : [0,a] [0,f(a)] is an MV-homomorphism, too. Hence, for every full subset B of I(M 1 ), the set {f a a B} is an EMV-morphism from M 1 to M 2, so we can find many EMV-homomorphisms induced by f. Of course, all of them are considered as EMVmorphisms. Therefore, we propose an equivalence relation, called similarity and denoted by, on the set Hom(M 1,M 2 ) of all EMV-morphisms from an EMV-algebra M 1 into an EMV-algebra M 2. Definition 3.7. Let M 1 and M 2 be EMV-algebras and let f = {f i } i I : M 1 M 2 and g = {g j } j J : M 1 M 2 be two EMV-morphisms such that e(f) = {a i i I} and e(g) = {b j j J}. We say that they are similar (denoted by f g) if, for each i I, there exists j J such that a i b j and f i (x) = g j (x) f i (a i ), x [0,a i ]. In the next proposition we will establish some properties of similar EM V-morphisms. Proposition 3.8. Let f = {f i } i I : M 1 M 2 and g = {g j } j J : M 1 M 2 be two similar EMVmorphisms such that e(f) = {a i i I} and e(g) = {b j j J}. Then for all i I and k J, we have (i) if f i (a i ) g k (b k ), then for all x [0,a i b k ], f i (x) = g k (x) f i (a i ); (ii) if f i (a i ) = g k (b k ), then for all x [0,a i b k ], f i (x) = g k (x); (iii) if I I is such that for all i I there exists k I with a i a k and f i (a i ) f k (a k ), then h := {f i i I } is an EMV-morphism from M 1 to M 2 which is similar to f. Proof. (i) Let i I and k J such that f i (a i ) g k (b k ). Since f g, then there exists j J such that a i b j, f i (a i ) g j (b j ) and for all x [0,a i ] we have f i (x) = g j (x) f i (a i ). Put t J such that b t b k,b j and g t (b t ) g k (b k ),g j (b j ). Then ( gk (x) = g t (x) g k (b k ), x [0,b k ] ) & ( g j (x) = g t (x) g j (b j ), x [0,b j ] ). Hence, for all x [0,a i b k ] we have g k (x) f i (a i ) = g t (x) g k (b k ) f i (a i ) = g t (x) f i (a i ) = g t (x) g j (b j ) f i (a i ) = g j (x) f i (a i ) = f i (x). (ii) Let i I and k J be such that f i (a i ) = g k (b k ). Then by (i), for all x [0,a i b k ], we have f i (x) = g k (x) f i (a i ) = g k (x) g k (b k ) = g k (x). (iii) Clearly, {a i i I } and {f i (a i ) i I } are full subsets of I(M 1 ) and I(M 2 ), respectively. Moreover, the other conditions of Definition 3.1 hold evidently. Thus h := {f i i I } : M 1 M 2 is an EMV-morphism. Now, we show that f h. Let i I. Then by the assumption, there exists j I such that a i a j and f i (a i ) f j (a j ). Since f is an EMV-morphism, then for each x [0,a i ] we have f i (x) = f j (x) f i (a i ). Therefore, f h. Proposition 3.9. The relation is an equivalence relation on the set Hom(M 1,M 2 ) of all EMVmorphisms from an EMV-algebra M 1 into an EMV-algebra M 2. 6

7 Proof. Let M 1 and M 2 be two EMV-algebras. Clearly, is reflexive. Let f = {f i i I} : M 1 M 2 and g = {g j j J} : M 1 M 2 be two EMV-morphisms such that f g. Put j J. Since e(f) is a full subset of M 1, then there exists i I such that b j a i. Similarly, since {f i (a i ) i I} is a full subset of M 2, then there is z I such that f z (a z ) g j (b j ). So, we can find w I with a i,a z a w and f i (a i ),f z (a z ) f w (a w ). Without loss of generality we assume that a i = a w. Then b j a i, g j (b j ) f i (a i ). (3.1) From f g it follows that there exists s J such that b s a i, f i (a i ) g s (b s ) and Since g j (b j ) g s (b s ), then and so for each x [0,b j ] we have x [0,a i ], f i (x) = g s (x) f i (a i ). (3.2) x [0,b j b s ] = [0,b j ], g j (x) = g s (x) g j (b j ). (3.3) f i (x) g j (b j ) = (g s (x) f i (a i )) g j (b j ), by (3.2) = (g s (x) g j (b j )) f i (a i ) = g j (x) f i (a i ), by (3.3) = (g j (x) g j (b j )) f i (a i ), since x b j = g j (x) (g j (b j ) f i (a i )) = g j (x) g j (b j ), by (3.1) = g j (x). Hence, is symmetric. To prove that is transitive, we let h = {h i i K} : M 1 M 2 be an EMV-morphism with e(h) = {c i i K} such that g h. Put i I. Then f g j J : a i b j, f i (a i ) g j (b j ) & x [0,a i ] f i (x) = g j (x) f i (a i ). (3.4) g h k K : b j c k, g j (b j ) h k (c k ) & x [0,b j ] g j (x) = h k (x) g j (b j ). (3.5) and so for all x [0,a i ] we have f i (x) = g j (x) f i (a i ) = h k (x) g j (b j ) f i (a i ) = h k (x) f i (a i ). That is, f h. Therefore, is an equivalence relation. Now we introduce a composition of two EMV-morphisms. Proposition Let M 1, M 2 and M 3 be EMV-algebras and f = {f i i I} : M 1 M 2 and h = {h j j J} : M 2 M 3 be EMV-morphisms with e(f) = {a i i I} and e(h) = {b j j J}. If U = {(i,j) I J f i (a i ) b j }. For each (i,j) U, we define g i,j : [0,a i ] [0,h j f i (a i )] by g i,j = h j f i. Then g = {g i,j (i,j) U} is an EMV-morphism, which is denoted h f. Proof. Clearly, e(g) = {a i (i,j) U} is a full subset of M 1 and {g i,j (a i ) (i,j) U} I(M 3 ). Put z M 3. Then there is j J such that h j (b j ) z. Similarly, there exist i I and t J such that f i (a i ) b j, f i (a i ) b t, and h t (b t ) h j (b j ). Thus h t (f i (a i )) h t (b j ) h j (b j ) z. That is, {g i,j (a i ) (i,j) U} is a full subset of I(M 3 ). Now, let (i,j),(s,t) U such that (h j f i )(a i ) (h t f s )(a s ). We claim that x [0,a i a s ] (h j f i )(x) = (h t f s )(x) (h j f i )(a i ). (3.6) Let z I such that a z a i,a s and f z (a z ) f i (a i ),f s (a s ). Then k 1 J : b k1 f z (a z ) k 2 J : b k2 b k1,b t & h k2 (b k2 ) h k1 (b k1 ),h t (b t ) k J : b k b j,b t & h k (b k ) h j (b j ),h t (b t ) ( ) ( ) h j (x) = h k (x) h j (b j ),x [0,b j ] & h t (x) = h k (x) h t (b t ),x [0,b t ]. 7

8 It follows that for each x [0,a i a j ] we have h t (f s (x)) h j (f i (a i )) = h k (f s (x)) h t (b t ) h k (f i (a i )) h j (b j ) = h k (f s (x) f i (a i )) h t (b t ) h j (b j ) = h k (f z (x) f s (a s ) f i (a i )) h t (b t ) h j (b j ) = h k (f i (x) f s (a s )) h t (b t ) h j (b j ) = h k (f i (x)) h k (f s (a s )) h t (b t ) h j (b j ) = h k (f i (x)) h t (f s (a s )) h j (b j ), since b t f s (a s ) = h j (f i (x)) h t (f s (a s )) = h j (f i (x)), since h j (f i (x)) h j (f i (a i )) h t (f s (a s )). Thus (3.6) holds. Finally, let (i,j) and (s,t) be arbitrary elements of U. Then by the assumption, we can find z I such that a i,a s a z and f i (a i ),f s (a s ) f z (a z ). Put k J with b k f z (a z ),b j,b t and h k (b k ) h j (b j ),h t (b t ). Since h k (b k ) h j (b j ),h t (b t ), then h j (f i (a i )) = h k (f i (a i )) h j (b j ) & h t (f s (a s )) = h k (f s (a s )) h t (a t ) and so h k (f z (a z )) h k (f i (a i )) h j (f i (a i )). In a similar way, h k (f z (a z )) h k (f i (a i )) h t (f s (a s )). Hence, there exists (z,k) U such that a z a i,a s and (h k f z )(a z ) (h j f i )(a i ),(h t f s )(a s ). Therefore, h f is an EMV-morphism. The next proposition shows that the equivalence relation is compatible with the composition. Proposition Let f = {f i } i I : M 1 M 2 and g = {g j } j J : M 1 M 2 be two EMV-morphisms, where e(f) = {a i i I} and e(g) = {b j j J} such that f g. (i) If h = {h k k K} : M 2 M 3 is an EMV-morphism with e(h) = {c i i K}, then h f h g. (ii) If v = {v k k K} : M 0 M 1 is an EMV-morphism with e(v) = {d i i K}, then f v g v. (iii) If g 1,g 2 Hom(M 1,M 2 ), g 1 g 2, and f 1,f 2 Hom(M 2,M 3 ), f 1 f 2, then f 1 g 1 f 2 g 2. Proof. (i) Set U = {(i,k) I K f i (a i ) c k } and V = {(j,k) J K g j (b j ) c k }. Then h f = {h k f i (i,k) U} & h g = {h k g j (j,k) V}. We show that for each (i,k) U, there exists (s,t) V such that a i b s, (h k f i )(a i ) (h t g s )(b s ) and x [0,a i ] (h k f i )(x) = (h t g s )(x) (h k f i )(a i ). Put (i,k) U. Then f i (a i ) c k. Since f g, given i there is s J such that a i b s, f i (a i ) g s (b s ) and x [0,a i ] f i (x) = g s (x) f i (a i ). Let t K such that c k,g s (b s ) c t and h k (c k ) h t (c t ). Then h k (f i (a i )) h t (f i (a i )) h t (g s (b s )), (3.7) whence h k (z) = h t (z) h k (c k ) for all z [0,c k ] and so for all x [0,a i ], we have h k (f i (x)) = h t (f i (x)) h k (c k ) = h t (g s (x) f i (a i )) h k (c k ) = h t (g s (x)) h t (f i (a i )) h k (c k ) = h t (g s (x)) h k (f i (a i )). That is, h f h g. (ii) Set W := {(k,i) K I v k (d k ) a i } and Z := {(k,j) K J v k (d k ) b j }. Then f v = {f i v k (k,i) W}, g v = {g j v k (k,j) Z}, e(f v) = {d k (k,i) W} and e(g v) = {d k (k,j) Z}. It suffices to show that for each (k,i) W, there exists (s,j) Z such that d k d s, 8

9 (f i v k )(d k ) (g j v s )(d s ) and for all u [0,d k ], (f i v k )(u) = (g j v s )(u) (f i v k )(d k ). Let (k,i) W. Since f g, there is j J such that a i b j and for all x [0,a i ], we have f i (x) = g j (x) f i (a i ). Set s = k. Then for each u [0,d k ], v k (u) [0,a i ] and f i (v k (u)) = g j (v k (u)) f i (a i ). Since u d k a i and v k (d k ) a i, then f i (v k (u)) f i (v k (d k )) f i (a i ) and so f i (v k (u)) = g j (v k (u)) f i (a i ) f i (v k (d k )) = g j (v k (u)) f i (v k (d k )). That is, (f i v k )(u) = (g j v s )(u) (f i v k )(d k ) for each u [0,d k ]. Therefore, f v g v. (iii) By (i) and (ii), we have f 1 g 1 f 1 g 2 f 2 g 2. In the following proposition we show that the operation on the set of all EMV-morphisms is - associative, i.e. h (g f) (h g) f whenever the corresponding compositions are defined. Proposition The operation is -associative. If Id M1 : M 1 M 1, Id M2 : M 2 M 2, and f Hom(M 1,M 2 ), then f Id M1 f and Id M2 f f. Proof. (1) Let f = {f i i I} : M 1 M 2, g = {g j j J} : M 2 M 3 and h = {h k k K} : M 3 M 4 be EMV-morphisms with e(f) = {a i i I}, e(g) = {b j j J} and e(h) = {c k k K}. Then g f = {g j f i (i,j) I J, f i (a i ) b j }, h g = {h k g j (j,k) J K, g j (b j ) c k }, e(g f) = {a i (i,j) I J, f i (a i ) b j } and e(h g) = {b j (j,k) J K, g j (b j ) c k }. Hence, h (g k) = {h k (g j f i ) i I, j J, k K, (g j (f i (a i ))) c k, f i (a i ) b j } and (h g) f = {(h k g j ) f i i I, j J, k K, f i (a i ) b j, g j (b j ) c k }. Assume that f i (a i ) b j and g j (b j ) c k. Then clearly g j (f i (a i )) c k and, for each x [0,a i ], we have ((h k g j ) f i )(x) = (h k (g j f i ))(x) = (h k (g j f i ))(x) ((h k g j ) f i )(a i ). So, by Definition 3.7, h (g f) (h g) f. (2) Now, consider the identity maps Id M1 : M 1 M 1 and Id M2 : M 2 M 2. By Remark 3.4, they are EMV-morphisms. So that, Id M1 = {Id [0,a] a I(M 1 )} and U = {(a,i) I(M 1 ) I Id [0,a] (a) b i } = {(a,i) a b i }. For each (a,i) U, let us put f a,i = f i Id [0,a] = f i : [0,a] [0,f i (a)]. Then for the EMV-morphism f Id M1 = {f a,i (a,i) U}, we have that for each (a,i), that is for a, there is b i such that a b i. Whence, f i (x) = f a,i (x) := f i (x) f a,i (a) = f i (x) for each x [0,a], that is f Id M1 f. Similarly, let Id M2 = {Id [0,b] b I(M 2 )}. Then for V = {(i,b) I I(M 2 ) f i (b i ) b}, we have Id M2 f = { f i,b (i,b) V}, where f i = f i,b := Id [0,b] f i : [0,b i ] [0,f i (b i )]. So that, f i (y) = f i,b (y) = f i (y) f i,b (b i ) = f i (y) for each y [0,b i ], that is Id M2 f f. 4 Categories of EMV-algebras The notion of an EMV-morphisms and the relation enable us to study three categories of EMValgebras where the objects are EM V-algebras and morphisms are special classes of EM V-morphisms. Remark 4.1. Let EMV be the set of EMV-algebras. Given two EMV-algebras M 1,M 2, on the set Hom(M 1,M 2 ) of EMV-morphisms from M 1 into M 2, we define Hom(M 1,M 2 )/ := {[f] f Hom(M 1,M 2 )} of quotient classes, where [f] = {g Hom(M 1,M 2 ) g f}. Since is an equivalence, we can define a composition of quotient classes denoted also by such that [g] [h] := [g h] for all [h] Hom(M 1,M 2 )/ and [g] Hom(M 2,M 3 )/. Then [g] [h] Hom(M 1,M 3 )/, and by Proposition 3.12, we have ([f] [g]) [h] = [f] ([g] [h]) for each [f] Hom(M 3,M 4 )/. In addition, [h] [Id M1 ] = [h] and [Id M2 ] [h] = [h] for each [h] Hom(M 1,M 2 )/. Therefore, we can define the category EMV whose objects are EMV-algebrasand any morphism from an object M 1 to another object M 2 is the quotient class [f] Hom(M 1,M 2 )/. As we have seen, the category EMV is defined correctly. Definition 4.2. An EMV-morphism f = {f i i I} : M 1 M 2 with e(f) = {a i i I} is called standard if, for each x M 1, the set {f i (x) x a i } has a maximum element, that is, given x M 1, there is a j I(M 1 ) with j I and a j x such that f j (x) = max{f i (x) x a i }. 9

10 Clearly, if M 1 and M 2 are MV-algebras and f : M 1 M 2 is an MV-homomorphism, then f is standard as an EMV-morphism. Proposition 4.3. Let f = {f i i I} : M 1 M 2 and g = {g j j J} : M 2 M 3 be standard EMV-morphisms such that e(f) = {a i i I} and e(g) = {b j j J}. Then: (i) The EMV-morphism g f is standard. (ii) For each EMV-algebra M, the identity map Id M : M M is a standard EMV-morphism. (iii) If h = {h i i K} : M 1 M 2 is an EMV-morphism such that e(h) = {c k k K} and f h, then h is a standard EMV-morphism. Proof. (i) We know that g f = {g j f i (i,j) U}, where U = {(i,j) I J f i (a i ) b j }. Let x M 1 and i I be such that f i (a i ) b j and x a i. Then there exists s I with f s (x) = max{f i (x) x a i }. Suppose that g t (f s (x)) = max{g j (f s (x)) f s (x) b j }. Put k J such that b k b t,f s (a s ) and g t (b t ) g k (b k ). Then g k (f s (x)) g t (f s (x)) which implies that g k (f s (x)) = g t (f s (x)). We claim that g k (f s (x)) = max{(g j f i )(x) (i,j) U, x a i }. Let (i,j) U and x a i. Then f i (x) f s (x). Let z J such that b z b j,b k and g z (b z ) g j (b j ),g k (b k ). By the assumption, g z (f s (x)) = g k (f s (x)) and g j (f s (x)) = g z (f s (x)) g j (b j ) g z (f s (x)) = g k (f s (x)). So, the claim is true, and g f is a standard EM V-morphism. (ii) It is evident. (iii) If x M 1, then there exists t I such that x a t and f t (x) = max{f i (x) x a i }. Since f h, there exists k K such that a t c k, f t (a t ) h k (c k ) and f t (x) = h k (x) f t (a t ) for all x [0,a t ]. That is, f t (x) h k (x). Moreover, if c j is an arbitrary element of e(h) such that x c j, then there is s K such that c j,c k c s and h j (c j ),h k (c k ) h s (c s ), so h j (x),h k (x) h s (x). On the other hand, there exists i I such that c s a i and h s (x) = f i (x) h s (c s ), which implies that h s (x) f i (x) f t (x) (since x a i ). Thus, h j (x) f t (x) (since h j (x) h s (x)). Summing up the above results, we get that f t (x) = h k (x) and f t (x) = h s (x) = max{h i (x) i K} and so, h is a standard EMV-morphism. Lemma 4.4. Let f = {f i i I} : M 1 M 2 be a standard EMV-morphism with e(f) = {a i i I}. (i) For each x M 1, max{f i (x) x a i } = max{f i (x) a a i }, where a I(M 1 ) and a x. (ii) The map F f : M 1 M 2 defined by F f (x) = max{f i (x) x a i }, x M 1, is a strong EMVhomomorphism in the sense of Definition 2.2. Proof. (i) Clearly, max{f i (x) a a i } max{f i (x) x a i }. Let a a j and f k (x) be the greatest element of {f i (x) x a i }. Put t I such that a j,a k a t and f j (a j ),f k (a k ) f t (a t ). Then f t (x) = f k (x) and f t (x) {f i (x) a a i }. It follows that max{f i (x) x a i } = max{f i (x) a j a i }. (ii) Clearly, F f (0) = 0. Let x,y M 1. If F f (x y) = f k (x y) for a k x y, then F f (x y) = f k (x) f k (y) F f (x) F f (y). On the other hand, if F f (x) = f i (x) and F f (y) = f j (y), then there is s I such that a s a i,a j and f s (a s ) f i (a i ),f j (a j ), so that f s (x) = f i (x) and f s (y) = f j (y). Thus F f (x) F f (y) = f s (x) f s (y) = f s (x y) F f (x y) (since x y a s a s = a s ). That is, F f (x y) = F f (x) F f (y). In a similar way, we can show that F f (x y) = F f (x) F f (y) and F f (x y) = F f (x) F f (y). It suffices to show that for each a I(M 1 ), F f [0,a] : [0,a] [0,F f (a)] is an MV-homomorphism. Put a I(M 1 ) and x [0,a]. Let F f (a) = f j (a) and F f (x) = f i (x) for x a i and a a j. (1) If k I such that a j,a i a k and f i (a i ),f j (a j ) f k (a k ), then F f (x) = f k (x) and F f (a) = f k (a) and so by Proposition 2.3, we have λ Ff (a)(f f (x)) = λ fk (a)(f k (x)) = λ fk (a k )(f k (x)) f k (a) = f k (λ ak (x)) f k (a) = f k (λ ak (x) a) = f k (λ a (x)). (2) Let F f (λ a (x)) = f t (λ a (x)) for some t I with λ a (x) a t. Put z I such that a t,a k a z and f k (a k ),f t (a t ) f z (a z ). Then F f (λ a (x)) = f z (λ a (x)) and λ Ff (a)(f f (x)) = f z (λ a (x)) (by (1)). So, λ Ff (a)(f f (x)) = F f (λ a (x)). Hence, F f is an EMV-homomorphism in the sense of Definition 2.2. Since {f i (a i ) i I} is a full subset of M 2, then clearly, {F f (a i ) i I} is a full subset of M 2, which implies that F f is a strong EMV-morphism. 10

11 Remark 4.5. Given two EMV-algebras M 1 and M 2, let Hom s (M 1,M 2 ) be the set of all standard EMV-morphisms from M 1 into M 2. We denote by Hom s (M 1,M 2 )/ the set of quotient classes [f] s, where f Hom s (M 1,M 2 ), under the equivalence restricted to Hom s (M 1,M 2 ), that is, Hom s (M 1,M 2 )/ := {[f] s f Hom s (M 1,M 2 )}, where [f] s := {g Hom s (M 1,M 2 ) g f}. Due to Proposition 4.3, we can define unambiguously a composition, denoted also as, of two classes via [f] s [g] s := [f g] s for [f] s Hom s (M 1,M 2 )/ and [g] s Hom s (M,M 1 )/. Then is associativeand due to Proposition4.3(ii), we have[h] s [Id M1 ] s = [h] s and [Id M2 ] s [h] s = [h] s for each [h] s Hom s (M 1,M 2 )/. Therefore, similarly as in Corollary 4.1, we can define a new category EMV s whose objects are EMValgebras and a morphism from an object M 1 into another object M 2 is [f] s Hom s (M 1,M 2 )/. Now, it is easy to verify that EMV s is indeed a category. Remark 4.6. Let f : M 1 M 2 and g : M 2 M 3 be strong EMV-homomorphisms. Then the composition g f : M 1 M 3 defined by (g f)(x) = g(f(x)), x M 1, is a strong EMV-homomorphism from M 1 into M 3. Therefore, we can define a third category EMV sh whose objects are EMV-algebras and a morphism from an object M 1 into another object M 2 is any strong EMV-homomorphism from M 1 into M 2. Since every Id M is also a strong EMV-homomorphism, we see that EMV sh is indeed a category. Theorem 4.7. The categories EMV sh and EMV s are equivalent. Proof. First we note that if f = {f i i I} : M 1 M 2 and g = {g j j J} : M 1 M 2 are two similar standard EMV-morphisms, then F f = F g, where the strong EMV-homomorphisms F f and F g are defined by Lemma 4.4. Indeed, let x M 1. Then there exists i I and j J such that F f (x) = f i (x) and F g (x) = g j (x). Since f g, then there is k J such that a i b k and f i (x) = g k (x) f i (a i ). Also, by Proposition 3.9, there exists t I such that b j a t and g j (x) = f t (x) g j (b j ), so f i (x) g k (x) g j (x) f t (x) f i (x) (since f i (x) = max{f s (x) x a s }). That is, F f (x) = F g (x) for each x M. Consider a mapping F : EMV s EMV sh defined by F(M) = M for all EMV-algebras M, and F([f] s ) : M 1 M 2, [f] s Hom(M 1,M 2 ) s /, sending x to F f (x) = max{f i (x) x a i }, that is, F([f] s ) = F f. By the previous paragraph, F([f] s ) is correctly defined and in view of Proposition 4.3, F preserves both and the identity maps. Therefore, F is a well-defined functor. Let H : EMV sh EMV s be defined by H(M) = M for each EMV-algebra M and H(f) : M 1 M 2 be the class of standard EMV-morphisms containing the EMV-morphism induced by the strong EMVhomomorphism f (see Remark 3.4), that is H(f) = [f] s. Then H is also a functor. Let f = {f i i I} : M 1 M 2 be a standard EMV-morphism with e(f) = {a i i I}. We claim that H F([f] s ) = [f] s. Set F f = F([f] s ). It suffices to show that {F f,a a I(M 1 )} is similar to f, where F f,a = F f [0,a] for all a I(M 1 ). Put a I(M 1 ). If x is an arbitrary element of [0,a], then there exists i I such that x a i and F f,a (x) = f i (x) = max{f s (x) x a s }. It follows that F f,a (x) = F f (x) = f i (x) = f i (x) F f,a (a) (note that F f,a (a) F f (x) = F f,a (x)). Thus f {F f,a a I(M 1 )}. On the other hand, if g : M 1 M 2 is a strong EMV-homomorphism, then H(g) = [g] s = [{g a a I(M 1 )}] s (see Remark 3.4) and so F H(g)(x) = max{g a (x) a I(M 1 ), x a} = max{g(x) x a} = g(x) for all x M 1. Therefore, EMV s and EMV sh are equivalent categories. The following proposition will be used to show that EMV s is a subcategory of the category EMV. Proposition 4.8. Let f = {f i i I} Hom(M 1,M 2 ) be a standard EMV-morphism and g = {g j j J} [f], where e(f) = {a i i I} and e(g) = {b j j J}. Then g is a standard EMV-morphism. Proof. Given x M 1, let f k (x) = max{f i (x) x a i }, where x a k. Let b j be an arbitrary element of e(g) such that x b j. Since f g, then there exists i I such that b j a i and g j (x) = f i (x) g j (b j ). From f i (x) f k (x) it follows that if j J such that x b j, then g j (x) f k (x). 11

12 On the other hand, there is t J such that a k b t and f k (x) = g t (x) f k (a k ), which implies that f k (x) g t (x) f k (x). That is, g t (x) = max{g j (x) x b j }. Therefore, g is standard. Corollary 4.9. The category EMV s is a subcategory of the category EMV. Proof. Let f : M 1 M 2 be a standard EMV-morphism. Due to Proposition 4.8, we have [f] = [f] s which gives the result. 5 Product of EMV-algebras in the Category EMV We show that the product of a family of EMV-algebras with respect to EMV-morphisms can be defined also in the category EMV of EMV-algebras. Proposition 5.1. Let M 1 and M 2 be EMV-algebras and f = {f i i I} : M 1 M 2 be an EMVmorphism with e(f) = {a i i I}. Consider a full subset K I(M 1 ). For each b K, let us define g i,b : [0,b] [0,f i (b)] by g i,b := f i [0,b], where i I and b a i. Then g = {g i,b i I, b a i } is an EMV-morphism and f g. Proof. First we show that g : M 1 M 2 is an EMV-morphism. (1) Let i I. Then there is b K such that a i b. Since e(f) is a full subset of M 1, we can find j I such that b a j. Put t I satisfying a i,a j a t and f i (a i ),f j (a j ) f t (a t ). Then we have ( x [0,ai ] f i (x) = f t (x) f i (a i ) ) & ( x [0,a j ] f j (x) = f t (x) f j (a j ) ). It follows that f t (b) f t (a i ) f i (a i ) and f t (b) e(g). So, {g i,b (b) i I, b K, b a i } is a full subset of M 2. Clearly, K e(g). Thus e(g) is a full subset of M 1. (2) Let i,j I and b,b K such that b a i and b a j and g i,b (b) g j,b (b ). Then f i (b) f j (b ). Put t I such that a i,a j a t, f i (a i ),f j (a j ) f t (a t ). Hence, ( x [0,ai ] f i (x) = f t (x) g i (a i ) ) & ( x [0,a j ] f j (x) = f t (x) f j (a j ) ) and so, for all x [0,b], f j (x) = f t (x) f j (a j ) = f t (x) f j (a j ) f j (b) = f t (x) f j (b). We claim that for each x [0,b b ], g j,b (x) g i,b (b) = g i,b (x). Let x [0,b b ]. Then f j (x) f i (a i ) = f t (x) f j (a j ) f i (a i ) = f t (x) f i (a i ) f i (b) f j (a j ), since f t (x) f i (a i ) = f i (x) f i (b) = f t (x) f i (a i ) f i (b) f j (a j ) f j (b ), since f t (x) f j (a j ) = f j (x) and f j (x) f j (b ) = f t (x) f i (b) f j (b ), since f i (b) f i (a i ) and f j (b ) f j (a j ) = f t (x) f i (b), by the assumption = f t (x) f i (b) f i (a i ) = f i (x) f i (b) = f i (x), whence g j,b (x) g i,b (b) = f j (x) f i (b) = f j (x) (f i (a i ) f i (b)) = f i (x) f i (b) = f i (x) = g i,b (x). (3) Let b,b K and i,j I such that b a i and b a j. Then there is b K with b,b b. Put t I such that b a t. s I : a i,a j a s, f i (a i ) f s (a s ), f j (a j ) f s (a s ) (5.1) similarly,thereisw I suchthata t,a s a w andf t (a t ),f s (a s ) f w (a w ). Clearly,f i (b) f w (b) f w (b ) and f j (b ) f w (b ) f w (b ). From (1) (3) it follows that g is an EMV-morphism. Clearly, f g. Indeed, for each b K, there is i I such that b a i for all x [0,b] we have g i,b (x) = f i (x). That is, f g. 12

13 Consider the assumptions of Proposition 5.1. In the next theorem, we show that if, for each b K, we put a special function g b to be equal to f j [0,b] from {f i [0,b] i I,b a i }, then {g b b K} is again an EMV-morphism which is similar to f. For each i I, there exists b K such that a i b. Also, there is j I such that a i,b a j and f i (a i ) f j (a j ). Since f is an EMV-morphism, then f i (x) = f j (x) f i (a i ) for all x [0,a i ], and so f j (b) f j (a i ) f i (a i ). Set g b := f j [0,b]. Then g b (b) f i (a i ). We can easily check that {g b (b) b K} has the following property: Whence, {g b (b) b K} is a full subset of M 2. t I b K : a t b & f t (a t ) g b (b). (5.2) Proposition 5.2. Let K be a full subset of idempotents of M 1 and f = {f i i I} : M 1 M 2 be an EMV-morphism with e(f) = {a i i I}. If, for each b K, g b := f i [0,b], where i I and b a i such that {g b (b) b K} satisfies the condition (5.2), then g = {g b b K} is an EMV-morphism and g f. Proof. Since e(f) is a full subset of M 1, then e(g) = K. (1) Since {f i (a i ) i I} is a full subset of M 2, then by (5.2), {g b (b) b K} is a full subset of M 2, too. (2)Ifb,b K, then thereexisti,j I suchthatb a i, b a j, g b (b) = f i (b) andg b (b ) = f j (b ). Put t I such that a i,a j a t and f i (a i ),f j (a j ) f t (a t ). By (5.2), there exists b K with f t (a t ) g b (b ). It follows that g b (b),g b (b ) g b (b ). (3) Let b,b K such that g b (b) g b (b ). Then there are i,j I such that b a i, b a j, g b = f i [0,b] = g i,b and g b = f j [0,b ] = g j,b. By Proposition 5.1, for all x [0,b b ], we have g b (x) = g b (x) g b (b). From (1) (3) it follows that {g b b K} is an EMV-morphism. Now, we show that f g. Let b K. Then there is i I such that b a i and g b = f i [0,b] and so Therefore, g = {g b b K} f. g b (b) f i (b) f i (a i ) & x [0,b], g b (x) = f i (x) g b (b). Remark 5.3. (i) In the last proposition, the definition of g = {g b b K} does not depend on the choice of f i for given b. Indeed, if h = {h b b K} is defined by h b = f j (b), where b a j and {h b (b) b K} satisfies in (5.2), then by Proposition 5.2, h f g. So we can feel free for choosing a suitable f i related to b. The only thing we must care is (5.2). (ii) If we consider K = I(M 1 ) in Proposition 5.2, then we have e(g) = e(h) = I(M 1 ) and g h f. Thus without loss of generality we can assume that e(f) = I(M 1 ). An EMV-morphism f = {f i i I} : M 1 M 2 with e(f) = {a i i I} is called an EMV- isomorphism if there exists an EMV-morphism g = {g j j J} : M 2 M 1 such that g f Id M1 and f g Id M2, and we say that M 1 and M 2 are -isomorphic. Proposition 5.4. Let f = {f i i I} : M M be an EMV-morphism such that e(f) = {a i i I}. Then f Id M if and only if, for all i I, we have (i) f i (x) x for all x [0,a i ]; (ii) f i (x) = x for all x f i (a i ). Proof. Let f Id M and i be an arbitrary element of I. Then there is b I(M) such that a i b and f i (x) = Id M (x) f i (a i ) for all x [0,a i ]. Clearly, for all x [0,a i ], we have f i (x) x, specially, f i (a i ) [0,a i ]. Also, for each x f i (a i ), f i (x) = x f i (a i ) = x. Conversely, let (i) and (ii) hold. Put i I. Then by (i), f i (a i ) a i. Since e(f) is a full subset of M, then there exists j I such that a i f j (a j ) and so by definition, for all x [0,a i ], we have f i (x) = f j (x) f i (a i ). Since a f j (a j ), by (ii), f j (x) = x for all x [0,a i ], and thus Therefore, f Id M. f i (x) = f j (x) f i (a i ) = x f i (a i ) = Id M (x) f i (a i ), x [0,a i ]. 13

14 Corollary 5.5. Let f = {f i i I} : M 1 M 2 be an EMV- -isomorphism with e(f) = {a i i I}, and let g = {g j j J} : M 2 M 1 with e(g) = {b j j J} be an EMV-morphism such that f g Id M2 and g f Id M1. Then f g = {f i g j (i,j) U} and g f = {g j f i (j,i) V}, where U = {(i,j) I J f i (a i ) b j } and V = {(s,t) J I g s (b s ) a t }. Consider the EMV-morphisms h = {h i,j (i,j) U} : M 1 M 1 and k = {k s,t (s,t) V} : M 2 M 2 defined by h i,j (x) = g j (f i (x)) if (i,j) U and x g j (f i (a i )), and k s,t (x) = f t (g s (x)) if (s,t) V and x f s (g t (b t )). By Proposition 5.4, for all (i,j) U and (s,t) V, we get h i,j (y) = f j g i (y) = y, y f j (g i (b i )), k s,t (x) = g t f s (x) = x, x g t (f s (a s )). Therefore, h Id M1 and k Id M2. Example 5.6. In Example 3.5, if {f i : M i N i i N} is a family of MV-isomorphisms, then we can easily see that f = {f I I S} is an EMV- -isomorphism. Definition 5.7. Let f = {f i i I} : M 1 M 2 and g = {g j j J} : M 1 M 2 be two EMVmorphisms such that e(f) = {a i i I} and e(g) = {b j j J}. Let x,y M 1. We say that f(x) = g(y) if, for each i I and each j J such that x a i, y b j and f i (a i ) g j (b j ), then f i (x) = g j (y) f i (a i ). Consider the assumptions in Definition 5.7. Then f(x) = g(y) if and only if, for each i I and each j J such that x a i, y b j and f i (a i ) g j (b j ), we have g j (y) = f i (x) g j (b j ). Indeed, let i I and j J such that x a i, y b j and g j (b j ) f i (a i ). Then we can find k J such that b j b k and f i (a i ) g k (b k ). Since f(x) = g(y), then by definition, f i (x) = g k (y) f i (a i ) and f i (x) g j (b j ) = g k (y) f i (a i ) g j (b j ) = g k (x) g j (b j ) = g j (y). The proof of the converse is similar. In the next proposition, we find a relation between and the concept introduced in Definition 5.7. Proposition 5.8. Let f = {f i i I} : M 1 M 2 and g = {g j j J} : M 1 M 2 be two EMV-morphisms such that e(f) = {a i i I} and e(g) = {b j j J}. (i) f g if and only if f(x) = g(x) for all x M 1. (ii) f(x) = f(y) if and only if, for each i I with x,y a i, we have f i (x) = f i (y). Proof. (i) The proof is straightforward. (ii) Suppose that i I such that x,y a i. Then f i (x) = f i (y) f i (a i ) = f i (y). Conversely, let x a i and y a j such that f i (a i ) f j (a j ) for some i,j I. Then there exists k I such that a i,a j a k and f i (a i ),f j (a j ) f k (a k ). By the assumption, f k (x) = f k (y), so that f j (y) f i (a i ) = (f k (y) f j (a j )) f i (a i ) = f k (y) f i (a i ) = f k (x) f i (a i ) = f i (x). That is, f(y) = f(x). Proposition 5.9. Let f = {f i i I} : M 1 M 2 with e(f) = {a i i I} be an EMV-morphism. Then is a congruence relation on M 1. ker(f) := {(x,y) M 1 M 1 f i (x) = f i (y), a i x,y} Proof. Clearly, ker(f) is reflexive and symmetric. Let (x, y),(y, z) ker(f). Put i I such that x,y,z a i. Then f i (x) = f i (y) = f i (z). For each j I if x,z a j, then there exists s I such that a j,a i a s and f i (a i ),f j (a j ) f s (a s ). It follows that f j (x) = f s (x) f j (a j ) = f s (y) f j (a j ) = f s (z) f j (a j ) = f j (z). Therefore, ker(f) is transitive. Now, let (x,y) ker(f) and x,y a i for i I. Given u, if w I such that x u,y u a w, then we have f w (x) = f w (y) and so f w (x u) = f w (x) f w (u) = f w (y) f w (u) = 14

15 f w (x u) (since f w is an MV-homomorphism) consequently, (x u,y u) ker(f). In a similar way, (x u,y u) ker(f). Also, for each k I with x u,y u a k, there is z I such that a z a k,a i,u and f z (a z ) f i (a i ),f k (a k ), whence f z (x) = f z (y) and f k (c) = f z (c) f k (a k ) for all c [0,a k ]. Thus, from f k (x u) = f z (x u) f k (a k ) = f z (x) f z (u) f k (a k ) = f z (y) f z (u) f k (a k ) = f z (y u) f k (a k ) = f k (y u), weconcludethat(x u,y u) ker(f). ByProposition2.5,itremainstoshowthatforeach(x,y) ker(f), there is b I(M 1 ) such that x,y b and (λ b (x),λ b (y)) ker(f). Let (x,y) ker(f). Then there exists i I such that x,y a i and so f i (x) = f i (y). Set b := a i. For all j I with λ b (x),λ b (y) a j, there is k I such that a k b,a j and f k (a k ) f i (a i ),f j (a j ). It follows that Consequently, f j (c) = f k (c) f j (a j ), c [0,a j ]. (5.3) f j (λ b (x)) = f k (λ b (x)) f j (a j ) = f k (λ ak (x) b) f j (a j ), by Proposition 2.3 = λ fk (a k )(f k (x)) f k (b) f j (a j ), since f k : [0,a k ] [0,f k (a k )] is an MV-homomorphism = λ fk (a k )(f k (y)) f k (b) f j (a j ) = f k (λ ak (y) b) f j (a j ) = f k (λ b (y)) f j (a j ) = f j (λ b (y)). Therefore, ker(f) is a congruence relation on M 1. Corollary If θ is a congruence relation on an EMV-algebra (M;,,,0), then the natural map π θ = {π a a I(M)} : M M/θ, where π a (x) = x/θ for all x [0,a] and for all a I(M), is an EM V-morphism. Proof. The proof is straightforward. If EMV is the set of EMV-algebras, EMV is a variety with respect to EMV-homomorphisms, see [DvZa, Thm 3.11]. In below we will study EMV with respect to EMV-morphisms and therefore, it will be not more a variety in such a point of view. Let be the equivalence given by Definition 3.7. We say that an EMV-morphism g : M N which satisfies some conditions is -unique if h : M N is another EMV-morphisms which satisfies the same conditions, then g and h are similar, i.e. g h. In the following result, first we show that in the class EMV there is a weak form of the categorical product of a family of EMV-algebras, called the -product: Let {M i i I} be a family of EMValgebras. We say that an EMV-algebra i I M i together with a family of EMV-morphisms {π i i I}, where π i : i I M i M i is an EMV-morphism for each i I, is a -product of {M i i I}, if M is another EMV-algebra together with a family {f i i I} of EMV-morphisms f i : M M i for each i I, then there is an -unique EMV-morphism g : M i I M i such that π i g f i for each i I. Using this, finally we show that the category EMV admits a product in the pure categorical sense. Theorem The category EMV is closed under product. Proof. We start with the class EMV of EMV-algebras. Let {(M i ;,,,0) i I} be a family of EMV-algebras. Consider the EMV-algebra i I M i, which is the direct product of EMV-algebras. In what follows, we show that that this i I M i together with projections is the -product of {M i i M} in the class EMV. By Remark 3.4, for each i I, the map π i : i I M i M i is an EMV-morphism. Let (M;,,,0) be an EMV-algebra and f i : M M i be an EMV-morphism for each i I. According to Remark 5.3, we can suppose that f i = {f i,a a I(M)} and e(f i ) = I(M) for all i I. Define g = {g a a I(M)} : M i I M i, where g a : [0,a] [0,(f i,a (x)) i I ] sending x to (f i,a (x)) i I for all x [0,a]. Clearly, g 15