学校2世纪教材 上面介绍半群同态及有关定理。下面接着 来讨论独异点之间的同态及其有关定理 定义723给定独异点<M,⊙,e1>和<T, O,er,则 <M,⊙,e =(三g)g∈T"∧(vx)Vy)(x,y∈M→g(xy) =g(x)Og()∧g(eM)=er 并称g为从<M,⊙,en到<T,O,er的 独异点同态映射。□ PT PRESS 人民邮电出版社上面介绍半群同态及有关定理。下面接着 来讨论独异点之间的同态及其有关定理。 定义7.2.3 给定独异点<M,⊙,eM>和<T, ○,eT>,则 <M,⊙,eM><T,○,eT> :=(g)(g∈TM∧(x)( y)(x,y∈M→g(x⊙y) =g(x) ○g(y))∧g(eM)=eT 并称g为从<M,⊙,eM>到<T,○,eT>的 独异点同态映射