CIC-205 Discrete Mathematics
Unit -3
CIC-205 Discrete Structures
1
Algebraic Structures
CIC-205 Discrete Structures
2
N = {1,2,3,4,…..∝ } = Set of all natural numbers.
Z = { 0, ± 1, ± 2, ± 3, ± 4 , ….. ∝} = Set of all integers.
Q = Set of all rational numbers.
R = Set of all real numbers.
Binary Operation: The binary operator * is said to be a binary operation (closed operation) on a non empty set A, if a * b ∈ A for all a, b ∈ A (Closure property).
Algebraic System: A set ‘A’ with one or more binary (closed) operations defined on it is called an algebraic system.
Ex: (N, + ), (Z, +, – ), (R, +, . , – ) are algebraic systems.
Properties
CIC-205 Discrete Structures
3
The operation * is said to be commutative in A if
a * b= b * a for all a, b in A
(a * b) * c = a *( b * c) for all a, b, c in A
a * e = e * a = a for all a ∈ A.
an element in A. An element b is said to be inverse of A if
a * b = b * a = e
Semi group
CIC-205 Discrete Structures
4
Ex. (N, +) is a semi group.
Ex. (N, .) is a semi group.
Ex. (N, – ) is not a semi group.
Group
CIC-205 Discrete Structures
5
a * b = b * a .
Theorem
CIC-205 Discrete Structures
6
a * b = a * c ⇒ b = c
a * c = b * c ⇒ a = b
(left cancellation law)
(Right cancellation law)
(a * b) -1 =
b-1 * a-1
CIC-205 Discrete Structures
7
Example: Show that set of all non zero real numbers is a group with respect to multiplication
Solution: Let R* = set of all non zero real numbers. Let a, b, c are any three elements of R* .
1. Closure property : We know that, product of two nonzero real
numbers is again a nonzero real number .
i.e.,a . b ∈ R* for all a,b ∈ R* .
2. Associativity: We know that multiplication of real numbers is associative.
i.e., (a.b).c = a.(b.c) for all a,b,c ∈ R* .
∴ Identity element exists, and ‘1’ is the identity element.
a .(1/a) = 1 i.e., Each element in R* has an inverse.
CIC-205 Discrete Structures
8
5Commutativity: We know that multiplication of real numbers is
commutative.
i.e., a . b = b . a for all a,b ∈ R*. Hence, ( R* , . ) is an abelian group.
Example : Show that set of all real numbers ‘R’ is not a group with respect to multiplication.
Solution: We have 0 ∈ R .
The multiplicative inverse of 0 does not exist. Hence, R is not a group.
CIC-205 Discrete Structures
9
Multiplicative Group
Additive Group
�Notation and Terminology��In general , we shall use “e” to denote the identity element of a group
Subgroups
Subgroups
Definition:
If G is a group, then the order |G| of G is the number of elements in G.
Definition:
If a subset H of a group G is closed under the binary operation of G and if H with the induced operation from G is itself a group, then H is a subgroup of G.
We shall let H ≤ G denote that H is a subgroup of G, and H < G denote H≤G but H ≠ G.
Note : Every group G has G and {e} as its subgroups.
CIC-205 Discrete Structures
10
Examples
Definition:
If G is a group, then the subgroups consisting of G itself is the improper subgroup of G. All other subgroups are proper subgroups.
The subgroup {e} is the trivial subgroup of G. All other subgroups are nontrivial.
Example:
CIC-205 Discrete Structures
11
Group Zn
When a=qn+r, where q is the quotient and r is the remainder upon
dividing a by n, we write
a mod n = r .
Example: 12 mod 4 = 0,
3 mod 4 = 3 etc.
The set Zn={0, 1, …, n-1} for n ≥1 is a group under addition modulo n. This group is referred as the group of integers modulo n.
Example: Z4={0, 1, 2, 3} under addition modulo 4
+ 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
CIC-205 Discrete Structures
12
Klein 4-group
The set V={e, a, b, c} under the following operation is a group. We call it the Klein 4-group.
e a b c
e e a b c
a a e c b
b b c e a
c c b a e
CIC-205 Discrete Structures
13
Subgroup Diagrams of Z4 and V
Here {0, 3} is not a subgroup since it’s not closed under +.
{e, a}, {e, b} and {e, c}. Here {e, a, b} is not a subgroup since it’s not closed under the operation of V.
Z4 V
{0, 2} {e, a} {e, b} {e, c}
{0} {e}
CIC-205 Discrete Structures
14
Theorem
A subset H of a group G is a subgroup of G if and only if
CIC-205 Discrete Structures
15
Cyclic Subgroups
Theorem: Let G be a group and let a ∈ G. Then H={ an | n ∈ Z} is a subgroup of G and is the smallest subgroup G that contains a, that is, every subgroup containing a contains H.
Proof: We check the three conditions
Hence H ≤G.
Since every subgroup of G containing a must contain all element an for all n ∈ Z, H is the smallest subgroup of G containing a.
CIC-205 Discrete Structures
16
Generator
Definition: Let G be a group and let a ∈ G. Then the subgroup { an | n ∈ Z} of G, characterized in Theorem 5.17, is called the cyclic subgroup of G generated by a, and denoted by 〈 a 〉.
An element a of a group G generates G and is a generator for G if 〈 a 〉=G.
A group is cyclic if there is some element a in G that generates G.
Example:
〈 e 〉 is the trivial subgroup of one element.
CIC-205 Discrete Structures
17
Examples
〈 1 〉 =〈 -1 〉 =Z, and no other generators
If n>1, then 〈 1 〉 = 〈 n-1 〉 = Zn, there may be others.
Note that 6Z < 3Z.
CIC-205 Discrete Structures
18
Cyclic Groups
Recall: If G is a group and a∈G, then H={an|n ∈Z} is a subgroup of G. This group is the cyclic subgroup 〈a〉 of G generated by a.
Also, given a group G and an element a in G, if G ={an|n ∈Z} , then a is a generator of G and the group G= 〈a〉 is cyclic
Let a be an element of a group G. If the cyclic subgroup 〈a〉 is finite, then the order of a is the order | 〈a〉 | of this cyclic subgroup. Otherwise, we say that a is of infinite order.
CIC-205 Discrete Structures
19
Elementary Properties of Cyclic Groups
Theorem : Every cyclic group is abelian.
Proof: Let G be a cyclic group and let a be a generator of G so that
G = 〈a〉 ={an|n ∈Z}.
If g1 and g2 are any two elements of G, there exists integers r and s such that g1=ar and g2=as. Then
g1g2= aras = ar+s = as+r = asar = g2g1,
So, G is abelian.
CIC-205 Discrete Structures
20
Division Algorithm for Z
Division Algorithm for Z
If m is a positive integer and n is any integer, then there exist unique integers q and r such that
n = m q + r and 0 ≤ r < m
Here we regard q as the quotient and r as the nonnegative remainder when n is divided by m.
Example: Find the quotient q and remainder r when 38 is divided by 7.
Solution: q=5, r=3
CIC-205 Discrete Structures
21
CIC-205 Discrete Structures
22
We are going to generalize the idea of congruent classes mod n in (Z,+).
Theorem. Let H is a subgroup of G. Define a relation: a~b iff a ♦ b-1 ∈ H. Then ~ is an equivalence relation.
Cosets
a = b (mod n) iff a - b ∈ <n>
CIC-205 Discrete Structures
23
Theorem. Let H is a subgroup of G. Define a relation: a~b iff a ♦ b-1 ∈ H.
Then ~ is an equivalence relation.
Proof.
Reflexive: a~a iff a ♦ a-1 =e ∈ H
Cosets
Transitive: a ♦ c-1=(a ♦ b-1)(b ♦ c-1) ∈ H
Symmetric: b ♦ a-1=(a ♦ b-1)-1 ∈ H
CIC-205 Discrete Structures
24
The equivalent classes for this relation is called the right cosets of H in G.
Cosets
If H is a subgroup of a group G then for any element g of the group the set of products
of the form h ♦ g where h∈H is a right coset of H denoted by the symbol Hg.
CIC-205 Discrete Structures
25
Example: Write down the right coset of the subgroup {0,3,6,9} of Z12 under +.
Cosets
Right coset = {h g | h ∈ H, g ∈ G}
{0,3,6,9} + {0,1,2,3,4,5,6,7,8,9,10,11} =
[3]+0 = {0,3,6,9}
[3]+1 = {1,4,7,10}
[3]+2 = {2,5,8,11}
CIC-205 Discrete Structures
26
Theorem. If H is a finite subgroup of G and x∈G, then |H|=|Hx|
Cosets
Proof. We prove this by finding a bijection between H and Hx.
It is onto, because Hx consists of the elements of the form hx, where h∈H.
Assume that there are h1, h2∈H. .
Then h1x= h2x. It follows, h1=h2.
CIC-205 Discrete Structures
27
Theorem. If H is a finite subgroup of G, then G = ⋃x∈G Hx.
Cosets: partitioning
Proof. Cosets are equivalent classes. The two cosets are either equal or disjoint.
Since G is finite, there are finitely many such cosets.
Every element x of G belongs to the coset determined by it.
x = x e ∈ Hx, since e∈H.
Lagrange’s Theorem
Theorem:
CIC-205 Discrete Structures
28
Lagrange’s Theorem
Theorem: |H| divides |G|.
CIC-205 Discrete Structures
29
Proof: G is partitioning into cosets.
Pick a representative from each coset
G = ⋃j=1…k Hxj
Each coset contains |H| elements.
It follows |G| = k |H|. Thus |H| is a divisor of |G|.
Lagrange’s Theorem: what is for?
CIC-205 Discrete Structures
30
Consider group of symmetry of square
YSQ = { R0, R90, R180, R270, F|, F—, F , F }
Except {R0} and Ysq, all other subgroups must have order 2 or 4.
CIC-205 Discrete Structures
31
R90
R180
R270
R0
F|
F—
F
F
R0
R90
R180
R270
F|
F—
F
F
R0
R90
R180
R270
F|
F—
F
F
R90
R180
R270
F|
F—
F
F
R180
R270
R0
R270
R0
R90
R0
R90
R180
F
F
F|
F—
F—
F|
F
F
F
F
F—
F|
F
F—
F
F
F|
F
F—
F
F|
F|
F
F—
R0
R0
R0
R0
R180
R90
R270
R180
R270
R90
R270
R90
R180
R90
R270
R180
Order 2
CIC-205 Discrete Structures
32
R90
R180
R270
R0
F|
F—
F
F
R0
R90
R180
R270
F|
F—
F
F
R0
R90
R180
R270
F|
F—
F
F
R90
R180
R270
F|
F—
F
F
R180
R270
R0
R270
R0
R90
R0
R90
R180
F
F
F|
F—
F—
F|
F
F
F
F
F—
F|
F
F—
F
F
F|
F
F—
F
F|
F|
F
F—
R0
R0
R0
R0
R180
R90
R270
R180
R270
R90
R270
R90
R180
R90
R270
R180
Order 4
Lagrange’s Theorem
Example.
|H| = 9, |K| = 6, |G| < 50.
CIC-205 Discrete Structures
33
LCM(9,6) = 18, so |G|=18 or 36
Isomorphism
CIC-205 Discrete Structures
34
Mapping between objects, which shows that they are structurally identical.
Any property which is preserved by an isomorphism and which is true for one of the objects, is also true of the other.
Isomorphism
CIC-205 Discrete Structures
35
Example.
{1,2,3,…}, or {I, II, III,…}, or
{один, два, три,…}
Mathematically we want to think about
these sets as being the same.
Group Isomorphism
CIC-205 Discrete Structures
36
Definition. Let G be a group with operation * and H with ♦.
An isomorphism of G to H is a bijection
f: G•H that satisfies
f(x * y) = f(x) ♦ f(y)
If we replace bijection by injection, such mapping is called a homomorphism.
Group Isomorphism
CIC-205 Discrete Structures
37
Example.
G = (Z, +), H = (even, +)
Isomorphism is provided by f(n) = 2 n
f(n + m) = 2 (n+m) = (2n)+(2m)=f(n)+f(m)
Group Isomorphism
CIC-205 Discrete Structures
38
Theorem. Let G be a group with operation *, H with ♦ and they are isomorphic f(x * y) = f(x) ♦ f(y). Then
f(eG) = eH
Proof. f(eG)= f(eG * eG) = f(eG) ♦ f(eG).
On the other hand, f(eG)=f(eG) ♦ eH
f(eG) ♦ eH = f(eG) ♦ f(eG) • f(eG) = eH
Group Isomorphism
CIC-205 Discrete Structures
39
Theorem. Let G be a group with operation *, H with ♦ and they are isomorphic f(x * y) = f(x) ♦ f(y). Then
f(x-1) = f(x)-1, x∈G
Proof.
f(x) ♦ f(x-1) = f(x * x-1) =f(eG) = eH.
CIC-205 Discrete Structures
40
In order to prove that two groups and are not isomorphic, one needs to demonstrate that there is no isomorphism from onto .
Usually, in practice, this is accomplished by finding some property that holds in one group, but not in the other.
Examples. (Z4, +) and (Z6, +)
They have different orders.
CIC-205 Discrete Structures
41
+ | 0 | 1 | 2 | 3 |
0 | 0 | 1 | 2 | 3 |
1 | 1 | 2 | 3 | 0 |
2 | 2 | 3 | 0 | 1 |
3 | 3 | 0 | 1 | 2 |
* | 1 | 2 | 3 | 4 |
1 | 1 | 2 | 3 | 4 |
2 | 2 | 4 | 1 | 3 |
3 | 3 | 1 | 4 | 2 |
4 | 4 | 3 | 2 | 1 |
Exercise.
Verify that (Z4, +) is isomorphic to (Z*5, *)
Permutation Groups
CIC-205 Discrete Structures
42
If the set is given by A = {1, 2, 3, . . . , n} then let Sn denote the set of all permutations on A.
It forms a group under function composition.
We call Sn the symmetric group of degree n and call any subgroup of Sn a permutation group.
An element of Sn is represented by
Permutation Groups
CIC-205 Discrete Structures
43
Cayley’s Theorem. Every group is isomorphic to a permutation group.
Sketch of proof. Let G be a group with operation *. For each x∈G, we define
λx:G •G given by λx(g) = x * g for all g∈G.
This function λx is a permutation on G.
Next we create a permutation group out of λx.
Now we define f: G •Sn by f(x)= λx
CIC-205 Discrete Structures
44
Cayley’s Theorem. Every group is isomorphic to a permutation group.
We define f: G •Sn by f(x)= λx
One-to-one. Suppose f(a)=f(b). It follows
λa= λb and in particular λa(e)= λb(e).
Thus, a e = b e and then a = b.
Onto. It follows from definition of λx
Homomorphism. f(a b) = λab, f(a)♦f(b)= λa♦λa
To prove λab= λa♦λa , we write
λab(x)=(ab)x=a (bx)=λa(bx)=λa(λb(x))=(λa♦λb)(x)