Ni mathimatiki, homomorphism jẹ iṣẹ kan laarin awọn ẹya algebra meji ti o tọju awọn iṣẹ ṣiṣe ti awọn ẹya. Ni pataki, ti a fun ni awọn ẹya meji, A ati B, pẹlu awọn iṣẹ “”, iṣẹ naa f: A -