看你是什么代数系统。

群环域等等这些代数系统都有同态。一般的都是说存在双射，保持运算（预算的像等于像的运算）以最简单的代数结构原群为例(T,*)，（S，#）是两个原群如果存在T到S上的双射f且任取a，b属于ff(a*b)=f(a)#f(b)那么称f为同构（映射）。称T,S同构。如果映射不双，称为同态，类似于映射，可以定义单和满两类同态