Lect13 Homomorphism
Lect13 Homomorphism
1 Homomorphism
• Def:
Let hG, +i and hG0 , ×i be two groups. A map f : G → G0 is said to be a homomorphism if
f (a + b) = f (a) × f (b), ∀ a, b ∈ G.
Note: Here the mapping f need not be one-one but the group multiplication is preserved by
the images in G0 under the mapping f .
• Eg:1
∀x ∈ G, f (x) = e0 . This is a homomorphism from G into G0 .
• Eg:2
G = hZ, +i, G0 = hZn , ⊕i
f (x1 ) = r1 , f (x2 ) = r2
• Eg: 3
G = S3 = {e, σ, σ 2 , τ, στ, σ 2 τ }, G0 = {e, τ }
f (σ i τ j ) = τ j , i = 0, 1, 2. j = 0, 1
f (τ · στ ) = f (σ 2 ) = e
f (τ ) · f (στ ) = τ · τ = e
f (σ · στ ) = f (σ 2 τ ) = τ
f (σ) · f (στ ) = e · τ = τ
f (σ i τ j ) = σ i . Then
f (τ · στ ) = f (σ 2 τ 2 ) = f (σ 2 ) = σ 2
f (τ )f (στ ) = eσ = σ
∴ f (τ · στ ) 6= f (τ )f (στ ).
• In a homomorphism φ : G → G0
Kf = {a ∈ G|f (a) = e0 }
• Eg:
Consider f : G → G0 where G = hZ, +i and G0 = hZn , ⊕i:
f (nk + r) = r, 0 ≤ r < n
we have seen that this is a homomorphism.
2
• If the mapping f : G → G0 is an isomorphism then Kf = {e}.
• Lemma 10:
Proof:
Let a, b ∈ Kf .
Then f (a) = f (b) = e0 .
Let h ∈ Kf and a ∈ G.
=⇒ xy −1 ∈ Kf ⇒ x ∈ Kf y
=⇒ x and y ∈ the same coset of Kf in G.
3
y = hx for some h ∈ Kf .
ψ(Kf a) = f (a)
⇒ f (a) = f (b).
So this mapping is well defined.
= ψ(Kf a)ψ(Kf b)
• Now if ψ(Kf a) = ψ(Kf b) then
⇒ ab−1 ∈ Kf ⇒ a ∈ Kf b
⇒ a and b are in the same coset of Kf . i.e,
Kf a = Kf b.
So ψ : G/Kf → G0 is an isomorphism.
• The following proposition says this
• Proposition 9:
Let f : G → G0 be a homomorphism with kernel Kf . Then G/Kf is isomorphic to G0 .
4
• This theorem tells us precisely how many different homomorphism we can draw on G.
This depends upon the number of different normal subgroups we can have in G.
For each of these normal subgroups, N , we have a homomorphism from G onto G/N .
Any homomorphism that we draw from G to some other group G0 has to be identical to one
of the homomorphism from G → G/N for some normal subgroup N of G.
Lemma:
Let φ : G → G0 be a homomorphism with kernel K. Let H 0 be a subgroup of G0 . Define
H = {x ∈ G|φ(x) ∈ H 0 }. Then H is a subgroup of G and K ⊂ H. If H 0 is normal in G0 then H
is normal in G. There is a one-one mapping from the set of subgroups of G0 onto the subgroups of
G containing K.
The homomorphism theorem, proposition 9 can be now generailized by this one-one corre-
spondence between the normal subgroups of G and G.
Theorem:
Let φ : G → G0 be a homomorphism. with kernel K. Let N 0 be a normal subgroup of G0 . Let
N = {x ∈ G|φ(x) ∈ N 0 }. Then
G/N ∼
= G0 /N 0
∼ G/K
=
N/K
Proof
Define ψ : G/N → G0 /N 0 as ψ(aN ) = φ(a)N 0 .
This is a homomorphism. Also ψ(aN ) = N 0 =⇒ φ(a) ∈ N 0 =⇒ a ∈ N .
∴ aN = N . So the kernel of the homomorphism is the identity element in G/N . So ψ : G/N →
G0 /N 0 is an isomorphism.
G/K ∼ 0 0 ∼
= G /N = G/N
N/K