陵21世纪教材 定义7,2.1给定两个半群<S,⊙>与<T ○>,则 半群<S,⊙≥半群<T, O>:=(/∈T∧(vx)(vy)(x, y∈sfx⊙y)=fx)f() 并称/为从<S,⊙>到<T,O>的半群同态 映射。 由定义可以知道,半群同态映射河以不是 唯一的。 PT PRESS 人民邮电出版社定义7.2.1 给定两个半群<S，⊙>与<T， ○>，则 半群<S，⊙>半群<T， ○>:=(f)(f∈TS∧(x)( y)(x， y∈S→f(x⊙y)=f(x) f(y)) 并称f为从<S，⊙>到<T，○>的半群同态 映射。 由定义可以知道，半群同态映射f可以不是 唯一的