Sets and Motivation for Boolean algebra

Size: px
Start display at page:

Download "Sets and Motivation for Boolean algebra"

Transcription

1 SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of a relation Partitions Equivalence relations Partial ordering Poset Hasse diagram Lattices and their properties Sub lattices Boolean algebra Homomorphism. 1

2 Sets and Motivation for Boolean algebra 1 Sets 2 Algebra of Sets 3 Cartesian Products 4 Motivation of Boolean Algebra Sets We devote this section to brief some set theoretic notions, which will play an essential role in the lattice theory. Set is a collection of well-defined objects. An object belonging to a set is called member or element of the set. In most cases, set will be defined by means of a characteristic property of the objects belonging to the set. That is, for a given property P(x), let {x : P(x)} denote the set of all objects x such that P(x) is true. A set with no member is said to be an empty set. We use upper case letters such as A, B, C, etc., to denote sets and lower case letters such as a, b, c, x, y, z, etc, to denote members of the sets. We denote the fact that x is an element of the set S by x S, while x is not an element of S by x S. Two sets A and B are equal if and only if A and B have the same members. Equality of A and B is denoted by A=B. We say that A is a subset of B if and only if every member of A is also a member of B. We write A B as an abbreviation for A is a subset of B. It is interesting to observe that, for all sets A, B and C, we have (i) A A [Reflexive] (ii) A B and B A if and only if A=B (iii) If A B, B C then A C [transitive] P(A) denote the set of all subset of A, we shall call P(A), the power set of A. That is, P(A) = {B : B A} 2

3 Example 1: Let A = {1,2,3} Then P(A) = {φ, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}. Let A be a finite set of n elements, say A= {a 1, a 2,, a n }, then P(A) consists of φ, the n sets {a i } containing single element, nc 2 sets {a i, a j / i j}containing two elements, etc. In general P(A) contains nc i subsets containing i distinct elements of A, for 1 i n. Therefore the number of elements in P(A) is 1+ nc 1 + nc nc n = (1+1) n = 2 n. Algebra of Sets In this section we define, union of two sets, intersection of two sets, complement of a set and we brief some of their basic properties and their operations. Given sets A and B, their union A B consists of all elements in A or B or both. That is, A B = {x / x A or x B}. It is interesting to observe that the union operation on sets has properties: i. A A = A (Idempotent) ii. A B = B A (Commutative) iii. A φ = A iv. (A B) C = A (B C) (Associative) v. A B = B if and only if A B vi. A (A B) and B (A B) Given sets A and B, their intersection A B consists of all objects which are in both A and B. Thus, A B = {x / x A and x B}.Two sets A and B are said to be disjoint if and only if A B = φ. The intersection operation on sets has the following evident properties: i. A A = A (Idempotent) ii. A B = B A (Commutative) iii. A φ = φ iv. (A B) C = A (B C) (Associative) v. A B = A if and only if A B vi. (A B) A and (A B) B 3

4 An important property connecting and is the distributive law. (i) A (B C) = (A B) (A B) (ii) A (B C) = (A B) (A C) Proof: A (B C) = {x / x A and x B C} = {x / x A and (x B or x C)} = {x / (x A and x B) or (x A and x C)} = {x / x A B or x A C} = (A B) (A C) Similarly, A (B C) = (A B) (A C) can be proved. It is very interesting to observe that A (A B) = A, for A (A B) and A A, therefore, A (A B) = A. Similarly, A (A B) = A, for (A B) A and A A, hence, A (A B) = A. Thus, for sets A and B, we have, A (A B) = A; A (A B) = A [Absorption law]. By the difference, B\A, of the sets B and A, we mean the set of all those objects in B which are not in A. Thus, B\A = {x : x B and x A}. The symmetric difference, A B, of sets A and B is the set (A\B) (B\A). Let X be given set. If we deal with subset of X then we call X is a universal set. If A X, then the complement Thus, = {x / x X and x A} of A is defined to be X\A. It is clear that whenever we use complements, it is assumed that we are dealing only with subset of some fixed universal set X. 4

5 The following properties can be easily verified: Cartesian Products In this section we define Cartesian product of sets. Cartesian product set A B of two arbitrary sets A and B is the set of all pairs (a, b) such that a A and b B. That is, A B = {(a,b) / a A and b B}. Note that the sets A and B need not be distinct in the Cartesian product. In the product A B, the element (a 1, b 1 ) and (a 2, b 2 ) are regarded as equal if and only if a 1 = a 2 and b 1 = b 2. Thus, if A consists of m elements a 1, a 2,, a m and B consists of n elements b 1, b 2,,b n, then A B consists of mn elements (a i, b j ), 1 i m, 1 j n. 5

6 Motivation of Boolean Algebra In this section we shall discuss the motivation of Boolean algebra. From the Section Algebra of Sets, it is interesting to observe that, if A is any set, then the binary operations, and on the set P(A) satisfy the following properties i. Commutative law, ii. Associative law, iii. Absorption law, iv. Idempotent property and v. Distributive law. and the uninary " - " operation on P(A) satisfies the De Morgan's law. So it is tempting to ask the question: "Are there other sets like P(A) and binary operations like and satisfying commutative law, associative law, absorption law, idempotent property and distributive law and uninary operation " - " satisfying De Morgan's law?". Indeed there are many such sets and such binary and uninary operations on such sets satisfying the above mentioned laws and property. In fact, one of the main motivations of Boolean Algebra is a search of such sets and understanding their algebraic structure. Try Yourself: 1. Give proofs for all the properties about the set inclusion " ", union of sets intersection of sets and complement of a set mentioned in the Sections 1.1and1.2. 6

7 Partially Ordered Set and Hasse Diagram 1 Relation and Poset 2 Hasse Diagram 3 Totally Ordered Set and Dual Poset 4 Extremal Elements of Partially Ordered Sets Relation and Poset In this section we define relation and special type of relation called reflexive, symmetric, anti-symmetric and transitive relation and we discuss examples on these relations. Further, we define partial ordering relation and posets and discuss some examples of posets. Let A and B the non-empty sets. A relation R from A to B is a subset of A B. Relation from A to A is called relation on A. If (a, b) R then we write arb and say that "a is in relation R to b". Also, if a is not in relation R to b, we write a b. Example: Let A = B = Z +, the set of all positive integers. The relation R is defined on Z + in the following way arb if and only if a divides b. So, 6 R 18, but 3 8 A relation R on a set A is reflexive if (a, a) for every a A, that is, if ara for all a A. Example: Let A= {1,2,3} and let R = {(1,1), (2,2), (3,3), (1,2) (1,3)} Then R is reflexive, while R' = {(1,1), (2,2), (2,1), (1,2)} is not a reflexive, for (3,3) R', i.e., 3 3. A relation R, on a set A, is anti-symmetric if whenever arb and bra, then a = b. That is, R is anti-symmetric whenever a b we must have either a b or b a. 7

8 Example 1: Let X be a set and let A X and B X. Then from the Section 1.1, it is clear that A = B. Therefore, " " is anti-symmetric on the set of subsets of X. Example 2: Let A=Z +, the set of all positive integer. Define R on A by arb if and only if a b that is "a divides b". Then, if a R b and b R a, i.e., a b and b a, then there exist integers c, d Z + such that b = ca and a = db. Therefore, b = cbd. So, 1 = cd. Therefore c = d = 1. Hence a = b. Therefore, R is anti-symmetric on Z + Example 3: Let A = Z, the set of integers and let R = {(a, b) A A / a < b}, i.e., R is usual "less than". If a b, then either a < b or b < a, that is, equivalently, if a b then either b a or a b. Hence,if a b then either a b or b a is true. Therefore, "<", usual "less than", is anti-symmetric. [Note that in the anti-symmetric relation symmetryness will happen only with equal elements and symmetryness will never happen between the unequal elements]. We say that a relation R on a set A is transitive if arb and brc then arc. Example: Let A={1,2,3,4} and let R={(1,2), (2,1), (1,1), (2,2), (2,3), (2,3)}. Then R is transitive. Let R={(1,2) (1,3), (4,2)}. Then R is also transitive, because we cannot find elements a, b, and c in A such that arb and brc, but a c. So, we conclude that R is transitive. A relation R on a set A is called a partial order relation or partial ordering if R is reflexive, anti-symmetric and transitive. A non-empty set A together with a partial order relation R, (A, R), is called partially ordered set or poset. Partial order relations are "hierarchical relations", usually we write instead of R for partial ordering. Thus, (A, ) denote a partially ordered set or poset. 8

