(第17讲)代数结构.pptVIP

雄关漫道真如铁，而今迈步从头越！ C S | S W U S T XDC 雄关漫道真如铁，而今迈步从头越！ 半群、独异点、群 一、半群 定义 一个代数系统S，*，其中S是非空集合，*是一个二元运算。如果满足： （1）运算 * 在S上是封闭的。 （2）运算 * 是可结合的，即对任意的a，b，c∈S， （a*b）*c=a*（b*c） 则称代数系统S，*为半群。 例 对于给定某集合A，在该集合上定义运算△为： x△y=max（x，y），验证A，△是否构成半群。 解 对于任意的x，y，z∈A， x△y?A，所以满足封闭性。 （x△y）△z=max（max（x，y），z） x△（y△z）=max（x，max（y，z）） 由于两个式子最后的结果都是x，y，z中的最大数，因此， （x△y）△z=x△（y△z） 所以，满足结合 律。 故，A，△是半群。 定理 设S，*是一个半群，T是P的子集，且 * 在T上是封闭的，那么T，*也是一个半群。通常称T，*是半群S，*的子半群。 即 半群的子代数也是半群。结合律是可继承的。 定义 设A＝S，*和B＝T，*是两个半群。函数h：S?T，若对任意的a,b?S,均有 h(a*b)=h(a) * h(b) 则称h为