半群和独异点的同态 定义(1)设v=<S1,o>,V2=<S2*>是半群,q: S1→S2若对任意的x,y∈S1有 cp ( xoy)=op(x)*pv) 则称φ为半群V1到V2的同态映射,简称同态 (2)设V1=<S,o,e1>,V2=<S2,*,2>是独异点, φ:S1→S2,若对任意的x,y∈S1有 φ(xoy)=qp(x)*q()且φ(e1)=e2, 则称φ为独异点V1到V2的同态映射,简称同态 1010 半群和独异点的同态 定义 (1) 设V1= <S1 , >，V2= <S2 ,∗>是半群，： S1→S2 . 若对任意的 x, y∈S1有  (xy) = (x) ∗ (y) 则称  为半群 V1 到 V2 的同态映射，简称 同态. (2) 设V1 = <S1 , ,e1>，V2 = <S2 ,∗,e2> 是独异点， : S1→S2 . 若对任意的 x, y∈S1有  (xy) = (x) ∗ (y) 且  (e1 ) = e2 , 则称  为独异点 V1 到 V2 的同态映射，简称 同态