9 Example 1: Let A be a non empty set. Consider the power set P(A), the set of subsets of A, together with the relation set inclusion, " ". Then (P(A), ) is a poset. For, S S, for all S P(A). Therefore, is reflexive. If S T and T S, for S, T P(A), then S = T (since S = T if and only if S T and T S). Therefore, is anti-symmetric. Also, if S T and T U, then by definition of, it is clear that S U. Therefore, is transitive. Hence, (P(A), ) is a partially ordered set. Example 2: Let A = Z + and let a b if and only if a b then (A, ) is a poset. For, since a = 1.a, a Z +, i.e., a a, a Z +. Therefore " " is reflexive. If a b and b c, then there exists d 1 and d 2 in Z +, such that b = d 1 a and c = d 2 b. So, we have c = d 2 d 1 a. As d 1, d 2 Z +, d 2 d 1 Z + Then a c. Hence, " " is transitive. Already we have seen that " " is anti-symmetric. Thus, " " is partial ordering. Hence, (A, ) is a poset. Example 3: (R, ) is a poset, where R is the set of all real number and " " is "usual less than or equal to " (Prove!). Example 4: (P(S), ) is not a poset, for, the relation is anti-symmetric and transitive but not reflexive so it is not a poset. Example 5: Let S be the set of all subgroups of a group G. Then (S, ) is a poset (Prove!) Example 6: Let S be the set of all normal subgroups of G. then (S, ) is a poset (Prove!). Example 7: Let S = {( i 1, i 2,,i n ) / i r = 0 or 1, 1 r n} Define (i 1,i 2,,i n ) R ( j 1,j 2,,j n ) if and only if i 1 j 1, i 2 j 2,,i n j n. Then (S,R) is a poset (Prove!). 9

10 Hasse Diagram In this section we discuss the diagrammatic representation of a poset. In a poset (A, ), if a b and a b then we write a < b. Further, in a poset (A, ), we say that a is a cover of b if a < b and there exists no u such that a < u < b. A finite poset can be represented graphically, such a diagram of a poset is called Hasse diagram. We represent the elements of A by points in the plane. If b is a cover of a then we place b above a and connect the two points a and b by a straight line (actually directing from a to b). Thus, if a < b if and only if there is a ascending broken line (a path) connecting a to b. If no line connecting a and b and a b, then a and b are not related or not comparable, that is, we have neither a b nor b a. Example: 1. Hasse diagram of the poset ({1,2,3,4,5}, ), where is "usual less than or equal to" is given below. 10

11 2. Consider the poset (P(A 3 ), ), where A 3 = {a, b, c}. The Hasse diagram of (P(A 3 ), ) is given below : Note that actually all the lines should have upward directions. Since all the lines are having only one direction, it is a convention to draw without direction in the lines. Thus, in the Hasse diagram every path has only upward direction, i.e., there cannot be any path connecting top to bottom in the downward direction. In the above example we see that {a} and {a, b, c} are related, since there is an ascending path from {a} to {a, b, c}, while {a} and {b} are not related or not comparable, since there is no ascending path connecting {a} and {b}. 3. Let D n denote the set of all positive divisiors of a positive integer n. Hasse diagram of the poset (D 12, ) is given below. 11

12 Conversely, if we have a Hasse diagram then we can describe the poset, that is, we can describe the partial order relation. For example, consider the Hasse diagram given below : Then the set is {a, b, c, d, e, f, g} and the relation is {(a, a) (a, c) (a, d), (a,e), (a, f), (a, g), (b, b), (b, c), (b, d), (g, e), (g, f), (b, g), (c, c), (c, d), (c, e), (c, f), (c, g), (d, d), (d, e), (d, f), (d, g), (e, e), (e, g), (f, f), (f, g), (g, g)}. One can check that is indeed partial ordering. So, we conclude that for the finite poset it is enough to just give the Hasse diagram to describe the poset. Remark: From the above examples of the posets, we observe that in a poset it is not necessary that all the pair of elements are related or comparable, that is, in a poset not necessarily all the elements are ordered. That is the reason we call such sets (posets) as partially ordered set. Totally Ordered Set and Dual Poset In this section we define totally ordered set and dual poset and discuss about them. A partial order relation on a set A is called a total order (or linear order) if, for each a, b A either a b or b a. If is a totally order on a set A, then (A, ) is called totally ordered set or linearly ordered set or chain. 12

13 Example 1: The poset (N, ), where N is the set of all natural numbers and is the usual "less than or equal to", is a totally ordered set, since for any two a, b N, we have either a b or b a. In fact, ( Z, ), ( Q, ) ( R, ), are all totally ordered set, where Z, the set of all integers, Q, the set of all rational numbers and R, the set of all real number and is usual less than or equal to. Also, any finite subset of either Z or Q or R with usual "less than or equal to" are also totally ordered sets. Example 2: ( D 30, ) is not a totally ordered set (Prove!) Try yourself: Let L be the set of complex numbers z = x + iy, where x and y are rationals. Define a partial order " " on L by: x 1 + iy 1 x 2 + iy 2 if and only if y 1 y 2. Is ( L, ) a totally ordered set. If not, what is the additional condition needed in order to make ( L, ) into a chain? 13

14 Remark 1: From the definition of totally ordered set, it is clear that any two elements in a totally ordered set are related or comparable. That is, in a totally ordered set all the elements are ordered or related. That is the reason we call such sets as totally ordered set. If R is a relation from A to B then R -1 defined by (a, b) R -1 if and only if (b, a) R, is a relation from B to A, called the converse relation of R. Remark 2: If (A, R) is a partially ordered set then (A, R -1 ) is a partial ordered set. Proof: Let (A, R) be a poset. Then R is a partial ordering on A. Therefore, R is reflexive, antisymmetric and transitive. Now we shall prove that R -1 is reflexive, anti-symmetric and transitive. Since R is reflexive, we have, (a, a) R,for all a A. Therefore, (a, a) R -1, for all a A also. Thus, R -1 is reflexive. If ar -1 b and br -1 a, then by definition of R -1 we have bra and arb. Since R is anti-symmetric, we have a = b. Therefore, R -1 is anti-symmetric. Let ar -1 b and br -1 c. Then by definition of R -1, we have bra and crb. Since R is transitive, we have cra. Therefore, ar -1 c. Thus, R -1 is transitive. Hence (A, R -1 ) is a partially ordered set. Note: Since we use for denoting partial ordering we denote for its converse. Thus, if (A, ) is a partial ordered set then (A, ) is also partial ordered set. The poset (A, ) is called dual poset to the poset (A, ). Remark 3: (Duality Principle) Every statement or formula or expression on an ordered set (A, ) remains correct if everywhere in the statement the relation is replaced by its converse relation. 14

15 Extremal Elements of Partially Ordered Sets In this section we discuss about the extremal elements of a poset. Let (A, ) be a poset. An element a A is called a maximal element of A if there is no element c in A such that a < c. An element b A is called a minimal element of A if there is no element c in A such that c < b. An element a A is called a greatest element of A if x a, for all x A. Similarly, an element a A is called a least element of A if a x, for all x A. Example: Consider the following poset represented by the following Hasse diagram In this poset, a, f and i are minimal elements c, h, k are maximal elements, there is a no greatest element and there is no least element. 15

16 Consider the following posets represented by Hasse diagrams. In the poset (i), a is the least and minimal element and d is the greatest and maximal element. In the poset (ii), a is the least and minimal element and d and e are maximal elements but there is no greatest element. Remark: In a poset, least element or greatest element need not always exist. It is clear that least element is a minimal element and greatest element is a maximal element but not conversely. Try yourself: 1. Let (A, ) be a finite non empty poset. Then prove that A has at least one maximal element and at least one minimal element. 2. Let (A, ) be a poset. Then prove that if least element or greatest element exist then they are unique. 16

