一、半群的概念(续) 半群的同恣:设V1=<S1,°>,V2=<S2,*>为半群, q:S1→S2,且对vx,y∈S1有 Poy)=p(x)*o) 则称是半群v到V2的同态。 独异点的同态:设V=<S1,°,e1>,V2=<S2,*,2> 为独异点,q:S1→S2,且对vx,y∈S有 P(xoy)=o(x)*ov,o(el=ex 则称ρ是独异点到V2的同态。 2021/2/24 离散数学2021/2/24 离散数学 7 一、半群的概念（续） 半群的同态：设V1 = <S1 ,  >，V2 = <S2 ,  >为半群，  : S1 → S2 , 且对 x, yS1有  (x  y) =  (x)   (y)， 则称 是半群V1到V2的同态。 独异点的同态：设V1 = <S1 ,  , e1>，V2 = <S2 ,  , e2> 为独异点， : S1 → S2 , 且对 x, yS1有  (x  y) =  (x)   (y)， (e1 ) = e2， 则称 是独异点V1到V2的同态