同态

两个有单一二元运算的集合$X$和$Y$(称为原群的代数结构），同态就是映射$\varphi :X\to Y$使得
$\varphi (u\cdot v)=\varphi (u)\circ \varphi (v)$
其中 $\cdot$ 是$X$上的运算而 $\circ$ 是$Y$上的运算