17 Let (A, ) be a poset and B A. i. a A is called an upper bound of B if and only if b a, for all b B. ii. a A is called a lower bound of B if and only if a b, for all b B. iii. An lower bound g of B is called a greatest lower bound or infimum if and only if h g for every lower bound h of B in A and it is denoted by inf B or GLB of B. iv. An upper bound v of B is called least upper bound or superimum if and only if v u for all upper bound u of B in A and it is denoted by sup B or LUB of B. Example: Consider the poset (D 30, ), i..e ({30, 15, 10, 6, 5, 3, 2, 1}, ). Let B = {2, 3, 6}. Then inf B = 1, upper bounds of B are 6 and 30 but supb = 6. Try yourself: 1.Let (A, ) be a poset and let B A. Prove that if inf B or sup B exist then they are unique. 2. On the set A = {a, b, c}, find all partial orders in which a b? 3. If (A, ) is a poset and A' is a subset of A. check whether (A', ' ) is also a poset, where ' is the restriction of to A. 4. Construct the Hasse diagram of (D 30, ) and (P(A 3 ), ), where A 3 = {1,2,3} Do they have structural similarity? 17

18 5. Find ( i ) all the lower bound of B. ( ii ) all the upper bound of B. ( iii ) the least upper bound of B. ( iv ) the greatest lower bound of B, where B = {c, d, e} in the poset represented by the following poset. 6. Whether every finite poset has maximal element? If yes, justify your answer 18

19 Lattices 1 Lattice Ordered Sets 2 Algebraic Lattice 3 Sub lattices, Direct Product and Homomorphism 3.1 Sub lattices 3.2 Direct Product of Lattices 3.3 Homomorphism 3.4 Special Lattices Isotone, Distributive and Modular Inequalities Modular Lattices Distributive Lattices Complemented Lattices Lattices In this section we introduce lattices as special type of partial ordered set and we discuss basic properties of lattices and some important type of special lattices. Lattice Ordered sets In this section we define lattice ordered sets and see some examples. A poset (L, ) is called lattice ordered set if for every pair of elements x, y L, the sup (x, y) and inf (x, y) exist in L. Example 1: Let S be a nonempty set. Then (P(S), ) is a lattice ordered set. For (P (S), ) is a poset. Further for any subsets A, B of S, inf (A, B) = A B P(S) and sup (A, B) = A B P(S). 19

20 Example 2: Every totally ordered set is a lattice ordered set (Prove!). Example 3: Consider the set of all positive integer Z + with divisor as a relation, i.e., a b if and only if a b.then (Z +, ) is a poset. For, if a, b Z +, then inf (a, b) = GCD(a, b) Z + and sup (a, b) = LCM(a, b) Z +. Thus, inf (a, b) and sup (a,b) exist in Z + for any two element a, b Z +. Hence (Z +, ) is a lattice ordered set. In fact (D n, ) ( D n denotes the set of all positive divisors of positive number n ) is also a lattice ordered set. Example 4: Consider the set B, where B n = {(l 1, l 2,, l n ) / l i = 0 or 1, for 1 r n}. Define the relation ' by (i 1, i 2,, i n ) ' (j 1, j 2,, j n ) if and only if i r j r, 1 r n. Note that here in the expression i r j r, is usual less than or equal to. We have already seen in Example 7 of Section that (B n, ') is a poset. Observe that inf [ (i 1, i 2,..,i n ), (j 1, j 2,, j n )] = (min (i 1, j 1 ), min (i 2,j 2 ),., min (i n, j n ) ) and sup [ (i 1, i 2,, i n ), (j 1, j 2,, j n )] = (max (i 1, j 1 ), max (i 2,j 2 ),., max (i n, j n ) ) Since min (i r, j r ) and max (i r, j r ) is either 0 or 1, so, inf { (i 1, i 2,, i n ), (j 1,j 2,..,j n ) } and sup { (i 1, i 2,, i n ), (j 1, j 2,, j n ) } exist in B. Thus, (B n, ) is a lattice ordered set. Example 5: Poset represented by the Hasse diagram is not a lattice ordered set since inf (a, b) does not exist. 20

21 Example 6: Poset represented by the Hasse diagram is not a lattice ordered set as sup (f, g) does not exist. Try yourself: 1. Prove that if (L, ) and (M, ' ) are lattice ordered sets. Then (L M, R) is a lattice ordered set, where (a, b) R (x, y) if and only if a x in L and b ' y in M. 2. Check whether the poset represented by the following Hasse diagram that is lattice ordered set or not? 21

22 Remark 1: Let (L, ) be a lattice ordered set and let x, y L. Then the following are equivalent. (i) x y (ii) sup (x, y) = y (iii) inf (x, y) = x Proof: ( i ) ( ii ) Let x y (1) We have, y y, for all y L. (2) From (1) and (2), we have y is an upper bound of (x, y). Therefore, sup (x, y ) y (by definition of superimum). But, y sup (x, y). Therefore, y = sup (x, y) (since is anti - symmetric). ( ii ) ( iii ) Given that sup (x, y) = y. Therefore we have x y. Also, we have x x. Therefore, x is a lower bound for x and y. Thus, x inf (x, y). But, we have inf (x, y) x. Hence, x = inf (x, y) ( since is anti-symmetric). ( iii ) ( i ) Given that x = inf (x, y). Therefore, by the definition of infimum, x y. Algebraic Lattice In this section we define algebraic lattice by using two binary operations * (meet) and (join). Then we shall prove that lattice ordered sets and algebraic lattices are equivalent. An algebraic lattice (L, *, ) is a non empty set L with two binary operations * (meet) and (join), which satisfy the following conditions for all x, y, z L. 22

23 L1. x * y = y * x, x y = y x (Commutative) L2. x * (y*z) = (x * y) * z, x (y z) = (x y) z (Associative) L3. x * (x y) = x, x (x * y) = x (Absorption) L4. x * x = x, x x = x (Idempotent) Theorem: Let (L, ) be a lattice ordered set. If we define x * y = inf (x, y), x y = sup (x, y) then (L, *, ) is an algebraic lattice. Proof: Given that (L, ) is a lattice ordered set and x * y = inf (x, y) and x y = sup (x, y). Now we shall prove that * and satisfy the commutative, associative, absorption and idempotent laws. Commutative x * y = inf (x, y) = inf (y, x) = y * x. x y = sup (x, y) = sup (y, x) = y x. Associative x * (y * z) = inf (x, (y * z)) = inf (x, inf (y,z)) = inf (x,y,z) = inf ( inf (x, y), z)) = inf ((x*y), z) = (x*y) *z. 23

24 Now, x (y z) = sup (x, (y z)) = sup (x, sup (y,z)) = sup (x, y,z) = sup (sup (x,y), z) = sup ((x y), z) = (x y) z. Absorption Now, x * (x y) = inf (x, x y) = inf (x, sup (x, y)) = x [since x sup (x, y)] and x (x * y) = sup (x, x * y) = sup (x, inf (x, y)) = x [since inf (x, y) x ]. Idempotent We have, x * x = inf (x, x) = x and x x = sup (x, x) = x. Hence (L, *, ) is an algebraic lattice. 24

25 Theorem: Let (L, *, ) be an algebraic lattice. If we define x y x * y = x or x y x y = y, then (L, ) is a lattice ordered set. Proof: Given that (L, *, ) is an algebraic lattice and x y x * y = x or x y = y. We shall now prove that (L, ) is a poset and inf (x, y) and sup (x, y) exist in L, for all x, y in L. is reflexive Since x * x = x, for all x L (by indempotent of *). We have by definition of, x x, for all x L. Therefore, is reflexive. is anti-symmetric If x y and y x in L, then by definition of, we have x * y = x and y * x = y. But * satisfies commutative law, so, we have x * y = y * x. Therefore, x = y. Hence, is anti-symmetric. is transitive If x y and y z, then by the definition of, we have x * y = x and y * z = y. Therefore, x * z = (x * y) * z = x * (y * z) [by associativity of *] = x * y [by definition )] = x [by definition of ] Hence, by definition of, we have x z. Thus, is transitive. 25

26 sup (x, y) and inf (x, y) exist in L We shall now show that inf (x, y) = x * y and sup (x, y) = x y. Now by absorption law, we have x = x * (x y) and y = y * (x y) Then by the definition of, we have x x y and y x y Therefore, x y is an upper bound for x and y. Let z be any upper bound for x and y in L. Then x z and y z. So, by definition of, we have x z = z and y z = z ( 1 ) Therefore, (x y) z = x (y z) [by associative law] = x z [by ( 1 )] = z [by ( 1 )]. Thus, by definition of, we have x y z. that is, x y is related to every upper bound of x and y. Hence sup (x, y) = x y. Similarly, we can show that inf (x, y) = x * y. Thus, x * y and x y exists for every x, y L. Hence, we have (L, ) is lattice ordered set. Remark 1: From the Theorem and the Theorem 3.2.2, we see that if we have lattice ordered set (L, ) then we can get an algebraic lattice (L, *, ) and conversely. Hence, we conclude that the algebraic lattice and a lattice ordered sets are equivalent system. Thus, here after we shall say simply lattice to mean both. In an algebraic system it is better convenience for imposing further conditions on the binary operations. Hence developing structural concepts will be much easier than the ordered system. In fact, it is one of the motivation to view a lattice ordered set as an algebraic lattice. 26

