Homomorfisma

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