ho­mo­mor­fis­mi

Jos kahden algebrallisen rakenteen välillä on homomorfismi, niiden rakenteissa on jotain samankaltaista - sanoohan laskutoimituksen säilymisen ehto juuri, että ei ole väliä, lasketaanko laskut ennen vai jälkeen homomorfisen kuvauksen.

Tämä osoittaa myös, että ryhmän aliryhmä on normaali jos ja vain jos on olemassa sellainen ryhmä ja sellainen homomorfismi , että aliryhmä on ryhmän homomorfismin ydin.