Skip to main content

Operators & Postulates


Group Theory is a branch of mathematics and abstract algebra that defines an algebraic structure named as group. Generally, a group comprises of a set of elements and an operation over any two elements on that set to form a third element also in that set.
In 1854, Arthur Cayley, the British Mathematician, gave the modern definition of group for the first time −
“A set of symbols all of them different, and such that the product of any two of them (no matter in what order), or the product of any one of them into itself, belongs to the set, is said to be a group. These symbols are not in general convertible [commutative], but are associative.”
In this chapter, we will know about operators and postulates that form the basics of set theory, group theory and Boolean algebra.
Any set of elements in a mathematical system may be defined with a set of operators and a number of postulates.
binary operator defined on a set of elements is a rule that assigns to each pair of elements a unique element from that set. For example, given the set A={1,2,3,4,5}, we can say  is a binary operator for the operation c=ab, if it specifies a rule for finding c for the pair of (a,b), such that a,b,cA.
The postulates of a mathematical system form the basic assumptions from which rules can be deduced. The postulates are −

Closure

A set is closed with respect to a binary operator if for every pair of elements in the set, the operator finds a unique element from that set.

Example

Let A={0,1,2,3,4,5,}
This set is closed under binary operator into (), because for the operation c=ab, for any a,bA, the product cA.
The set is not closed under binary operator divide (÷), because, for the operation c=a÷b, for any a,bA, the product c may not be in the set A. If a=7,b=2, then c=3.5. Here a,bA but cA.

Associative Laws

A binary operator  on a set A is associative when it holds the following property −
(xy)z=x(yz), where x,y,zA

Example

Let A={1,2,3,4}
The operator plus (+) is associative because for any three elements, x,y,zA, the property (x+y)+z=x+(y+z) holds.
The operator minus () is not associative since
(xy)zx(yz)

Commutative Laws

A binary operator  on a set A is commutative when it holds the following property −
xy=yx, where x,yA

Example

Let A={1,2,3,4}
The operator plus (+) is commutative because for any two elements, x,yA, the property x+y=y+x holds.
The operator minus () is not associative since
xyyx

Distributive Laws

Two binary operators  and  on a set A, are distributive over operator when the following property holds −
x(yz)=(xy)(xz), where x,y,zA

Example

Let A={1,2,3,4}
The operators into () and plus (+) are distributive over operator + because for any three elements, x,y,zA, the property x(y+z)=(xy)+(xz) holds.
However, these operators are not distributive over  since
x+(yz)(x+y)(x+z)

Identity Element

A set A has an identity element with respect to a binary operation  on A, if there exists an element eA, such that the following property holds −
ex=xe, where xA

Example

Let Z={0,1,2,3,4,5,}
The element 1 is an identity element with respect to operation  since for any element xZ,
1x=x1

On the other hand, there is no identity element for the operation minus ()

Inverse

If a set A has an identity element e with respect to a binary operator , it is said to have an inverse whenever for every element xA, there exists another element yA, such that the following property holds −
xy=e

Example

Let A={4,3,2,1,0,1,2,3,4,5,}
Given the operation plus (+) and e=0, the inverse of any element x is (x)since x+(x)=0

De Morgan's Law

De Morgan’s Laws gives a pair of transformations between union and intersection of two (or more) sets in terms of their complements. The laws are −
(AB)=AB

(AB)=AB

Example

Let A={1,2,3,4},B={1,3,5,7}, and
Universal set U={1,2,3,,9,10}
A={5,6,7,8,9,10}
B={2,4,6,8,9,10}
AB={1,2,3,4,5,7}
AB={1,3}
(AB)={6,8,9,10}
AB={6,8,9,10}
Thus, we see that (AB)=AB
(AB)={2,4,5,6,7,8,9,10}
AB={2,4,5,6,7,8,9,10}
Thus, we see that 

Comments

Popular posts from this blog

Discrete Mathematics - Rules of Inference

To deduce new statements from the statements whose truth that we already know,  Rules of Inference  are used. What are Rules of Inference for? Mathematical logic is often used for logical proofs. Proofs are valid arguments that determine the truth values of mathematical statements. An argument is a sequence of statements. The last statement is the conclusion and all its preceding statements are called premises (or hypothesis). The symbol “ ∴ ∴ ”, (read therefore) is placed before the conclusion. A valid argument is one where the conclusion follows from the truth values of the premises. Rules of Inference provide the templates or guidelines for constructing valid arguments from the statements that we already have. Table of Rules of Inference Rule of Inference Name Rule of Inference Name P ∴ P ∨ Q P ∴ P ∨ Q Addition P ∨ Q ¬ P ∴ Q P ∨ Q ¬ P ∴ Q Disjunctive Syllogism P Q ∴ P ∧ Q P Q ∴ P ∧ Q Conjunction P → Q Q → R ∴ P → R P → Q Q → R ∴ P → R ...

Digital Circuits - Shift Registers

We know that one flip-flop can store one-bit of information. In order to store multiple bits of information, we require multiple flip-flops. The group of flip-flops, which are used to hold (store) the binary data is known as  register . If the register is capable of shifting bits either towards right hand side or towards left hand side is known as  shift register . An ‘N’ bit shift register contains ‘N’ flip-flops. Following are the four types of shift registers based on applying inputs and accessing of outputs. Serial In − Serial Out shift register Serial In − Parallel Out shift register Parallel In − Serial Out shift register Parallel In − Parallel Out shift register Serial In − Serial Out (SISO) Shift Register The shift register, which allows serial input and produces serial output is known as Serial In – Serial Out  (SISO)  shift register. The  block diagram  of 3-bit SISO shift register is shown in the following figure. This block d...

discrete mathematics: Venn Diagrams

Venn Diagrams Venn diagram, invented in 1880 by John Venn, is a schematic diagram that shows all possible logical relations between different mathematical sets. Examples Set Operations Set Operations include Set Union, Set Intersection, Set Difference, Complement of Set, and Cartesian Product. Set Union The union of sets A and B (denoted by  A ∪ B A ∪ B ) is the set of elements which are in A, in B, or in both A and B. Hence,  A ∪ B = { x | x ∈ A   O R   x ∈ B } A ∪ B = { x | x ∈ A   O R   x ∈ B } . Example  − If  A = { 10 , 11 , 12 , 13 } A = { 10 , 11 , 12 , 13 }  and B =  { 13 , 14 , 15 } { 13 , 14 , 15 } , then  A ∪ B = { 10 , 11 , 12 , 13 , 14 , 15 } A ∪ B = { 10 , 11 , 12 , 13 , 14 , 15 } . (The common element occurs only once) Set Intersection The intersection of sets A and B (denoted by  A ∩ B A ∩ B ) is the set of elements which are in both A and B. Hence,  A ∩ B = { x | x ∈ A   A N D...