27 Sublattice, Direct Product and Homomorphism In this section we discuss sublattices of a lattice, direct product of two lattices and homomorphism between two lattices. Sublattices Substructure helps to know more about the whole structure. So, here we discuss about sublattice of a lattice. Let (L, *, ) be a lattice and let S be subset of L. The substructure (S, *, ) is a sublattice of (L, *, ) if and only if S is closed under both operations * and. Remark 1: A subset S in a lattice (L, *, ) is said to be sublattice, for a, b a b = d in L, then c, d must necessary exist in S also. S, if a * b = c in L and Example 1: Consider the lattice L represented by the following Hasse diagram. 27

28 Here the substructure S 1 represented by the Hasse diagram given below is not a sublattice, for inf (a, b) = 0 in L, which does not belong to S 1. It is clear that the substructure S 2 represented by the Hasse diagram given below is sublattice of L. It is interesting to note that the substructure S 3 of L represented by the in the following Hasse diagram is not a sublattice but it is a lattice on its own. So, it is a lattice without being a sublattice. 28

29 Try Yourself: 1. Find all the sub lattices of (D 30, ). 2. Let L be a lattice and let a < b. Then [a, b] is called an interval of the lattice, where [a, b] = {x L / a x b }. Prove that [a,b] is a sublattice. 29

