Congruences in Hypersemilattices
|
|
- Ada Henderson
- 5 years ago
- Views:
Transcription
1 International Mathematical Forum, Vol. 7, 2012, no. 55, Congruences in Hypersemilattices A. D. Lokhande Yashwantrao Chavan Warna College Warna nagar, Kolhapur, Maharashtra, India Aryani Gangadhara JSPM s Rajarshi Shahu College of Engineering Tathawade, Pune, Maharashtra,India aryani.santosh@gmail.com Abstract In this paper we study congruence relation of hypersemilattices and Homomorphism and isomorphism of hypersemilattices using congruence relation and we prove that hyper meet of two congruence relations is a Congruence relation and is a fixed element of hypersemilattices. Also we prove embedding theorem for hypersemilattices using congruence relation. Finally we prove theorem on family of direct product of hypersemilattices Mathematics Subject Classification: 06B10, 06B99 Keywords: Hypersemilattices, Congruence relation, Homomorphism, Direct Product Introduction The Theory of hyperstructures was introduced in1934 by Marty [1] at the 8 th congress of Scandivinavian Mathematicians. This theory has been subsequently developed by the various authors. Some basic definitions and propositions about the hyperstructures are found in[3].throughout this paper we are using definitions of
2 2736 A. D. Lokhande and Aryani Gangadhara hypersemilattice as discussed in [4].In this paper the concepts of congruence relation are discussed, Also we relate this to isomorphism and homomorphism, that is we prove some results on hypersemilattices using congruence relation. 1. Preliminaries Definition 1.1 [ 4 ]: Let L be a non-empty set and let P(L) denote the Power set of L,P*(L)= P(L)-{ }.A binary operation hyperoperation o on L is a function from L x L to P*(L) and satisfies the following conditions. For all a, b, c Є L and all A,B,C Є P*(L) we have that a o b Є P*(L),C o A = (c o a) Є P*(L), A o C = (a o c ) Є P*(L), A o B = (a o b) Є P*(L). Definition 1.2 [3 ]: Let L be a non-empty set and : L x L P(L) be a hyperoperation,where P(L ) is a power set of L and P*(L) =P(L) -{ } and : L x L L be an operation. Then (L, ) is a hyperlattice if for all a, b,c Є L. 1. a Є a a, a a=a 2. a b=b a, a b=b a 3. (a b) c=a (b c),(a b) c=a ( b c). 4. a Є [a (a b)] [a a b] 5. a Є a b a b=b. Definition 1.3[4] : Hypersemilattices: Let L be a non-empty set with a hyper operation On L satisfying the following conditions, for all a, b, c Є L 1. a Є a a (Idempotent) 2. a b = b a (Commutative) 3. (a b) c = a (b c). (Assosiative) Then (L, ) is called a hypersemilattice. Definition 1.4 [4]: Let (L, ) be a hypersemilattice. An element a Є L is called absorbent element of L if it satisfies c Є a c for all c Є L. An element b Є L is called element of L if it satisfies b c = {b} for all c Є L. Proposition 1.5 [4]: Let (L, ) be a hypersemilattice,then a c a (a c) for all a, c Є L. Definition 1.5 [4]: Let (L, ) and (S, ) be a hypersemilattices. A function f: L is called a homomorphism provided f(a b) = f(a) f(b) for all a, b Є L. If f is S
3 Congruences in hypersemilattices 2737 injective as a map of sets, f is said to be a Monomorphism. If f is surjective, f is called Epimorphism. If f is bijective, f is called an isomorphism. 2. Homomorphism and congruence of Hypersemilattices Theorem 2.1: The homomorphic Image of a hypersemilattice is also a hypersemilattice. Proof: Let f: L S be a homomorphism on L Let a 1, b 1, c 1 f(l),then a, b, c L such that f(a) = a 1, f(b) =b 1, f(c) = c 1. Since L is a hypersemilattice we have a a a f(a) f(a a) f(a) f(a) f(a) a 1 b 1 = f(a) f(b) = f(a b) = f (b a) = f(b) f(a)= b 1 a 1, (a 1 b 1 ) c 1 = [f(a) (b)] f(c) = f[(a b) c] =f [a (b c)] =f(a) [f(b) f(c)] =a 1 (b 1 c 1 ), Hence f(l) is a hypersemi lattice. Definition 2.2 : Let <L, > be a hypersemilattice and θ be an equivalence relation on L. We say that, A θ B if and only if for all a A b B such that a θ b for any A,B L. Definition 2.3: Let L be hypersemilattice, θ is said to be congruence relation if for any a, b, c, d L, a θ b and c θ d imply (a c) θ (b d). We denote the equivalence class {y L/ x θ y} by C x for x L. Theorem 2.4: If θ is a congruence relation on L then, <L/θ, > is a hypersemilattice. Proof: Define the hyperoperation on L/ θ as C x C y = {c t/ t x y}. Since L is a hypersemilattice, x x x and hence C x C x C x, Since x y= y x, we have C x C y = C y C x, Note that (C x C y) C z = { C p /p t z } and C x (C y C z ) = { C q /q x r}. Let C s (C x C y) C z ) then C s { C p /p t z } for some t x y s t z for some t x y s (x y) z C s { C q /q x r } for some r y z C s { C q /q x r }= C x (C y C z ) and hence (C x C y) C z ) C x (C y C z ). Similarly we can prove C x (C y C z ) (C x C y) C z ).Therefore (C x C y) C z ) C x (C y C z ). L/ θ is a hypersemilattice.
4 2738 A. D. Lokhande and Aryani Gangadhara Proposition 2.5: [ C x C y ] Φ/ θ = (C x ) Φ/ θ (C y ) Φ/ θ. Proof: Let C t { [ C x C y ] Φ/ θ / t ( x y ) Φ } t ( x y ) Φ t ( x) Φ ( y ) Φ C t { ( C x ) Φ/ θ ( C y ) Φ/ θ / t ( x) Φ ( y ) Φ } [ C x C y ] Φ/ θ = (C x ) Φ/ θ (C y ) Φ/ θ. Theorem 2.6: Let θ be a congruence relation defined on L then L/ θ is a homomorphic image of the hypersemilattice L. Proof: Let f : L L/ θ be defined by f(x Φ) = [C x ] Φ/ θ.obviously f is well-defined and to show f is homomorphism, consider f(x Φ y Φ) = [C x C y ] Φ/ θ =(C x ) Φ/ θ (C y ) Φ/ θ =f(x Φ) f(y Φ). Therefore f is homomorphism. Select any [C x ] Φ / θ, then x Φ. For this x Φ, f(x Φ) = [C x ] Φ/ θ.f is surjective. Thus there exist an onto homomorphism from L to L/ θ. Hence L/ θ is homomorphic image of L. Definition 2.7: Let f be a homomorphism from a hypersemilattice L 1 to a hypersemilattice L 2.Then Ker f = {x, y L 1 /f(x) =f(y)}. Theorem 2.8: Kernel f is a congruence relation on hypersemilattice L. Proof: First we have to prove kerf is an equivalence relation. As x θ y f(x) = f(y). Obviously kerf is an equivalence relation. We prove Kerf is a congruence relation.let x θ y f(x)=f(y) and a θ b f(a)=f(b). Let us consider f(x a) = f(x) f(a) f(y) f(b) =f(y b). Therefore Ker f is a congruence relation. Theorem 2.9: If h: L 1 L 2 is a surjective homomorphism then there exist an isomorphism f: L 1 /ker h L 2. Proof: Define f: L 1 /ker h L 2 by f (C x )= h(x),where C x is an equivalence class of x under ker h. Clearly f is well-defined. Let C x, C y L 1 /ker h such that f(c x )=h(c y ).Then h(x)= h(y) (x, y) Ker f C x = C y and hence h(x)=h(y) and hence f is one-one. To prove homomorphism, Let f( C x C y ) =f{c t /t x y } ={ h( t) / t x y}= h(x y)=h(x ) h(y) = f(c x ) f(c y ).Hence f is homomorphism. Since h is onto and for any y L 2 there exist C x L 1 /ker h such that f( C x ) = h(x) = y. Hence f is onto. Therefore, L 1 / ker h L 2. Theorem 2.10: product of two congruence relations is a congruence relation.
5 Congruences in hypersemilattices 2739 Proof: Let θ and Φ be any congruence relations defined on Hypersemilattices L and K respectively. Define the relation Ψ on L x K by (C a C b ) Ψ (C c C d ) C a θ C c, C b Φ C d. Then we prove that Ψ is a congruence relation defined on L x K. To prove that (C a C b ) Ψ(C a C b ), as a θ a and C b Φ C b. Therefore (C a C b ) Ψ( Ca C b ). Ψ is reflexive. Let (C a C b ) Ψ(Cc Cd), then C a θ C c and C b Φ C d but θ and Φ and are equivalence relations C c θ C a and C d Φ C b. therefore (C c C d ) Ψ (C a C b ). Ψ is symmetric, Let (C a C b ) Ψ (C c C d) and (C c C d ) and (C x C y )then C a θ C c and C c θ C x, C b Φ C d and C d Φ C y by transitivity of θ and Φ, C a Φ C x and C b Φ C y. ( C a C b ) Ψ (C x C y ).Therefore is transitive. Let (C a1 C b1 ) Ψ ( C c1 C d1 ) and (C a2 C b2 ) Ψ (C c2 C d2 ) This implies C a1 θ C c1 and C b1 Φ C d1 and C a2 θ C c2 and C b2 Φ C d2.hence (C a1 C a2 ) θ (C c1 C c2 ) and (C b1 C b2 ) Φ (C d1 C d2 ).Therefore (C a1 C a2 ) (C b1 C b2 )= (C c1 C d1 ) (Cc 2 Cd 2 ).Therefore Ψ is a congruence relation de fined on L x K. Definition 2.11 : If θ and Φ are congruence relations on L with θ Φ then define a relation Φ/ θ on L/ θ by (C x, C y ) Φ/ θ if and only if (x, y) Φ. Theorem 2.12: Every congruence relation is the kernel of some homomorphism. Proof: Let Φ is a congruence relation on L. Clearly Φ is a Equivalence relation on L/ θ, then to prove Φ/ θ is a congruence relation.let (C x, C y ) and (C z, C w ) Φ/ θ ( x, y),(z, w) Φ, This implies ( x z),(y w) Φ/ θ.that is (C x z, C y w ) Hence Φ/ θ is congruence relation on L/ θ. Now let Φ/ θ is a congruence relation on L/ θ. Similarly we can prove Φ is a congruence relation on L.As Φ is a congruence relation on L this implies (x,y) Φ (C x, C y ) Φ/ θ C x = C y f(c x ) =f(c y ) f(x ) =f(y) Φ is kernel of homomorphism. 3. Hyper Meet of two congruence relations Definition 3.1: Let A be the collection of all congruence relations defined on hyperboolean algebra A. Then hyper meet of two congruence relations is denoted by θ 1 θ 2 and defined as C x (θ 1 θ 2 ) Cy C x θ 1 C y and C x θ 2 C y. Theorem3.2: Let θ 1 and θ 2 be any two congruence relations defined on an hyperboolean algebra A.Define a relation θ 1 θ 2 on A by C x (θ 1 θ 2 ) C y C x θ 1 C y and C x θ 2 C y. Then θ 1 θ 2 is a congruence relation defined on A such that θ 1 θ 2 is the fixed element of θ 1 & θ 2.
6 2740 A. D. Lokhande and Aryani Gangadhara Proof: It is easy to prove that C x (θ 1 θ 2 ) C x as C x θ 1 C x and C x θ 2 C x. C x (θ 1 θ 2 ) C y y (θ 1 θ 2 ) Cy as C x θ 1 C y and C x θ 2 C y. C y θ 1 C x and C y θ 2 C x C x θ 1 C y and C x θ 2 C y. now to prove transitivity, let C x (θ 1 θ 2 ) C y and C y (θ 1 θ 2 ) C z, by definition, C x θ 1 Cy and C x θ 2 C y. C y θ 1 C z and C y θ 2 C z. This implies C x θ 1 C z and C x θ 2 C z. Therefore C x (θ 1 θ 2 ) C z. Let f F, let n be the corresponding integer, Let C xi (θ 1 θ 2 ) C yi for all i This implies C xi θ 1 C yi and C x i θ 2 C yi. That is f (C x 1, C x 2 C x n ) θ 1 f(c y1, C y2,. C yn ) and f(c x 1, C x 2,. C x n ) θ 2 f(c y1, C y2,. C yn ) that is f (C x1, C x2, C. xn) (θ 1 θ 2 ) f(c y1, C y2,. C yn ). θ 1 θ 2 is a hypercongruence relation. To prove that θ 1 θ 2 is fixed element in hypersemilattice L. θ 1 θ 2 θ 1 and θ 1 θ 2 θ 2 is obvious. That is [θ 1 θ 2 ] θ 1 = {θ 1 θ 2 } and [θ 1 θ 2 ] θ 2 = {θ 1 θ 2 }Therefore by [1.4], θ 1 θ 2 is a fixed element of L. Definition3.3 : Con (L)denotes the set of all congruence relations on a hypersemilattice L. Then Con (L) forms complete Lattice with 0 L and 1 L, the fixed (smallest) and (absorbent) Largest lement of congruence relations. Theorem 3.4: For hypersemilattice L with 0 L as fixed element and θ 1, θ 2 Con (L), then there is a natural embedding of L/ θ 1 θ 2 L/ θ 1 x L/ θ 2. Proof: Let Ψ = θ 1 θ 2.Then Φ / θ is a congruence relation on L/ θ 1 θ 2 and let Φ / θ1,φ / θ 2 be congruence relations on L/ θ 1,L/ θ 2 respectively. Define f: L/ θ 1 θ 2 L/ θ 1 x L/ θ 2 by f( (C x ) θ1 θ2 ) ={( (C x ) θ1, (C x ) θ2 ) / x L }.Define a congruence relation Ψ by (C x ), C y ) Φ / θ if and only (x,y) Φ. Let (C x, C y ) and (C z C w ) Φ/ θ ( x, y),(z, w) Φ, This implies ( x z),(y w) Φ/ θ.that is (C x z, C y w ) Hence Φ/ θ is congruence relation on L/ θ. Now let Φ/ θ is a congruence relation on L/ θ. Similarly we can prove Φ/ θ 1 and Φ/ θ 2 are congruence relations on L/ θ 1 and L/ θ 2. f( (C x) θ1 θ2 ) = f( (C y ) θ1 θ2 ) ( (C x) θ1, (C x) θ2 ) =={( (C y ) θ1, (C y ) θ2 ) (C x) θ1 = (C y ) θ1 and (C x) θ2 =(C y ) θ2 (C x, C y ) θ 1 and (C x, C y ) θ 2 (C x, C y ) θ 1 θ 2. But by Theorem [3.2],θ 1 θ 2 is a fixed element. That means by uniqueness property of fixed element of hypersemilattices θ 1 θ 2 = 0 L. Therefore C x = Cy. This implies f is one-one. To prove homomorphism Let f( (C x C y ) θ1 θ2 ) = [ (Cx C y ) θ1, C x C y ) θ2 ] = ( C x, C x ) θ1 θ2 (C y, C y ) θ1 θ2 = ( C x ) θ1 θ2 ( C y ) θ1 θ2.hence f is homomorphism. L/ θ 1 θ 2 L/ θ 1 x L/ θ 2. Corollary 3.5: If hypersemilattice L has congruence relations θ 1 & θ 2 with θ 1 θ 2= 0 L then L L/ θ 1 x L/ θ 2 (an embedding).
7 Congruences in hypersemilattices 2741 Proof: Let Φ be a congruence relation on L and Φ/ θ 1, Φ/ θ 2 be the congruence relations on L/ θ 1 and L/ θ 2 respectively. It can be easily checked using theorem [3.4]. Then define Ψ : L L/ θ 1 x L/ θ 2 by Ψ( x Φ ) = {( (C x) θ1, (C x) θ2 ) / x L } To prove Ψ is one-one let Ψ(x Φ) = Ψ(y Φ) ( (C x) θ1, (C x) θ2 ) =( (C y ) θ1, (C y ) θ2 ).This implies ( (C x) θ1 = (C y ) θ1 ) and ( (C x) θ2 = (C y ) θ2 ), that is (x,y) θ 1 and (x,y) θ 2 therefore (x,y) θ 1 θ 2, but θ 1 θ 2= 0 L implies x=y. Let Ψ (x Φ y Φ ) = [(C x C y ) θ1, (C x C y ) θ2 ]= [(C x) θ1 (C y ) θ1 ] [(C x) θ2 (C y ) θ2 ] = [(C x) θ1, (C x) θ2 ] [(C y ) θ1, (C y ) θ2 ] = Ψ( x Φ ) Ψ( y Φ ). Ψ is a homomorphism. Therefore A A/ θ 1 x A/ θ 2 is an embedding. 4. Direct Product of Hypersemilattices Definition 4.1: Let (L, ) and (S, ) be Hypersemilattices. Define binary operation on the Cartesian product Lx S as follows ( a 1,b 1 ) (a 2,b 2 ) ={(c, d)/c a1 a 2,d b1 b 2 }for all ( a 1,b 1 ), (a 2,b 2 ) L x S,then (L x S, ) is called the direct product of Hypersemilattices (L, ) and (S, ). Definition 4.2: Let {L i / i I} be a family of hypersemilattices. Then the direct product of Li, i I is the Cartesian product (Li/i I) = {(xi), i I/x i L i }. Theorem 4.3: The direct product of family of Hypersemilattices is again a hypersemilattice. Proof: Let {Li/ i I} be a family of hypersemilattices. L = (Li/i I) = {(xi), i I/x i L i }. Define hyperoperation on L as follows: (xi) i I (yi) i I ={(ti) i I/ ti xi yi). It is easy to observe that (xi) i I (xi) i I (xi) i I. (xi) i I (yi) i I =(yi) i I (xi) i I and for any xi, yi, zi L i, i I, ((xi) i I (yi) i I ) (zi) i I = {(pi) i I pi ti zi } and (xi) i I ((yi) i I (zi) i I) = {(ri) i I ri xi qi}.let (si) i I (xi) i I ((yi) i I (zi) i I). Then (si) i I {(pi) i I /pi ti zi } for some ti xi yi si ti zi for some ti xi yi si (xi y) zi si xi (y zi ) si xi qi for some qi yi zi (si) i I {(ri) i I ri xi qi} (si) i I {(ri) i I ri xi qi}=(xi) i I ((yi) i I (zi) i I) and hence ((xi) i I (yi) i I ) (zi) i I (xi) i I ((yi) i I (zi) i I).Similarly we can prove (xi) i I ((yi) i I (zi) i I) ((xi) i I (yi)) i I ) (zi) i I.Hence the theorem.
8 2742 A. D. Lokhande and Aryani Gangadhara References 1. F.Marty, Surune generalization de la notion de group, 8 th Congress Math, (1934)Pages Scandinanes,Stockholm. 2. G.Gratzer General Lattice theory, P.Corsini, Spaces J.Sets P.Sets, Algebraic hyperstructures and applications, Hardonic Press, Inc (1994) P ZHAO Bin, XIAO Ying, HAN Sheng Wei, Hypersemilattices, Received: June, 2012
Hyper Algebraic Structure Associated to Convex Function and Chemical Equilibrium
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 13, Number 9 (2017), pp. 6209-6220 Research India Publications http://www.ripublication.com Hyper Algebraic Structure Associated to
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 informationKyung Ho Kim, B. Davvaz and Eun Hwan Roh. Received March 5, 2007
Scientiae Mathematicae Japonicae Online, e-2007, 649 656 649 ON HYPER R-SUBGROUPS OF HYPERNEAR-RINGS Kyung Ho Kim, B. Davvaz and Eun Hwan Roh Received March 5, 2007 Abstract. The study of hypernear-rings
More informationRings and Fields Theorems
Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)
More informationSOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS
italian journal of pure and applied mathematics n. 33 2014 (319 332) 319 SOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS Bijan Davvaz Department of Mathematics Yazd University Yazd Iran e-mail: davvaz@yazduni.ac.ir
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 KS-Semigroup Homomorphism
International Mathematical Forum, 4, 2009, no. 23, 1129-1138 On KS-Semigroup Homomorphism Jocelyn S. Paradero-Vilela and Mila Cawi Department of Mathematics, College of Science and Mathematics MSU-Iligan
More informationJoseph Muscat Universal Algebras. 1 March 2013
Joseph Muscat 2015 1 Universal Algebras 1 Operations joseph.muscat@um.edu.mt 1 March 2013 A universal algebra is a set X with some operations : X n X and relations 1 X m. For example, there may be specific
More informationQuotient and Homomorphism in Krasner Ternary Hyperrings
International Journal of Mathematical Analysis Vol. 8, 2014, no. 58, 2845-2859 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2014.410316 Quotient and Homomorphism in Krasner Ternary Hyperrings
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More informationDirect Product of BF-Algebras
International Journal of Algebra, Vol. 10, 2016, no. 3, 125-132 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.614 Direct Product of BF-Algebras Randy C. Teves and Joemar C. Endam Department
More informationPrime Hyperideal in Multiplicative Ternary Hyperrings
International Journal of Algebra, Vol. 10, 2016, no. 5, 207-219 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.6320 Prime Hyperideal in Multiplicative Ternary Hyperrings Md. Salim Department
More informationAPPROXIMATIONS IN H v -MODULES. B. Davvaz 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 6, No. 4, pp. 499-505, December 2002 This paper is available online at http://www.math.nthu.edu.tw/tjm/ APPROXIMATIONS IN H v -MODULES B. Davvaz Abstract. In this
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 informationMappings of the Direct Product of B-algebras
International Journal of Algebra, Vol. 10, 2016, no. 3, 133-140 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.615 Mappings of the Direct Product of B-algebras Jacel Angeline V. Lingcong
More informationDISTRIBUTIVE, STANDARD AND NEUTRAL ELEMENTS IN TRELLISES. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXVII, 2 (2008), pp. 167 174 167 DISTRIBUTIVE, STANDARD AND NEUTRAL ELEMENTS IN TRELLISES SHASHIREKHA B. RAI Abstract. In this paper, the concepts of distributive, standard
More informationMATH 436 Notes: Homomorphisms.
MATH 436 Notes: Homomorphisms. Jonathan Pakianathan September 23, 2003 1 Homomorphisms Definition 1.1. Given monoids M 1 and M 2, we say that f : M 1 M 2 is a homomorphism if (A) f(ab) = f(a)f(b) for all
More informationCompleteness of Star-Continuity
Introduction to Kleene Algebra Lecture 5 CS786 Spring 2004 February 9, 2004 Completeness of Star-Continuity We argued in the previous lecture that the equational theory of each of the following classes
More informationMath 222A W03 D. Congruence relations
Math 222A W03 D. 1. The concept Congruence relations Let s start with a familiar case: congruence mod n on the ring Z of integers. Just to be specific, let s use n = 6. This congruence is an equivalence
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
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 informationIntroduction to Neutrosophic BCI/BCK-Algebras
Introduction to Neutrosophic BCI/BCK-Algebras A.A.A. Agboola 1 and B. Davvaz 2 1 Department of Mathematics, Federal University of Agriculture, Abeokuta, Nigeria aaaola2003@yahoo.com 2 Department of Mathematics,
More informationφ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),
16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)
More informationRelations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3)
Relations, Functions, Binary Relations (Chapter 1, Sections 1.2, 1.3) CmSc 365 Theory of Computation 1. Relations Definition: Let A and B be two sets. A relation R from A to B is any set of ordered pairs
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
More information1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.
1 Monoids and groups 1.1 Definition. A monoid is a set M together with a map M M M, (x, y) x y such that (i) (x y) z = x (y z) x, y, z M (associativity); (ii) e M such that x e = e x = x for all x M (e
More informationModule MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013
Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents 1 Basic Principles of Group Theory 1 1.1 Groups...............................
More informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered
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 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 informationTHE ENDOMORPHISM SEMIRING OF A SEMILATTICE
THE ENDOMORPHISM SEMIRING OF A SEMILATTICE J. JEŽEK, T. KEPKA AND M. MARÓTI Abstract. We prove that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and describe
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 informationCourse 311: Abstract Algebra Academic year
Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 1 Topics in Group Theory 1 1.1 Groups............................... 1 1.2 Examples of Groups.......................
More information3.3 Tensor Products 3 MODULES
3.3 Tensor Products 3 MODULES 3.3 Tensor Products We will follow Dummit and Foote they have a good explanation and lots of examples. Here we will just repeat some of the important definitions and results.
More informationMathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations
Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...
More informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationChapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples
Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter
More informationON FILTERS IN BE-ALGEBRAS. Biao Long Meng. Received November 30, 2009
Scientiae Mathematicae Japonicae Online, e-2010, 105 111 105 ON FILTERS IN BE-ALGEBRAS Biao Long Meng Received November 30, 2009 Abstract. In this paper we first give a procedure by which we generate a
More informationMATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.
MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described
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 informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationCommutative FSM Having Cycles over the Binary Alphabet
Commutative FSM Having Cycles over the Binary Alphabet Dr.S. Jeya Bharathi 1, Department of Mathematics, Thiagarajar College of Engineering, Madurai, India A.Jeyanthi 2,* Department of Mathematics Anna
More informationFuzzy congruence relations on nd-groupoids
Proceedings of the International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2008 13 17 June 2008. Fuzzy congruence relations on nd-groupoids P. Cordero 1, I.
More information9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions
How can we prove that a function f is one-to-one? Whenever you want to prove something, first take a look at the relevant definition(s): x, y A (f(x) = f(y) x = y) f:r R f(x) = x 2 Disproof by counterexample:
More informationA GENERAL THEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUTATIVE RING. David F. Anderson and Elizabeth F. Lewis
International Electronic Journal of Algebra Volume 20 (2016) 111-135 A GENERAL HEORY OF ZERO-DIVISOR GRAPHS OVER A COMMUAIVE RING David F. Anderson and Elizabeth F. Lewis Received: 28 April 2016 Communicated
More informationNotes on Monoids and Automata
Notes on Monoids and Automata Uday S. Reddy November 9, 1994 In this article, I define a semantics for Algol programs with Reynolds s syntactic control of interference?;? in terms of comonoids in coherent
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 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 informationPART I. Abstract algebraic categories
PART I Abstract algebraic categories It should be observed first that the whole concept of category is essentially an auxiliary one; our basic concepts are those of a functor and a natural transformation.
More informationFibers, Surjective Functions, and Quotient Groups
Fibers, Surjective Functions, and Quotient Groups 11/01/06 Radford Let f : X Y be a function. For a subset Z of X the subset f(z) = {f(z) z Z} of Y is the image of Z under f. For a subset W of Y the subset
More informationTheorems and Definitions in Group Theory
Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3
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 information2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.
2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is
More informationMATH RING ISOMORPHISM THEOREMS
MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationModule MA3411: Galois Theory Michaelmas Term 2009
Module MA3411: Galois Theory Michaelmas Term 2009 D. R. Wilkins Copyright c David R. Wilkins 1997 2009 Contents 1 Basic Concepts and Results of Group Theory 1 1.1 Groups...............................
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationSection Summary. Definition of a Function.
Section 2.3 Section Summary Definition of a Function. Domain, Cdomain Image, Preimage Injection, Surjection, Bijection Inverse Function Function Composition Graphing Functions Floor, Ceiling, Factorial
More informationCLASS12 RELATIONS AND FUNCTIONS
CLASS12 RELATIONS AND FUNCTIONS Deepak sir 9811291604 Relations and functions, domain, co-domain and range have been introduced in Class XI along with different types of specific real valued functions
More informationGroup. Orders. Review. Orders: example. Subgroups. Theorem: Let x be an element of G. The order of x divides the order of G
Victor Adamchik Danny Sleator Great Theoretical Ideas In Computer Science Algebraic Structures: Group Theory II CS 15-251 Spring 2010 Lecture 17 Mar. 17, 2010 Carnegie Mellon University Group A group G
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationInternational Journal of Algebra, Vol. 4, 2010, no. 2, S. Uma
International Journal of Algebra, Vol. 4, 2010, no. 2, 71-79 α 1, α 2 Near-Rings S. Uma Department of Mathematics Kumaraguru College of Technology Coimbatore, India psumapadma@yahoo.co.in R. Balakrishnan
More informationRELATIONS AND FUNCTIONS
For more important questions visit : www.4ono.com CHAPTER 1 RELATIONS AND FUNCTIONS IMPORTANT POINTS TO REMEMBER Relation R from a set A to a set B is subset of A B. A B = {(a, b) : a A, b B}. If n(a)
More informationLESSON RELATIONS & FUNCTION THEORY
2 Definitions LESSON RELATIONS & FUNCTION THEORY Ordered Pair Ordered pair of elements taken from any two sets P and Q is a pair of elements written in small brackets and grouped together in a particular
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 informationZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (554 568) 554 ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES Razieh Mahjoob Vahid Ghaffari Department of Mathematics Faculty of Mathematics Statistics
More informationSets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions
Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.
More informationOn Homomorphism and Algebra of Functions on BE-algebras
On Homomorphism and Algebra of Functions on BE-algebras Kulajit Pathak 1, Biman Ch. Chetia 2 1. Assistant Professor, Department of Mathematics, B.H. College, Howly, Assam, India, 781316. 2. Principal,
More informationScientiae Mathematicae Japonicae Online, Vol. 4, (2001), SOME CLASSIFICATIONS OF HYPERK-ALGEBRAS OF ORDER 3 M.M.Zahedi, R.A. Borzoei, H. Reza
Scientiae Mathematicae Japonicae Online, Vol. 4, (2001), 75 84 75 SOME CLASSIFICATIONS OF HYPERK-ALGEBRAS OF ORDER 3 M.M.Zahedi, R.A. Borzoei, H. Rezaei Received May 11,2000 Abstract. In this paper first
More information1. Quivers and their representations: Basic definitions and examples.
1 Quivers and their representations: Basic definitions and examples 11 Quivers A quiver Q (sometimes also called a directed graph) consists of vertices and oriented edges (arrows): loops and multiple arrows
More informationSection 4.4 Functions. CS 130 Discrete Structures
Section 4.4 Functions CS 130 Discrete Structures Function Definitions Let S and T be sets. A function f from S to T, f: S T, is a subset of S x T where each member of S appears exactly once as the first
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 informationCONSTRUCTING MULTIPLICATIVE GROUPS MODULO N WITH IDENTITY DIFFERENT FROM ONE
CONSTRUCTING MULTIPLICATIVE GROUPS MODULO N WITH IDENTITY DIFFERENT FROM ONE By: AlaEddin Douba 35697 Advisor: Dr. Ayman Badawi MTH 490: Senior Project INTRODUCTION The numbering system consists of different
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
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 informationINTRODUCTION TO THE GROUP THEORY
Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher
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 informationMATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis
MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis PART B: GROUPS GROUPS 1. ab The binary operation a * b is defined by a * b = a+ b +. (a) Prove that * is associative.
More informationRough Anti-homomorphism on a Rough Group
Global Journal of Mathematical Sciences: Theory and Practical. ISSN 0974-3200 Volume 6, Number 2 (2014), pp. 79 87 International Research Publication House http://www.irphouse.com Rough Anti-homomorphism
More informationΓ-Semihyperrings: Approximations and Rough Ideals
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY http:/math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 35(4) (2012), 1035 1047 Γ-Semihyperrings: Approximations and Rough Ideals S. O. DEHKORDI
More informationON FREE Γ-SEMIGROUPS
ON FREE Γ-SEMIGROUPS Jollanda Shara Department of Mathematics&Computer Science, University Eqrem Cabej, 6001, Gjirokaster, Albania. Email: jokrisha@yahoo.com Abstract In this paper we give a construction
More informationTWIST PRODUCT DERIVED FROM Γ-SEMIHYPERGROUP
Kragujevac Journal of Mathematics Volume 42(4) (2018), Pages 607 617. TWIST PRODUCT DERIVED FROM Γ-SEMIHYPERGROUP S. OSTADHADI-DEHKORDI Abstract. The aim of this research work is to define a new class
More information1. A Little Set Theory
. A Little Set Theory I see it, but I don t believe it. Cantor to Dedekind 29 June 877 Functions are the single most important idea pervading modern mathematics. We will assume the informal definition
More information1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by
Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.
More informationThe category of linear modular lattices
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 33 46 The category of linear modular lattices by Toma Albu and Mihai Iosif Dedicated to the memory of Nicolae Popescu (1937-2010) on the occasion
More informationf a f a a b the universal set,
Volume 3, Issue 7, July 203 ISSN: 2277 28X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Some Aspects of Fuzzy
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationIdentity. "At least one dog has fleas" is translated by an existential quantifier"
Identity Quantifiers are so-called because they say how many. So far, we've only used the quantifiers to give the crudest possible answers to the question "How many dogs have fleas?": "All," "None," "Some,"
More informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationCourse 421: Algebraic Topology Section 8: Modules
Course 421: Algebraic Topology Section 8: Modules David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces............... 1 1.2 Topological
More informationα (β,β) -Topological Abelian Groups
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 13, Number 6 (2017), pp. 2291 2306 Research India Publications http://www.ripublication.com/gjpam.htm α (β,β) -Topological Abelian
More information2 ALGEBRA II. Contents
ALGEBRA II 1 2 ALGEBRA II Contents 1. Results from elementary number theory 3 2. Groups 4 2.1. Denition, Subgroup, Order of an element 4 2.2. Equivalence relation, Lagrange's theorem, Cyclic group 9 2.3.
More information2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.
Chapter 2 Groups Groups are the central objects of algebra. In later chapters we will define rings and modules and see that they are special cases of groups. Also ring homomorphisms and module homomorphisms
More information46 Y. B. JUN AND X. L. XN the section 4, weintroduce the notion of topological homomorphisms, study some properties for this notion and show that an o
Scientiae Mathematicae Japonicae Online, Vol.4 (2001), 45 54 45 ON TOPOLOGCAL BC ALGEBRAS Young Bae Jun and Xiao LongXin Received November 29, 1999 Abstract. As a continuation of [7], we introduce the
More informationOn z -ideals in C(X) F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz)
F U N D A M E N T A MATHEMATICAE 160 (1999) On z -ideals in C(X) by F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz) Abstract. An ideal I in a commutative ring
More informationRohit Garg Roll no Dr. Deepak Gumber
FINITE -GROUPS IN WHICH EACH CENTRAL AUTOMORPHISM FIXES THE CENTER ELEMENTWISE Thesis submitted in partial fulfillment of the requirement for the award of the degree of Masters of Science In Mathematics
More informationGroups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism.
Groups Groups 1. Introduction 2.Normal sub, quotien. 3. Homomorphism. TS.NguyễnViết Đông 1 2 1.1. Binary Operations 1.2.Definition of Groups 1.3.Examples of Groups 1.4.Sub 1.1. Binary Operations 1.2.Definition
More information- Fuzzy Subgroups. P.K. Sharma. Department of Mathematics, D.A.V. College, Jalandhar City, Punjab, India
International Journal of Fuzzy Mathematics and Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 47-59 Research India Publications http://www.ripublication.com - Fuzzy Subgroups P.K. Sharma Department
More information