Homomorfisme

Dalam aljabar abstrak, homomorfisme atau kehomomorfan adalah struktur peta yang menghubungkan dua struktur aljabar. Setiap homomorfisme pasti dapat ditentukan kanelnya, dan kanel pasti subgrup normal, sehingga selalu dapat dibentuk grup faktor, selanjutnya akan dibentuk pengkaitan baru dari ranah homomorfisme ke grup faktor yang dibentuknya, sehingga terbentuklah homomorfisme baru yang disebut homomorfisma natural.