RATIO MATHEMATICA 24 (2013), 53–62 ISSN: 1592-7415 Some algebraic properties of fuzzy S-acts M. Haddadi Department of Mathematics, Statistic and Computer Science, Semnan University, Semnan, Iran. haddadi 1360@yahoo.com Abstract S-acts, a useful and important algebraic tool, have always been interest to mathematicians, specially to computer scientists. When A. Zadeh introduced the notion of the fuzzy subset in 1965, his idea opened a new direction to reserchers to provide tools in the various fields of mathematics. Here we are going to investigate some algebraic properties of fuzzy S-acts. We first make an S-act from the fuzzy sub- sets of an S-act A. Then we use this tool to give a characterization for fuzzy S-acts. We then introduce the notion of generated fuzzy S-act by a fuzzy subset of an S-act and give a characterization for the fuzzy actions. And then we define the notion of indecomposable fuzzy S-act and find some indecomposable fuzzy actions. Key words: Fuzzy set, Fuzzy acts over fuzzy semigroups. MSC2010: 08A72, 20M30. 1 Introduction and Preliminaries No need to mention the importance of the prominent and well established Fuzzy Set Theory, introduced by Zadeh in 1965 [7], which offered tools and a new approach to model imprecision and uncertainty. Since then, very many researchers have worked on this concept and its applications to logic, set theory, algebra, analysis, topology, computer science, control engineering, information science, etc [1, 2, 3]. Actions of a semigroup (monoid or group) S on a set A have always been interest to mathematicians, specially to computer M. Haddadi scientists and logicians. The algebraic structures so obtained are called S- sets, S-acts, and by some other terminologies [4, 6]. In [5] we have used the fuzzy concept and introduced the notion of the actions of a (fuzzy) semigroup on a fuzzy set (fuzzy S-act) and studied the relation between this structure and sheaves. Here we are going to study some of algebraic details of this structure. But first we recall that: A set X together with a function µ : X → [0, 1] is called a fuzzy set (over X) and is denoted by (X,µ) or X(µ). We call X the underlying set and µ the membership function of the fuzzy set X(µ), and µ(x) ∈ [0, 1] is the grade of membership of x in X(µ). If µ is a constant function with value a ∈ [0, 1], X(µ) is denoted by X(a). The fuzzy set X(1) is called a crisp set and may sometimes simply be denoted by X. For a fuzzy set X(µ) and α ∈ [0, 1], X(µ)α := {x ∈ X | µ(x) ≥ α} is called the α-cut or the α-level set of the fuzzy set X(µ). A fuzzy function from X(µ) to Y (η), written as f : X(µ) → Y (η), is an ordinary function f : X → Y such that the following is a fuzzy triangle: X µ // f �� [0, 1] Y η ==zzzzzzzz meaning that µ ≤ ηf (that is, µ(x) ≤ ηf(x) for all x ∈ X). The set of all fuzzy sets with a fixed underlying set X is called the fuzzy power or the set of fuzzy subsets of X and is denoted by FSubX. Clearly fuzzy sets together with fuzzy functions between them form a category denoted by FSet. To define the actions of a (fuzzy) semigroup on a fuzzy set first we note that: Definition 1.1 A semigroup S together with a function ν : S → [0, 1] is called a fuzzy semigroup if its multiplication is a fuzzy function: for every s,r ∈ S, ν(s) ∧ν(r) ≤ ν(sr); that is, the following is a fuzzy triangle: S ×S ν∧ν // λS �� [0, 1] S ν ::vvvvvvvvvv If S has an identity 1, one usually add the condition ν(1) = 1. Now, recall from [5] that, for a (crisp) semigroup S, a (crisp) set A can be made into an (ordinary) S-act in the following two equivalent ways: 54 Some algebraic properties of fuzzy S-acts Universal algebraic way: The set A together with a family (λs : A → A)s∈S of unary operations satisfying (st)a = s(ta) (and 1a = a, if S has an identity) where sa = λs(a). Common way: The set A together with a function λ : S × A → A satisfying (st)a = s(ta) (and 1a = a, if S has an identity) where sa = λ(s,a). Now, having these two, so called, universal algebraic and common actions of S on A, we get the following two, not necessarily equivalent, definitions for a fuzzy act over a fuzzy monoid. Definition 1.2 Let S(ν) be a fuzzy semigroup and A(µ) be a fuzzy set such that A is an S-act, as defined above. Then, A(µ) is called: (Universal algebraic) A fuzzy S-act (or fuzzy S(1)-act, to emphasize fuzzi- ness) if each λs is a fuzzy function; that is µ(a) ≤ µ(sa), for every s ∈ S and a ∈ A (with no mention of ν). That is, for every s ∈ S, the following triangle is fuzzy: A µ // λs �� [0, 1] A µ =={{{{{{{{ (Common) A fuzzy S(ν)-act if λ : S × A → A is a fuzzy function; that is, ν(s) ∧ µ(a) ≤ µ(sa), for every s ∈ S and a ∈ A. That is, the following triangle is fuzzy: S ×A ν∧µ // λ �� [0, 1] S µ ::uuuuuuuuuu Corolary 1.1 (1) Note that universal algebraic definition implies common definition, and if S(1) = S is a (crisp) semigroup, then ν(s) ∧ µ(a) = 1 ∧ µ(a) = µ(a), and so the above two definitions are equivalent. (2) Every fuzzy semigroup S(ν) is naturally a fuzzy S(ν)-act and S(1) = S is a fuzzy S(1) = S-act (universal algebraicly, and hence commonly). Also, if S(ν) is a fuzzy left ideal, then it is a fuzzy S-act (universal algebraicly, and hence commonly). A morphism between fuzzy S(ν)-acts (with both definitions), also called an S(ν)-map is simply an S-map as well as a fuzzy function. The set of all (fuzzy) S(ν)-acts with a fixed A is denoted by S(ν)-FSubA, and the category of all fuzzy S(ν)-acts is denoted by S(ν)-FAct. Since an S-act A is naturally a (unary) universal algebra, the universal algebraic definition of fuzzy acts, being compatible with the definition of 55 M. Haddadi other fuzzy algebraic structures, may be considered to be more natural than the second one. Thus, from now on we consider the universal algebraic definition of fuzzy acts and we recall that: Theorem 1.1 [5] An S-act A with µ : A → [0, 1] is a fuzzy S = S(1)-act if and only if for every α ∈ [0, 1], A(µ)α is an ordinary S-subact of A. 2 Fuzzy subsets of an S-act as a fuzzy S-act In this short section we make an S-action from the fuzzy subsets of an S-act A which is used thorough the paper and give a characterization of fuzzy S-acts defined in preliminary. Lemma 2.1 Let S be an commutative monoid and A be an S-act. Then fuzzy subsets of A form an S-act. Proof. To prove, for each fuzzy subset A(µ) and each m ∈ S we define: mµ : A → [0, 1] a ∨ {µ(x) | mx = a} First we note that mµ is a fuzzy S-act, because mµ(na) =∨ {µ(x) | mx = na}, for every n ∈ S, and mµ(a) = ∨ {µ(x) | mx = a}. But if mx = a, then nmx = na, and since S is commutative, mnx = nmx = na. Also µ(x) ≤ µ(nx). So ∨ {µ(x) | mx = a}≤ ∨ {µ(x) | mx = na}. Now we check the S-act properties. (m1m2)µ(a) = ∨ x∈A {µ(x) | (m1m2)x = a} = ∨ x∈A {µ(x) | m2x = y, m1y = a} = ∨ x∈A { ∨ y∈A µ(y) | m2x = y, m1y = a} = ∨ y∈A {m2µ(y) | m1y = a} = m1(m2µ(x))(a) and 1Sµ(a) = ∨ {µ(x) | 1Sx = a} = µ(a). Also if ν ≤ µ, then (mν)(a) =∨ {ν(x) | mx = a}≤ ∨ {µ(x) | mx = a} = (mµ)(a).2 Theorem 2.1 Let µ : A → [0, 1] be a fuzzy subset. Then A(µ) is an fuzzy S-act if and only if mµ ≤ µ for every m ∈ S. 56 Some algebraic properties of fuzzy S-acts Proof. (⇒) Let A(µ) be a fuzzy S-act and Xa = {x ∈ A | mx = a}. Then µ(x) ≤ µ(mx) = µ(a), for every x ∈ Xa implies that ∨ {µ(x) | mx = a}≤ µ(a). That is mµ ≤ µ. (⇐) Let A(µ) be a fuzzy subset. To prove we show that µ(a) ≤ µ(ma), for every m ∈ S and a ∈ A. But we know that mµ ≤ µ and hence we have mµ(ma) ≤ µ(ma). Now since mµ(ma) = ∨ x∈Xma µ(x) and a ∈ Xna, we have µ(a) ≤ mµ(ma) ≤ µ(ma). 2 3 Cyclic fuzzy S-acts In this section we define a generated fuzzy S-act by a fuzzy subset of an action and then we characterize the generated fuzzy S-actions by the action introduced in Lemma 2.1. We then define the cyclic fuzzy S-acts which are a useful class of fuzzy S-acts and infact every fuzzy S-act is made of a class of cyclic ones. Lemma 3.1 Intersection and union of fuzzy S-acts of an S-set A is an fuzzy S-act. Proof. Let {A(µi)}i∈I be a family of fuzzy S-act. Then ( ⋃ i∈I µi)(ma) =∨ i∈I µi(ma) ≥ ∨ i∈I µi(a) = ( ⋃ i∈I µi)(a) and ( ⋂ i∈I µi)(ma) = ∧ µi(ma) ≥∧ µi(a) = ( ⋂ i∈I µi)(a). 2 Theorem 3.1 Let µ : A → [0, 1] be a fuzzy S-act and {µi}i∈I⊆[0,1] be family of i-cuts of µ. Then ⋃ i∈I µi and ⋂ i∈I µi are fuzzy S-acts of the form α-cut. Proof. By Lemma 3.1, it is enough to show that ⋃ i∈I µi = µ W i∈I i and⋂ i∈I µi = µ V i∈I . But since ( ⋃ i∈I µi)(a) = ∨ µi(a) ≥ i, for every i ∈ I and a ∈ A, hence ∨ µi(a) ≥ ∨ i. Also ( ⋂ i∈I µi)(a) = ∧ µi(a) ≥ ∧ i. So ⋃ i∈I µi and ⋂ i∈I µi are fuzzy S-acts of the form α-cut. 2 Now by the above Lemma having the following definition is natural. Definition 3.1 Let µ : A → [0, 1] be a fuzzy S-act. Then we take < µ > to be ⋂ {ν : A → [0, 1] | µ ≤ ν and ν is a fuzzy S-act}. The fuzzy S-act < µ > is called the generated fuzzy S-act by µ. Theorem 3.2 Let S be an commutative semigroup and A(µ) be a fuzzy S-set of A. Then < µ >= ⋃ m∈S mµ. 57 M. Haddadi Proof. First we prove that ⋃ m∈S mµ is an fuzzy S-act. To do we show that ⋃ m∈S mµ(a) ≤ ⋃ m∈S mµ(na), for each n ∈ S. But ⋃ m∈S mµ(a) =∨ m∈S( ∨ mx=a µ(x)) and ⋃ m∈S mµ(na) = ∨ m∈S( ∨ mx=na µ(x)). But if mx = a, then mnx = nmx = na. Since µ(x) ≤ µ(nx), for every x ∈ A,⋃ m∈S mµ(a) ≤ ⋃ m∈S mµ(na). Now let A(ν) be a fuzzy S-act such that µ ≤ ν. Then for every m ∈ S we have mµ ≤ µ ≤ ν, see Theorem 2.1 for the first inequality, and hence⋃ m∈S mµ(a) ≤ ν(a), for every a ∈ A. 2 In the following we have some morte propeties about generated fuzzy S acts. Theorem 3.3 (1) << µ >>=< µ >. (2)< ⋃ i∈I µi >= ⋃ i∈I < µi > . Proof. (1) It is trivial by definition of generated fuzzy S-act. (2) By Theorem 3.2 we have < ⋃ i∈I µi > (a) = ∨ { ⋃ µi(x) | mx = a for some m ∈ M} = ∨ i∈I ∨ mx=a µi(x) = ⋃ i∈I < µi > (a) (1) for every a ∈ A. 2 Definition 3.2 Let A be an S-act and α ∈ [0, 1] and x ∈ A. Then by cyclic fuzzy S-act < xα > we mean: < xα > (a) = { α if a ∈ Sx 0 othrewise for every a ∈ A. Corolary 3.1 Let µ be a fuzzy S-act of an S-act A and x ∈ A. Then < xµ(x) > ≤ µ. Theorem 3.4 Let S be a monoid and µ be a fuzzy S-act of an S-act A. Then µ = ⋃ x∈A < xµ(x) >. Proof. ⋃ x∈A < xµ(x) > (a) = ∨ x∈A < xµ(x) > (a) = ∨ {µ(x) | a = mx for some m ∈ S}. But since 1Sa = a, µ(a) ≤ ∨ {µ(x) | a = mx for some m ∈ M}. Also since µ is a fuzzy S-act, µ(x) ≤ µ(mx). Hence we have µ(a) ≤ ∨ mx=a µ(x) ≤ µ(a), for every a ∈ A. that is⋃ x∈A < xµ(x) >= µ 2 58 Some algebraic properties of fuzzy S-acts Theorem 3.5 For every m ∈ S and every cyclic fuzzy S-act < xα > of A, m < xα >=< xα >. Proof. m < xα > (a) = ∨ {< xα > (y) | my = a} = { α if a ∈ Sx 0 otherwise =< xα > (a). 2 4 Decomposable and Indecomposable Fuzzy S-act Here we give a definition of indecomposable Fuzzy S-act and show that the cyclic fuzzy S-acts are indecomposable. We also see some properties of indecomposable fuzzy S-acts in this section. Definition 4.1 An fuzzy S-act µ 6= 0 of A is called decomposable whenever there exist two fuzzy S-acts ν,η 6= 0 of A such that ν,η ≤ µ and η ∨ν = µ, and η ∧ν = 0. Otherwise µ is called indecomposable. Theorem 4.1 Let S be a commutative monoid. Then every cyclic fuzzy S-act < xi > of A is indecomposable. Proof. Let < xi > be decomposable. Then there are fuzzy S-acts ν and η of A such that ν,η ≤< xi > and η ∨ ν =< xi >, and η ∧ ν = 0. So for every a ∈ A, η(a) ∧ ν(a) = 0 and η(a) ∨ ν(a) = { i ifa = mx 0 otherwise . Now let ν(m0x) = i. Then we claim that for every m ∈ S, ν(mx) = i and η(mx) = 0. Because if there exists m1 ∈ S such that η(m1x) = i, then η(m1m0x) = i and ν(m1m0x) = i, so η(m1m0x) ∧ν(m1m0x) = i 6= 0. 2 Definition 4.2 A fuzzy S-act A(µ) is called finitely generated whenever µ =< ⋃n i=1(xi)αi >, where αi ∈ [0, 1]. Theorem 4.2 Let f : A → B be an S-act homomorphism and A(µ) be an fuzzy S-act. Then Bf(µ) is finitely generated, if so is µ. 59 M. Haddadi Proof. To proof, we show that f(µ) =< ⋃n i=1 f((xi)αi ) >, where µ =<⋃n i=1(xi)αi >. For f(µ)(b) = ∨ {µ(a) | f(a) = b} = { ∨ j∈J⊆{1,...,n} αj f(xj) = b 0 otherwise = ⋃ i∈I f(< (xi)αi >)(b). 2 Lemma 4.1 Let G be a group. Then for every finitely generated fuzzy G-act A(µ), there exists a finite subsets {a1, . . . ,an} ⊆ [0, 1] and {x1, . . . ,xn} ⊆ A such that µ(O(xi)) = ai and O(xi) ∩ O(xj) = Ø, if i 6= j, where O(xi) is a notation for orbit of xi that is the set {gxi | g ∈ G. Proof. Since µ is finitely generated, µ =< ⋃n i=1(xi)ai ) > and since G is a group, O(xi) ∩O(xj) = Ø, if i 6= j. So µ(x) = { ai if x ∈ O(xi) 0 otherwise. 2 Theorem 4.3 Let f : A → B be an S-act homomorphism with commutative S, and A(µ) be an fuzzy S-act. Then f(µ) =< f(ν) >, if µ =< ν >. Proof. f(µ)(b) = ∨ {µ(a) | f(a) = b} = ∨ {(mν)(a) | m ∈ S, f(a) = b} by Theorem 3.2 = ∨ {ν(x) | m ∈ M,mx = a, f(a) = b} = ∨ {f(ν)(y) | m ∈ M, my = b} = ∨ m∈M mf(ν)(b) =< f(ν) > (b). 2 Theorem 4.4 Let {A(νi)}i∈I be a family of fuzzy S-act in which there is i0 ∈ I such that µi0 is indecomposable. Then ∨ µi is indecomposable. Proof. Let ∨ i∈I µi be decomposable. So there are ν1,ν2 ≤ ∨ i∈I µi such that ∨ i∈I µi = ν1 ∨ ν2 and ν1 ∧ ν2 = 0. Then µi0 = µi0 ∧ ( ∨ i∈I µi) = (µi0 ∧ν1) ∨ (µi0 ∧ν2) Also (µi0 ∧ν1) ∧ (µi0 ∧ν2) = µi0 ∧ (ν1 ∧ν2) = 0. 2 Corolary 4.1 The union of indecomposable fuzzy S-acts is indecomposable. 60 Some algebraic properties of fuzzy S-acts References [1] Belohlavek, Birkhoff variety theorem and fuzzy logic Arch. Math. Logic 42 (2003), 781790. [2] Belohlavek, R., Vychodil, V., Algebras with fuzzy equalities Fuzzy Sets and Systems 157 (2006), 161.201. [3] Bosnjak. I, R.Madarasz, G.Vojvodic Algebra of fuzzy sets, Fuzzy Sets and Systems 160 (2009), 29792988. [4] Ebrahimi, M.M., M. Mahmoudi, The category of M-sets. Ital. J. Pure Appl. Math. 9 (2001), 123-132. [5] M. Haddadi Fuzzy acts over fuzzy semigroups and summited [6] Kilp, M., U. Knauer, A. Mikhalev, Monoids, Acts and Categories, Wal- ter de Gruyter, Berlin, New York, 2000. [7] Lotfi A. Zadeh Fuzzy sets. Information and Control. 8 (1965), 338353. 61 62