VOL. 2, NO. 2, February 2012 ISSN ARPN Journal of Systems and Software AJSS Journal. All rights reserved
|
|
- Kristin Rogers
- 5 years ago
- Views:
Transcription
1 Some fuzzifications in ordered AG**-groupoid ¹ Faisal, ² Kifayat Ullah, ³ Abdul Haseeb, ⁴ Naveed Yaqoob Department of Mathematics, COMSATS Institute of Information Technology Abbottabad, K. P. K., Pakistan Department of Mathematics, Kohat University of Science & Technology, Kohat, K. P. K., Pakistan Department of Mathematics, Quaid-i-Azam University, Islamabad, Pakistan { 1 yousafzaimath@yahoo.com, 3 haseeb_yuz@yahoo.com, 2 kifayatmath@yahoo.com, 4 nayaqoob@ymail.com} ABSTRACT We have given the concept of fuzzy ordered AG**-groupoids and studied some important structural properties of a (2,2) regular ordered AG**-groupoid in terms of different fuzzy ideals. Keywords: Ordered AG**-groupoid, (2,2) regular ordered AG**-groupoid, left invertive law and fuzzy ideals. 1. INTRODUCTION The concept of fuzzy set was first proposed by Zadeh [14] in 1965, which has a wide range of applications in various fields such as computer engineering, artificial intelligence, control engineering, operation research, management science, robotics and many more. It gives us a tool to model the uncertainty present in phenomena that do not have sharp boundaries. Many papers on fuzzy sets have been appeared which shows the importance and its applications to set theory, algebra, real analysis, measure theory and topology etc. The concept of an Abel Grassmann's groupoid, abbreviated as an AG-groupoid was first introduced by Kazim and Naseeruddin in 1972 [2] and they have called it a left almost semi group (LA-semi group). An AGgroupoid may or may not contain a left identity. The left identity of an AG-groupoid allows us to introduce the inverses of elements in an AG-groupoid. An AG-groupoid [10] is a groupoid S holding the left invertive law (ab)c=(cb)a, for all a,b,c S (1) This left invertive law has been obtained by introducing braces on the left of ternary commutative law (ab)c=(cb)a. In an AG-groupoid, the medial law holds [2] (ab)(cd)=(ac)(bd), for all a,b,c,d S (2) If an AG-groupoid contains a left identity, then it is unique [7].In an AG-groupoid S with left identity [7], the paramedial law holds (ab)(cd)=(dc)(ba), for all a,b,c,d S (3) Further if an AG-groupoid contains a left identity, the following law holds [7] a(bc)=b(ac), for all a,b,c S (4) If an AG-groupoid (without left identity) satisfies (3), then it is called an AG**-groupoid. An AG**- groupoid also satisfies (4). An AG**-groupoid is the generalization of an AG-groupoid with left identity. Every AG-groupoid with left identity is an AG**-groupoid but the converse is not true in general. Let us consider an AG-groupoid with a binary operation * defined in the following cayley table. * It is easy to see that the above AG-groupoid is an AG**-groupoid but it does not contain a left identity. An AG-groupoid is a non-associative and noncommutative algebraic structure mid way between a groupoid and a commutative semi group. This structure is closely related with a commutative semi group, because if an AG-groupoid contains a right identity, then it becomes a commutative semi group [7]. The connection of a commutative inverse semi group with an AG-groupoid has been given in [8] as, a commutative inverse semi group (S, ) becomes an AG-groupoid (S,.) under a.b=b a ¹ for all a,b S. An AG-groupoid S with left identity becomes a semi group under the binary operation " " defined as, if for all x,y S, there exists a S such that x y=(xa)y [11]. An AG-groupoid is the generalization of a semi group theory [7] and has vast applications in collaboration with semi group like other branches of mathematics. The connection of AG-groupoids with the vector spaces over finite fields has been investigated in [3]. From the above discussion, we see that AGgroupoids have very closed links with semigroups and vector spaces which shows the importance and 58
2 applications of AG-groupoids. The concept of fuzzy ordered AG-groupoid was first given by Khan and Faisal in [4]. In this paper, we have given the concept of fuzzy ordered AG**-groupoid. An ordered AG**-groupoid (po-ag**-groupoid) is a structure (S,., ) in which the following conditions hold. (i) (S,.) is an AG**-groupoid. (ii) (S, ) is a poset. (iii) For all a,b,x S, a b ax bx and xa x b. Example 1: Consider an open interval Ro= (0, 1) of real numbers under the binary operation of multiplication. Define a b=ba ¹r ¹ for all a,b,r Ro, then it is easy to see that (Ro,, ) is an ordered AG**-groupoid under the usual order " ". This is a natural example of an ordered AG**-groupoid called a real ordered AG**-groupoid. Basic Definitions and Results In this section, we have given some basic definitions which are necessary for the subsequent sections. Throughout in this paper S will be considered as an ordered AG**-groupoid and F(S) will denote all the fuzzy subsets of S unless otherwise specified. A fuzzy subset or a fuzzy set of a non-empty set S is an arbitrary mapping f: S [0,1] where [0,1] is the unit segment of real line. The product of any fuzzy subsets f and g of S is defined by (f g)(x) = { (y,z) Ax {f(y) g(z)}, if x yz (Ax )}, and (f g)(x) = {0, if x yz (Ax= )}. The order relation between any two fuzzy subsets f and g of S is defined by f g iff f(x) g(x), for all x S The symbols f g and f g will mean the following fuzzy subsets of S (f g)(x) = f(x) g(x), for all x S and (f g)(x) = f(x) g(x), for all x S For A S, we define (A] = {t S \t a, for some a A} For A = {a}, we usually written as (a]. A subset A of S is called semiprime if a² A implies a A. A fuzzy subset f of S is called a fuzzy semiprime if f(a) f(a²), for all a in S. A non-empt y subset A of S is called a left (right) ideal of S if (i) SA A (AS A). (ii) If a A and b S such that b a, then b A. A non-empty subset A of S is called a two-sided ideal of S if it is both a left and a right ideal of S. A fuzzy subset f of S is called a fuzzy left (right) ideal of S if (ii) f(ab) f(b)(f(ab) f(a)),for all a,b S. A fuzzy subset f of S is called a fuzzy two-sided ideal of S if it is both a fuzzy left and a fuzzy right ideal of S. A fuzzy subset f of S is called a fuzzy AG**- subgroupoid of S if f(ab) f(a) f(b), for all a,b S. A fuzzy subset f of S is called a fuzzy generalized bi-ideal of S if (ii) f((xy)z) f(x) f(z), for all x,y,z S. A fuzzy AG**-subgroupoid f of S is called a fuzzy biideal of S if (ii) f((xy)z) f(x) f(z), for all x,y,z S. A fuzzy subset f of S is called a fuzzy interior ideal of S if (ii) f((xy)z) f(y), for all x,y,z S. A fuzzy AG**-subgroupoid f of S is called a fuzzy (1,2)-ideal of S if (ii) f((xa)(yz)) f(x) f(y) f(z), for all x,y,z S. A fuzzy subset f of S is called idempotent if f f. For A S, the characteristic function is defined by fa={1, if x A }, and fa={0, if x A } Note that S can be considered as a fuzzy subset of itself and we write S =fs i.e., f(x) =1, for all x S. Example 2: Let S= {a,b,c,d,e} be an ordered AG**- groupoid defined in the following multiplication table and order below.. a b c d e a a a a a a b a b b b b c a b d e c d a b c d e e a b e c d :={(a,a), (b,b), (c,c), (d,d), (e,e), (a,b)}. Define a fuzzy subset f of S as follows: f(a)=0.9, f(b)=f(c)=f(d)=f(e)=0.1, then it is easy to see that f is a fuzzy two-sided ideal of S. It is easy to observe that every fuzzy left (right) ideal of S is a fuzzy AG**-subgroupoid of S but the converse is not true in general which is discussed in the following. Let us define a fuzzy subset f of S as follows: f(a)=0.8, f(b)=0.2, f(c)=f(d)=f(e)=0.6, then f is a fuzzy AG**- subgroupoid of S but it is not a fuzzy left (right) ideal of S. Indeed f(bd) f(d) (f(db f(d))). 59
3 The following Proposition has the same proof as in [4]. Proposition: The set (F(S),, ) satisfies the following properties. (i) (F(S),, ) is an ordered AG**-groupoid. (ii) In (F(S),, ), (1) and (2) hold. Theorem 1: In S, the following properties hold. (i) (f g) (h k) = (h k) ( g k), for all f,g,h,k in F(S). (ii) f (g h) = g (f h), for all f,g,h in F(S). Proof (i): If Ax= for any x S, then ((f g) (h k))(x) = ((h k) (g k))(x). Let Ax, then there exist y and z in S such that (y,z) Ax. Therefore by using (4), we have ((f g) (h k))(x)= (y,z) Ax{(f g)(y) (h k)(z)} = (y,z) Ax{ (p,q) Ay{f(p) g(q)} (u,v) Az{h(u) k(v)}} = x (pq)(uv){f(p) g(q) h(u) k(v)} = x (vu)(qp){k(v) h(u) g(q) f(p)} = (m,n) Ax{ (v,u) Am{k(v) h(u)} (q,p) An {g(q) f(p)} } = (m,n) Ax{(k h)(m) (g f)(n)} =((h k) ( g k))(x). Thus, (f g) (h k) = (h k) ( g k), for all x,y S. (ii): It is simple. Theorem1 gives the analogous definitions of (3) and (4) in fuzzy context. Example 4: Let S={a,b,c,d,e} be an ordered AG**- groupoid defined in the following multiplication table and order below.. a b c d e a b a a a a b a b b b b c a b c d e d a b e c d e a b d e c :={(a,a), (b,c), (c,c), (b,d), (b,e), (d,d), (e,e), (b,b)}. It is easy to see that S is a (2,2) regular. Indeed for each x S there exists y S such that a ( x²y)x². Lemma 2: In a (2,2) regular S, f S= f and S f = f holds for every fuzzy two-sided ideal f of S. Proof: Let f be a fuzzy two-sided ideal of a (2,2) regular S, then for every a S there exists y S such that a (a²y) a². Now by using (5), (4) and (1), we have a (a²y)a² =x(aa) (ab)(aa) =(aa)(ba) =((ba)a)a, where a²y=x S. Thus (((ba)a),a) Aa, since Aa, therefore (f S)(a)= (((ba)a),a) Aa {f((ba)a) S(a)} f((ba)a) S(a) f(a) 1 Now by using Lemma 1, f S= f. Also [4]Lemma 1: Let f be a fuzzy subset of an ordered AG**- groupoid S, then f is a fuzzy left (right) ideal of S if and only if f satisfies the following. (i) x y f(x) f(y) for all x,y S. (ii) S f f (S f f). Semilattice structure In this section, we have proved that the set of all fuzzy two-sided ideals of a (2,2) regular ordered AG**- groupoid S forms a semilattice structure with identity S. An element a of S is called a (2,2) regular element of S if there exists y S such that a (a²y) a² and S is called (2,2) regular if every element of S is (2,2) regular. Note that in a (2,2) regular S, the following holds for all x S x yz. for some y,z S (5) (S f)(a) )= (((ba)a),a) Aa{S((ba)a) f(a)} S((ba)a) f(a) f(a) 1 Now by using Lemma 1, S f = f. Lemma 3: Let f and g be any fuzzy two-sided ideals of a (2,2 regular S, then f g= f g. Proof: Assume that f and g are any fuzzy two-sided ideals of S, then for every a S there exists y S such that a (a²y) a². Now by using (3), we have a (a²y)a² =x(aa) =a(xa), where a²y= x S. Thus (a,xa) Aa, since Aa, therefore 60
4 (f g)(a) = (a,xa) Aa{f(a) g(xa)} f(a) g(xa) f(a) g(a) =(f g)(a). Thus by using Lemma 1, we get f g= f g. Lemma4: Every fuzzy two-sided ideal f of a (2,2) regular S is idempotent. Proof: Let f be a fuzzy two-sided ideal of a (2,2) regular S. For every a S there exists y S such that a (a²y) a² and from Lemma 2, (((ba)a),a) Aa. Since Aa, therefore (f f)(a) = (((ba)a),a) Aa {f((ba)a) f(a)} f(a) f(a) Now by using Lemma 1, f f = f. Corollary: Every fuzzy left ideal of a (2,2) regular S is idempotent. Theorem 2: The set of fuzzy two-sided ideals of a (2,2)regular S forms a semilattice structure with identity S (2,2) regular S and let a S, then there exists y S such that a (a²y) a². Now by using (4), (1) and (3), we have a (a²y)a² =(a²y)(aa) =(aa)(ya²) =(aa)x=(xa)a (x((a²y)a²))a =(x((aa)(ya²)))a =(x((aa)x))a =((aa)(xx))a =((xx)(aa))a =(((aa)x)x)a =(((xa)a)x)a =(((x(((aa)y)(aa)))a)x)a =(((x((aa)(y(aa))))a)x)a =(((x((aa)x))a)x)a =((((aa)(xx))a)x)a =((((xx)(aa))a)x)a =(((a(x²a))a)x)a, where ya²=x S. Thus (((a(x²a))a)x,a) Aa, since Aa, therefore ((f S) f)(a)= (((a(x²a))a)x,a) Aa{(f S)(((a(x²a))a)x) f(a)} Proof: Let F be the set of all fuzzy two-sided ideals of a (2,2) regular S and let f,g,h be in F. Clearly F is closed and by Lemma 4, we have f f = f. Now by using Lemma 3, we get f g = g f. Therefore by using (3) and commutative law, we have (f g) h =(g f) h =(h f) g =(f h) g =(g h) f = f (g h). It is easy to see from Lemma 2 that S is an identity in F. Some fuzzy characterizations In this section, we have characterized fuzzy left (right) ideals, fuzzy two-sided ideals, fuzzy bi-ideals, fuzzy generalized bi-ideals, fuzzy (1,2)-ideals, fuzzy interior ideals and fuzzy quasi ideals of a (2,2) regular ordered AG**-groupoid. Lemma 5: A fuzzy subset f of S is a fuzzy AG**- subgroupoid of S if and only if f f f. Theorem 3: In a (2,2) regular S, the following statements are equivalent. (i) f is a fuzzy bi-(generalized bi-) ideal. (ii) (f S) f = f and f f. Proof: (i) (ii): Assume that f is a fuzzy bi-ideal of a (((a(x²a))a)x,a) Aa{f((a(x²a))a) S(x)} f(a) f((a(x²a))a) 1 f(a) f(a) f(a) f(a) Now by using (4), (1) and (3), we have a (a²y)a²=(aa)(ya²) =(aa)x=(xa)a (x((a²y)(aa)))a =(x((aa)(ya²)))a =(x((aa)x))a =((aa)(xx))a =((xx)(aa))a =(a(x²a))a, where ya²=x S. Thus ((a(x²a)),a) Aa, since Aa, therefore ((f S) f)(a)= ((a(x²a)),a) Aa{(f S)(a(x²a)) f(a)} = ((a(x²a)),a) Aa{ (a,x²a) Aa(x²a) f(a) S(x²a)} f(a) = ((a(x²a)),a) Aa{ (a,x²a) Aa(x²a) f(a)} f(a) = ((a(x²a)),a) Aa {f(a) f(a)} Thus (f S) f = f. Now by using (3), (1), (5) and (4), we have a (a²y)a²=(aa)(ya²) =(aa)x=(xa)a 61
5 (x((a²y)(aa)))a =(x((aa)(ya²)))a =(x((aa)x))a =((aa)(xx))a =((x²a)a)a ((x²((a²y)(aa)))a)a =((x²((aa)(ya²))a)a =((x²((aa)x)a)a =((x²((xa)a))a)a ((x²((xa)(bc)))a)a =((x²((cb)(ax)))a)a =((x²(a((cb)x)))a)a =((a(x²((cb)x)))a)a, where ya²=x S. Thus ((a(x²((cb)x)))a,a)) Aa, since Aa, therefore a (a²z)a² (xa²)y (6) An element a of S having the form (6) is called an intraregular element of S. In the same way, a (xa²)y (a²z)a² holds for some x,y,z S. This shows that the concepts of (2,2) regular and intra-regular coincide in S. Equivalent statements In this section, we have studied the structural properties of fuzzy left (right) ideals, fuzzy two-sided ideals, fuzzy bi-ideals, fuzzy generalized bi-ideals, fuzzy (1,2)-ideals, fuzzy interior ideals and fuzzy quasi ideals of a (2,2) regular ordered AG**-groupoid and shown that all these fuzzy ideals coincide in a (2,2) regular ordered AG**-groupoid and given an equivalent statement. (f f)(a)= ((a(x²((cb)x)))a,a)) Aa{f((a(x²((cb)x)))a) f(a)} f((a(x²((cb)x)))a) f(a) f(a) f(a) f(a) =f(a), thus by using Lemma 5, f f = f. (ii) (i): Let f be a fuzzy subset of a (2,2) regular S, then f((xy)z)=((f S) f)((xy)z) = (xy,z) A(xy)z{(f S)(xy) f(z)} (x,y) Axy{f(x) S(y)} f(z) f(x) 1 f(z) =f(x) f(z) Since f f = f, therefore by Lemma 5, f is a fuzzy AG**- subgroupoid of a (2,2) regular S. This shows that f is a fuzzy bi ideal of a (2,2) regular S. Theorem 4: In a (2,2) regular S, the following statements are equivalent. (i) f is a fuzzy interior ideal. (ii) (S f ) f = f. Theorem 5: In a (2,2) regular S, the following statements are equivalent. (i) f is a fuzzy (1,2)-ideal. (ii) (f S) (f f) = f and f f. Remark: An element a of S is called a (2,2) regular element of S if there exist some x,y,z S such that a (a²z)a² (xa²)y Indeed by using (5) and (4), we have a (a²z)a² ((aa)(ab))(aa) =((ba)(aa))a² =(xa²)y, where ba= x S and a²= y S. Lemma 6: A fuzzy subset f of a (2,2) regular S is a fuzzy right ideal of a (2,2) regular S if and only if it is a fuzzy left ideal of a (2,2) regular S. Proof: Assume that f is a fuzzy right ideal of S. Since S is a (2,2) regular so for each S there exist x,y S such that a (xa²)y. Now by using (1), we have f(ab) f(((xa²)y)b) =f((by)(xa²)) f(by) f(b). Conversely, assume that f is a fuzzy left ideal of S. Now by using (1), we have f(ab) f(((xa²)y)b) =f((by)(x(aa))) f(x(aa)) f(aa) f(a). Theorem 7: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy (1,2)-ideal. (ii) f is a fuzzy two-sided ideal. Proof: (i) (ii): Assume that f is a fuzzy (1,2)-ideal of a (2,2) regular S and let a S, then there exist y,z S such that a (ya²)z Now by using (3), (4) and (1), we have f(xa) f(x((ya²)z)) =f((y(aa))(xz)) =f((a(ya))(xz)) f((((ya²)(ez))(ya))(xz)) =f((((ze)(a²y))(ya))(xz)) =f(((a²((ze)y))(ya))(xz)) =f(((ay)(((ze)y)(aa)))(xz)) =f(((ay)((aa)(y(ze))))(xz)) =f((a²((ay)(y(ze))))(xz)) =f(((xz)((ay)(y(ze))))a²) f(((xz)(((yz)(ya²))(y(ze))))a²) =f(((xz)(((yz)(a(ya)))(y(ze))))a²) =f(((xz)((a((yz)(ya)))(y(ze))))a²) 62
6 =f((a(((xz)((yz)(ya)))(y(ze))))(aa)) f(a) f(a) f(a) This shows that f is a fuzzy left ideal of a (2,2) regular S and by using Lemma 6, f is a fuzzy two-sided ideal of a (2,2) regular S (ii) (i) is obvious. Theorem 6: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy two-sided ideal. (ii) f is a fuzzy interior ideal. Proof: (i) (ii): Let f be any fuzzy two-sided ideal of a (2,2) regular S, then obviously f is a fuzzy interior ideal of a (2,2) regular S. (ii) (i): Let f be any fuzzy interior ideal of a (2,2) regular S and let a,b S. Since S is (2,2) regular, so there exist x,y,u,v S such that a (xa²)y and b (ub²)v. Thus by using (1), (3) and (2), we have f(ab) f((xa²)y)b) =f((by)(x(aa))) =f((by)(a(xa))) =f((ba)(y(xa))) f(a). Also by using (3), (4) and (2), we have f(ab) f(a((ub²)v)) =f((u(bb))(av)) =f((b(ub))(av)) =f((va)((ub)b)) =f((ub)((va)b)) f(b). Hence f is a fuzzy two-sided ideal of a (2,2) regular S. Theorem 8: A fuzzy subset f of a (2,2) regular S is a fuzzy two-sided ideal if and only if it is a fuzzy quasi ideal. Theorem 9: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy bi- ideal. (ii) f is a fuzzy generalized bi- ideal. Proof: (i) (ii): Let f be any fuzzy bi-ideal of a (2,2) regular S, then obviously f is a fuzzy generalized bi-ideal of S. (ii) (i): Let f be any fuzzy generalized bi-ideal of a (2,2) regular S, and a,b S. Since S is a (2,2) regular so there exist x,y S such that a (xa²)y. Now by using (5), (4), (2) and (3), we have f(ab) f(((x(aa))y)b) =f(((x(aa))(uv))b) =f(((vu)((aa)x))b) =f(((aa)((vu)x))b) =f(((x(vu))(aa))b) =f((a((x(vu))a))b) f(a) f(b). Therefore f is a fuzzy bi-ideal of a (2,2) regular S. Theorem 10: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy two-sided. (ii) f is a fuzzy bi- ideal. Proof: (i) (ii): Let f be any fuzzy two- sided ideal of a (2,2) regular S, then obviously f is a fuzzy bi-ideal of S. (ii) (i): Let f be any fuzzy bi-ideal of a (2,2) regular S. Since S is a (2,2) regular so for each a,b S there exist x,y,u,v S such that a (xa²)y and b (ub²)v. Now by using (1), (4), (2) and (3), we have f(ab) f(((xa²)y)b) =f((by)(xa²)) =f((a²x)(yb)) =f(((yb)x)(aa)) =f((aa)(x(yb))) =f(((x(yb))a)a) f(((x(yb))((xa²)y))a) =f(((xa²)((x(yb))y))a) =f(((y(x(yb)))(a²x))a) =f(((aa)((y(x(yb)))x))a) =f(((x(y(x(yb))))(aa))a) =f((a((x(y(x(yb))))a))a) f(a) f(a) Now by using (3), (4) and (1), we have f(ab) f(a(ub²)v) =f((ub²)(av)) =f((va)(b²u)) =f((bb)((va)u)) =f((((va)u)b)b) f((((va)u)((ub²)v))b) =f(((ub²)(((va)u)v))b) =f(((v((va)u))(b²u))b) =f(((bb)((v((va)u))u))b) =f(((u(v((va)u)))(bb))b) =f((b((u(v((va)u)))b))b) f(b) f(b) =f(b). Therefore f is a fuzzy two-sided ideal of a (2,2) regular S. Theorem 11: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy left ideal of a (2,2) regular S. (ii) f is a fuzzy right ideal of a (2,2) regular S. (iii) f is a fuzzy (1,2)-ideal of a (2,2) regular S. (iv) f is a fuzzy two-sided ideal of a (2,2) regular S. (v) f is a fuzzy bi-ideal of a (2,2) regular S. (vi) f is a fuzzy generalized bi-ideal of a (2,2) regular S. (vii) f is a fuzzy interior ideal of a (2,2) regular S. (viii) f is a fuzzy quasi ideal of a (2,2) regular S. (ix) S f = f S = S. 63
7 Proof: (i) (ix): It follows from Lemma 2. (ix) (viii) is obvious and (viii) (vii) is simple. (vii) (vi): It follows from Theorems 6, 10 and 9. (vi) (v): It follows from Theorem 9. (v) (iv): It follows from Theorem 10. (iv) (iii): It follows from Theorem 7. (iii) (ii) and (ii) (i) can be followed from Theorem 7 and Lemma 6. REFERENCES [1] C. L.Chang, Fuzzy topological spaces, J. Math. Anal. Appl, 24 (1968), [2] M. A. Kazim and M. Naseeruddin, On almost semigroups, The Alig. Bull. Math., 2 (1972), 1-7. [3] Madad Khan, Some studies in AG*- groupoids, Ph. D., thesis, Quaid-i-Azam University, Islamabad, Pakistan, (2008). [4] Madad Khan and Faisal, On fuzzy ordered Abel Grassmann's groupoids, Journal of Mathematics Research, 3 (2011), [5] N. Kuroki, Fuzzy bi-ideals in semigroups, Comment. Math. Univ. St. Pauli, 27 (1979), [6] J. N. Mordeson, D. S. Malik and N. Kuroki, Fuzzy semigroups. Springer-Verlag, Berlin, Germany (2003). [7] Q. Mushtaq and S. M. Yusuf, On LA-semigroups, The Alig. Bull. Math., (1978), [8] Q. Mushtaq and S. M. Yusuf, On LA-semigroup defined by a commutative inverse semigroup. Math. Bech., 40 (1988), [9] M. Naseeruddin, Some studies in almost semigroups and flocks, Ph.D., thesis. Aligarh Muslim University, Aligarh, India, (1970). [10] P. V. Protić and N. Stevanović, AG-test and some general properties of Abel-Grassmann's groupoids, PU. M. A., 6 (1995), [11] N. Stevanović and P. V. Protić, Composition of Abel- Grassmann's 3-bands, Novi Sad, J. Math., 2 (2004), [12] A. Rosenfeld, Fuzzy groups, J. Math. Anal. Appl., 35 (1971), [13] X. Y. Xie and J. Tang, Fuzzy radicals and prime fuzzy ideals of ordered semigroups,inform. Sci., 178 (2008), [14] L. A. Zadeh, Fuzzy sets. Inform. control 8 (1965),
Characterizations of Intra-Regular Left Almost Semigroups by Their Fuzzy Ideals
Characterizations of Intra-Regular Left Almost Semigroups by Their Fuzzy Ideals Madad Khan Department of Mathematics, COMSATS Institute of Information Technology Abbottabad, Pakistan E-mail: madadmath@yahoo.com
More informationON (m, n)-ideals OF AN ORDERED ABEL-GRASSMANN GROUPOID. Faisal Yousafzai, Asad Khan, and Aiyared Iampan
Korean J. Math. 23 (2015), No. 3, pp. 357 370 http://dx.doi.org/10.11568/kjm.2015.23.3.357 ON (m, n)-ideals OF AN ORDERED ABEL-GRASSMANN GROUPOID Faisal Yousafzai, Asad Khan, and Aiyared Iampan Abstract.
More informationCharacterizations of Abel-Grassmann's Groupoids by Intuitionistic Fuzzy Ideals
World pplied Sciences Journal 7 (1): 154-1530, 013 ISSN 1818-495 IDOSI Publications, 013 DOI: 10.589/idosi.wasj.013.7.1.67 Characterizations of bel-grassmann's Groupoids by Intuitionistic Fuzzy Ideals
More informationOn (m,n)-ideals in LA-Semigroups
Applied Mathematical Sciences, Vol. 7, 2013, no. 44, 2187-2191 HIKARI Ltd, www.m-hikari.com On (m,n)-ideals in LA-Semigroups Muhammad Akram University of Gujrat Gujrat, Pakistan makram 69@yahoo.com Naveed
More informationA note on an Abel-Grassmann's 3-band. 1. Introduction
Quasigroups and Related Systems 15 (2007), 295 301 A note on an Abel-Grassmann's 3-band Qaiser Mushtaq and Madad Khan Abstract An Abel-Grassmann's groupoid is discussed in several papers. In this paper
More informationarxiv: v1 [math.ra] 25 May 2013
Quasigroups and Related Systems 20 (2012), 203 209 Congruences on completely inverse AG -groupoids Wieslaw A. Dudek and Roman S. Gigoń arxiv:1305.6858v1 [math.ra] 25 May 2013 Abstract. By a completely
More informationOn Uni-soft (Quasi) Ideals of AG-groupoids
Applied Mathematical Sciences, Vol. 8, 2014, no. 12, 589-600 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2014.310583 On Uni-soft (Quasi) Ideals of AG-groupoids Muhammad Sarwar and Abid
More informationarxiv: v1 [math.gr] 20 Mar 2014
SOME GENERAL PROPERTIES OF LAD AND RAD AG-GROUPOIDS arxiv:1403.5218v1 [math.gr] 20 Mar 2014 M. RASHAD A, I. AHMAD A,, AND M. SHAH 2010 Mathematics Subject Classification: 20N02 Abstract. A groupoid that
More informationarxiv: v1 [math.gr] 5 Oct 2015
ON CYCLIC ASSOCIATIVE ABEL-GRASSMAN GROUPOIDS M. IQBAL A, I. AHMAD A, M. SHAH B, AND M. IRFAN ALI C arxiv:1510.01316v1 [math.gr] 5 Oct 2015 Abstract. A new subclass of AG-groupoids, so called, cyclic associative
More informationOn Γ-Ideals and Γ-Bi-Ideals in Γ-AG-Groupoids
International Journal of Algebra, Vol. 4, 2010, no. 6, 267-276 On Γ-Ideals and Γ-Bi-Ideals in Γ-AG-Groupoids Tariq Shah and Inayatur Rehman Department of Mathematics, Quaid-i-Azam University, Islamabad-Pakistan
More informationarxiv: v1 [math.gr] 21 Feb 2014
LEFT TRANSITIVE AG-GROUPOIDS M. RASHAD, I. AHMAD, AND M. SHAH arxiv:1402.5296v1 [math.gr] 21 Feb 2014 Abstract. An AG-groupoid is an algebraic structure that satisfies the left invertive law: (ab)c = (cb)a.
More informationLeft almost semigroups dened by a free algebra. 1. Introduction
Quasigroups and Related Systems 16 (2008), 69 76 Left almost semigroups dened by a free algebra Qaiser Mushtaq and Muhammad Inam Abstract We have constructed LA-semigroups through a free algebra, and the
More informationSome Structural Properties of AG-Groups
International Mathematical Forum, Vol. 6, 2011, no. 34, 1661-1667 Some Structural Properties of AG-Groups Muhammad Shah and Asif Ali Department of Mathematics Quaid-i-Azam University Islamabad, Pakistan
More informationSANDWICH SETS AND CONGRUENCES IN COMPLETELY INVERSE AG -GROUPOIDS
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (822 838) 822 SANDWICH SETS AND CONGRUENCES IN COMPLETELY INVERSE AG -GROUPOIDS Waqar Khan School of Mathematics and Statistics Southwest University
More informationA Note on UNAR LA-Semigroup
Punjab University Journal of Mathematics (ISSN 1016-2526) Vol. 50(3)(2018) pp. 113-121 A Note on UNAR LA-Semigroup Muhammad Rashad Department of Mathematics, University of Malakand, Pakistan, Email: rashad@uom.edu.pk
More informationDECOMPOSITION OF LOCALLY ASSOCIATIVE Γ-AG-GROUPOIDS 1
Novi Sad J. Math. Vol. 43, No. 1, 2013, 1-8 DECOMPOSITION OF LOCALLY ASSOCIATIVE Γ-AG-GROUPOIDS 1 Tariq Shah 2 and Inayatur-Rehman 3 Abstract. It is well known that power associativity and congruences
More informationCharacterizations of Regular Semigroups
Appl. Math. Inf. Sci. 8, No. 2, 715-719 (2014) 715 Applied Mathematics & Information Sciences An International Journal http://dx.doi.org/10.12785/amis/080230 Characterizations of Regular Semigroups Bingxue
More informationNOWADAYS we are facing so many problems in practical
INTERNATIONAL JOURNAL OF MATHEMATICS AND SCIENTIFIC COMPUTING (ISSN: 2231-5330), VOL. 5, NO. 1, 2015 60 Uni-Soft Ideals of Ternary Semigroups Abid Khan and Muhammad Sarwar Abstract In this paper we introduce
More informationMath-Net.Ru All Russian mathematical portal
Math-Net.Ru All Russian mathematical portal N. Kehayopulu, M. Tsingelis, Fuzzy interior ideals in ordered semigroups, Lobachevskii J. Math., 2006, Volume 21, 65 71 Use of the all-russian mathematical portal
More informationOn relations between right alternative and nuclear square AG-groupoids
International Mathematical Forum, Vol. 8, 2013, no. 5, 237-243 On relations between right alternative and nuclear square AG-groupoids Muhammad Rashad, Imtiaz Ahmad, Amanullah Department of Mathematics
More informationSemigroups characterized by the properties of (α, β) -fuzzy ideals. Saleem Abdullah, Muhammad Aslam, Bijan Davvaz
Annals of Fuzzy Mathematics and Informatics Volume 9, No. 1, January 015), pp. 43 63 ISSN: 093 9310 print version) ISSN: 87 635 electronic version) http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com
More informationSongklanakarin Journal of Science and Technology SJST R1 Yaqoob. Hyperideals and Hypersystems in LA-hyperrings
Songklanakarin Journal of Science and Technology SJST-0-0.R Yaqoob Hyperideals and Hypersystems in LA-hyperrings Journal: Songklanakarin Journal of Science and Technology Manuscript ID SJST-0-0.R Manuscript
More informationAnti fuzzy ideals of ordered semigroups
International Research Journal of Applied and Basic Sciences 2014 Available online at www.irjabs.com ISSN 2251-838X / Vol, 8 (1): 21-25 Science Explorer Publications Anti fuzzy ideals of ordered semigroups
More informationA New Generalization of Fuzzy Ideals of Ternary Semigroups
Appl Math Inf Sci 9, No 3, 1623-1637 2015 1623 Applied Mathematics & Information Sciences An International Journal http://dxdoiorg/1012785/amis/090359 A New Generalization of Fuzzy Ideals of Ternary Semigroups
More informationNeutrosophic Left Almost Semigroup
18 Neutrosophic Left Almost Semigroup Mumtaz Ali 1*, Muhammad Shabir 2, Munazza Naz 3 and Florentin Smarandache 4 1,2 Department of Mathematics, Quaid-i-Azam University, Islamabad, 44000,Pakistan. E-mail:
More informationHyperideals and hypersystems in LA-hyperrings
Songklanakarin J. Sci. Technol. 39 (5), 651-657, Sep. - Oct. 017 http://www.sjst.psu.ac.th Original Article Hyperideals and hypersystems in LA-hyperrings Inayatur Rehman 1, Naveed Yaqoob *, and Shah Nawaz
More informationSome Innovative Types of Fuzzy Bi-Ideals in Ordered Semigroups
Copyright 2015 American Scientific Publishers All rights reserved Printed in the United States of America Journal of Advanced Mathematics and Applications Vol. 4, 1 13, 2015 Some Innovative Types of Fuzzy
More informationAbel-Grassmann s bands. 1. Introduction
Quasigroups and Related Systems 11 (2004), 95 101 Abel-Grassmann s bands Petar V. Protić and Nebojša Stevanović Abstract Abel-Grassmann s groupoids or shortly AG-groupoids have been considered in a number
More informationA NOTE ON MULTIPLIERS OF SUBTRACTION ALGEBRAS
Hacettepe Journal of Mathematics and Statistics Volume 42 (2) (2013), 165 171 A NOTE ON MULTIPLIERS OF SUBTRACTION ALGEBRAS Sang Deok Lee and Kyung Ho Kim Received 30 : 01 : 2012 : Accepted 20 : 03 : 2012
More informationSome Pre-filters in EQ-Algebras
Available at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Vol. 12, Issue 2 (December 2017), pp. 1057-1071 Applications and Applied Mathematics: An International Journal (AAM) Some Pre-filters
More informationFuzzy soft set approach to ideal theory of regular AG-groupoids
DOI: 10.1515/auom-2016-0015 An. Şt. Univ. Ovidius Constanţa Vol. 24(1),2016, 263 288 Fuzzy soft set approach to ideal theory of regular AG-groupoids Feng Feng, Madad Khan, Violeta Leoreanu-Fotea, aima
More informationINTUITIONISTIC FUZZY IDEALS OF LA-SEMIGROUPS.
INTUITIONISTIC FUZZY IDEALS OF LA-SEMIGROUPS. MUHAMMAD ASLAM AND SALEEM ABDULLAH Abstract. e consider the intuitionistic fuzzi cation of the concept of several ideals in LA-semigroup S, investigate some
More informationON T-FUZZY GROUPS. Inheung Chon
Kangweon-Kyungki Math. Jour. 9 (2001), No. 2, pp. 149 156 ON T-FUZZY GROUPS Inheung Chon Abstract. We characterize some properties of t-fuzzy groups and t-fuzzy invariant groups and represent every subgroup
More informationarxiv: v2 [math.gr] 10 Feb 2015
ENUMERATION OF BI-COMMUTATIVE-AG-GROUPOIDS M. RASHAD A, I. AHMAD A,, M. SHAH B, AND A. B. SAEID C arxiv:1403.5393v2 [math.gr] 10 Feb 2015 Abstract. We introduce left, right and bi-commutative AG-groupoids.
More informationOn Regularity of Incline Matrices
International Journal of Algebra, Vol. 5, 2011, no. 19, 909-924 On Regularity of Incline Matrices A. R. Meenakshi and P. Shakila Banu Department of Mathematics Karpagam University Coimbatore-641 021, India
More informationIntuitionistic L-Fuzzy Rings. By K. Meena & K. V. Thomas Bharata Mata College, Thrikkakara
Global Journal of Science Frontier Research Mathematics and Decision Sciences Volume 12 Issue 14 Version 1.0 Type : Double Blind Peer Reviewed International Research Journal Publisher: Global Journals
More informationA GENERALIZATION OF BI IDEALS IN SEMIRINGS
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 8(2018), 123-133 DOI: 10.7251/BIMVI1801123M Former BULLETIN
More informationEnumerating AG-Groups with a Study of Smaradache AG-Groups
International Mathematical Forum, Vol. 6, 2011, no. 62, 3079-3086 Enumerating AG-Groups with a Study of Smaradache AG-Groups Muhammad Shah 1 Department of Mathematics Quaid-i-Azam University, Pakistan
More informationATANASSOV S INTUITIONISTIC FUZZY SET THEORY APPLIED TO QUANTALES
Novi Sad J. Math. Vol. 47, No. 2, 2017, 47-61 ATANASSOV S INTUITIONISTIC FUZZY SET THEORY APPLIED TO QUANTALES Bijan Davvaz 1, Asghar Khan 23 Mohsin Khan 4 Abstract. The main goal of this paper is to study
More informationMadad Khan Florentin Smarandache Saima Anis. Theory of Abel Grassmann's Groupoids
Educational Publisher Columbus 015 Madad Khan Florentin Smarandache Saima Anis Theory of Abel Grassmann's Groupoids Peer Reviewers: Prof. Rajesh Singh, School of Statistics, DAVV, Indore (M.P.), India.
More information@FMI c Kyung Moon Sa Co.
Annals of Fuzzy Mathematics and Informatics Volume 4, No. 2, October 2012), pp. 365 375 ISSN 2093 9310 http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com On soft int-groups Kenan Kaygisiz
More informationCharacterization of ternary semigroups in terms of (, q k ) ideals
Mathematica Aeterna, Vol., 01, no. 3, 7-46 Characterization of ternary semigroups in terms of (, q k ) ideals Anwar Zeb Department of Mathematics, University of Malakand, Chakdara Dir(L), Khyber Pakhtunkhwa,
More informationStructure and Study of Elements in Ternary Γ- Semigroups
From the SelectedWorks of Innovative Research Publications IRP India Spring April, 205 Structure and Study of Elements in Ternary Γ- Semigroups Innovative Research Publications, IRP India, Innovative Research
More informationPRIME RADICAL IN TERNARY HEMIRINGS. R.D. Giri 1, B.R. Chide 2. Shri Ramdeobaba College of Engineering and Management Nagpur, , INDIA
International Journal of Pure and Applied Mathematics Volume 94 No. 5 2014, 631-647 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v94i5.1
More informationIntuitionistic Fuzzy Hyperideals in Intuitionistic Fuzzy Semi-Hypergroups
International Journal of Algebra, Vol. 6, 2012, no. 13, 617-636 Intuitionistic Fuzzy Hyperideals in Intuitionistic Fuzzy Semi-Hypergroups K. S. Abdulmula and A. R. Salleh School of Mathematical Sciences,
More informationFactorization of weighted EP elements in C -algebras
Factorization of weighted EP elements in C -algebras Dijana Mosić, Dragan S. Djordjević Abstract We present characterizations of weighted EP elements in C -algebras using different kinds of factorizations.
More informationSEMIRINGS SATISFYING PROPERTIES OF DISTRIBUTIVE TYPE
proceedings of the american mathematical society Volume 82, Number 3, July 1981 SEMIRINGS SATISFYING PROPERTIES OF DISTRIBUTIVE TYPE ARIF KAYA AND M. SATYANARAYANA Abstract. Any distributive lattice admits
More informationArithmetic Operations. The real numbers have the following properties: In particular, putting a 1 in the Distributive Law, we get
MCA AP Calculus AB Summer Assignment The following packet is a review of many of the skills needed as we begin the study of Calculus. There two major sections to this review. Pages 2-9 are review examples
More informationOn generalized fuzzy sets in ordered LA-semihypergroups
Proceedings of the Estonian Academy of Sciences, 2019, 68, 1, 43 54 https://doi.org/10.3176/proc.2019.1.06 Available online at www.eap.ee/proceedings On generalized fuzzy sets in ordered LA-semihypergroups
More informationConstructions of Q-BI Fuzzy Ideals Over Sub Semi- Groups with Respect to (T,S) Norms
International Journal of Computational Science Mathematics. ISSN 0974-3189 Volume 2, Number 3 (2010), pp. 217--223 International Research Publication House http://www.irphouse.com Constructions of Q-BI
More informationAlgebraic Expressions
Algebraic Expressions 1. Expressions are formed from variables and constants. 2. Terms are added to form expressions. Terms themselves are formed as product of factors. 3. Expressions that contain exactly
More informationON STRUCTURE OF KS-SEMIGROUPS
International Mathematical Forum, 1, 2006, no. 2, 67-76 ON STRUCTURE OF KS-SEMIGROUPS Kyung Ho Kim Department of Mathematics Chungju National University Chungju 380-702, Korea ghkim@chungju.ac.kr Abstract
More informationSome results on the reverse order law in rings with involution
Some results on the reverse order law in rings with involution Dijana Mosić and Dragan S. Djordjević Abstract We investigate some necessary and sufficient conditions for the hybrid reverse order law (ab)
More informationON HOW TO CONSTRUCT LEFT SEMIMODULES FROM THE RIGHT ONES
italian journal of pure and applied mathematics n. 32 2014 (561 578) 561 ON HOW TO CONSTRUCT LEFT SEMIMODULES FROM THE RIGHT ONES Barbora Batíková Department of Mathematics CULS Kamýcká 129, 165 21 Praha
More informationCHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and
CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)
More informationCHAPTER 4. βs as a semigroup
CHAPTER 4 βs as a semigroup In this chapter, we assume that (S, ) is an arbitrary semigroup, equipped with the discrete topology. As explained in Chapter 3, we will consider S as a (dense ) subset of its
More informationarxiv:math/ v2 [math.ct] 21 Feb 2007
1 INTRODUCTION TO ANN-CATEGORIES Nguyen Tien Quang arxiv:math/0702588v2 [math.ct] 21 Feb 2007 Abstract. In this paper, we present new concepts of Ann-categories, Ann-functors, and a transmission of the
More informationarxiv: v1 [math.ra] 24 Aug 2016
Characterizations and representations of core and dual core inverses arxiv:1608.06779v1 [math.ra] 24 Aug 2016 Jianlong Chen [1], Huihui Zhu [1,2], Pedro Patrício [2,3], Yulin Zhang [2,3] Abstract: In this
More informationChapter 2 Combinational Logic Circuits
Logic and Computer Design Fundamentals Chapter 2 Combinational Logic Circuits Part 1 Gate Circuits and Boolean Equations Chapter 2 - Part 1 2 Chapter 2 - Part 1 3 Chapter 2 - Part 1 4 Chapter 2 - Part
More informationClosure operators on sets and algebraic lattices
Closure operators on sets and algebraic lattices Sergiu Rudeanu University of Bucharest Romania Closure operators are abundant in mathematics; here are a few examples. Given an algebraic structure, such
More informationPrime and Semiprime Bi-ideals in Ordered Semigroups
International Journal of Algebra, Vol. 7, 2013, no. 17, 839-845 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.310105 Prime and Semiprime Bi-ideals in Ordered Semigroups R. Saritha Department
More informationANNIHILATOR IDEALS IN ALMOST SEMILATTICE
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 7(2017), 339-352 DOI: 10.7251/BIMVI1702339R Former BULLETIN
More informationON QUASI-ZERO DIVISOR GRAPHS OF NON-COMMUTATIVE RINGS. Communicated by S. Alikhani
Algebraic Structures and Their Applications Vol. 5 No. 2 (2018 ) pp 1-13. ON QUASI-ZERO DIVISOR GRAPHS OF NON-COMMUTATIVE RINGS RAZIEH AMIRJAN AND EBRAHIM HASHEMI Communicated by S. Alikhani Abstract.
More informationSOFT IDEALS IN ORDERED SEMIGROUPS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 58, No. 1, 2017, Pages 85 94 Published online: November 11, 2016 SOFT IDEALS IN ORDERED SEMIGROUPS E. H. HAMOUDA Abstract. The notions of soft left and soft
More informationVAGUE groups are studied by M. Demirci[2]. R.
I-Vague Normal Groups Zelalem Teshome Wale Abstract The notions of I-vague normal groups with membership and non-membership functions taking values in an involutary dually residuated lattice ordered semigroup
More informationA Study on Intuitionistic Multi-Anti Fuzzy Subgroups
A Study on Intuitionistic Multi-Anti Fuzzy Subgroups R.Muthuraj 1, S.Balamurugan 2 1 PG and Research Department of Mathematics,H.H. The Rajah s College, Pudukkotta622 001,Tamilnadu, India. 2 Department
More informationON FUZZY TOPOLOGICAL BCC-ALGEBRAS 1
Discussiones Mathematicae General Algebra and Applications 20 (2000 ) 77 86 ON FUZZY TOPOLOGICAL BCC-ALGEBRAS 1 Wies law A. Dudek Institute of Mathematics Technical University Wybrzeże Wyspiańskiego 27,
More informationarxiv: v1 [math.gr] 26 Jun 2017
Idempotent ordered semigroup arxiv:1706.08213v1 [math.gr] 26 Jun 2017 K. Hansda Department of Mathematics, Visva-Bharati University, Santiniketan, Bolpur - 731235, West Bengal, India kalyanh4@gmail.com
More informationAnjan K. Bhuniya. and. Kanchan Jana
Discussiones Mathematicae General Algebra and Applications 31 (2011) 5 23 BI-IDEALS IN k-regular AND INTRA k-regular SEMIRINGS Anjan K. Bhuniya Department of Mathematics Visva-Bharati, Santiniketan 731235,
More informationPure Mathematical Sciences, Vol. 1, 2012, no. 3, On CS-Algebras. Kyung Ho Kim
Pure Mathematical Sciences, Vol. 1, 2012, no. 3, 115-121 On CS-Algebras Kyung Ho Kim Department of Mathematics Korea National University of Transportation Chungju 380-702, Korea ghkim@ut.ac.kr Abstract
More informationSongklanakarin Journal of Science and Technology SJST R1 Yaqoob
On (, qk)-intuitionistic (fuzzy ideals, fuzzy soft ideals) of subtraction algebras Journal: Songklanakarin Journal of Science Technology Manuscript ID: SJST-0-00.R Manuscript Type: Original Article Date
More informationChapter 2 Groups: Introductory Concepts
Chapter 2 Groups: Introductory Concepts Groups serve as one of the fundamental building blocks for the subject called today modern algebra. This chapter gives an introduction to the group theory and closely
More informationGLOBAL JOURNAL OF ENGINEERING SCIENCE AND RESEARCHES ON LEFT BIDERIVATIONS IN SEMIPRIME SEMIRING U. Revathy *1, R. Murugesan 2 & S.
GLOBAL JOURNAL OF ENGINEERING SCIENCE AND RESEARCHES ON LEFT BIDERIVATIONS IN SEMIPRIME SEMIRING U. Revathy *1, R. Murugesan 2 & S. Somasundaram 3 *1 Register Number: 11829, Thiruvalluvar College, Affiliation
More informationDEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY
HANDOUT ABSTRACT ALGEBRA MUSTHOFA DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY 2012 BINARY OPERATION We are all familiar with addition and multiplication of two numbers. Both
More informationL fuzzy ideals in Γ semiring. M. Murali Krishna Rao, B. Vekateswarlu
Annals of Fuzzy Mathematics and Informatics Volume 10, No. 1, (July 2015), pp. 1 16 ISSN: 2093 9310 (print version) ISSN: 2287 6235 (electronic version) http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com
More information370 Y. B. Jun generate an LI-ideal by both an LI-ideal and an element. We dene a prime LI-ideal, and give an equivalent condition for a proper LI-idea
J. Korean Math. Soc. 36 (1999), No. 2, pp. 369{380 ON LI-IDEALS AND PRIME LI-IDEALS OF LATTICE IMPLICATION ALGEBRAS Young Bae Jun Abstract. As a continuation of the paper [3], in this paper we investigate
More informationSYMMETRIC ALGEBRAS OVER RINGS AND FIELDS
SYMMETRIC ALGEBRAS OVER RINGS AND FIELDS THOMAS C. CRAVEN AND TARA L. SMITH Abstract. Connections between annihilators and ideals in Frobenius and symmetric algebras are used to provide a new proof of
More informationGroups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group
C H A P T E R t h r e E Groups Introduction Some of the standard topics in elementary group theory are treated in this chapter: subgroups, cyclic groups, isomorphisms, and homomorphisms. In the development
More informationGROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION
Chapter-1 GROUPS 1.1. INTRODUCTION The theory of groups arose from the theory of equations, during the nineteenth century. Originally, groups consisted only of transformations. The group of transformations
More informationSome Homomorphic Properties of Multigroups
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Number 1(83), 2017, Pages 67 76 ISSN 1024 7696 Some Homomorphic Properties of Multigroups P. A. Ejegwa, A. M. Ibrahim Abstract. Multigroup
More informationHESITANT FUZZY SETS APPROACH TO IDEAL THEORY IN TERNARY SEMIGROUPS. Jamia Millia Islamia New Delhi , INDIA
International Journal of Applied Mathematics Volume 31 No. 4 2018, 527-539 IN: 1311-1728 (printed version); IN: 1314-8060 (on-line version) doi: http://dx.doi.org/10.12732/ijam.v31i4.2 HEITANT FUZZY ET
More informationTHE formal definition of a ternary algebraic structure was
A Study on Rough, Fuzzy and Rough Fuzzy Bi-ideals of Ternary Semigroups Sompob Saelee and Ronnason Chinram Abstract A ternary semigroup is a nonempty set together with a ternary multiplication which is
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationSOLUTIONS TO ADDITIONAL EXERCISES FOR II.1 AND II.2
SOLUTIONS TO ADDITIONAL EXERCISES FOR II.1 AND II.2 Here are the solutions to the additional exercises in betsepexercises.pdf. B1. Let y and z be distinct points of L; we claim that x, y and z are not
More informationOn the Structure of Rough Approximations
On the Structure of Rough Approximations (Extended Abstract) Jouni Järvinen Turku Centre for Computer Science (TUCS) Lemminkäisenkatu 14 A, FIN-20520 Turku, Finland jjarvine@cs.utu.fi Abstract. We study
More informationZADEH [27] introduced the fuzzy set theory. In [20],
Morita Theory for The Category of Fuzzy S-acts Hongxing Liu Abstract In this paper, we give the properties of tensor product and study the relationship between Hom functors and left (right) exact sequences
More informationAutomorphisms of the endomorphism semigroup of a free abelian diband
Algebra and Discrete Mathematics Volume 25 (208). Number 2, pp. 322 332 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Automorphisms of the endomorphism semigroup of a free abelian diband
More informationInternational Journal of Algebra, Vol. 7, 2013, no. 3, HIKARI Ltd, On KUS-Algebras. and Areej T.
International Journal of Algebra, Vol. 7, 2013, no. 3, 131-144 HIKARI Ltd, www.m-hikari.com On KUS-Algebras Samy M. Mostafa a, Mokhtar A. Abdel Naby a, Fayza Abdel Halim b and Areej T. Hameed b a Department
More informationBoolean Algebra. Sungho Kang. Yonsei University
Boolean Algebra Sungho Kang Yonsei University Outline Set, Relations, and Functions Partial Orders Boolean Functions Don t Care Conditions Incomplete Specifications 2 Set Notation $09,3/#0,9 438 v V Element
More informationCharacterizations of Hemi-Rings by their Bipolar-Valued Fuzzy h-ideals
Inf Sci Lett 4 No 2 51-59 (2015 51 Information Sciences Letters An International Journal http://dxdoiorg/1012785/isl/040201 haracterizations of Hemi-Rings by their Bipolar-Valued Fuzzy h-ideals Tahir Mahmood
More informationarxiv: v1 [math.ra] 28 Jan 2016
The Moore-Penrose inverse in rings with involution arxiv:1601.07685v1 [math.ra] 28 Jan 2016 Sanzhang Xu and Jianlong Chen Department of Mathematics, Southeast University, Nanjing 210096, China Abstract:
More informationON SOME BASIC CONSTRUCTIONS IN CATEGORIES OF QUANTALE-VALUED SUP-LATTICES. 1. Introduction
Math. Appl. 5 (2016, 39 53 DOI: 10.13164/ma.2016.04 ON SOME BASIC CONSTRUCTIONS IN CATEGORIES OF QUANTALE-VALUED SUP-LATTICES RADEK ŠLESINGER Abstract. If the standard concepts of partial-order relation
More informationOn Comultisets and Factor Multigroups
Theory and Applications of Mathematics & Computer Science 7 (2) (2017) 124 140 On Comultisets and Factor Multigroups P.A. Ejegwa a,, A.M. Ibrahim b a Department of Mathematics / Statistics / Computer Science,
More informationGeneralized N -Ideals of Subtraction Algebras
Journal of Uncertain Systems Vol.9, No.1, pp.31-48, 2015 Online at: www.jus.org.uk Generalized N -Ideals of Subtraction Algebras D.R. Prince Williams 1, Arsham Borumand Saeid 2, 1 Department of Information
More informationDerivations on Trellises
Journal of Applied & Computational Mathematics Journal of Applied & Computational Mathematics Ebadi and Sattari, J Appl Computat Math 2017, 7:1 DOI: 104172/2168-96791000383 Research Article Open Access
More informationRonalda Benjamin. Definition A normed space X is complete if every Cauchy sequence in X converges in X.
Group inverses in a Banach algebra Ronalda Benjamin Talk given in mathematics postgraduate seminar at Stellenbosch University on 27th February 2012 Abstract Let A be a Banach algebra. An element a A is
More informationON SOME GENERALIZED VALUATION MONOIDS
Novi Sad J. Math. Vol. 41, No. 2, 2011, 111-116 ON SOME GENERALIZED VALUATION MONOIDS Tariq Shah 1, Waheed Ahmad Khan 2 Abstract. The valuation monoids and pseudo-valuation monoids have been established
More informationFuzzy Primal and Fuzzy Strongly Primal Ideals
Proceedings of the Pakistan Academy of Sciences 52 (1): 75 80 (2015) Copyright Pakistan Academy of Sciences ISSN: 0377-2969 (print), 2306-1448 (online) Pakistan Academy of Sciences Research Article Fuzzy
More informationCharacterization of Ordered Semigroups in Terms of Fuzzy Soft Ideals
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY http:/math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 35(4) (2012), 997 1015 Characterization of Ordered Semigroups in Terms of Fuzzy Soft
More information2. ETALE GROUPOIDS MARK V. LAWSON
2. ETALE GROUPOIDS MARK V. LAWSON Abstract. In this article, we define étale groupoids and describe some of their properties. 1. Generalities 1.1. Categories. A category is usually regarded as a category
More information