30 Direct Product of Lattices From given two lattices, we can always construct a new lattice by taking Cartesian product of the given two lattices. So, in this section we discuss about product of two lattices. Let (L, *, ) and (M,, ) be two lattices. Consider the Cartesian product of L and M, that is, L M = {(x, y) / x L, y M}. Define operations and in L M, by (x, y) (a, b) = (x * a, y b) and (x, y) (a, b) = (x a, y b), then we shall prove that ( L M,, ) is a lattice. and are commutative. By definition (x, y) (a, b) = (x * a, y b) = (a * x, b y) (since * and are commutative) = (a, b) (x, y) (by definition ). Similarly, (x, y) (a, b) = (x a, y b) = (a x, b y) = (a, b) (x, y). Hence, commutative law holds good for both operations and. and are associative [ ( x, y) (a, b) ) (u, v)] = [ (x * a, y b) ] (u, v) (by definition of ) = [ (x * a ) * u, (y b) v] (again by definition of ) = [ x * (a * u), y (b v) ] (since * and are associative) = [ (x, y) (a * u, b v) ] (by definition of ) = [ (x, y) [ (a, b) (u, v) ] (by definition of ) Similarly we can show that [ (x, y) (a, b) ] (u, v) = (x, y) [ (a, b) (u, v) ] Thus, associative law hold good for both operations and in L M. 30

31 Absorption (x, y) [ (x, y) (a, b) ] = (x, y) [ x a, y b] = [ x * (x a), y (y b) ] (by definition of and ) = (x, y ) (by absorption law in L and M). Therefore, absorption law hold good in L M. Idempotent (x, y) (x, y) = [ x * x, y y] = (x, y) (since * and satisfy idempotent law) Similarly, (x, y) (x, y) = (x, y). Hence, (L M,, ) is an algebraic lattice. Thus, (L M,, ) is a lattice. Remark 1: If (L, *, ) is a lattice, then L² = L x L is a lattice. In general one can show that L n = L L L. L (n times) is a lattice. In the finite lattices, B n is a very important lattices, where B = {0,1}, which has rich structural property and will play very important role in the applications. Let (L, ) and (M, ' ) be two lattices, then we have already seen that (L M, R) where (x 1, y 1 ) R (x 2, y 2 ) if and only if x 1 x 2 and y 1 ' y 2, is a poset. It can be proved that (L M, R) is a lattice ordered set. [ Prove!] 31

32 Homomorphism In this section to understand the structural similarity between two lattices we define homomorphism between two lattices and we discuss about it. Let (L, *, ) and (M,, ) be two lattices. A function f : L M is called a Lattice homomorphism if f (a * b) = f (a) f (b) and f (a b) = f (a) f (b), for all a, b L, and it is called order preserving if x y in L implies f (x) ' f (y), where is an order relation in L and ' is an order relation in M. A bijecitve homomorphism is called isomorphism. Example 1: Consider the lattices D 6 = {1,2,3,6} and D 30 = {1,2,3,5,6,10,15,30}. We can show that there exist a homomorphism f between D 6 and D 30. Define a mapping f from D 6 into D 30 by f (1) = 1, f(2) = 6, f (3) = 15 and f (6) = 30. Then f (1 * 2) = f(1) = 1. f (1) * f(2) = 1 * 6 = 1. [Note that in both D 6 and D 30 a * b and a b are GCD and LCM of two element a, b] 32

33 Similarly, f (1 * 3) = f(1) = f(1) * f(3). f(1 * 6) = f(1) * f (6) = f(1). f(2 * 3) = f(2) * f(3) = f(1). f(2 * 6) = f(2) * f(6) = f(2). f(3 * 6) = f(3) * f(6) = f(3). Similarly we can prove that f (x y) = f (x) f (y) for all x, y D 6. Thus, f is homomorphism. Note that f is not onto but f is one-one. Hence f is not an isomorphism. Try yourself: It is very interesting to prove that the mapping f defined from B n into P(A n ), where A n = {1,2,., n} by f (i 1, i 2,., i n ) = { k / i k 0} is a homomorphism. 33

34 Special Lattices In this section we shall discuss some of the special types of lattices which in turn help to define the Boolean algebra. Isotone, Distributive and Modular Inequalities In this subsection we shall prove that in every lattice the operation * and are isotone and distributive and modular inequalities holds good. Lemma: In every lattice L the operation * and are isotone, i.e., if y z x * y x * z and x y x z. Proof: x * y = (x * x) * (y * z) (since x * x = x and since y z, y * z = y) = (x * y) * (x * z) (by associative and commutative of *). x * y x * z (since a b a * b = a). Also, x z = (x x) (y z) = (x y) (x z) x y x z. Hence the lemma. 34

35 Theorem: The elements of an arbitrary lattice satisfy the following inequalities i. x * (y z) (x * y) (x * z) x (y * z) (x y) * (x z) (distributive inequalities.) ii. x z x * (y z) (x * y) (x * z) = (x * y) z x z x (y * z) (x y) * (x z) = (x y) * x (modular inequalities.) Proof: Claim: Distributive inequalities are true in a lattice. By definition of, y y z and z y z. By isotone property we have x * y x * (y z)... (1) and x * z x * (y z)... (2) From (1) and (2) we observe that x * (y z) is an upper bound for x * y and x * z. Hence, (x * y) (x * z) x * (y z). By duality principle, we have (x y) * (x z) x (y * z). ii) It is given that z x, then by Theorem z * x = z. From the inequality ( i ) we have x* (y z) (x*y) (x z). Therefore, x * (y z) (x * y) z. Since x z, we have x z = z. Thus, from the inequality x (y * z) (x y) * (x z), we have x (y * z) (x y) * z. Hence the theorem. Modular Lattices In this section we shall define and discuss about the modular lattices. A lattice L is said to be modular if for all x, y, z L, x z x * (y z) = (x * y) z. Example 1: (P(A),, ) is a modular lattice [ Proof left as an exercise]. 35

36 Example 2: The set of all normal subgroups of a group form a modular lattice. [Recall that a subgroup H of a group G is said to be normal if ghg -1 = H, for all g G]. It can be easily shown that M, the set of normal subgroups of a group G, with `set inclusion' relation is a poset. Now for any two normal subgroups H 1 and H 2 of G, we have H 1 * H 2 = inf (H 1, H 2 ) = H 1 H 2 and H 1 H 2 = sup (H 1, H 2 ) = H 1 H 2. Since H 1 H 2 and H 1 H 2 are normal subgroups if both H 1 and H 2 are normal subgroups. Therefore, (M, ) is a lattice ordered set. Hence (M, *, ) is an algebraic lattice. Let H 1, H 2, H 3, M such that H 1 H 3. Since in every lattice modular inequality holds good, we have H 1 (H 2 * H 3 ) (H 1 H 2 ) * H 3. (1) Now we shall prove that (H 1 H 2 ) * H 3 H 1 (H 2 * H 3 ). Let a (H 1 H 2 ) * H 3 i.e., a (H 1 H 2 ) H 3 a H 1 H 2 and a H 3 a = h 1 h 2 and a = h 3, for some h 1 H 1,h 2 H 2 and h 3 H 3. Therefore, h 1 h 2 = h 3 h 2 = h 1-1 h 3 H 3 [ h 3 H 3 and h 1 H 1 H 3, therefore, h 1-1 h 3 H 3 ] h 2 H 2 and h 2 H 3 Thus, h 2 H 2 H 3 (2) Since a = h 1 h 2, we have a H 1 (H 2 H 3 ) (by (2)) That is, a H 1 (H 2 * H 3 ) That is, (H 1 H 2 ) * H 3 H 1 (H 2 * H 3 ). (3) From (1) and (3) we have H 1 (H 2 * H 3 ) = (H 1 H 2 ) * H 3. Hence (M, *, ) is a modular lattice. 36

37 Theorem: A lattice L is modular if and only if x, y, z L, x (y * (x z)) = (x y) * (x z). Proof : Let (L, *, ) be a modular lattice Then, if x z implies x (y * z) = (x y) * z (1) But, for all x, z L, x x z, So, by (1) we have x (y * (x z)) = (x y) * (x z), for all x, y, z L Conversely, suppose x (y * (x z)) = (x y) * (x z). ( 2 ) Then we shall prove that L is modular. If x z then x z = z. (3) Substitute (3) in (2), we have if x z x (y * z) = (x y) * z Thus, (L, *, ) is modular. If we have a characteristic result in terms of Hasse diagram for the modular lattice then it would effectively help in deciding a given lattice is modular or not. So, we shall prove the following lemma. Lemma : The "Pentagon Lattice" represented by the Hasse diagram given below is not modular. 37

38 Proof: From the structure of the pentagon lattices we see that c a. Now c (b * a) = c 0 = c. On the other hand, (c b) * a = 1 * a = a. Definitely c a, thus, pentagon lattice is not a modular lattice. On the other hand, it can be proved that if any lattice whose substructure is isomorphic to a pentagon lattice cannot be a modular lattice. So, we have the following theorem. Theorem: A lattice L is modular if and only if none of its sublattice is isomorphic to the "pentagon lattice" [ for the detailed proof refer [2]] Try yourself: Prove that the intervals [x, x y] and [ x * y, y] are isomorphic in a modular lattice. [ By interval [u,v] we mean the set { t L / u t v }] Try yourself: Prove that if a b and if there exists c L with a c = b c and a * c = b * c then a = b. Distributive Lattices In this section we will define and discuss distributive lattices. A lattice (L, *, ) is called a distributive lattice if for any a, b, c L, a * (b c) = (a * b) (a * c) a (b * c) = (a b)*(a c) Example 1: (P(A),, ) is a distributive lattice. [ For proof refer Section1.2] 38

39 Example 2: Every totally ordered set is a distributive lattice. Proof: In a totally ordered set (T, ) for any two elements a, b in T, we have either a b or b a. Therefore, for any three elements a, b, c in T, the following are the possible situations in the structure of (T, ). All these possible choices can be covered in the following two cases. Case 1: a b or a c [ the first four choices ] Case 2: a b and a c [ the last two choices ] For the case 1, we have, a*(b c) = a and (a * b) (a * c) = a a = a For the case 2, we have, a*(b c ) = b c and (a * b) (a * c) = b c Hence any totally ordered set (T, ) is a distributive lattice. 39

40 Example 3: The set of all positive integers Z +, ordered by divisibility is a distributive lattice. Proof: We know that (Z +, ) is lattice, where x * y = GCD(x, y) and x y = LCM(x, y), for x, y Z +. Since every positive integer can be expressed as product of powers of primes, Let x =, y = and z =. Note that x i, y i, z i may be zero also. Now, y * z = x (y * z) = = = * = (x y) * (x z) 40

41 Remark 1: It is clear from the definition of distributive lattice that if a c then a * c = c and a c = a. Therefore, a * (b c) = (a * b) (a * c) = (a * b) c. If a c then a * c = a and a c = c. Therefore we have a (b * c) = (a b) * (a c) = (a b) * c. Thus, every distributive lattice is modular. On the other hand every modular lattice need not be distributive. For example, the following modular lattice called diamond lattice is not distributive lattice. Diamond Lattice: For, a (b * c) = a 0 = a (a b) * (a c) = 1 * 1 = 1 Therefore, a (b * c) (a b) * (a c). Hence, a diamond lattice is not a distributive lattice. 41

42 It is interesting to observe that if a lattice is not modular it cannot be a distributive lattice. It follows from the Theorem and the above Remark1, we have the following theorem which will effectively decide the given lattice is distributive or not. Theorem: A lattice is distributive iff none of its sublattice is isomorphic to either the pentagon lattice or diamond lattice. [ For the proof refer [ 2 ] ] Try yourself: Prove that the direct product of two distributive lattices is a distributive lattice. Theorem : Let (L, *, ) be a distributive lattice. Then for any a, b, c L, a * b = a * c and a b = a c b = c [cancellation law]. Proof: (a * b) c = (a * c) c = c (since a * b = a * c and by absorption law, (a * c) c = c) Now, (a * b) c = (a c) * (b c) (by distributive law) = (a b) * (b c) (since a c = a b) = b (a * c) (by distributive law) Hence, b = c. = b (a * b) (since a * c = a * b) = b (by absorption law) Complemented Lattices In this section we shall define complemented lattices and discuss briefly. In a lattice (L, *, ), the greatest element of the lattice is denoted by 1 and the least element is denoted by 0. 42

43 If a lattice (L, *, ) has 0 and 1, then we have, x * 0 = 0, x 0 = x, x * 1 = x, x 1 = 1, for all x L. A lattice L with 0 and 1 is complemented if for each x in L there exists atleast one y L such that x * y = 0 and x y = 1 and such element y is called complement of x. Note: It is customary to denote complement of x by x'. Remark 1: It is clear that complement of 1 is 0 and vice versa. Example 1: Consider the lattice (P(A), ) Here 0 = φ and 1 = A. Then, for every S P(A), that is, S A, complement of S is A\ S, i.e. S'. Example 2: Consider the lattice L described in the Hasse diagram given below. Here, c does not have a complement. For, c * 0 = 0, but, c 0 = c. Therefore, 0 can not be a complement of c. Since a c = c, therefore, a can not be a complement of c. 43

44 Further, since c * b = c, b is not a complement of c. Also, c * 1 = c, 1 is not a complement of c. Hence, c does not have any complement in L. Therefore, L is not a complemented lattice. Example 3: In a totally ordered set, except 0 and 1, all the other elements do not have complements. Example 4: Consider the lattice L described by the Hasse diagram given below. Here, for c, we have, c * a = 0 and c a =1 and also, c * b = 0 and c b = 1. Thus, c has a and b as its complements. From this example, it is clear that complement of an element in a complemented lattice need not be unique. Theorem: In a distributive lattice L with 0 and 1, if a complement of an element exists then it is unique. 44

45 Proof: Let L be a distributive lattice with 0 and 1. Let a L. Suppose a' and a" be two complement of a. Then by the definition of complement of an element, we have a * a' = 0 and a a' = 1 a a" = 0 and a a" = 1 Therefore, a * a' = a * a" and a a' = a a". Therefore by cancellation law in a distributive lattice, we have a' = a". Thus, complement of an element in a distributive lattice is unique. Try yourself: 1. Is the poset A = {2, 3, 6, 12, 24, 36, 72} under the relation of divisibility a lattice. 2. If L 1 and L 2 are the lattices shown in the following figure, draw the Hasse diagram.of L 1 L 2 with product partial order. 3. Show that a subset of a totally ordered set is a sublattice. 4. Find all the sublattices of D 24 that contains at least five elements. 5. Shows that sublattice of a distributive lattice is distributive. 6. Show that the lattice given below is not a distributive lattice but modular. 45

46 7. Find the complement of each element of D Determine whether the lattice given below is distributive, complemented or both. 46

47 Boolean Algebra Boolean Algebra Boolean algebra is one of the most interesting and important algebraic structure which has significant applications in switching circuits, logic and many branches of computer science and engineering. Boolean algebra can be viewed as one of the special type of lattice. A complemented distributive lattice with 0 and 1 is called Boolean algebra. Generally Boolean algebra is denoted by (B, *,, ', 0, 1). Example 1 : ( P(A),,, ', φ, Α) is a Boolean algebra. This is an important example of Boolean algebra [In fact the basic properties of the (P (A),,, ' ) led to define the abstract concept of Boolean algebra]. Further, it can be proved that every finite Boolean algebra must be isomorphic to (P (A),,, ', φ, A) for a suitably chosen finite set A. [refer [2]]. Example 2: The structure ( B n = {0,1} n, *,, 1, 0 ) is a Boolean algebra, where B n is an n-fold Cartesian product of {0,1} and the operations *,, are defined below. We have B n = {( l 1, l 2,, l n) / l r = 0 or 1, 1 r n} (i 1, i 2,, i n ) * (j 1, j 2,, j n ) = (min (i 1, j 1 ), min (i 2, j 2 ),.., min (i n, j n ) ) (i 1, i 2,, i n ) (j 1, j 2,, j n ) = (max ( i 1, j 1 ), max ( i 2, j 2 ),, max ( i n, j n ) ) (l 1, l 2, l 3,, l n)' = (l 1', l 2',., l n'), 1 = (1,1,, 1) is the greatest element of B n. 0 = (0, 0,0,,0) is the least element of B n. Since B is distributive, B n is distributive. From the definition of unary operation " ' ", it is clear that B n is complemented. Further, it has 0 and 1. Thus, (B n, *,, ', 0,1) is a Boolean algebra. 47

48 For the case n = 3 we have, B 3 = {000, 100, 010, 001, 110, 101, 011, 111}. The structure of the B 3 is given in the following Hasse diagram. The Boolean algebra (B n, *,, ', 0,1) plays an important role in the construction of switching circuits, electronic circuits and other applications. Also it can be proved that every finite Boolean algebra is isomorphic to the above Boolean algebra (B n, *,, ', 0,1), for some n. Thus, it is interesting to observe that number of elements in any finite Boolean algebra must be always 2 n, for some n. Let (B, *,, ', 0,1) be a Boolean algebra and S B. If S contains the elements 0 and 1 and is closed under the operation *, and ' then (S, *,, ', 0,1) is called sub Boolean algebra. Example 1: Consider the Boolean algebra (P ({1,2,3}),,, ',φ, {1,2,3}) Then (S = {φ, {1}, {2,3}, {1,2,3}},,, ', φ, {1,2,3}) is also sub Boolean algebra. Similarly, S = ({φ,{3},{1,2},{1,2,3}},,, ', φ, {1,2,3}) is also sub Boolean algebra. 48

49 But (S = ({φ, {1}, {2,3}, {1,2,3}},,,', φ, {1,2,3})) is not a sub Boolean algebra. [Find why it is not a sub Boolean algebra]. If we have two Boolean algebras (B 1, * 1, 1, ', 0 1, 1 1 ) and (B 2, * 2, 2, '', 0 2, 1 2 ) then we can get new Boolean algebra by taking direct product of these two Boolean algebras. The direct product of these Boolean algebra is the Boolean algebra (B 1 B 2, * 3, 3, ''', 0 3, 1 3 ); where for any two elements (a 1, b 1 ) and (a 2, b 2 ) B 1 B 2, (a 1,b 1 ) * (a 2,b 2 ) = (a 1 * 1 a 2, b 1 * 2 b 2 ) (a 1,b 1 ) (a 2,b 2 ) = (a 1 1 a 2, b 1 2 b 2 ) (a 1,b 1 ) ''' = (a 1 ', b 1 '') 0 3 =(0 1,0 2 ) and 1 3 =(1 1,1 2 ). Let (B, *,, ', 0 B, 1 B ) and (A,,, -, 0 A, 1 A ) be two Boolean algebra. A mapping f : B A is called a Boolean homomorphism if f preserves all the Boolean operations, that is, f (a * b) = f (a) f (b). f (a b) = f (a) f (b). f (0 B ) = 0 A. f (1 B ) = 1 A. A bijective Boolean homomorphism is called Boolean isomorphism. 49

50 Try yourself: 1. Prove that mapping f defined in the exercise 1 of the Section is a Boolean isomorphism. 2. In every Boolean algebra, prove that (x * y)' = x' y' and (x y)' = x' * y', for all x, y. 3. In a Boolean algebra B, for all x, y B, prove that x y x * y = 0 x' y = 1 x * y = x x y = y. Try yourself: 1. Are there any Boolean algebra having three elements? Justify your answer? 2. Show that in a Boolean algebra, for any a and b, b * (a (a' * (b b' ))) = b? 3. Determine whether the posets given below are Boolean algebra? fig ( i ) fig ( ii ) fig ( iii ) 4. Show that in a Boolean algebra the following are equivalent for any a and b. ( i ) a' b = 1 ( ii ) a b' = The Boolean algebras (P (A 3 ),,, ', A 3, φ) and D 30, where A 3 = {1,2,3} are (Boolean) isomorphic? Justify your answer. 50

2MA105 Algebraic Structures I

2MA105 Algebraic Structures I 2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 12 Partially Ordered Sets Lattices Bounded Lattices Distributive Lattices Complemented Lattices

More information

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement Tutorial - 1 1. Obtain the principal disjunctive normal form and principal conjunction form of the statement Let S P P Q Q R P P Q Q R A: P Q Q R P Q R P Q Q R Q Q R A S Minterm Maxterm T T T F F T T T

More information

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Section Summary. Relations and Functions Properties of Relations. Combining Relations Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included

More information

Boolean Algebra CHAPTER 15

Boolean Algebra CHAPTER 15 CHAPTER 15 Boolean Algebra 15.1 INTRODUCTION Both sets and propositions satisfy similar laws, which are listed in Tables 1-1 and 4-1 (in Chapters 1 and 4, respectively). These laws are used to define an

More information

1.4 Equivalence Relations and Partitions

1.4 Equivalence Relations and Partitions 24 CHAPTER 1. REVIEW 1.4 Equivalence Relations and Partitions 1.4.1 Equivalence Relations Definition 1.4.1 (Relation) A binary relation or a relation on a set S is a set R of ordered pairs. This is a very

More information

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 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 information

Lecture 4. Algebra, continued Section 2: Lattices and Boolean algebras

Lecture 4. Algebra, continued Section 2: Lattices and Boolean algebras V. Borschev and B. Partee, September 21-26, 2006 p. 1 Lecture 4. Algebra, continued Section 2: Lattices and Boolean algebras CONTENTS 1. Lattices.... 1 1.0. Why lattices?... 1 1.1. Posets... 1 1.1.1. Upper

More information

Discrete Mathematics. 2. Relations

Discrete Mathematics. 2. Relations Discrete Mathematics 2. Relations Binary Relations Let A, B be any two sets. A binary relation R from A to B is a subset of A B. E.g., Let < : N N : {(n,m) n < m} The notation a R b or arb means (a,b)îr.

More information

Automata and Languages

Automata and Languages Automata and Languages Prof. Mohamed Hamada Software Engineering Lab. The University of Aizu Japan Mathematical Background Mathematical Background Sets Relations Functions Graphs Proof techniques Sets

More information

3. Abstract Boolean Algebras

3. Abstract Boolean Algebras 3. ABSTRACT BOOLEAN ALGEBRAS 123 3. Abstract Boolean Algebras 3.1. Abstract Boolean Algebra. Definition 3.1.1. An abstract Boolean algebra is defined as a set B containing two distinct elements 0 and 1,

More information

Answer: A. Answer: C. 3. If (G,.) is a group such that a2 = e, a G, then G is A. abelian group B. non-abelian group C. semi group D.

Answer: A. Answer: C. 3. If (G,.) is a group such that a2 = e, a G, then G is A. abelian group B. non-abelian group C. semi group D. 1. The set of all real numbers under the usual multiplication operation is not a group since A. zero has no inverse B. identity element does not exist C. multiplication is not associative D. multiplication

More information

Definition: A binary relation R from a set A to a set B is a subset R A B. Example:

Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.

More information

CSC Discrete Math I, Spring Relations

CSC Discrete Math I, Spring Relations CSC 125 - Discrete Math I, Spring 2017 Relations Binary Relations Definition: A binary relation R from a set A to a set B is a subset of A B Note that a relation is more general than a function Example:

More information

Boolean Algebras. Chapter 2

Boolean Algebras. Chapter 2 Chapter 2 Boolean Algebras Let X be an arbitrary set and let P(X) be the class of all subsets of X (the power set of X). Three natural set-theoretic operations on P(X) are the binary operations of union

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

MA Discrete Mathematics

MA Discrete Mathematics MA2265 - Discrete Mathematics UNIT I 1. Check the validity of the following argument. If the band could not play rock music or the refreshments were not delivered on time, then the New year s party would

More information

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University

COMP 182 Algorithmic Thinking. Relations. Luay Nakhleh Computer Science Rice University COMP 182 Algorithmic Thinking Relations Luay Nakhleh Computer Science Rice University Chapter 9, Section 1-6 Reading Material When we defined the Sorting Problem, we stated that to sort the list, the elements

More information

Notes on Ordered Sets

Notes on Ordered Sets Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,

More information

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth Sets We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth century. Most students have seen sets before. This is intended

More information

0 Sets and Induction. Sets

0 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 information

3 Boolean Algebra 3.1 BOOLEAN ALGEBRA

3 Boolean Algebra 3.1 BOOLEAN ALGEBRA 3 Boolean Algebra 3.1 BOOLEAN ALGEBRA In 1854, George Boole introduced the following formalism which eventually became Boolean Algebra. Definition. An algebraic system consisting of a set B of elements

More information

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay Lecture Notes in Real Analysis 2010 Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay August 6, 2010 Lectures 1-3 (I-week) Lecture 1 Why real numbers? Example 1 Gaps in the

More information

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

BOOLEAN ALGEBRA INTRODUCTION SUBSETS BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations

More information

Math 2534 Solution to Test 3A Spring 2010

Math 2534 Solution to Test 3A Spring 2010 Math 2534 Solution to Test 3A Spring 2010 Problem 1: (10pts) Prove that R is a transitive relation on Z when given that mrpiff m pmod d (ie. d ( m p) ) Solution: The relation R is transitive, if arb and

More information

Relations, Functions, and Sequences

Relations, Functions, and Sequences MCS-236: Graph Theory Handout #A3 San Skulrattanakulchai Gustavus Adolphus College Sep 13, 2010 Relations, Functions, and Sequences Relations An ordered pair can be constructed from any two mathematical

More information

Relations Graphical View

Relations Graphical View Introduction Relations Computer Science & Engineering 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu Recall that a relation between elements of two sets is a subset of their Cartesian

More information

Class Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21

Class Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21 Class Notes on Poset Theory Johan G Belinfante Revised 1995 May 21 Introduction These notes were originally prepared in July 1972 as a handout for a class in modern algebra taught at the Carnegie-Mellon

More information

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table Engineering Mathematics 2013 SUBJECT NAME SUBJECT CODE MATERIAL NAME MATERIAL CODE REGULATION UPDATED ON : Discrete Mathematics : MA2265 : University Questions : SKMA1006 : R2008 : August 2013 Name of

More information

Do not open this exam until you are told to begin. You will have 75 minutes for the exam.

Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Math 2603 Midterm 1 Spring 2018 Your Name Student ID # Section Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Check that you have a complete exam. There are 5

More information

MAD 3105 PRACTICE TEST 2 SOLUTIONS

MAD 3105 PRACTICE TEST 2 SOLUTIONS MAD 3105 PRACTICE TEST 2 SOLUTIONS 1. Let R be the relation defined below. Determine which properties, reflexive, irreflexive, symmetric, antisymmetric, transitive, the relation satisfies. Prove each answer.

More information

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : UNIT I PROPOSITIONAL CALCULUS Part A ( Marks) Year / Sem : III / V. Write the negation of the following proposition. To enter into the country you

More information

Lecture 1: Lattice(I)

Lecture 1: Lattice(I) Discrete Mathematics (II) Spring 207 Lecture : Lattice(I) Lecturer: Yi Li Lattice is a special algebra structure. It is also a part of theoretic foundation of model theory, which formalizes the semantics

More information

BASIC MATHEMATICAL TECHNIQUES

BASIC MATHEMATICAL TECHNIQUES CHAPTER 1 ASIC MATHEMATICAL TECHNIQUES 1.1 Introduction To understand automata theory, one must have a strong foundation about discrete mathematics. Discrete mathematics is a branch of mathematics dealing

More information

Tree sets. Reinhard Diestel

Tree sets. Reinhard Diestel 1 Tree sets Reinhard Diestel Abstract We study an abstract notion of tree structure which generalizes treedecompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked

More information

LATTICE AND BOOLEAN ALGEBRA

LATTICE AND BOOLEAN ALGEBRA 2 LATTICE AND BOOLEAN ALGEBRA This chapter presents, lattice and Boolean algebra, which are basis of switching theory. Also presented are some algebraic systems such as groups, rings, and fields. 2.1 ALGEBRA

More information

Notation Index. gcd(a, b) (greatest common divisor) NT-16

Notation Index. gcd(a, b) (greatest common divisor) NT-16 Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9

More information

Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)

Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Navid Alaei September 17, 2013 1 Lattice Basics There are, in general, two equivalent approaches to defining a lattice; one is rather

More information

AN INTRODUCTION TO BOOLEAN ALGEBRAS

AN INTRODUCTION TO BOOLEAN ALGEBRAS California State University, San Bernardino CSUSB ScholarWorks Electronic Theses, Projects, and Dissertations Office of Graduate Studies 12-2016 AN INTRODUCTION TO BOOLEAN ALGEBRAS Amy Schardijn California

More information

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : University Questions : R2013 UPDATED ON : June 2017 (Scan the above Q.R code for the direct download of this material)

More information

Properties of Boolean Algebras

Properties of Boolean Algebras Phillip James Swansea University December 15, 2008 Plan For Today Boolean Algebras and Order..... Brief Re-cap Order A Boolean algebra is a set A together with the distinguished elements 0 and 1, the binary

More information

Universal Algebra for Logics

Universal 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 information

Rings and Fields Theorems

Rings 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 information

Lattices, closure operators, and Galois connections.

Lattices, closure operators, and Galois connections. 125 Chapter 5. Lattices, closure operators, and Galois connections. 5.1. Semilattices and lattices. Many of the partially ordered sets P we have seen have a further valuable property: that for any two

More information

Simplification by Truth Table and without Truth Table

Simplification by Truth Table and without Truth Table SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : University Questions : R2013 UPDATED ON : April-May 2018 BOOK FOR REFERENCE To buy the book visit : Sri Hariganesh

More information

Relations. Relations. Definition. Let A and B be sets.

Relations. Relations. Definition. Let A and B be sets. Relations Relations. Definition. Let A and B be sets. A relation R from A to B is a subset R A B. If a A and b B, we write a R b if (a, b) R, and a /R b if (a, b) / R. A relation from A to A is called

More information

Lecture Notes: Selected Topics in Discrete Structures. Ulf Nilsson

Lecture Notes: Selected Topics in Discrete Structures. Ulf Nilsson Lecture Notes: Selected Topics in Discrete Structures Ulf Nilsson Dept of Computer and Information Science Linköping University 581 83 Linköping, Sweden ulfni@ida.liu.se 2004-03-09 Contents Chapter 1.

More information

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y. Relations Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 7.1, 7.3 7.5 of Rosen cse235@cse.unl.edu

More information

Reading 11 : Relations and Functions

Reading 11 : Relations and Functions CS/Math 240: Introduction to Discrete Mathematics Fall 2015 Reading 11 : Relations and Functions Instructor: Beck Hasti and Gautam Prakriya In reading 3, we described a correspondence between predicates

More information

Set Basics. P. Danziger

Set Basics. P. Danziger - 5 Set Basics P. Danziger 1 Set Basics Definition 1 (Cantor) A set is a collection into a whole of definite and separate objects of our intuition or thought. (Russell) Such that given an object x and

More information

On the Truth Values of Fuzzy Statements

On the Truth Values of Fuzzy Statements International Journal of Applied Computational Science and Mathematics. ISSN 2249-3042 Volume 3, Number 1 (2013), pp. 1-6 Research India Publications http://www.ripublication.com/ijacsm.htm On the Truth

More information

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c. Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE

ANNIHILATOR 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 information

Properties of the Integers

Properties of the Integers Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called

More information

Chapter 2 - Relations

Chapter 2 - Relations Chapter 2 - Relations Chapter 2: Relations We could use up two Eternities in learning all that is to be learned about our own world and the thousands of nations that have arisen and flourished and vanished

More information

Foundations of Mathematics

Foundations of Mathematics Foundations of Mathematics L. Pedro Poitevin 1. Preliminaries 1.1. Sets We will naively think of a set as a collection of mathematical objects, called its elements or members. To indicate that an object

More information

Closure operators on sets and algebraic lattices

Closure 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 information

GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction

GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction Acta Math. Univ. Comenianae Vol. LXV, 2(1996), pp. 247 279 247 GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS J. HEDLÍKOVÁ and S. PULMANNOVÁ Abstract. A difference on a poset (P, ) is a partial binary

More information

However another possibility is

However another possibility is 19. Special Domains Let R be an integral domain. Recall that an element a 0, of R is said to be prime, if the corresponding principal ideal p is prime and a is not a unit. Definition 19.1. Let a and b

More information

On minimal models of the Region Connection Calculus

On minimal models of the Region Connection Calculus Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science

More information

Anna University, Chennai, November/December 2012

Anna University, Chennai, November/December 2012 B.E./B.Tech. DEGREE EXAMINATION, NOVEMBER/DECEMBER 2012 Fifth Semester Computer Science and Engineering MA2265 DISCRETE MATHEMATICS (Regulation 2008) Part - A 1. Define Tautology with an example. A Statement

More information

Unit I (Logic and Proofs)

Unit I (Logic and Proofs) SUBJECT NAME SUBJECT CODE : MA 6566 MATERIAL NAME REGULATION : Discrete Mathematics : Part A questions : R2013 UPDATED ON : April-May 2018 (Scan the above QR code for the direct download of this material)

More information

1 Invertible Elements, Pure Monoids

1 Invertible Elements, Pure Monoids MONOIDS Notes by Walter Noll (1992) 1 Invertible Elements, Pure Monoids We assume that a monoid M, described with multiplicative notation and terminology and with unit u, is given. Proposition 1: For every

More information

Logic Synthesis and Verification

Logic Synthesis and Verification Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:

More information

Algebraic structures I

Algebraic 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 information

The least element is 0000, the greatest element is 1111.

The least element is 0000, the greatest element is 1111. Note: this worksheet has been modified to emphasize the Boolean algebra content. Some problems have been deleted.; this, for instance, is why the first problem is #5 rather than #1. 5. Let A be the set

More information

2. Introduction to commutative rings (continued)

2. Introduction to commutative rings (continued) 2. Introduction to commutative rings (continued) 2.1. New examples of commutative rings. Recall that in the first lecture we defined the notions of commutative rings and field and gave some examples of

More information

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics

DEPARTMENT OF MATHEMATICS. MA1301 Discrete Mathematics SHRI ANGALAMMAN COLLEGE OF ENGINEERING AND TECHNOLOGY (An ISO 9001:2000 Certified Institution) SIRUGANOOR, TIRUCHIRAPPALLI 621 105 DEPARTMENT OF MATHEMATICS MA1301 Discrete Mathematics UNIT-I PART-A 1.Give

More information

Chapter 1. Sets and Mappings

Chapter 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 information

A general Stone representation theorem

A general Stone representation theorem arxiv:math/0608384v1 [math.lo] 15 Aug 2006 A general Stone representation theorem Mirna; after a paper by A. Jung and P. Sünderhauf and notes by G. Plebanek September 10, 2018 This note contains a Stone-style

More information

Discrete Mathematics. Benny George K. September 22, 2011

Discrete Mathematics. Benny George K. September 22, 2011 Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and

More information

(Rgs) Rings Math 683L (Summer 2003)

(Rgs) Rings Math 683L (Summer 2003) (Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that

More information

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm

Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm Elementary Algebra Chinese Remainder Theorem Euclidean Algorithm April 11, 2010 1 Algebra We start by discussing algebraic structures and their properties. This is presented in more depth than what we

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need

More information

INTRODUCTION TO THE GROUP THEORY

INTRODUCTION 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 information

Exercises for Unit VI (Infinite constructions in set theory)

Exercises for Unit VI (Infinite constructions in set theory) Exercises for Unit VI (Infinite constructions in set theory) VI.1 : Indexed families and set theoretic operations (Halmos, 4, 8 9; Lipschutz, 5.3 5.4) Lipschutz : 5.3 5.6, 5.29 5.32, 9.14 1. Generalize

More information

Set, functions and Euclidean space. Seungjin Han

Set, functions and Euclidean space. Seungjin Han Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 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 information

MATH 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. 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 information

(Pre-)Algebras for Linguistics

(Pre-)Algebras for Linguistics 1. Review of Preorders Linguistics 680: Formal Foundations Autumn 2010 (Pre-)Orders and Induced Equivalence A preorder on a set A is a binary relation ( less than or equivalent to ) on A which is reflexive

More information

Sets, Functions and Relations

Sets, Functions and Relations Chapter 2 Sets, Functions and Relations A set is any collection of distinct objects. Here is some notation for some special sets of numbers: Z denotes the set of integers (whole numbers), that is, Z =

More information

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower

More information

MATH1240 Definitions and Theorems

MATH1240 Definitions and Theorems MATH1240 Definitions and Theorems 1 Fundamental Principles of Counting For an integer n 0, n factorial (denoted n!) is defined by 0! = 1, n! = (n)(n 1)(n 2) (3)(2)(1), for n 1. Given a collection of n

More information

arxiv:math/ v1 [math.gm] 21 Jan 2005

arxiv:math/ v1 [math.gm] 21 Jan 2005 arxiv:math/0501341v1 [math.gm] 21 Jan 2005 SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, I. THE MAIN REPRESENTATION THEOREM MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P,

More information

Equivalence relations

Equivalence relations Equivalence relations R A A is an equivalence relation if R is 1. reflexive (a, a) R 2. symmetric, and (a, b) R (b, a) R 3. transitive. (a, b), (b, c) R (a, c) R Example: Let S be a relation on people

More information

w. b. vasantha kandasamy smarandache rings

w. b. vasantha kandasamy smarandache rings w b vasantha kandasamy smarandache rings a 8 a 2 a 3 a 8 a a 6 a 5 a 6 a 7 a a 7 a 9 a a 4 a 5 a 2 a 3 a 4 a 22 Smarandache Rings W B Vasantha Kandasamy Department of Mathematics Indian Institute of Technology,

More information

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.

Topology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved. Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124

More information

32 Divisibility Theory in Integral Domains

32 Divisibility Theory in Integral Domains 3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible

More information

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA  address: Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework

More information

Equational Logic. Chapter Syntax Terms and Term Algebras

Equational 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 information

Mathematics Review for Business PhD Students

Mathematics Review for Business PhD Students Mathematics Review for Business PhD Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS

SRI VENKATESWARA COLLEGE OF ENGINEERING AND TECHNOLOGY MA DISCRETE MATHEMATICS 1 MA6566 - DISCRETE MATHEMATICS UNIT I - LOGIC AND PROOFS Propositional Logic Propositional equivalences-predicates and quantifiers-nested Quantifiers- Rules of inference-introduction to Proofs-Proof Methods

More information

CHAPTER 12 Boolean Algebra

CHAPTER 12 Boolean Algebra 318 Chapter 12 Boolean Algebra CHAPTER 12 Boolean Algebra SECTION 12.1 Boolean Functions 2. a) Since x 1 = x, the only solution is x = 0. b) Since 0 + 0 = 0 and 1 + 1 = 1, the only solution is x = 0. c)

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. College Algebra for STEM

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. College Algebra for STEM Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics College Algebra for STEM Marcel B. Finan c All Rights Reserved 2015 Edition To my children Amin & Nadia Preface From

More information

Relations, Functions & Binary Operations

Relations, Functions & Binary Operations Relations, Functions & Binary Operations Important Terms, Definitions & Formulae 0 TYPES OF INTERVLS a) Open interval: If a and b be two real numbers such that a b then, the set of all the real numbers

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend

More information

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

More information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

More information

Chapter 1 The Real Numbers

Chapter 1 The Real Numbers Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus

More information

Discrete Mathematics. CS204: Spring, Jong C. Park Computer Science Department KAIST

Discrete Mathematics. CS204: Spring, Jong C. Park Computer Science Department KAIST Discrete Mathematics CS204: Spring, 2008 Jong C. Park Computer Science Department KAIST Today s Topics Combinatorial Circuits Properties of Combinatorial Circuits Boolean Algebras Boolean Functions and

More information