Dalam algebra abstrak, Homomorfisma merupakan struktur peta yang menghubungkan dua struktur algebra. Setiap homomorfisma pasti dapat ditentukan kanelnya, dan kanel pasti sub-kumpulan normal, sehingga selalu dapat membentuk kumpulan faktor, seterusnya akan membentuk pengkaitan baru daripada domain homomorfisma ke kumpulan faktor yang dibentuknya, sehingga terbentuklah homomorfisma baru yang disebut sebagai homomorfisma natural.

Lihat juga sunting