HOMOMORFISME

STRUKTUR ALJABAR
Definisi

Misalkan (G, ) dan (H, *) masing-masing merupakan grup.

 

Suatu pemetaan  dari grup (G, ) ke grup (H, *) disebut

homomorfisme jika dipenuhi :

 = (a  b) = (a) * (b),
Contoh 1
Misalkan G merupakan grup atas himpunan bilangan real terhadap operasi penjumlahan,
sedangkan H grup atas himpunan bilangan real tanpa nol terhadap operasi perkalian.
Didefinisikan pemetaan   :G→H dengan  (a) = 2a.
Tunjukkan bahwa    merupakan homomorfisme dari G ke H.

Perhatikan pemasangan (pemetaan) oleh  berikut ini dengan a,b ∈ G:

a→ (a) = 2a → (a) = 2a
b→ (b) = 2b → (b) = 2b
a+b→ (a+b)

dengan,
(a+b) = 2a+b
= 2a×2b
= (a) × (b)
Karena ∀a,b ∈ G, (a+b)= (a)× (b), maka  terbukti merupakan homomorfisma dari G ke H
Contoh 2

 Dalam grup (R+, .) dan grup (R, +) didefinisikan pemetaan  : R+  R, dengan

 (x) = ln (x),
Apakah  homomorfisme?

Ambil sembarang x,y R+

Perhatikan bahwa
(xy) = ln (xy)
= ln x + ln y
= (x) + (y)

Jadi,  merupakan homomorfisme