Homomorphism & Isomorphism of Group
Introduction :
We can say that βoβ is the binary operation on set G if : G is an non-empty set & G * G = { (a,b) : a , bβ G } and o : G * G β> G. Here, aob denotes the image of ordered pair (a,b) under the function / operation o.
Example β β+β is called a binary operation on G (any non-empty set ) if & only if : a+b βG ; β a,b βG and a+b give the same result every time when added.
Real example β β+β is a binary operation on the set of natural numbers βNβ because a+b β N ; β a,b βN and a+b a+b give the same result every time when added.
Laws of Binary Operation :
In a binary operation o, such that : o : G * G β> G on the set G is :
1. Commutative β
aob = boa ; β a,b βG
Example : β+β is a binary operation on the set of natural numbers βNβ. Taking any 2 random natural numbers , say 6 & 70, so here a = 6 & b = 70,
a+b = 6 + 70 = 76 = 70 + 6 = b + a
This is true for all the numbers that come under the natural number.
2. Associative β
ao(boc) = (aob)oc ; β a,b,c βG
Example : β+β is a binary operation on the set of natural numbers βNβ. Taking any 3 random natural numbers , say 2 , 3 & 7, so here a = 2 & b = 3 and c = 7,
LHS : a+(b+c) = 2 +( 3 +7) = 2 + 10 = 12
RHS : (a+b)+c = (2 + 3) + 7 = 5 + 7 = 12
This is true for all the numbers that come under the natural number.
3. Left Distributive β
ao(b*c) = (aob) * (aoc) ; β a,b,c βG
4. Right Distributive β
(b*c) oa = (boa) * (coa) ; β a,b,c βG
5. Left Cancellation β
aob =aoc => b = c ; β a,b,c βG
6. Right Cancellation β
boa = coa => b = c ; β a,b,c βG
Algebraic Structure :
A non-empty set G equipped with 1/more binary operations is called an algebraic structure.
Example : a. (N,+) and b. (R, + , .), where N is a set of natural numbers & R is a set of real numbers. Here β . β (dot) specifies a multiplication operation.
GROUP :
An algebraic structure (G , o) where G is a non-empty set & βoβ is a binary operation defined on G is called a Group if the binary operation βoβ satisfies the following properties β
1. Closure β
a β G ,b β G => aob β G ; β a,b β G
2. Associativity β
(aob)oc = ao(boc) ; β a,b,c β G.
3. Identity Element β
There exists e in G such that aoe = eoa = a ; β a β G (Example β For addition, identity is 0)
4. Existence of Inverse β
For each element a β G ; there exists an inverse(a-1)such that : β G such that β aoa-1 = a-1oa = e
Homomorphism of groups :
Let (G,o) & (Gβ,oβ) be 2 groups, a mapping βf β from a group (G,o) to a group (Gβ,oβ) is said to be a homomorphism if β
f(aob) = f(a) o' f(b) β a,b β G
The essential point here is : The mapping f : G β> Gβ may neither be a one-one nor onto mapping, i.e, βfβ needs not to be bijective.
Example β
If (R,+) is a group of all real numbers under the operation β+β & (R -{0},*) is another group of non-zero real numbers under the operation β*β (Multiplication) & f is a mapping from (R,+) to (R -{0},*), defined as : f(a) = 2a ; β a β R
Then f is a homomorphism like β f(a+b) = 2a+b = 2a * 2b = f(a).f(b) .
So the rule of homomorphism is satisfied & hence f is a homomorphism.
Homomorphism Into β
A mapping βfβ, that is homomorphism & also Into.
Homomorphism Onto β
A mapping βfβ, that is homomorphism & also onto.
Isomorphism of Group :
Let (G,o) & (Gβ,oβ) be 2 groups, a mapping βf β from a group (G,o) to a group (Gβ,oβ) is said to be an isomorphism if β
1. f(aob) = f(a) o' f(b) β a,b β G 2. f is a one- one mapping 3. f is an onto mapping.
If βfβ is an isomorphic mapping, (G,o) will be isomorphic to the group (Gβ,oβ) & we write :
G β G'
Note : A mapping f: X -> Y is called :
- One β One β If x1 β x2, then f(x1) β f(x2) or if f(x1) = f(x2) => x1 = x2. Where x1,x2 β X
- Onto β If every element in the set Y is the f-image of at least one element of set X.
- Bijective β If it is one & Onto.
Example of Isomorphism Group β
If G is the multiplicative group of 3 cube-root units , i.e., (G,o) = ( {1, w, w2 } , *) where w3 = 1 & Gβ is an additive group of integers modulo 3 β (Gβ, oβ) = ( {1,2,3) , +3). Then : G β
Gβ , we say G is isomorphic to Gβ.
- The structure & order of both the tables are same. The mapping βfβ is defined as :
f : G -> Gβ in such a way that f(1) = 0 , f(w) = 1 & f(w2) = 2. - Homomorphism property : f(aob) = f(a) oβ f(b) β a,b β G . Let us take a = w & b = 1
LHS : f(a * b) = f( w * 1 ) = f(w) = 1.
RHS : f(a) +3 f(b) = f(w) +3 f(1) = 1 + 0 = 1
=>LHS = RHS - This mapping f is one-one & onto also, therefore, a homomorphism.
Contact Us